Inventory rows YY

YY01FW1JB0 YY01FW1JB0

URI	`m2://inv/YY01FW1JB0`
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.17863#D4RG (statement). In Y8XQT02BBF/e1, theorem 2.4

History

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

YY037E94ZH YY037E94ZH

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-1 (proof). In E59CDZA4DP, proof, section 11.1.2

History

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

YY06EPVC18 YY06EPVC18

URI	`m2://inv/YY06EPVC18`
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 2412.12141#70KL (statement). In V980ZMH759/e1, lemma 2.4

History

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

Mario Szegedy YY07APTMYE

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#1N8P, Mario Szegedy (topic)

History

2026-11-02: add by m2/dev

Moment bounds and convergence of the observables YY0A2Q8AH3

URI	`m2://inv/YY0A2Q8AH3`
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.20090#YT5J, Moment bounds and convergence of the observables (statement). In 2RV3YSN1NX/e1, lemma 2

History

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

``functoriality'' of functions in type theory YY0BCV8VB6

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

Mentions

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

History

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

Vasicek model YY0CT27T1R

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

Mentions

wikipedia: Wikipedia Vasicek model, Vasicek model (definition). Also Wikidata Q2331759

History

2026-11-02: add by m2/dev

YY0FVJ6GEN YY0FVJ6GEN

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

Mentions

arxiv: arXiv 2301.04933#LTWW (statement). In Q70CTMCJTP/e1, lemma 3.16

History

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

YY0FYV41KE YY0FYV41KE

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

Mentions

napkin: napkin tex/cats/abelian.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 35.5

History

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

Oksana Baiul YY0N9EDR3R

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#0B07, Oksana Baiul (unknown)

History

2026-11-02: add by m2/dev

YY0RBD4NHA YY0RBD4NHA

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

Mentions

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

History

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

Pythagorean hammers YY0X02XR4B

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

Mentions

wikipedia: Wikipedia List of things named after Pythagoras#SUT8, Pythagorean hammers (unknown)

History

2026-11-02: add by m2/dev

Taniyama's problems YY0ZZNHHJS

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

Mentions

wikipedia: Wikipedia Taniyama's problems, Taniyama's problems (conjecture). Also Wikidata Q131725502

History

2026-11-02: add by m2/dev

conditional convergence YY12HTTP89

URI	`m2://inv/YY12HTTP89`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Conditional convergence 02YRQXZDCS

Mentions

wikidata: Wikidata Q2425336, conditional convergence (unknown). Also MathWorld ConditionalConvergence, nLab conditional convergence
wikipedia: Wikipedia Conditional convergence, Conditional convergence (definition). Also Wikidata Q2425336

History

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

Morse–Kelley set theory YY132HRFRT

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

Mentions

wikidata: Wikidata Q3490369, Morse–Kelley set theory (unknown). Also nLab Morse-Kelley set theory
wikipedia: Wikipedia Morse–Kelley set theory, Morse–Kelley set theory (definition). Also Wikidata Q3490369

History

2026-10-26: add by m2/dev

Peter Schneider YY19RDE94F

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

Mentions

wikipedia: Wikipedia Peter Schneider (mathematician), Peter Schneider (topic). Also Wikidata Q2078161

History

2026-11-02: add by m2/dev

Armin Otto Leuschner YY1B6B8370

URI	`m2://inv/YY1B6B8370`
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#ZDCZ, Armin Otto Leuschner (unknown)

History

2026-11-02: add by m2/dev

Ferdinand Gonseth YY1BJBS837

URI	`m2://inv/YY1BJBS837`
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#3VAB, Ferdinand Gonseth (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#5UI4, Ferdinand Gonseth (topic)

History

2026-11-02: add by m2/dev

Eastern Arabic numerals YY1N0SMEZZ

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

Mentions

wikipedia: Wikipedia Eastern Arabic numerals, Eastern Arabic numerals (definition). Also Wikidata Q61744

History

2026-11-02: add by m2/dev

Roland Sprague YY1S6H9XSB

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

Mentions

wikipedia: Wikipedia Roland Sprague, Roland Sprague (topic). Also Wikidata Q109062

History

2026-11-02: add by m2/dev

Bartlett's method YY1SQWX4V9

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

Mentions

wikipedia: Wikipedia List of statistics articles#PS8I, Bartlett's method (definition)

History

2026-11-02: add by m2/dev

Modified nodal analysis YY1WR2K9WB

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

Mentions

wikipedia: Wikipedia Modified nodal analysis, Modified nodal analysis (definition). Also Wikidata Q6889414

History

2026-11-02: add by m2/dev

Fortezza YY1XRNAW56

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

Mentions

wikipedia: Wikipedia Fortezza, Fortezza (definition). Also Wikidata Q5472575

History

2026-11-02: add by m2/dev

Michael S. Longuet-Higgins YY2009T9QB

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

Mentions

wikipedia: Wikipedia List of geometers#YO6B, Michael S. Longuet-Higgins (unknown)

History

2026-11-02: add by m2/dev

YY207JSN89 YY207JSN89

URI	`m2://inv/YY207JSN89`
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.16203#5A4L (statement). In 43TBS9P2PX/e1, proposition 5.1

History

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

Tait conjectures YY23D0XWTR

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

Mentions

wikipedia: Wikipedia List of knot theory topics#UXY2, Tait conjectures (statement)

History

2026-11-02: add by m2/dev

Walter Rudin YY267VG97T

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#YLC8, Walter Rudin (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#M7Z3, Walter Rudin (topic)

History

2026-11-02: add by m2/dev

YY26YPVNC4 YY26YPVNC4

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

Mentions

arxiv: arXiv 2610.20558#PA19 (definition). In 46370P3Y9S/e1, definition 6.2

History

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

sheafification YY26YX00G0

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

Mentions

wikidata: Wikidata Q124131888, sheafification (unknown). Also nLab sheafification

History

2026-10-26: add by m2/dev

YY28EMVVGP YY28EMVVGP

URI	`m2://inv/YY28EMVVGP`
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.05784#GL3I (definition). In 6NVP3YRWVA/e1, definition 2.7

History

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

YY28ESG6E1 YY28ESG6E1

URI	`m2://inv/YY28ESG6E1`
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#6X3W (statement). In R9GRCAWHG0/e1, corollary 4.5

History

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

YY2B329R4W YY2B329R4W

URI	`m2://inv/YY2B329R4W`
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 1712.02437#MU1K (statement). In GZDFK652T9/e1, theorem 5.3

History

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

Pursuit curve YY2MAHV48X

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#OQ5Z, Pursuit curve (definition)
wikipedia: Wikipedia List of curves#RCSF, Pursuit curve (definition)

History

2026-11-02: add by m2/dev

Turing pattern YY2SQNYS1C

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

Mentions

wikipedia: Wikipedia List of things named after Alan Turing#NJEW, Turing pattern (definition)

History

2026-11-02: add by m2/dev

Low-rank matrix approximations YY39RN0HD5

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

Mentions

wikipedia: Wikipedia Low-rank matrix approximations, Low-rank matrix approximations (definition). Also Wikidata Q25111883

History

2026-11-02: add by m2/dev

Svetlana Katok YY3EEK6D9Q

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#YA3T, Svetlana Katok (topic)

History

2026-11-02: add by m2/dev

YY3HCA62KQ YY3HCA62KQ

URI	`m2://inv/YY3HCA62KQ`
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.22557#4TS3 (statement)

History

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

Standard error of the equation YY3QGB67M0

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

Mentions

wikipedia: Wikipedia Ordinary least squares#GSF9, Standard error of the equation (unknown)

History

2026-11-02: add by m2/dev

Schwartz kernel theorem YY3SREY1K2

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

Mentions

wikipedia: Wikipedia Spaces of test functions and distributions#1UVW, Schwartz kernel theorem (statement)

History

2026-11-02: add by m2/dev

Examples YY3WMZNHZ0

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

Mentions

wikipedia: Wikipedia Mapping cylinder#X22G, Examples (example)

History

2026-11-02: add by m2/dev

Knot (mathematics) YY3XGFBS5S

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

Mentions

wikipedia: Wikipedia List of knot theory topics#OXKO, Knot (mathematics) (definition)

History

2026-11-02: add by m2/dev

Harmonious set YY445YEYWY

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

Mentions

wikipedia: Wikipedia Harmonious set, Harmonious set (definition). Also Wikidata Q5659356

History

2026-11-02: add by m2/dev

Connected sum YY4467SXB0

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

Mentions

wikipedia: Wikipedia List of geometric topology topics#LX70, Connected sum (definition)

History

2026-11-02: add by m2/dev

YY45CXH6XZ YY45CXH6XZ

URI	`m2://inv/YY45CXH6XZ`
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 2011.08789#TMBE (statement). In 43AGRMP7T3/e1, theorem

History

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

YY4D4KHZ0K YY4D4KHZ0K

URI	`m2://inv/YY4D4KHZ0K`
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 0904.3493#EU02 (statement). In 1ARY7220P4/e1, proposition 3.9

History

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

Tito Livio Burattini YY4GW855V6

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#V9M7, Tito Livio Burattini (unknown)

History

2026-11-02: add by m2/dev

Computation YY4Q8JFQVR

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

Mentions

wikipedia: Wikipedia Kakutani fixed-point theorem#GBFF, Computation (definition)

History

2026-11-02: add by m2/dev

Examples YY4QEFT8QF

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

Mentions

wikipedia: Wikipedia Algebraic stack#C8RA, Examples (example)

History

2026-11-02: add by m2/dev

YY4WZYVY47 YY4WZYVY47

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-9 (exercise). In Y91XFCEVHQ, exercise, section 5.7

History

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

The disk remains extremal YY4X5SSF1S

URI	`m2://inv/YY4X5SSF1S`
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 2609.38041#Y7X7, The disk remains extremal (statement). In 54NQGN1BWM/e1, corollary 9.2

History

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

YY4XZ3C46P YY4XZ3C46P

URI	`m2://inv/YY4XZ3C46P`
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-14 (example). In E9HS8K3A52, example, section 5.4.1

History

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

YY51KK83HA YY51KK83HA

URI	`m2://inv/YY51KK83HA`
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.36412#RAOY (statement). In 6HKGGCMBCK/e1, proposition 2.7

History

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

YY54ZVEAZR YY54ZVEAZR

URI	`m2://inv/YY54ZVEAZR`
Kind	statement
Layer	research
MSC	05-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.03559#QMR0 (statement). In R68THJCHX6/e1, lemma 1

History

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

YY584MSTPX YY584MSTPX

URI	`m2://inv/YY584MSTPX`
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.08583#AY1M (statement). In 5EKTECQ2P1/e1, lemma 4.6

History

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

YY5A34EC6K YY5A34EC6K

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

Mentions

arxiv: arXiv 2609.26600#I5YZ (statement)

History

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

YY5G1978ZB YY5G1978ZB

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

Mentions

arxiv: arXiv 0809.4587#8AEI (statement). In KQ8JPHDKKE/e1, theorem 9.6.5

History

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

Jónsson–Tarski duality YY5PKCE44A

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

Mentions

wikipedia: Wikipedia List of things named after Alfred Tarski#2BST, Jónsson–Tarski duality (definition)
wikipedia: Wikipedia List of dualities#H235, Jónsson–Tarski duality (definition)

History

2026-11-02: add by m2/dev

YY5Q2XSMW3 YY5Q2XSMW3

URI	`m2://inv/YY5Q2XSMW3`
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.00909#XD1C (example). In Z4TD36VFPW/e1, example 2.4

History

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

Construction YY5S3AVMF9

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

Mentions

wikipedia: Wikipedia Adams resolution#TSXJ, Construction (definition)

History

2026-11-02: add by m2/dev

Bruce Reed YY5VQS9XG8

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

Mentions

wikipedia: Wikipedia Bruce Reed (mathematician), Bruce Reed (topic). Also Wikidata Q4978188

History

2026-11-02: add by m2/dev

Evgeny Pinkhasovich Likhtman YY5Z1EK2F5

URI	`m2://inv/YY5Z1EK2F5`
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 Q26251155, Evgeny Pinkhasovich Likhtman (unknown). Also nLab Evgeny Likhtman

History

2026-10-26: add by m2/dev

Cholesky decomposition YY5ZS7FKXP

URI	`m2://inv/YY5ZS7FKXP`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Cholesky decomposition 0WKG8CYY6A

Mentions

wikidata: Wikidata Q515375, Cholesky decomposition (definition). Also MathWorld CholeskyDecomposition, ProofWiki Definition:Cholesky_Factorization
wikipedia: Wikipedia Cholesky decomposition, Cholesky decomposition (definition). Also Wikidata Q515375

History

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

Jenny McNulty YY64NRVP4X

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

Mentions

wikipedia: Wikipedia Jenny McNulty, Jenny McNulty (topic). Also Wikidata Q102176073

History

2026-11-02: add by m2/dev

YY6B2R93X2 YY6B2R93X2

URI	`m2://inv/YY6B2R93X2`
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.01441#AYUC (statement). In V678XY1P9A/e1, lemma 1

History

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

YY6BMFSWNW YY6BMFSWNW

URI	`m2://inv/YY6BMFSWNW`
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.29022#FVSD (statement)

History

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

Symmetric derivative YY6H0ZPPG5

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

Mentions

wikipedia: Wikipedia Symmetric derivative, Symmetric derivative (definition). Also Wikidata Q3773126

History

2026-11-02: add by m2/dev

DeCSS YY6VE0R338

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

Mentions

wikipedia: Wikipedia DeCSS, DeCSS (definition). Also Wikidata Q1179498

History

2026-11-02: add by m2/dev

Finite-dimensional level-set local time YY6WXKX0N9

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

Mentions

arxiv: arXiv 2609.27962#OJC5, Finite-dimensional level-set local time (statement)

History

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

Hundred Fowls Problem YY6YXHX183

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

Mentions

wikipedia: Wikipedia Hundred Fowls Problem, Hundred Fowls Problem (problem). Also Wikidata Q28224284

History

2026-11-02: add by m2/dev

Landau's constants YY76TRPHTH

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

Mentions

wikidata: Wikidata Q2994932, Landau's constants (concept). Also MathWorld LandauConstant

History

2026-10-26: add by m2/dev

Force of interest YY7BKV8X8D

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

Mentions

wikipedia: Wikipedia Compound interest#VIAJ, Force of interest (unknown)

History

2026-11-02: add by m2/dev

Generalization YY7H0VB6RY

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

Mentions

wikipedia: Wikipedia Tukey lambda distribution#EC5S, Generalization (statement)

History

2026-11-02: add by m2/dev

YY7KW8REJZ YY7KW8REJZ

URI	`m2://inv/YY7KW8REJZ`
Kind	statement
Layer	research
MSC	11-XX, 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 2610.12203#UOQP (statement). In F4YTAZSCS2/e1, proposition 3.1

History

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

YY7ZAPAV8F YY7ZAPAV8F

URI	`m2://inv/YY7ZAPAV8F`
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.17602#MQ4K (statement). In BH62508WHJ/e1, lemma 1

History

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

YY8E4HMX40 YY8E4HMX40

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

Mentions

arxiv: arXiv 2609.25188#O3Q6 (example)

History

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

YY8GBBJDQ3 YY8GBBJDQ3

URI	`m2://inv/YY8GBBJDQ3`
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 2609.31907#HMJZ (definition). In 6B2PCEGCYZ/e1, definition 2.11

History

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

YY8Q2QH5GT YY8Q2QH5GT

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

Mentions

arxiv: arXiv 2609.37520#093O (statement). In BDN507RN7J/e1, proposition 3.6.15

History

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

YY8R9DN1N7 YY8R9DN1N7

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

History

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

Ringel's conjecture YY8VQW8HSV

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#FSTP, Ringel's conjecture (definition)

History

2026-11-02: add by m2/dev

YY92D4M1M0 YY92D4M1M0

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

Mentions

applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-24 (exercise). In QKM9DD2H56, exercise, section 7

History

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

YY94PY0VZA YY94PY0VZA

URI	`m2://inv/YY94PY0VZA`
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.18078#5PU5 (statement). In YVK8EFSYNJ/e1, proposition 8.1

History

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

Franz Alt YY9CV3FM0V

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

Mentions

wikipedia: Wikipedia Franz Alt (mathematician), Franz Alt (topic). Also Wikidata Q92773

History

2026-11-02: add by m2/dev

The unit square YY9QNS608W

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

Mentions

napkin: napkin tex/topology/constructions.tex#example-3, The unit square (example). In RZP28ERRZV, example, section 96.3

History

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

Kenneth Appel YY9R9C405B

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

Mentions

wikipedia: Wikipedia Kenneth Appel, Kenneth Appel (topic). Also Wikidata Q224787

History

2026-11-02: add by m2/dev

YY9X78FBGP YY9X78FBGP

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

Mentions

arxiv: arXiv 2610.21921#YFEK (statement). In CM2YEK9T4F/e1, proposition 4.12

History

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

Statements YY9XMVK8PP

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

Mentions

wikipedia: Wikipedia Validity (logic)#NJSF, Statements (statement)

History

2026-11-02: add by m2/dev

YYA6MH5AY0 YYA6MH5AY0

URI	`m2://inv/YYA6MH5AY0`
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.40191#K6GM (statement). In F0D8VSM4Z4/e1, theorem 4.3

History

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

YYACMSV523 YYACMSV523

URI	`m2://inv/YYACMSV523`
Kind	statement
Layer	research
MSC	05-XX, 11-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 2609.26762#E96F (statement)

History

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

Squeeze-and-Excitation Network YYAD3NAE07

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

Mentions

wikipedia: Wikipedia Residual neural network#JYT9, Squeeze-and-Excitation Network (unknown)

History

2026-11-02: add by m2/dev

YYAE2VMPG4 YYAE2VMPG4

URI	`m2://inv/YYAE2VMPG4`
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 2407.12231#D9LC (statement). In W44N3VEC6H/e1, theorem 9

History

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

Utility maximization problem YYAGS43ZQP

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

Mentions

wikipedia: Wikipedia List of statistics articles#52JN, Utility maximization problem (problem)

History

2026-11-02: add by m2/dev

YYAMG46FA9 YYAMG46FA9

URI	`m2://inv/YYAMG46FA9`
Kind	statement
Layer	research
MSC	20-XX, 55-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.30579#4J2Y (statement). In FDYZFDHZH9/e1, lemma 3.1

History

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

YYAR942CFN YYAR942CFN

URI	`m2://inv/YYAR942CFN`
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.08658#D3CT (statement). In 7PK5WS7246/e1, lemma 5.1

History

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

YYB3W20F10 YYB3W20F10

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

Mentions

arxiv: arXiv 2610.05299#A54O (definition). In 68AE571S4P/e1, definition 4.9

History

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

Neumann series YYB4XX5ES8

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

Mentions

wikidata: Wikidata Q584910, Neumann series (concept). Also EoM Neumann_series
wikipedia: Wikipedia Neumann series, Neumann series (definition). Also Wikidata Q584910

History

2026-10-26: add by m2/dev

Non-unital ring YYBDBWGT2H

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#GNQE, Non-unital ring (definition)

History

2026-11-02: add by m2/dev

Contraction ratios YYBN366KTT

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

Mentions

arxiv: arXiv 2610.17677#TFZH, Contraction ratios (statement). In 5E9G06XJKC/e1, lemma E.2

History

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

YYBP64391R YYBP64391R

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

Mentions

arxiv: arXiv 2609.27078#H8BH (definition)

History

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

Formal definition YYBSFRR6QT

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

Mentions

wikipedia: Wikipedia Pseudorandom function family#3G7R, Formal definition (definition)

History

2026-11-02: add by m2/dev

Epidemiology YYBT556Y3P

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

Mentions

wikipedia: Wikipedia Epidemiology, Epidemiology (topic). Also Wikidata Q133805

History

2026-11-02: add by m2/dev

$\w$-type, as homotopy-initial algebra YYC2SCQSBE

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

Mentions

hott_book: hott_book index/8.4/w-type-as-homotopy-initial-algebra, $\w$-type, as homotopy-initial algebra (concept). In N54F33XE07, index, section 8.4

History

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

Applications YYC4BBMA3F

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

Mentions

wikipedia: Wikipedia Metric lattice#J53Z, Applications (example)

History

2026-11-02: add by m2/dev

YYC4T688A2 YYC4T688A2

URI	`m2://inv/YYC4T688A2`
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 2507.03563#XK0I (statement). In R6DR6F68BJ/e1, lemma 4.4

History

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

YYCC1Y24W0 YYCC1Y24W0

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

Mentions

arxiv: arXiv 2610.14377#0TA6 (statement). In WEZPNET90D/e1, lemma 2.3

History

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

YYCC8K0JK5 YYCC8K0JK5

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

Mentions

arxiv: arXiv math/0512416#H1NX (proof). In WJD9YPGGYH/e1, proof

History

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

Completed twisted equivariant Chern character YYCCBHTVQV

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

Mentions

arxiv: arXiv 2610.03520#9EOT, Completed twisted equivariant Chern character (statement). In CSRZ9CWK69/e1, theorem 8.13

History

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

Hotelling's two-sample T-squared statistic YYCCCJ00WY

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

Mentions

wikipedia: Wikipedia Hotelling's T-squared distribution#AZHT, Hotelling's two-sample T-squared statistic (unknown)

History

2026-11-02: add by m2/dev

Example YYCEG8PCV6

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

Mentions

wikipedia: Wikipedia Input–output model#EXQH, Example (example)

History

2026-11-02: add by m2/dev

Collision Green function YYCEH9NT46

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

Mentions

arxiv: arXiv 2609.22301#RESX, Collision Green function (statement)

History

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

Qualitative stability YYCNVAE768

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

Mentions

arxiv: arXiv 2609.31689#L4LI, Qualitative stability (statement). In Z7M2JSF6HA/e1, corollary 17.1

History

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

subordinate connective YYD4WCY4JW

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

Mentions

wikipedia: Wikipedia Glossary of logic#B2XS, subordinate connective (definition)

History

2026-11-02: add by m2/dev

Bernhard Riemann YYDE0156GB

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

Mentions

wikipedia: Wikipedia List of publications in mathematics#08SN, Bernhard Riemann (topic)

History

2026-11-02: add by m2/dev

Applications YYDSB43TDY

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

Mentions

wikipedia: Wikipedia Curvelet#QHVU, Applications (example)

History

2026-11-02: add by m2/dev

Mikhael Gromov YYDYWB9MTE

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

Mentions

wikipedia: Wikipedia Mikhael Gromov (mathematician), Mikhael Gromov (topic). Also Wikidata Q353451

History

2026-11-02: add by m2/dev

Nana Meriwether YYE0GV99YN

URI	`m2://inv/YYE0GV99YN`
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#D4HE, Nana Meriwether (unknown)

History

2026-11-02: add by m2/dev

General Pell's equation YYE0Z02ARB

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

Mentions

wikipedia: Wikipedia Pell's equation#KAU6, General Pell's equation (unknown)

History

2026-11-02: add by m2/dev

Definition YYE5H2YSED

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

Mentions

wikipedia: Wikipedia Leray cover#OOKH, Definition (definition)

History

2026-11-02: add by m2/dev

Good unknowns YYE8WX8CBS

URI	`m2://inv/YYE8WX8CBS`
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.01883#JJ7R, Good unknowns (statement). In CYV4P9TDV0/e1, lemma 5.7

History

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

Epoch $\Omega$-regularized $Q$-planning YYEDV5XMAX

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

Mentions

arxiv: arXiv 2610.14988#S60V, Epoch $\Omega$-regularized $Q$-planning (statement). In B29M4E6KGC/e1, theorem I.1

History

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

implication YYEP95KR4N

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

Mentions

hott_book: hott_book index/A.11/implication, implication (concept). In N54F33XE07, index, section A.11

History

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

YYF2HSTSW2 YYF2HSTSW2

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

Mentions

arxiv: arXiv 2609.37520#S6EL (statement). In BDN507RN7J/e1, proposition 3.2.17

History

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

Vincent Barabba YYF5PZPQDR

URI	`m2://inv/YYF5PZPQDR`
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#S5GL, Vincent Barabba (unknown)

History

2026-11-02: add by m2/dev

Surface gradient YYFD67JSFB

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

Mentions

wikipedia: Wikipedia Surface gradient, Surface gradient (definition). Also Wikidata Q1762711

History

2026-11-02: add by m2/dev

Membership criterion YYFMNFM6XF

URI	`m2://inv/YYFMNFM6XF`
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.05776#DK86, Membership criterion (statement). In AFSG70BF7S/e1, lemma 4

History

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

Renormalization YYFRSM7KJ2

URI	`m2://inv/YYFRSM7KJ2`
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 2609.19988#R920, Renormalization (definition)

History

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

YYG175WB8W YYG175WB8W

URI	`m2://inv/YYG175WB8W`
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#0RMQ (statement). In NY9HW1E6DY/e1, lemma 4.2

History

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

Equinumerosity YYG7WG7H85

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

Mentions

wikipedia: Wikipedia Cardinality#5DMD, Equinumerosity (unknown)

History

2026-11-02: add by m2/dev

Inverse rotation YYGPDKJK33

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

Mentions

wikipedia: Wikipedia Rotation#SIF2, Inverse rotation (unknown)

History

2026-11-02: add by m2/dev

Mood-congruent memory bias YYGR1N6W0D

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

Mentions

wikipedia: Wikipedia List of cognitive biases#VUH8, Mood-congruent memory bias (unknown)

History

2026-11-02: add by m2/dev

Efficient LDP Agnostic Learning of Log-concave Mixtures YYGTGZC7J6

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

Mentions

arxiv: arXiv 2610.21033#18LL, Efficient LDP Agnostic Learning of Log-concave Mixtures (statement). In A8C1M9BSWH/e1, theorem 8.5

History

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

YYGXNWB4SK YYGXNWB4SK

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

Mentions

hott_book: hott_book setmath.tex#proof-39 (proof). In N54F33XE07, proof, section C.4

History

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

YYGYEQ4RMA YYGYEQ4RMA

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

Mentions

arxiv: arXiv 2610.06441#PBJD (unknown). In YFJ62HWHVK/e1, unknown 3.8

History

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

YYH2QRDDVV YYH2QRDDVV

URI	`m2://inv/YYH2QRDDVV`
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 2503.08488#6I15 (statement). In QH5MZXMXQH/e1, lemma 6.1

History

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

YYH3CXP23N YYH3CXP23N

URI	`m2://inv/YYH3CXP23N`
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 2102.12931#W1ZP (statement). In PQHTR84RAJ/e1, lemma 5.4

History

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

YYHC8X0405 YYHC8X0405

URI	`m2://inv/YYHC8X0405`
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.31220#NDSN (statement). In JMWCGMNE84/e1, theorem 3.7

History

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

YYHE8GBCVV YYHE8GBCVV

URI	`m2://inv/YYHE8GBCVV`
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 2609.28011#PTEI (definition)

History

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

Tricky YYHGWRYTXF

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-45, Tricky (exercise). In VNMV985MXX, exercise, section 1.5

History

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

YYHQGTXDQS YYHQGTXDQS

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

Mentions

arxiv: arXiv 2609.25926#MDV3 (statement)

History

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

YYJ2ZEAWX6 YYJ2ZEAWX6

URI	`m2://inv/YYJ2ZEAWX6`
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 2211.04758#QA03 (statement). In DRWDJG2G3S/e1, lemma 3.8

History

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

Anuar Dyusembaev YYJ3DHFVR8

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

Mentions

wikipedia: Wikipedia Anuar Dyusembaev, Anuar Dyusembaev (topic). Also Wikidata Q30089019

History

2026-11-02: add by m2/dev

YYJ6V40E1F YYJ6V40E1F

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

Mentions

arxiv: arXiv 2609.32557#YQ1Y (statement). In 7MSKC957WD/e1, theorem 3.5

History

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

YYJFFV8RVS YYJFFV8RVS

URI	`m2://inv/YYJFFV8RVS`
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.14821#H2NE (statement). In B0B2P7JEAQ/e1, proposition 4.4

History

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

Extensions YYJGSHBN7K

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

Mentions

wikipedia: Wikipedia Nonparametric skew#2V0M, Extensions (statement)

History

2026-11-02: add by m2/dev

Craig interpolation YYJHED3NBN

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

Mentions

mathlib_1000: mathlib_1000 Q1052021, Craig's interpolation theorem (statement). Also Wikidata Q1052021
thousand_plus: thousand_plus Q1052021, Craig's interpolation theorem (statement). Also Wikidata Q1052021, Wikipedia Craig's interpolation theorem
wikipedia: Wikipedia Craig interpolation, Craig interpolation (definition). Also Wikidata Q1052021

History

2026-10-26: add by m2/dev

YYJM5Y6WJQ YYJM5Y6WJQ

URI	`m2://inv/YYJM5Y6WJQ`
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.08935#MQUF (definition). In G02N9D40B9/e1, definition 5.1.5

History

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

YYJQRSC9HV YYJQRSC9HV

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

Mentions

arxiv: arXiv 2610.12295#JWHV (statement). In 6DZPR52HRP/e1, theorem 5.7

History

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

Definition YYJS4AYG5Y

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

Mentions

wikipedia: Wikipedia Vopěnka's principle#CJN3, Definition (definition)

History

2026-11-02: add by m2/dev

cohomology operation YYK04P9GKQ

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#2EG5, cohomology operation (definition)

History

2026-11-02: add by m2/dev

List of rules of inference YYK0NG9H9E

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#6RVY, List of rules of inference (topic)

History

2026-11-02: add by m2/dev

Hippocratic Oath YYK5DTZWH7

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#ZHRF, Hippocratic Oath (unknown)

History

2026-11-02: add by m2/dev

Hurwitz problem YYKHEPS65R

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

Mentions

wikipedia: Wikipedia Hurwitz problem, Hurwitz problem (problem). Also Wikidata Q5948824

History

2026-11-02: add by m2/dev

YYKSXA59N2 YYKSXA59N2

URI	`m2://inv/YYKSXA59N2`
Kind	statement
Layer	research
MSC	51-XX, 52-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 2103.14389#YR62 (statement). In NAMCCRM50R/e1, theorem 3.2

History

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

YYM0JXPTFN YYM0JXPTFN

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

Mentions

arxiv: arXiv 2308.02672#6249 (statement). In ETRT1R1CQ8/e1, lemma 2.2

History

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

YYM3RR08G7 YYM3RR08G7

URI	`m2://inv/YYM3RR08G7`
Kind	definition
Layer	research
MSC	17-XX, 20-XX, 22-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 2302.05529#9Y28 (definition). In 9VPMHV0M4R/e1, definition 1.12

History

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

Lattice shell bound YYMAGVKWFN

URI	`m2://inv/YYMAGVKWFN`
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.06372#SPY4, Lattice shell bound (statement). In G3E1P350Z6/e1, lemma 7.5

History

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

Definition YYMG8N11H1

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

Mentions

wikipedia: Wikipedia Conic section#V78M, Definition (definition)

History

2026-11-02: add by m2/dev

Yosef Hochberg YYMHY2HHWZ

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

Mentions

wikipedia: Wikipedia Yosef Hochberg, Yosef Hochberg (topic). Also Wikidata Q107488452

History

2026-11-02: add by m2/dev

Dual topology YYMN2Y7PF3

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

Mentions

wikipedia: Wikipedia List of dualities#T1CZ, Dual topology (definition)
wikipedia: Wikipedia List of topologies#MOM0, Dual topology (definition)

History

2026-11-02: add by m2/dev

Exponentially stable semigroup YYMRKJJV35

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

Mentions

wikipedia: Wikipedia C0-semigroup#51LN, Exponentially stable semigroup (unknown)

History

2026-11-02: add by m2/dev

Representation formula YYMXPFAP2N

URI	`m2://inv/YYMXPFAP2N`
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.20609#N821, Representation formula (statement)

History

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

Rooted motif signature YYNH23RENR

URI	`m2://inv/YYNH23RENR`
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 2607.01358#VFMF, Rooted motif signature (definition). In H808CYZ7YM/e1, definition 3.2

History

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

YYNR3KFG3N YYNR3KFG3N

URI	`m2://inv/YYNR3KFG3N`
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 2411.17227#QRCK (statement). In DDNP38CHQJ/e1, proposition 8.1

History

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

YYNRRS48EC YYNRRS48EC

URI	`m2://inv/YYNRRS48EC`
Kind	statement
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.07285#DDAW (statement). In S284XRA4WK/e1, lemma F.1

History

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

Emanuel Parzen YYNSSJ5C14

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

Mentions

wikipedia: Wikipedia Emanuel Parzen, Emanuel Parzen (topic). Also Wikidata Q5369117

History

2026-11-02: add by m2/dev

YYNWNANZB9 YYNWNANZB9

URI	`m2://inv/YYNWNANZB9`
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.16853#H2DP (statement). In Y43AAKZ7E6/e1, theorem Theorem

History

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

Spectral curve and weight map YYNYAHRPHD

URI	`m2://inv/YYNYAHRPHD`
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.05652#TERD, Spectral curve and weight map (definition). In 8BNPFYQDQX/e1, definition 8.1

History

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

Jean Nicolas Pierre Hachette YYP15Y0X2E

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

Mentions

wikipedia: Wikipedia Jean Nicolas Pierre Hachette, Jean Nicolas Pierre Hachette (topic). Also Wikidata Q1248339

History

2026-11-02: add by m2/dev

YYP38VW3J9 YYP38VW3J9

URI	`m2://inv/YYP38VW3J9`
Kind	statement
Layer	research
MSC	30-XX, 32-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.11902#WIH5 (statement). In K66QKM4N5E/e1, lemma 3.26

History

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

Partial groupoid YYP41SC3HV

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

Mentions

wikipedia: Wikipedia Partial groupoid, Partial groupoid (definition). Also Wikidata Q18386814

History

2026-11-02: add by m2/dev

Transverse extensions YYP73REQY3

URI	`m2://inv/YYP73REQY3`
Kind	definition
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.00490#C2HB, Transverse extensions (definition). In PZJDV6SJ9E/e1, definition 2.1

History

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

Properties YYPDHD9HPB

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

Mentions

wikipedia: Wikipedia Ricci curvature#NAYI, Properties (statement)

History

2026-11-02: add by m2/dev

YYPESRW8AA YYPESRW8AA

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

Mentions

open_logic: open_logic content/computability/computability-theory/no-universal-function.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 3.8

History

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

Space hierarchy theorem YYPHJTE7TG

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

Mentions

mathlib_1000: mathlib_1000 Q7572588, Space hierarchy theorem (statement). Also Wikidata Q7572588
thousand_plus: thousand_plus Q7572588, Space hierarchy theorem (statement). Also Wikidata Q7572588, Wikipedia Space hierarchy theorem
wikipedia: Wikipedia Space hierarchy theorem, Space hierarchy theorem (statement). Also Wikidata Q7572588

History

2026-10-26: add by m2/dev

Grothendieck category YYPM8W0GH5

URI	`m2://inv/YYPM8W0GH5`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Grothendieck category A7W468BQSM

Mentions

wikidata: Wikidata Q5610721, Grothendieck category (concept). Also nLab Grothendieck category
wikipedia: Wikipedia Grothendieck category, Grothendieck category (definition). Also Wikidata Q5610721

History

2026-10-26: add by m2/dev

Prouhet–Thue–Morse constant YYPMA28AWV

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

Mentions

wikipedia: Wikipedia List of number theory topics#4N5Q, Prouhet–Thue–Morse constant (object)

History

2026-11-02: add by m2/dev

YYPMPQYVBJ YYPMPQYVBJ

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

Mentions

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

History

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

A deterministic primitive comparison YYPPSFBN1K

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

Mentions

arxiv: arXiv 2609.30808#U27D, A deterministic primitive comparison (statement). In 4JCFPV48VG/e1, proposition 4.2

History

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

Baire category theorem YYPQA6S4WQ

URI	`m2://inv/YYPQA6S4WQ`
Kind	statement
Layer	textbook
MSC	54-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Baire category theorem 0A7KGAYHGV

Mentions

mathlib_1000: mathlib_1000 Q1052678, Baire category theorem (statement). Also Mathlib BaireSpace.of_completelyPseudoMetrizable, Mathlib BaireSpace.of_t2Space_locallyCompactSpace, Wikidata Q1052678
mathlib_overview: mathlib_overview Topology > Metric spaces > Baire theorem, Baire theorem (unknown). Also Mathlib BaireSpace.of_completelyPseudoMetrizable
thousand_plus: thousand_plus Q1052678, Baire category theorem (statement). Also Mathlib dense_sInter_of_isOpen, Wikidata Q1052678, Wikipedia Baire category theorem
wikidata: Wikidata Q1052678, Baire category theorem (statement). Also EoM Baire_theorem, nLab Baire category theorem
wikipedia: Wikipedia Baire category theorem, Baire category theorem (statement). Also Wikidata Q1052678

History

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

Bo Berndtsson YYPTRGKE24

URI	`m2://inv/YYPTRGKE24`
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#NVKP, Bo Berndtsson (unknown)

History

2026-11-02: add by m2/dev

Fermi's golden rule YYPTS9MJJ2

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

Mentions

wikipedia: Wikipedia Fermi's golden rule, Fermi's golden rule (definition). Also Wikidata Q1073295

History

2026-11-02: add by m2/dev

Roy Bin Wong YYPVSXXCVF

URI	`m2://inv/YYPVSXXCVF`
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#J7H4, Roy Bin Wong (unknown)

History

2026-11-02: add by m2/dev

Canadian Centre for Cyber Security YYPZWDAC67

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

Mentions

wikipedia: Wikipedia Communications Security Establishment#HJK5, Canadian Centre for Cyber Security (unknown)

History

2026-11-02: add by m2/dev

Stationarity in $b$ YYQ7XG6HDD

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

Mentions

arxiv: arXiv 2609.32710#FAQZ, Stationarity in $b$ (statement). In KVYG6R7CGJ/e1, lemma 3.17

History

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

Adjoint filter YYQF0ZWZ72

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

Mentions

wikipedia: Wikipedia Adjoint filter, Adjoint filter (definition). Also Wikidata Q4683167

History

2026-11-02: add by m2/dev

derivation YYQNGRFK79

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

Mentions

hott_book: hott_book index/4.2/derivation, derivation (concept). In N54F33XE07, index, section 4.2

History

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

Examples YYQT2NEA0X

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

Mentions

wikipedia: Wikipedia CM-field#Y0FN, Examples (example)

History

2026-11-02: add by m2/dev

Integral domain YYQT2ZG03J

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#ZZ4W, Integral domain (definition)

History

2026-11-02: add by m2/dev

Jacobson YYQXQXAPH0

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#XVGB, Jacobson (definition)

History

2026-11-02: add by m2/dev

YYQYPS4K4F YYQYPS4K4F

URI	`m2://inv/YYQYPS4K4F`
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 2406.07116#CDCL (statement). In 5B030CB2RK/e1, proposition 5.3

History

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

characteristic subgroup YYR06TVTMM

URI	`m2://inv/YYR06TVTMM`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Characteristic subgroup 01CS8Q2APC

Mentions

wikidata: Wikidata Q747027, characteristic subgroup (definition). Also EoM Characteristic_subgroup, ProofWiki Definition:Characteristic_Subgroup
wikipedia: Wikipedia Characteristic subgroup, Characteristic subgroup (definition). Also Wikidata Q747027

History

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

SAS language YYR2SX54XS

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

Mentions

wikipedia: Wikipedia List of statistics articles#BJ2G, SAS language (definition)

History

2026-11-02: add by m2/dev

YYR5FBTVCY YYR5FBTVCY

URI	`m2://inv/YYR5FBTVCY`
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 2510.12502#FW85 (statement). In 3A4K47Y9F2/e1, theorem 4.30

History

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

YYRAZ36DYJ YYRAZ36DYJ

URI	`m2://inv/YYRAZ36DYJ`
Kind	example
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 2608.23797#IAUM (example). In PZCA01JXVR/e1, example 3.11

History

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

Auxiliary-to-CEV oracle equivalence YYRY71TS89

URI	`m2://inv/YYRY71TS89`
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.05864#QRBP, Auxiliary-to-CEV oracle equivalence (statement). In 31QPXWDZSH/e1, theorem B.6

History

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

YYRZ9HDAEJ YYRZ9HDAEJ

URI	`m2://inv/YYRZ9HDAEJ`
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 2610.21005#F1DG (example). In E63NRC7MBE/e1, example 2.27

History

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

YYS5656XGJ YYS5656XGJ

URI	`m2://inv/YYS5656XGJ`
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.31327#H9ZJ (statement). In F605BQ3AYX/e1, theorem 4.2

History

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

Properties YYSEHK4BPE

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

Mentions

wikipedia: Wikipedia Discrete-time Fourier transform#RERN, Properties (statement)

History

2026-11-02: add by m2/dev

Volker Strassen YYSRZJJ16Q

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#DPT4, Volker Strassen (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PBTC, Volker Strassen (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Q6WZ, Volker Strassen (topic)
wikipedia: Wikipedia List of German mathematicians#EKP4, Volker Strassen (topic)

History

2026-11-02: add by m2/dev

YYT00VEVD4 YYT00VEVD4

URI	`m2://inv/YYT00VEVD4`
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 0904.0817#PIY7 (statement). In 569FZDANV3/e1, theorem 1.11

History

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

Log-Laplace bound YYT023WRJK

URI	`m2://inv/YYT023WRJK`
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.00453#ALQ6, Log-Laplace bound (statement). In ESPJMBH2R2/e1, theorem 5.5

History

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

Paraproduct YYT4G2ZYQX

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

Mentions

wikipedia: Wikipedia Paraproduct, Paraproduct (definition). Also Wikidata Q17096244

History

2026-11-02: add by m2/dev

Prestarlike functions on the disk and universally prestarlike functions YYTE4AZ940

URI	`m2://inv/YYTE4AZ940`
Kind	definition
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.18436#WYEC, Prestarlike functions on the disk and universally prestarlike functions (definition). In M0Z0XAXZYW/e1, definition 2.1

History

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

Degree of anonymity YYTG8W84RF

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

Mentions

wikipedia: Wikipedia Degree of anonymity, Degree of anonymity (definition). Also Wikidata Q5251837

History

2026-11-02: add by m2/dev

Vladimir Kondrashov YYTH78CZQ3

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

Mentions

wikipedia: Wikipedia Vladimir Kondrashov, Vladimir Kondrashov (topic). Also Wikidata Q66011519

History

2026-11-02: add by m2/dev

Pascal matrix YYTJ3BVP6M

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

Mentions

wikidata: Wikidata Q7141739, Pascal matrix (unknown). Also MathWorld PascalMatrix
wikipedia: Wikipedia Pascal matrix, Pascal matrix (definition). Also Wikidata Q7141739

History

2026-10-26: add by m2/dev

Recovery of the scalar branched fraction YYTJNK8ZSY

URI	`m2://inv/YYTJNK8ZSY`
Kind	statement
Layer	research
MSC	05-XX, 26-XX, 35-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.26066#7NS6, Recovery of the scalar branched fraction (statement)

History

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

Expansion of $g$ YYTK881RPY

URI	`m2://inv/YYTK881RPY`
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.17946#13Q9, Expansion of $g$ (statement). In A7HTYWJNCX/e1, lemma 2

History

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

Combinatorial commutative algebra YYTW8JBJDG

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

Mentions

wikipedia: Wikipedia List of commutative algebra topics#RGBZ, Combinatorial commutative algebra (topic)

History

2026-11-02: add by m2/dev

YYTW9WBX3D YYTW9WBX3D

URI	`m2://inv/YYTW9WBX3D`
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 1001.0174#CXED (statement). In 4P97F3GPJC/e1, theorem 3.1

History

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

YYV7AR2GCF YYV7AR2GCF

URI	`m2://inv/YYV7AR2GCF`
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.01433#A00B (statement). In 160PQ7F1AS/e1, lemma 3.10

History

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

Depletion as a locally interacting quasi-free observable YYVF3R14A7

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

Mentions

arxiv: arXiv 2609.10840#7YQJ, Depletion as a locally interacting quasi-free observable (statement). In P0HKF5DY7M/e1, proposition 3.2

History

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

Generalized Pareto distribution YYVFFX77RY

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

Mentions

wikipedia: Wikipedia Generalized Pareto distribution, Generalized Pareto distribution (definition). Also Wikidata Q5532448

History

2026-11-02: add by m2/dev

YYVR1KEP0F YYVR1KEP0F

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

Mentions

arxiv: arXiv 2609.39700#FEFL (statement). In E7W2HDNEKJ/e1, lemma H.17

History

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

YYVS06P7GT YYVS06P7GT

URI	`m2://inv/YYVS06P7GT`
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 2601.18223#NSM6 (statement). In ZRXE7EJA93/e1, lemma 4.4

History

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

YYVW6TJCGT YYVW6TJCGT

URI	`m2://inv/YYVW6TJCGT`
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.02689#ZNDQ (definition). In 7BWXR38MNE/e1, definition 2.3

History

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

YYW0GN0B19 YYW0GN0B19

URI	`m2://inv/YYW0GN0B19`
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.02798#I2FY (statement). In 446QW3DHTN/e1, theorem 4.8

History

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

Von Mangoldt function YYW1DQR710

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

Mentions

wikipedia: Wikipedia List of mathematical functions#HJUR, Von Mangoldt function (definition)

History

2026-11-02: add by m2/dev

Formality with duality YYW1TKYQK8

URI	`m2://inv/YYW1TKYQK8`
Kind	conjecture
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#DXBG, Formality with duality (conjecture). In KR7WXN4EWR/e1, conjecture 8.10

History

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

YYW2GM388Q YYW2GM388Q

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

Mentions

hott_book: hott_book homotopy.tex#thm:freudlemma (statement). In N54F33XE07, lem, section 7.6

History

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

YYW4SSF9YR YYW4SSF9YR

URI	`m2://inv/YYW4SSF9YR`
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 2609.31304#HZSI (statement). In 3YK9MDW1D2/e1, corollary 2.4

History

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

Oban number YYW6A6BVS8

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

Mentions

wikidata: Wikidata Q120336338, Oban number (object). Also MathWorld ObanNumber, OEIS A008521

History

2026-10-26: add by m2/dev

YYW791BF53 YYW791BF53

URI	`m2://inv/YYW791BF53`
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#JVAI (statement). In 1YHQ9YNQ68/e1, theorem 4.2

History

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

YYWH345EKJ YYWH345EKJ

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#example-6 (example). In E59CDZA4DP, example, section 8.3.3

History

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

Applications YYWHVA3ZGM

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

Mentions

wikipedia: Wikipedia Robinson–Schensted correspondence#3Z9Q, Applications (example)

History

2026-11-02: add by m2/dev

Jónsson–Tarski algebra YYWMFH65PB

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

Mentions

wikipedia: Wikipedia Jónsson–Tarski algebra, Jónsson–Tarski algebra (definition). Also Wikidata Q18208351

History

2026-11-02: add by m2/dev

Abelian endpoint YYWS8CKYZK

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

Mentions

arxiv: arXiv 2609.34289#4SWK, Abelian endpoint (statement). In 9RBATD2Z1F/e1, theorem 2.7

History

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

YYX72RDQXV YYX72RDQXV

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

Mentions

arxiv: arXiv 2609.24701#0O8O (definition)

History

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

Elementary matrix YYX9KD0X0G

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

Mentions

wikipedia: Wikipedia Glossary of linear algebra#WKO4, Elementary matrix (definition)

History

2026-11-02: add by m2/dev

YYXCMMWDV4 YYXCMMWDV4

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

Mentions

arxiv: arXiv 2610.03661#YWWG (statement). In ESDKTYDHC8/e1, lemma 19

History

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

YYXCNVQ7HZ YYXCNVQ7HZ

URI	`m2://inv/YYXCNVQ7HZ`
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.09882#E72K (statement). In 7XV6T4N79V/e1, lemma D.1

History

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

YYXGTGHXBZ YYXGTGHXBZ

URI	`m2://inv/YYXGTGHXBZ`
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.07927#IJ72 (statement). In GKM19DHQTM/e1, lemma 6.26

History

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

YYXVRQJWSK YYXVRQJWSK

URI	`m2://inv/YYXVRQJWSK`
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 2506.18195#I4TA (statement). In 6B8FNCHF1Z/e1, corollary 2

History

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

YYXX8NYQN9 YYXX8NYQN9

URI	`m2://inv/YYXX8NYQN9`
Kind	problem
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.13957#8CA4 (problem). In H1W6SNC2MJ/e1, problem

History

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

Regularized integral YYXXP91D5Y

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

Mentions

arxiv: arXiv 2610.15432#JVFU, Regularized integral (definition). In D1DFM4WYEW/e1, definition 3.1

History

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

YYXYJRRKJ6 YYXYJRRKJ6

URI	`m2://inv/YYXYJRRKJ6`
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.09599#NAQL (statement). In 4JYGH9XNA9/e1, theorem 3.5

History

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

Canonical-to-local decentralized bridge YYY4JWRC8P

URI	`m2://inv/YYY4JWRC8P`
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#WIDV, Canonical-to-local decentralized bridge (statement). In GG96DW33Q9/e1, proposition B.3

History

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

List of named differential equations YYYASKEYJS

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

Mentions

wikipedia: Wikipedia List of named differential equations, List of named differential equations (topic). Also Wikidata Q66361377

History

2026-11-02: add by m2/dev

greatest common divisor YYYEV3948T

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

Mentions

mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > greatest common divisor, greatest common divisor (unknown). Also Mathlib GCDMonoid.gcd
mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > greatest common divisor, greatest common divisor (unknown). Also Mathlib GCDMonoid.gcd

History

2026-10-26: add by m2/dev

YYYZ7447FA YYYZ7447FA

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

Mentions

arxiv: arXiv 2407.02022#NYDC (statement). In RZDNWV9E29/e1, corollary A.6

History

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

Variations YYZ1YEKT4H

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

Mentions

wikipedia: Wikipedia Five-term exact sequence#XPVH, Variations (statement)

History

2026-11-02: add by m2/dev

YYZ7NBS6JB YYZ7NBS6JB

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

Mentions

arxiv: arXiv 2609.23994#ACY7 (statement)

History

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

Lorenz gauge condition YYZ9FS9RX1

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

Mentions

wikidata: Wikidata Q1203816, Lorenz gauge condition (unknown). Also nLab Lorenz gauge
wikipedia: Wikipedia Lorenz gauge condition, Lorenz gauge condition (definition). Also Wikidata Q1203816

History

2026-10-26: add by m2/dev

Cesàro mean YYZEJS46WK

URI	`m2://inv/YYZEJS46WK`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Cesàro mean 08R2V9GZF7

Mentions

wikidata: Wikidata Q2045894, Cesàro mean (unknown). Also MathWorld CesaroMean

History

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

Fourier analysis YYZJMT9BXS

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

Mentions

wikipedia: Wikipedia List of statistics articles#AD92, Fourier analysis (topic)
wikipedia: Wikipedia List of things named after Joseph Fourier#LNX0, Fourier analysis (topic)
wikipedia: Wikipedia List of exponential topics#J9T3, Fourier analysis (topic)

History

2026-11-02: add by m2/dev

pentagonal pyramidal number YYZWNT3NPX

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

Mentions

wikidata: Wikidata Q2708903, pentagonal pyramidal number (object). Also OEIS A002411

History

2026-10-26: add by m2/dev

Cayley YYZZ39FZC3

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

Mentions

wikipedia: Wikipedia List of things named after Arthur Cayley#7R2V, Cayley (unknown)

History

2026-11-02: add by m2/dev

YYZZC7EMS5 YYZZC7EMS5

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

Mentions

open_logic: open_logic content/normal-modal-logic/sequent-calculus/more-rules.tex#ex-3 (example). In PKGMM3P5QY, ex, section 53.6

History

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

YYZZRBQYNK YYZZRBQYNK

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

Mentions

arxiv: arXiv 2610.04730#VIZP (statement). In QHFP0837Q8/e1, proposition 4.21

History

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