Inventory rows GQ

GQ0BJ4A4D2 GQ0BJ4A4D2

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

Mentions

arxiv: arXiv 2609.38772#8H7X (statement). In 1C3R5NAQAP/e1, lemma 4.4

History

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

Extended negative binomial distribution GQ0FKJNX4G

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

Mentions

wikipedia: Wikipedia List of statistics articles#N60A, Extended negative binomial distribution (definition)

History

2026-11-02: add by m2/dev

GQ0KTQBZTZ GQ0KTQBZTZ

URI	`m2://inv/GQ0KTQBZTZ`
Kind	problem
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 2308.09645#31OC (problem). In HVDSC1GQRD/e1, problem 2.2

History

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

GQ0M462DDV GQ0M462DDV

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

Mentions

arxiv: arXiv 2610.01433#B47R (definition). In 160PQ7F1AS/e1, definition 4.22

History

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

GQ0QBNG8T8 GQ0QBNG8T8

URI	`m2://inv/GQ0QBNG8T8`
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.19660#NPRP (statement). In YKVVY2BW1B/e1, lemma 3.2

History

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

Spatial twist continuum GQ0QPGNJ2K

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#LZ4O, Spatial twist continuum (unknown)

History

2026-11-02: add by m2/dev

One-step error at stationarity GQ0Y1HWJ28

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

Mentions

arxiv: arXiv 2610.06308#UENY, One-step error at stationarity (statement). In HTWSDDAWGS/e1, proposition 4.3

History

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

Yael Karshon GQ0YKBSJN8

URI	`m2://inv/GQ0YKBSJN8`
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 Q30336000, Yael Karshon (unknown). Also nLab Yael Karshon
wikipedia: Wikipedia Yael Karshon, Yael Karshon (topic). Also Wikidata Q30336000

History

2026-10-26: add by m2/dev

Properties GQ12NGPKDF

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

Mentions

wikipedia: Wikipedia Algebraic connectivity#CI0G, Properties (statement)

History

2026-11-02: add by m2/dev

Properties GQ13VENZ2G

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

Mentions

wikipedia: Wikipedia Continuum (topology)#LIH6, Properties (statement)

History

2026-11-02: add by m2/dev

GQ1C4RPQET GQ1C4RPQET

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

Mentions

arxiv: arXiv 2610.05232#PAN6 (statement). In DA3VN96YX2/e1, theorem 2.9

History

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

De Bruijn–Erdős theorem GQ1M8D1K1Y

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

Mentions

mathlib_1000: mathlib_1000 Q3527056, De Bruijn–Erdős theorem (incidence geometry) (statement). Also Wikidata Q3527056
thousand_plus: thousand_plus Q3527056, De Bruijn–Erdős theorem (incidence geometry) (statement). Also Wikidata Q3527056, Wikipedia De Bruijn–Erdős theorem (incidence geometry)
wikipedia: Wikipedia De Bruijn–Erdős theorem (incidence geometry), De Bruijn–Erdős theorem (statement). Also Wikidata Q3527056

History

2026-10-26: add by m2/dev

Raphael Bousso GQ1Q9S83M8

URI	`m2://inv/GQ1Q9S83M8`
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 Q7293943, Raphael Bousso (unknown). Also nLab Raphael Bousso

History

2026-10-26: add by m2/dev

Sierpiński gasket graph GQ1RA1W44M

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

Mentions

wikidata: Wikidata Q127751606, Sierpiński gasket graph (unknown). Also MathWorld SierpinskiGasketGraph

History

2026-10-26: add by m2/dev

Properties GQ1SC5A44G

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

Mentions

wikipedia: Wikipedia De Bruijn graph#2W50, Properties (statement)

History

2026-11-02: add by m2/dev

GQ1VF8S4SV GQ1VF8S4SV

URI	`m2://inv/GQ1VF8S4SV`
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.20916#H84R (statement). In HV598NZW9X/e1, theorem 1.3

History

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

Generator cospan GQ1WKB02KF

URI	`m2://inv/GQ1WKB02KF`
Kind	definition
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 2609.20478#QJZ6, Generator cospan (definition)

History

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

DAP GQ1X3WZ404

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

Mentions

wikipedia: Wikipedia List of statistics articles#QX5M, DAP (definition)

History

2026-11-02: add by m2/dev

GQ2679FV8Y GQ2679FV8Y

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

Mentions

arxiv: arXiv math/9201244#DMVP (definition). In 7D3HCN21MK/e1, definition 5.8

History

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

William H. Tucker GQ27TX4F3E

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

Mentions

wikipedia: Wikipedia William H. Tucker (psychologist), William H. Tucker (topic). Also Wikidata Q8010628

History

2026-11-02: add by m2/dev

GQ2806AGWS GQ2806AGWS

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

Mentions

arxiv: arXiv 2609.32860#ECAT (statement). In H71AJ341B3/e1, lemma 6.10

History

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

GQ28E56B9J GQ28E56B9J

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

Mentions

arxiv: arXiv 2610.14811#MKJK (statement). In QA5CM6HNM1/e1, theorem 15.1

History

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

Random regular graph GQ299095HF

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

Mentions

wikipedia: Wikipedia List of statistics articles#AVVI, Random regular graph (definition)

History

2026-11-02: add by m2/dev

GQ2E7XDYVW GQ2E7XDYVW

URI	`m2://inv/GQ2E7XDYVW`
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.35360#MYD1 (statement). In 770AQ8T366/e1, lemma 3.1

History

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

GQ2F2WKK2Q GQ2F2WKK2Q

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

Mentions

arxiv: arXiv 2609.23464#95WK (statement)

History

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

A (twin's digits) self-disappearing sequence. GQ2QHJ0J06

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

Mentions

wikidata: Wikidata Q100194026, A (twin's digits) self-disappearing sequence. (object). Also OEIS A108988

History

2026-10-26: add by m2/dev

Sinc function GQ313RVBW8

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

Mentions

wikipedia: Wikipedia Lists of integrals#75AU, Sinc function (definition)

History

2026-11-02: add by m2/dev

GQ33V15FZF GQ33V15FZF

URI	`m2://inv/GQ33V15FZF`
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 1008.2055#5OJZ (statement). In 76JR4WFT4B/e1, proposition 2.9

History

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

Pythagoras number GQ350E5HCW

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

Mentions

wikipedia: Wikipedia Pythagoras number, Pythagoras number (definition). Also Wikidata Q2120051

History

2026-11-02: add by m2/dev

Inner regret on bounded gradient sequences GQ3EXWHNH2

URI	`m2://inv/GQ3EXWHNH2`
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.13773#ATKT, Inner regret on bounded gradient sequences (statement). In E75XQY0QFM/e1, theorem 4.5

History

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

Izabella Łaba GQ41SARG4S

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

Mentions

wikipedia: Wikipedia Izabella Łaba, Izabella Łaba (topic). Also Wikidata Q3895979

History

2026-11-02: add by m2/dev

Construction GQ420NCTDX

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

Mentions

wikipedia: Wikipedia Eisenbud–Levine–Khimshiashvili signature formula#J28A, Construction (definition)

History

2026-11-02: add by m2/dev

GQ491JGCYS GQ491JGCYS

URI	`m2://inv/GQ491JGCYS`
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.08873#UUHG (statement). In 7WMNVJBAVR/e1, theorem 3.1

History

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

Sufficient conditions GQ49SS280Z

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

Mentions

arxiv: arXiv 2610.12713#DTYJ, Sufficient conditions (statement). In F14A5HX20Q/e1, lemma D.1.2

History

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

Field extensions have multiplicative degree GQ4AW9WBDP

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

Mentions

napkin: napkin tex/alg-NT/galois.tex#theorem-1, Field extensions have multiplicative degree (statement). In RZP28ERRZV, theorem, section 14.2

History

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

Self-indication assumption doomsday argument rebuttal GQ4AZ1EFAQ

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

Mentions

wikipedia: Wikipedia Self-indication assumption doomsday argument rebuttal, Self-indication assumption doomsday argument rebuttal (definition). Also Wikidata Q7447973

History

2026-11-02: add by m2/dev

Uniqueness of identity element GQ4CPSKYED

URI	`m2://inv/GQ4CPSKYED`
Kind	statement
Layer	textbook
Sources	1
Outcome	node
Node	Uniqueness of identity element GDBV09GFYB

Mentions

wikipedia: Wikipedia Group (mathematics)#65QT, Uniqueness of identity element (statement)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

GQ4JV23ED7 GQ4JV23ED7

URI	`m2://inv/GQ4JV23ED7`
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.13962#KB6O (statement). In 7NP5QKECVA/e1, theorem 3.1

History

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

GQ4XBKWZNQ GQ4XBKWZNQ

URI	`m2://inv/GQ4XBKWZNQ`
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.20716#UCQN (statement)

History

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

Simon-Lieb inequality GQ53BGCJWJ

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

Mentions

wikipedia: Wikipedia Ising model#F10V, Simon-Lieb inequality (statement)

History

2026-11-02: add by m2/dev

GQ56X51929 GQ56X51929

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

Mentions

arxiv: arXiv 2609.30086#PUPH (statement)

History

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

Parent coefficients and localization of a transported layer GQ5912DZ7A

URI	`m2://inv/GQ5912DZ7A`
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.06544#DOPK, Parent coefficients and localization of a transported layer (statement). In VCRB27RMN6/e1, lemma 3.3

History

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

GQ59ZNWKP8 GQ59ZNWKP8

URI	`m2://inv/GQ59ZNWKP8`
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 2609.29274#BGRM (definition)

History

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

GQ5BH34V26 GQ5BH34V26

URI	`m2://inv/GQ5BH34V26`
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 2106.11898#7OVB (statement). In KXXV5X8AG4/e1, theorem 4.15

History

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

GQ5DASW5KZ GQ5DASW5KZ

URI	`m2://inv/GQ5DASW5KZ`
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.25367#DCCC (statement)

History

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

GQ5DWX7K8A GQ5DWX7K8A

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

Mentions

arxiv: arXiv 2509.20257#DM6K (statement). In 9NDZ6GG9XZ/e1, corollary 2.5

History

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

X-parameters GQ5P2RH7F4

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

Mentions

wikipedia: Wikipedia X-parameters, X-parameters (definition). Also Wikidata Q8041566

History

2026-11-02: add by m2/dev

Convolution for optical broad-beam responses in scattering media GQ5WVZ315V

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

Mentions

wikipedia: Wikipedia Convolution for optical broad-beam responses in scattering media, Convolution for optical broad-beam responses in scattering media (definition). Also Wikidata Q5166602

History

2026-11-02: add by m2/dev

GQ62KGVVTW GQ62KGVVTW

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

Mentions

arxiv: arXiv 2610.08655#L5KB (statement). In ZT7H1ZDN96/e1, lemma 9.1

History

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

GQ6HX7BKC8 GQ6HX7BKC8

URI	`m2://inv/GQ6HX7BKC8`
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.02833#4R9S (statement). In TNREX5GDK2/e1, lemma 7.3

History

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

Joe Harris GQ6PQ3PJ69

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#QF8I, Joe Harris (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZH3Z, Joe Harris (topic)

History

2026-11-02: add by m2/dev

Demographics of Sub-Saharan Africa GQ6YG8BN18

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

Mentions

wikipedia: Wikipedia Demographics of Africa#ZGD8, Demographics of Sub-Saharan Africa (unknown)

History

2026-11-02: add by m2/dev

Examples GQ77MM2FSG

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

Mentions

wikipedia: Wikipedia Linear stability#Q61G, Examples (example)

History

2026-11-02: add by m2/dev

Total hull GQ7DF6QF7X

URI	`m2://inv/GQ7DF6QF7X`
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.08664#R2GU, Total hull (definition). In 1YY0P4ZS0T/e1, definition 37

History

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

asymptote GQ7MRPHPJ1

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

Mentions

wikipedia: Wikipedia Glossary of calculus#XSST, asymptote (definition)

History

2026-11-02: add by m2/dev

GQ7P0C96V9 GQ7P0C96V9

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-19 (exercise). In E9HS8K3A52, exercise, section 7.1.4

History

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

Fisher kernel GQ7X2MK9BZ

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

Mentions

wikipedia: Wikipedia List of statistics articles#WVD5, Fisher kernel (definition)

History

2026-11-02: add by m2/dev

Preferential attachment GQ813GETN0

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

Mentions

wikipedia: Wikipedia List of statistics articles#8UIK, Preferential attachment (definition)

History

2026-11-02: add by m2/dev

Order-4 dodecahedral honeycomb GQ82KW964K

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

Mentions

wikipedia: Wikipedia Order-4 dodecahedral honeycomb, Order-4 dodecahedral honeycomb (object). Also Wikidata Q7100396

History

2026-11-02: add by m2/dev

GQ88EV3WXW GQ88EV3WXW

URI	`m2://inv/GQ88EV3WXW`
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#IG0J (problem). In XEZ1VBVC1G/e1, problem 2

History

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

``continuity'' of functions in type theory GQ8G26J4MC

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

Mentions

hott_book: hott_book index/6.2/continuity-of-functions-in-type-theory, ``continuity'' of functions in type theory (concept). In N54F33XE07, index, section 6.2

History

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

Perfectoid anticanonical limit GQ8K37W8HM

URI	`m2://inv/GQ8K37W8HM`
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#9RED, Perfectoid anticanonical limit (statement). In 328KGRNN0W/e1, theorem 6.6

History

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

GQ8NWNDB9Y GQ8NWNDB9Y

URI	`m2://inv/GQ8NWNDB9Y`
Kind	example
Layer	research
MSC	11-XX, 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 2104.12015#U8UQ (example). In ZZ2P08DVQW/e1, example 12.3

History

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

GQ8RK43T5B GQ8RK43T5B

URI	`m2://inv/GQ8RK43T5B`
Kind	example
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.31907#1U7A (example). In 6B2PCEGCYZ/e1, example 2.17

History

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

GQ8SQV4YTT GQ8SQV4YTT

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

History

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

GQ8SWQH9E7 GQ8SWQH9E7

URI	`m2://inv/GQ8SWQH9E7`
Kind	definition
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 2609.37815#IJ9A (definition). In SVJYA0171G/e1, definition 6.5

History

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

Hölder's inequality GQ8VK7FG4S

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

Mentions

wikipedia: Wikipedia List of misnamed theorems#4MFW, Hölder's inequality (statement)

History

2026-11-02: add by m2/dev

GQ8XQPJCVE GQ8XQPJCVE

URI	`m2://inv/GQ8XQPJCVE`
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.25543#GBHQ (statement)

History

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

GQ90RR41X9 GQ90RR41X9

URI	`m2://inv/GQ90RR41X9`
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.13939#7I8W (statement). In T0NQ0Q9WVD/e1, lemma 1.2

History

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

Applications of randomness GQ93QFJ2ZF

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

Mentions

wikipedia: Wikipedia Applications of randomness, Applications of randomness (definition). Also Wikidata Q4781513

History

2026-11-02: add by m2/dev

Paul Leyland GQ9BV9GNCX

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#D18V, Paul Leyland (unknown)

History

2026-11-02: add by m2/dev

Simfit GQ9NTH8XQZ

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

Mentions

wikipedia: Wikipedia List of statistics articles#TQYB, Simfit (definition)

History

2026-11-02: add by m2/dev

Classification over a domain GQ9S76KKAV

URI	`m2://inv/GQ9S76KKAV`
Kind	statement
Layer	research
MSC	19-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.04164#2WF1, Classification over a domain (statement). In KR7WXN4EWR/e1, corollary 9.3

History

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

Fermat cubic GQ9YJ649A8

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

Mentions

wikidata: Wikidata Q4183847, Fermat cubic (unknown). Also MathWorld DiophantineEquation3rdPowers
wikipedia: Wikipedia Fermat cubic, Fermat cubic (definition). Also Wikidata Q4183847

History

2026-10-26: add by m2/dev

GQ9ZT0FYDC GQ9ZT0FYDC

URI	`m2://inv/GQ9ZT0FYDC`
Kind	definition
Layer	research
MSC	49-XX, 60-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.17626#5ECU (definition). In 54ATJS74DT/e1, definition

History

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

GQA2VCGDE5 GQA2VCGDE5

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

Mentions

arxiv: arXiv 2610.03814#D2GL (statement). In STPNP83RJS/e1, lemma 4.3

History

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

GQA49907CP GQA49907CP

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

Mentions

arxiv: arXiv 2608.24424#TJDW (statement). In RQHGZ4AA5T/e1, lemma 3.4

History

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

GQABAA9HXD GQABAA9HXD

URI	`m2://inv/GQABAA9HXD`
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.14838#3FJJ (definition). In J7ZX3WWRQP/e1, definition 2.1

History

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

Gesine Reinert GQADPEZC2X

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#UZCF, Gesine Reinert (topic)

History

2026-11-02: add by m2/dev

free category GQAHNTMYCZ

URI	`m2://inv/GQAHNTMYCZ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Free category THRHFW3SMP

Mentions

wikidata: Wikidata Q5500202, free category (unknown). Also nLab free category
wikipedia: Wikipedia Free category, Free category (definition). Also Wikidata Q5500202

History

2026-10-26: add by m2/dev

Hypercycle GQAQ5BDJA8

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

Mentions

wikipedia: Wikipedia Hypercycle (geometry), Hypercycle (definition). Also Wikidata Q4530153

History

2026-11-02: add by m2/dev

existence and uniqueness theorem GQAS4QNWA1

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

Mentions

lebl_ra: lebl_ra index/9.3.2/existence-and-uniqueness-theorem, existence and uniqueness theorem (concept). In E59CDZA4DP, index, section 9.3.2

History

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

Conjugate prior GQAVJDGW8T

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

Mentions

wikipedia: Wikipedia Conjugate prior, Conjugate prior (definition). Also Wikidata Q3711784

History

2026-11-02: add by m2/dev

GQAZ7PYRHS GQAZ7PYRHS

URI	`m2://inv/GQAZ7PYRHS`
Kind	definition
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.08226#XOST (definition). In V6EPE8XHAD/e1, definition A.5

History

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

GQB0V1N1AT GQB0V1N1AT

URI	`m2://inv/GQB0V1N1AT`
Kind	statement
Layer	research
MSC	37-XX, 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 1603.00857#TQO6 (statement). In XT50B5RJF5/e1, theorem 1

History

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

GQB1A43E5V GQB1A43E5V

URI	`m2://inv/GQB1A43E5V`
Kind	definition
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#O261 (definition). In 3KTZ6Z615H/e1, definition 3.8

History

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

GQB2D3KEJS GQB2D3KEJS

URI	`m2://inv/GQB2D3KEJS`
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 2512.11346#SXYM (statement). In ZW58VE9XE3/e1, lemma 2.1

History

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

Cartan formula GQB59AZ0AY

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

Mentions

wikipedia: Wikipedia Cartan formula, Cartan formula (statement). Also Wikidata Q55234064

History

2026-11-02: add by m2/dev

IKKT matrix model GQB9RQA76T

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

Mentions

wikipedia: Wikipedia Matrix theory (physics)#7WAO, IKKT matrix model (unknown)

History

2026-11-02: add by m2/dev

GQBBHRETMD GQBBHRETMD

URI	`m2://inv/GQBBHRETMD`
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#NMKS (statement). In PRVQPSBVHK/e1, proposition 9

History

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

Properties GQBCG5HQ30

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

Mentions

wikipedia: Wikipedia Comonotonicity#AWBY, Properties (statement)

History

2026-11-02: add by m2/dev

Tomio Kubota GQBCTZJWR0

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

Mentions

wikipedia: Wikipedia Tomio Kubota, Tomio Kubota (topic). Also Wikidata Q4858343

History

2026-11-02: add by m2/dev

Synthesis and transpose convolution GQBJHMCPX0

URI	`m2://inv/GQBJHMCPX0`
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.13892#DO3W, Synthesis and transpose convolution (statement). In HV9KKEBBDD/e1, proposition VI.2

History

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

Restriction to the exceptional curve GQBVEKMACX

URI	`m2://inv/GQBVEKMACX`
Kind	statement
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 2610.21093#H51O, Restriction to the exceptional curve (statement). In TBFPBPQV3G/e1, lemma 4.1

History

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

GQBWF8ZMPG GQBWF8ZMPG

URI	`m2://inv/GQBWF8ZMPG`
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 2211.16099#KRB6 (statement). In 91RRFW0K5D/e1, lemma 28

History

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

Examples GQC4M813WX

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

Mentions

wikipedia: Wikipedia Parameter#5AZ7, Examples (example)

History

2026-11-02: add by m2/dev

Expectation–maximization algorithm GQC8RMHSF9

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

Mentions

wikipedia: Wikipedia List of statistics articles#57KA, Expectation–maximization algorithm (definition)

History

2026-11-02: add by m2/dev

GQCG371J4Q GQCG371J4Q

URI	`m2://inv/GQCG371J4Q`
Kind	definition
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 2108.00412#KRYO (definition). In APD8GE0E4F/e1, definition 2.7

History

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

Fixed-offset stackability transition GQCGNJMSD7

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

Mentions

arxiv: arXiv 2609.39633#E3X7, Fixed-offset stackability transition (statement). In B339AJZP2S/e1, theorem 2.2

History

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

Notation GQCJ1EBETN

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

Mentions

wikipedia: Wikipedia Diophantus#LTQM, Notation (definition)

History

2026-11-02: add by m2/dev

GQCS3QX3S9 GQCS3QX3S9

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

Mentions

arxiv: arXiv 2603.28861#4YIK (statement). In A3VQ2TNRKK/e1, proposition 10.1

History

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

A BBM homogenization theorem GQD1JJ4CNQ

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

Mentions

arxiv: arXiv 2609.21933#B0WM, A BBM homogenization theorem (statement)

History

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

GQD1WVNHPG GQD1WVNHPG

URI	`m2://inv/GQD1WVNHPG`
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#BE4U (statement). In HNV63B8Y1A/e1, lemma 3.9

History

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

Multiway data analysis GQDAFVN91N

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

Mentions

wikipedia: Wikipedia Multiway data analysis, Multiway data analysis (definition). Also Wikidata Q17051318

History

2026-11-02: add by m2/dev

GQDBWT0KQE GQDBWT0KQE

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

Mentions

arxiv: arXiv 2609.25388#O0DF (definition)

History

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

theory of order relations GQDDECS113

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

Mentions

wikidata: Wikidata Q114706201, theory of order relations (topic)

History

2026-10-26: add by m2/dev

radial line GQDDVZA839

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

Mentions

wikidata: Wikidata Q7280270, radial line (unknown). Also MathWorld RadialLine

History

2026-10-26: add by m2/dev

GQDK2T0ZY1 GQDK2T0ZY1

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

Mentions

arxiv: arXiv 2609.25539#I9S9 (statement)

History

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

category of topological spaces GQDMS90ZSC

URI	`m2://inv/GQDMS90ZSC`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Category of topological spaces K1DX0S4797

Mentions

wikidata: Wikidata Q2000555, category of topological spaces (definition). Also nLab Top, ProofWiki Definition:Category_of_Topological_Spaces
wikipedia: Wikipedia Category of topological spaces, Category of topological spaces (definition). Also Wikidata Q2000555

History

2026-10-26: add by m2/dev

\textbf{Failure of TPO GQDX21PXKV

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

Mentions

arxiv: arXiv 2610.03619#24BO, \textbf{Failure of TPO (statement). In 7SRERSS1PF/e1, theorem A

History

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

GQDXD6BK9P GQDXD6BK9P

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

Mentions

arxiv: arXiv 2609.36377#4OOX (statement). In M98F6VRPZ2/e1, lemma 3.2

History

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

GQDYZ7PFSV GQDYZ7PFSV

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

Mentions

arxiv: arXiv 2610.14979#IWQU (conjecture). In 6NH1VVZK1N/e1, conjecture 1.1

History

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

GQE18KB4QZ GQE18KB4QZ

URI	`m2://inv/GQE18KB4QZ`
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.25524#921O (statement)

History

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

GQE5X66RY5 GQE5X66RY5

URI	`m2://inv/GQE5X66RY5`
Kind	definition
Layer	research
MSC	05-XX, 46-XX, 47-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 1711.00219#5TZV (definition). In 7V3HG30ZGW/e1, definition 3.3

History

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

Example GQE64D5AY0

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

Mentions

wikipedia: Wikipedia Dinic's algorithm#AOQR, Example (example)

History

2026-11-02: add by m2/dev

Squarefree GQE64JBFMY

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

Mentions

wikipedia: Wikipedia List of small groups#00YY, Squarefree (definition)

History

2026-11-02: add by m2/dev

Boolean algebra GQED0CK3K2

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

Mentions

wikipedia: Wikipedia List of algebras#R5CK, Boolean algebra (definition)
wikipedia: Wikipedia List of Boolean algebra topics#M0VD, Boolean algebra (definition)

History

2026-11-02: add by m2/dev

GQEGMHN3ER GQEGMHN3ER

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

Mentions

arxiv: arXiv 2610.11021#HWT3 (statement). In R0SSJZYVTJ/e1, proposition 2.3

History

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

Examples GQEMCJBM4W

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

Mentions

wikipedia: Wikipedia Cohort analysis#92V6, Examples (example)

History

2026-11-02: add by m2/dev

GQEMG1XMNW GQEMG1XMNW

URI	`m2://inv/GQEMG1XMNW`
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.31274#HZXG (statement). In RK0ZMDJ23T/e1, lemma 2.3.7

History

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

GQENM8X0CK GQENM8X0CK

URI	`m2://inv/GQENM8X0CK`
Kind	example
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#6KHM (example). In WD2NCBV9F0/e1, example 4.8

History

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

GQEQN9T17X GQEQN9T17X

URI	`m2://inv/GQEQN9T17X`
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.23526#B661 (statement)

History

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

GQEY8GQ5KK GQEY8GQ5KK

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

Mentions

open_logic: open_logic content/turing-machines/undecidability/unsolvability-decision-problem.tex#thm:valid-ce (statement). In PKGMM3P5QY, thm, section 87.2

History

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

David Tong GQFK02DJCH

URI	`m2://inv/GQFK02DJCH`
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 Q5240460, David Tong (unknown). Also nLab David Tong
wikipedia: Wikipedia David Tong (physicist), David Tong (topic). Also Wikidata Q5240460

History

2026-10-26: add by m2/dev

Height of a polynomial GQFKEH3TK3

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

Mentions

wikipedia: Wikipedia Height function#Y9B9, Height of a polynomial (unknown)

History

2026-11-02: add by m2/dev

GQFRNP8YF5 GQFRNP8YF5

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

Mentions

arxiv: arXiv 2609.35632#YYJB (statement). In Q74G3BVZAQ/e1, corollary 3.6

History

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

Characterizations GQFZ114RZ9

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

Mentions

wikipedia: Wikipedia Gegenbauer polynomials#QRWC, Characterizations (statement)

History

2026-11-02: add by m2/dev

Syllogism GQGF8HRKHG

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

Mentions

wikipedia: Wikipedia Syllogism, Syllogism (definition). Also Wikidata Q107342

History

2026-11-02: add by m2/dev

GQGFQG6ENM GQGFQG6ENM

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

Mentions

arxiv: arXiv 2609.38556#SDPJ (statement). In GC2H0HS7ZM/e1, lemma 3.11

History

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

GQGH7WW6GC GQGH7WW6GC

URI	`m2://inv/GQGH7WW6GC`
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 2401.05118#J63X (statement). In BT0T0QS2TN/e1, corollary 3.7.1

History

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

GQGKH31XAV GQGKH31XAV

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

Mentions

arxiv: arXiv 2609.20514#DHLF (statement)

History

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

Examples GQGKSE7Y5X

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

Mentions

wikipedia: Wikipedia Triviality (mathematics)#47YK, Examples (example)

History

2026-11-02: add by m2/dev

Ruth I. Michler Memorial Prize GQGKSYTXTW

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

Mentions

wikipedia: Wikipedia Ruth I. Michler Memorial Prize, Ruth I. Michler Memorial Prize (definition). Also Wikidata Q42102926

History

2026-11-02: add by m2/dev

GQGTV0ZPZ2 GQGTV0ZPZ2

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

Mentions

arxiv: arXiv 2610.04099#9QE6 (statement). In QPJ6FWG5HD/e1, theorem 2.3

History

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

Euler–Cauchy stress principle – stress vector GQH95MEFCV

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

Mentions

wikipedia: Wikipedia Cauchy stress tensor#9Y7Q, Euler–Cauchy stress principle – stress vector (statement)

History

2026-11-02: add by m2/dev

GQHF033K4J GQHF033K4J

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

Mentions

open_logic: open_logic content/lambda-calculus/introduction/composition.tex#lem-1 (statement). In PKGMM3P5QY, lem, section 36.6

History

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

GQHHXNPRY2 GQHHXNPRY2

URI	`m2://inv/GQHHXNPRY2`
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.19283#H715 (statement). In 28BAGZRCKG/e1, theorem 4.3

History

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

GQHJB8Z8TS GQHJB8Z8TS

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

Mentions

arxiv: arXiv 2610.01087#VOWZ (statement). In 7QXAZXGNPQ/e1, lemma 2.4

History

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

András Vargha GQHMMQW864

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

Mentions

wikipedia: Wikipedia András Vargha, András Vargha (topic). Also Wikidata Q1401896

History

2026-11-02: add by m2/dev

Example GQHN82RFZZ

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

Mentions

wikipedia: Wikipedia Eisenstein ideal#YWCV, Example (example)

History

2026-11-02: add by m2/dev

GQHVN2WD1N GQHVN2WD1N

URI	`m2://inv/GQHVN2WD1N`
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 2207.07461#UM7R (statement). In GAG532VMPF/e1, lemma 4.4.3

History

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

GQJ67X8WH3 GQJ67X8WH3

URI	`m2://inv/GQJ67X8WH3`
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.16844#SNFS (statement). In MAY0WVXT07/e1, theorem 1.2

History

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

GQJ9KBJAS6 GQJ9KBJAS6

URI	`m2://inv/GQJ9KBJAS6`
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.30895#3SF2 (statement). In B8D26BYA7T/e1, theorem 2

History

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

GQJCT4QRXW GQJCT4QRXW

URI	`m2://inv/GQJCT4QRXW`
Kind	statement
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 2610.03719#DGX2 (statement). In 8MDK189ZMB/e1, lemma 2.2

History

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

Integer broom topology GQJZJ01Z4P

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

Mentions

wikipedia: Wikipedia Integer broom topology, Integer broom topology (definition). Also Wikidata Q6042581

History

2026-11-02: add by m2/dev

GQJZPWYV2Z GQJZPWYV2Z

URI	`m2://inv/GQJZPWYV2Z`
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.17518#AX35 (statement). In YA4JEWTVS4/e1, proposition 2.3

History

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

Legality GQK3E85H6K

URI	`m2://inv/GQK3E85H6K`
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#MTPJ, Legality (definition). In WD2NCBV9F0/e1, definition 2.8

History

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

GQKBCFH7BF GQKBCFH7BF

URI	`m2://inv/GQKBCFH7BF`
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 2501.17009#FM5O (statement). In PESAKD6SSW/e1, corollary 5.4

History

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

GQKC3FN5GF GQKC3FN5GF

URI	`m2://inv/GQKC3FN5GF`
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.37794#V84R (statement). In ACFC6XHAMQ/e1, lemma 12

History

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

GQKE786TPA GQKE786TPA

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

Mentions

arxiv: arXiv 2610.20891#QJ1R (statement). In WH55XAE8E2/e1, theorem 3.1

History

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

Privacy concerns regarding data mining GQKHKZ9YZV

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

Mentions

wikipedia: Wikipedia Data mining#GFQ9, Privacy concerns regarding data mining (unknown)

History

2026-11-02: add by m2/dev

GQKJK6B3TM GQKJK6B3TM

URI	`m2://inv/GQKJK6B3TM`
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.33313#TT6G (statement). In HRCEFY172P/e1, theorem 3.15

History

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

Vertex of a representation GQM1BVJ2CE

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

Mentions

wikipedia: Wikipedia Vertex of a representation, Vertex of a representation (definition). Also Wikidata Q7922779

History

2026-11-02: add by m2/dev

aggregate GQM1YTVW2G

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#OJC7, aggregate (definition)

History

2026-11-02: add by m2/dev

Residence time GQMBG4KHYT

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

Mentions

wikipedia: Wikipedia Residence time (statistics), Residence time (definition). Also Wikidata Q25339945

History

2026-11-02: add by m2/dev

reduced row echelon matrix GQMCP89CKS

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

Mentions

austin_ula: austin_ula index/1.2.3/reduced-row-echelon-matrix, reduced row echelon matrix (concept). In 649HGZKE96, index, section 1.2.3

History

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

Working–Hotelling procedure GQMEPDG5HE

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

Mentions

wikipedia: Wikipedia Working–Hotelling procedure, Working–Hotelling procedure (definition). Also Wikidata Q28454673

History

2026-11-02: add by m2/dev

GQMEYETJ0Z GQMEYETJ0Z

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

Mentions

arxiv: arXiv 2610.13877#KHQ3 (statement). In NBMA6DBKJG/e1, proposition 3.1

History

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

GQMJ0JYPQS GQMJ0JYPQS

URI	`m2://inv/GQMJ0JYPQS`
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.00775#2I04 (statement). In WVHA7H05QC/e1, theorem 2.10

History

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

Real-axis transversality GQMJV6XV98

URI	`m2://inv/GQMJV6XV98`
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.37164#HLN3, Real-axis transversality (statement). In B2PG75FSQJ/e1, lemma 6.4

History

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

Properties GQMNN9D11S

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

Mentions

wikipedia: Wikipedia Gamma distribution#587N, Properties (statement)

History

2026-11-02: add by m2/dev

GQMTGVD3DJ GQMTGVD3DJ

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

Mentions

arxiv: arXiv 2506.16491#664Q (definition). In P9J6P06Y40/e1, definition 2.11

History

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

Chung–Graham–Wilson theorem analogues GQMZ2RB129

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

Mentions

wikipedia: Wikipedia Pseudorandom graph#319O, Chung–Graham–Wilson theorem analogues (statement)

History

2026-11-02: add by m2/dev

GQN1NCVBF5 GQN1NCVBF5

URI	`m2://inv/GQN1NCVBF5`
Kind	example
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 2303.10963#EXQA (example). In F32XWYWG8E/e1, example 4.11

History

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

Weak Harnack estimate GQN97BK0CW

URI	`m2://inv/GQN97BK0CW`
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.27957#86H2, Weak Harnack estimate (statement)

History

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

Lindenbaum's Lemma GQNB5P4NWW

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

Mentions

open_logic: open_logic content/intuitionistic-logic/soundness-completeness/lindenbaum.tex#lem:lindenbaum, Lindenbaum's Lemma (statement). In PKGMM3P5QY, lem, section 33.5

History

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

GQNBEPQBJ1 GQNBEPQBJ1

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

Mentions

lebl_scv: lebl_scv scv.tex#prop-11 (statement). In VNMV985MXX, prop, section 2.6

History

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

Kevin McCrimmon GQND00DC34

URI	`m2://inv/GQND00DC34`
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#82EV, Kevin McCrimmon (unknown)

History

2026-11-02: add by m2/dev

Hans-Wilhelm Knobloch GQNDZJXPCP

URI	`m2://inv/GQNDZJXPCP`
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#6WDV, Hans-Wilhelm Knobloch (unknown)

History

2026-11-02: add by m2/dev

GQNP2P6J9X GQNP2P6J9X

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

Mentions

arxiv: arXiv 2609.29450#6UWM (statement)

History

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

Connections to other conjectures GQNP2QPJHA

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

Mentions

wikipedia: Wikipedia Farrell–Jones conjecture#EOJE, Connections to other conjectures (statement)

History

2026-11-02: add by m2/dev

GQNWDKPDZV GQNWDKPDZV

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-4 (proof). In VNMV985MXX, proof, section 1.2

History

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

Applications GQP3VJ13G9

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

Mentions

wikipedia: Wikipedia Chinese remainder theorem#S4Z2, Applications (example)

History

2026-11-02: add by m2/dev

Monodomain model GQP8T8GGRM

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

Mentions

wikipedia: Wikipedia Monodomain model, Monodomain model (definition). Also Wikidata Q6901522

History

2026-11-02: add by m2/dev

GQP9RSCZ81 GQP9RSCZ81

URI	`m2://inv/GQP9RSCZ81`
Kind	conjecture
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.01802#G0D9 (conjecture). In XGPZ0G9E1Q/e1, conjecture 4.11

History

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

Radius-explicit decentralized communication lower bound GQPCG88SD3

URI	`m2://inv/GQPCG88SD3`
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.33021#IBAA, Radius-explicit decentralized communication lower bound (statement). In GG96DW33Q9/e1, theorem I.3

History

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

Royal Concierge GQPFE0NPVR

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

Mentions

wikipedia: Wikipedia Royal Concierge, Royal Concierge (definition). Also Wikidata Q16632823

History

2026-11-02: add by m2/dev

Robustness GQPG4BVCA1

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

Mentions

arxiv: arXiv 2506.08233#74C8, Robustness (definition). In 2TXXQ2575Y/e1, definition 5.3

History

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

Implementations GQPHAHKAN9

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

Mentions

wikipedia: Wikipedia Averaged one-dependence estimators#4VDB, Implementations (definition)

History

2026-11-02: add by m2/dev

GQPJ1WM4JS GQPJ1WM4JS

URI	`m2://inv/GQPJ1WM4JS`
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 2609.23518#DM4S (statement)

History

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

Convergence of the Laplace transform GQPP5XFDMA

URI	`m2://inv/GQPP5XFDMA`
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.02531#M55E, Convergence of the Laplace transform (statement). In 44EQ0MZE8G/e1, proposition 8.10

History

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

GQPTFYFVRV GQPTFYFVRV

URI	`m2://inv/GQPTFYFVRV`
Kind	statement
Layer	research
MSC	11-XX, 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 2609.30033#IYRF (statement)

History

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

GQPWKQT9Y6 GQPWKQT9Y6

URI	`m2://inv/GQPWKQT9Y6`
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 2609.31910#BS84 (example). In E4EK1XXPY4/e1, example 5.9

History

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

Gyroelongated pentagonal rotunda GQQ5S93JV9

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#LYT2, Gyroelongated pentagonal rotunda (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#EJXF, Gyroelongated pentagonal rotunda (definition)

History

2026-11-02: add by m2/dev

Aleksei Georgievich Sveshnikov GQQMR5NWEC

URI	`m2://inv/GQQMR5NWEC`
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#PJC7, Aleksei Georgievich Sveshnikov (topic)

History

2026-11-02: add by m2/dev

Constructions GQQYFE83GV

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

Mentions

wikipedia: Wikipedia Laves graph#HV8F, Constructions (definition)

History

2026-11-02: add by m2/dev

GQR2XMG06S GQR2XMG06S

URI	`m2://inv/GQR2XMG06S`
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 2609.20599#LF3O (statement)

History

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

GQR5A0CP56 GQR5A0CP56

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

Mentions

arxiv: arXiv 2609.28552#2R7D (statement)

History

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

David Fisher GQR7XFHZRK

URI	`m2://inv/GQR7XFHZRK`
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#PZ6M, David Fisher (unknown)

History

2026-11-02: add by m2/dev

841 (number) GQRDXQ65NW

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

Mentions

wikipedia: Wikipedia 800 (number)#Z7W1, 841 (number) (unknown)

History

2026-11-02: add by m2/dev

Pentadecagon GQREC2AK9P

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#U357, Pentadecagon (definition)

History

2026-11-02: add by m2/dev

GQREHKB5MF GQREHKB5MF

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

Mentions

arxiv: arXiv 2609.28803#TB80 (example)

History

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

GQRFRSMX0R GQRFRSMX0R

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

Mentions

arxiv: arXiv 2609.30086#8HGX (statement)

History

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

GQRPJNVTVZ GQRPJNVTVZ

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

Mentions

arxiv: arXiv 2609.25255#IZ21 (statement)

History

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

GQRSCJ84V9 GQRSCJ84V9

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

Mentions

arxiv: arXiv 2610.19285#WMQJ (statement). In 6DJR9DKY5W/e1, lemma 5.6

History

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

Trajectory optimization GQRV2KMGZD

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#0ANC, Trajectory optimization (definition)

History

2026-11-02: add by m2/dev

Ramanujan's lost notebook GQRWGAG2K6

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

Mentions

wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#J0KL, Ramanujan's lost notebook (definition)

History

2026-11-02: add by m2/dev

Sverdrup balance GQRY2JNXRA

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

Mentions

wikipedia: Wikipedia Sverdrup balance, Sverdrup balance (definition). Also Wikidata Q1144436

History

2026-11-02: add by m2/dev

New Foundations GQRZKDXPS0

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

Mentions

wikipedia: Wikipedia List of first-order theories#BNBS, New Foundations (definition)

History

2026-11-02: add by m2/dev

Cross-sectional study GQS1EJASC1

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

Mentions

wikipedia: Wikipedia List of psychological research methods#PO19, Cross-sectional study (definition)

History

2026-11-02: add by m2/dev

GQS1KBB4EC GQS1KBB4EC

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

Mentions

napkin: napkin tex/topology/metric-prop.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 99.5

History

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

John Leech GQS28ANK1S

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

Mentions

wikipedia: Wikipedia List of geometers#GBWK, John Leech (topic)

History

2026-11-02: add by m2/dev

Proper cone structures GQS41X2FNM

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

Mentions

arxiv: arXiv 2610.11911#E1LD, Proper cone structures (statement). In 5BYE5NYB89/e1, lemma 2.8

History

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

Cohen–Macaulay ring GQS8YYMZ26

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#U1ZO, Cohen–Macaulay ring (definition)

History

2026-11-02: add by m2/dev

Foldwise target and oracle GQSNBW59NG

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

Mentions

arxiv: arXiv 2102.11076#KC9X, Foldwise target and oracle (definition). In T9HZXHTQBJ/e1, definition 8

History

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

Incremental bounds GQSQ1P4A0M

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

Mentions

arxiv: arXiv 2609.32282#M1GY, Incremental bounds (statement). In MF7XEPN4GV/e1, corollary 1

History

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

John Constance Parnis GQSQFG4PGH

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

Mentions

wikipedia: Wikipedia John Constance Parnis, John Constance Parnis (topic). Also Wikidata Q6226960

History

2026-11-02: add by m2/dev

Laws GQT0SHJ5WC

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

Mentions

wikipedia: Wikipedia Digital rights management#FYGT, Laws (statement)

History

2026-11-02: add by m2/dev

GQT14GSKR3 GQT14GSKR3

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

Mentions

arxiv: arXiv 2606.12009#P3J6 (statement). In DNAN4SV8AM/e1, corollary 3.4

History

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

Variants GQT9PDWXEY

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

Mentions

wikipedia: Wikipedia Koszul duality#LAVO, Variants (statement)

History

2026-11-02: add by m2/dev

History of formal semantics (natural language) GQT9YP5HC4

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

Mentions

wikipedia: Wikipedia Formal semantics (natural language)#KRMV, History of formal semantics (natural language) (unknown)

History

2026-11-02: add by m2/dev

GQTA3E2YKC GQTA3E2YKC

URI	`m2://inv/GQTA3E2YKC`
Kind	statement
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 2302.04566#1VXY (statement). In 80S2NP05HJ/e1, theorem 2.20

History

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

GQTC0KH7VK GQTC0KH7VK

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

Mentions

arxiv: arXiv 2609.26479#JLPL (statement)

History

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

heat equation GQTDNPESSX

URI	`m2://inv/GQTDNPESSX`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Heat equation VP2HN86VAG

Mentions

wikidata: Wikidata Q6510488, heat equation (definition). Also MathWorld HeatConductionEquation, nLab heat equation, ProofWiki Definition:Heat_Equation
wikipedia: Wikipedia Heat equation, Heat equation (definition). Also Wikidata Q6510488

History

2026-10-26: add by m2/dev

GQTNHK8Z6D GQTNHK8Z6D

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

Mentions

arxiv: arXiv 2503.19729#KKBN (statement). In 40YZ43TS8K/e1, theorem 5.2

History

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

GQTNHVWPVT GQTNHVWPVT

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

Mentions

arxiv: arXiv 2609.24545#BHT7 (statement)

History

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

GQTTBJ68T8 GQTTBJ68T8

URI	`m2://inv/GQTTBJ68T8`
Kind	example
Layer	research
MSC	30-XX, 32-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.12497#IQCK (example). In Z0SAF18JPP/e1, example 14.3

History

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

GQTX00W6PA GQTX00W6PA

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

Mentions

arxiv: arXiv 2609.24845#Y38V (definition)

History

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

GQTZFW4MY1 GQTZFW4MY1

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

Mentions

open_logic: open_logic content/normal-modal-logic/filtrations/S5-fmp.tex#prop:univ-fin (statement). In PKGMM3P5QY, prop, section 51.7

History

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

GQV5X2BY7D GQV5X2BY7D

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#exercise-4 (exercise). In E59CDZA4DP, exercise, section 5.1.6

History

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

GQVAF712B8 GQVAF712B8

URI	`m2://inv/GQVAF712B8`
Kind	statement
Layer	research
MSC	13-XX, 16-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.14060#LO2S (statement). In X47RYAZF8P/e1, lemma 5.17

History

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

GQVHV2M17F GQVHV2M17F

URI	`m2://inv/GQVHV2M17F`
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.06556#D9CL (statement). In KW8C7VE9XR/e1, fact 9

History

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

GQVKG9PF7A GQVKG9PF7A

URI	`m2://inv/GQVKG9PF7A`
Kind	statement
Layer	research
MSC	03-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.22317#EVLP (statement). In 2W5Z97BBW4/e1, lemma 4.10

History

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

Notation GQVR5PEWAD

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

Mentions

wikipedia: Wikipedia Fourier sine and cosine series#UHMB, Notation (definition)

History

2026-11-02: add by m2/dev

Dimension theory GQVVRDY5B0

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

Mentions

wikipedia: Wikipedia Dimension theory (algebra), Dimension theory (topic). Also Wikidata Q5277265

History

2026-11-02: add by m2/dev

Examples GQVVXTQ3WP

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

Mentions

wikipedia: Wikipedia Heuristic (computer science)#A95J, Examples (example)

History

2026-11-02: add by m2/dev

GQVW7YTXB1 GQVW7YTXB1

URI	`m2://inv/GQVW7YTXB1`
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.15511#NDR4 (statement). In TZM08VJAQT/e1, theorem 3.8

History

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

Existence of unimodular stellar towers GQW2H9Q363

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

Mentions

arxiv: arXiv 2609.27799#L4D1, Existence of unimodular stellar towers (statement)

History

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

GQW8H169P1 GQW8H169P1

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

Mentions

arxiv: arXiv 2610.09354#DHN3 (statement). In 5VAJC29KA2/e1, proposition 4.7

History

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

Leonard James Rogers GQWAG9ZKQT

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

Mentions

wikipedia: Wikipedia Leonard James Rogers, Leonard James Rogers (topic). Also Wikidata Q6525430

History

2026-11-02: add by m2/dev

Friedman's grand conjecture GQWQQKJ7AP

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

Mentions

wikipedia: Wikipedia Elementary function arithmetic#B1F4, Friedman's grand conjecture (statement)

History

2026-11-02: add by m2/dev

GQWS4WBHXG GQWS4WBHXG

URI	`m2://inv/GQWS4WBHXG`
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.23872#841E (statement)

History

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

GQWT41RY5K GQWT41RY5K

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

Mentions

arxiv: arXiv 2609.27775#H36R (statement)

History

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

Oscar Kempthorne GQX2BVP7TH

URI	`m2://inv/GQX2BVP7TH`
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#XJWV, Oscar Kempthorne (topic)

History

2026-11-02: add by m2/dev

Entropy in thermodynamics and information theory GQX2T0XQSH

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

Mentions

wikipedia: Wikipedia Entropy in thermodynamics and information theory, Entropy in thermodynamics and information theory (definition). Also Wikidata Q5380803

History

2026-11-02: add by m2/dev

modulus GQX5NHB3S0

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

Mentions

wikidata: Wikidata Q130246396, modulus (definition). Also MathWorld Modulus, ProofWiki Definition:Modulus_of_Congruence

History

2026-10-26: add by m2/dev

Definition GQX6Q8MCT6

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

Mentions

wikipedia: Wikipedia Homomorphism#MQ35, Definition (definition)

History

2026-11-02: add by m2/dev

GQX77GYY1B GQX77GYY1B

URI	`m2://inv/GQX77GYY1B`
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.12736#DC5M (statement). In 5350Q52F6P/e1, lemma 8.2

History

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

Secondary calculus GQXB18WFVS

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#FKP5, Secondary calculus (definition)

History

2026-11-02: add by m2/dev

Biconjugate gradient method GQXD8C73AZ

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

Mentions

wikipedia: Wikipedia Biconjugate gradient method, Biconjugate gradient method (definition). Also Wikidata Q855169

History

2026-11-02: add by m2/dev

Weyl–Groenewold product GQXGJXWQ19

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

Mentions

wikipedia: Wikipedia List of things named after Hermann Weyl#FSYX, Weyl–Groenewold product (definition)

History

2026-11-02: add by m2/dev

Barotropic vorticity equation GQXJFCQN0D

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

Mentions

wikipedia: Wikipedia Barotropic vorticity equation, Barotropic vorticity equation (definition). Also Wikidata Q4863070

History

2026-11-02: add by m2/dev

GQXRD5HKKS GQXRD5HKKS

URI	`m2://inv/GQXRD5HKKS`
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.18555#APVZ (statement). In JPR62EY6A5/e1, theorem 1

History

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

Hahn decomposition theorem GQXRW68XRR

URI	`m2://inv/GQXRW68XRR`
Kind	statement
Layer	textbook
MSC	28-XX
Sources	4
Outcome	open
Node	Hahn decomposition theorem 2PKHANZ8JS

Mentions

mathlib_1000: mathlib_1000 Q1568811, Hahn decomposition theorem (statement). Also Mathlib MeasureTheory.SignedMeasure.exists_isCompl_positive_negative, Wikidata Q1568811
thousand_plus: thousand_plus Q1568811, Hahn decomposition theorem (statement). Also Mathlib MeasureTheory.SignedMeasure.exists_isCompl_positive_negative, Wikidata Q1568811, Wikipedia Hahn decomposition theorem
wikidata: Wikidata Q1568811, Hahn decomposition theorem (statement). Also EoM Hahn_decomposition
wikipedia: Wikipedia Hahn decomposition theorem, Hahn decomposition theorem (statement). Also Wikidata Q1568811

History

2026-10-26: add by m2/dev

Fair random assignment GQXVRQ5FYM

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

Mentions

wikipedia: Wikipedia Fair random assignment, Fair random assignment (definition). Also Wikidata Q28135918

History

2026-11-02: add by m2/dev

GQXZW8QR14 GQXZW8QR14

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

Mentions

applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_derangements.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 7.4

History

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

Algebraic number theory GQY1GJPKA3

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#2MHC, Algebraic number theory (definition)

History

2026-11-02: add by m2/dev

Generalized pairs GQY4GVA3ER

URI	`m2://inv/GQY4GVA3ER`
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.17817#PNJU, Generalized pairs (definition). In M8TSJ24RC2/e1, definition 2.25

History

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

Cuatro Torres GQY967AH9R

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

Mentions

wikipedia: Wikipedia List of places with numeric names#LSLP, Cuatro Torres (unknown)

History

2026-11-02: add by m2/dev

metatheory GQYA0SH4HY

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

Mentions

wikidata: Wikidata Q1096708, metatheory (unknown). Also MathWorld Metatheory
wikipedia: Wikipedia Metatheory, Metatheory (definition). Also Wikidata Q1096708

History

2026-10-26: add by m2/dev

Gödel–McKinsey–Tarski translation GQYD7019SJ

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

Mentions

wikipedia: Wikipedia List of things named after Alfred Tarski#629I, Gödel–McKinsey–Tarski translation (definition)

History

2026-11-02: add by m2/dev

Applications GQYD7WAW4W

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

Mentions

wikipedia: Wikipedia Kaiser window#VBXL, Applications (example)

History

2026-11-02: add by m2/dev

GQYXREM1Y8 GQYXREM1Y8

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

Mentions

arxiv: arXiv 2609.22909#R8P8 (statement)

History

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

GQYXVWEM7X GQYXVWEM7X

URI	`m2://inv/GQYXVWEM7X`
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.21403#W65A (statement)

History

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

Johann Lantz GQZ6TVVYKQ

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

Mentions

wikipedia: Wikipedia Johann Lantz, Johann Lantz (topic). Also Wikidata Q18945563

History

2026-11-02: add by m2/dev

specialised form GQZ8ERC7J9

URI	`m2://inv/GQZ8ERC7J9`
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.09042#L1T3, specialised form (statement). In 7CS3N5K9FJ/e1, theorem

History

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

GQZ8FXH2F3 GQZ8FXH2F3

URI	`m2://inv/GQZ8FXH2F3`
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.10813#UG33 (statement). In G8F4P7GDMA/e1, lemma 3.1

History

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

Definition GQZJS96JJR

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

Mentions

wikipedia: Wikipedia Normal cone (convex analysis)#N5HY, Definition (definition)

History

2026-11-02: add by m2/dev

Kernels GQZM75E6F2

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

Mentions

napkin: napkin tex/linalg/vector-space.tex#example-12, Kernels (example). In RZP28ERRZV, example, section 62.7

History

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