Inventory rows 8Q

Properties 8Q00YFYM7E

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

Mentions

wikipedia: Wikipedia Eilenberg–MacLane spectrum#ODJB, Properties (statement)

History

2026-11-02: add by m2/dev

8Q060W3TZR 8Q060W3TZR

URI	`m2://inv/8Q060W3TZR`
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.07905#OEWZ (statement). In 88GEN3Z5VG/e1, corollary 8.14

History

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

8Q083F2YPD 8Q083F2YPD

URI	`m2://inv/8Q083F2YPD`
Kind	statement
Layer	research
MSC	03-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.01919#YRJ9 (statement). In 4H727T2YAS/e1, theorem 7.4

History

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

Euler Gamma Function 8Q0CSE08NS

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

Mentions

wikipedia: Wikipedia Gamma function#0GA7, Euler Gamma Function (unknown)

History

2026-11-02: add by m2/dev

8Q0PT5CAQR 8Q0PT5CAQR

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

Mentions

arxiv: arXiv 2309.15424#DUC0 (definition). In NXYZ1EAWKN/e1, definition 2.1

History

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

8Q0QAF67AR 8Q0QAF67AR

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

Mentions

arxiv: arXiv 2610.12326#53EK (statement). In 9S7HGSEX6Q/e1, lemma 3.15

History

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

Plato's beard 8Q0V1SGKSW

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

Mentions

wikipedia: Wikipedia Plato's beard, Plato's beard (definition). Also Wikidata Q7202407

History

2026-11-02: add by m2/dev

8Q0YB7W7W5 8Q0YB7W7W5

URI	`m2://inv/8Q0YB7W7W5`
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.26089#LUD5 (statement)

History

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

8Q10NDD8FZ 8Q10NDD8FZ

URI	`m2://inv/8Q10NDD8FZ`
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#56JP (statement). In 43TBS9P2PX/e1, fact 2.3

History

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

Regular and coarsened minimum-distance estimation on \(\mathcal P(\Theta_J)\ 8Q1C0N223A

URI	`m2://inv/8Q1C0N223A`
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.07190#EYEJ, Regular and coarsened minimum-distance estimation on \(\mathcal P(\Theta_J)\ (statement). In ZWS6Q4467X/e1, corollary 4.1

History

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

Pathwise Uniqueness of Rough Solutions 8Q1CZXH5EB

URI	`m2://inv/8Q1CZXH5EB`
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 2312.06473#HBM1, Pathwise Uniqueness of Rough Solutions (definition). In P1MYSYHSGX/e1, definition 4.5

History

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

``functoriality'' of functions in type theory 8Q1RQ58W8F

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

Mentions

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

History

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

Digital signature 8Q1TDCGSFZ

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

Mentions

wikipedia: Wikipedia List of algorithms#FX4E, Digital signature (definition)

History

2026-11-02: add by m2/dev

Amenable fundamental group 8Q1ZZ8B2S6

URI	`m2://inv/8Q1ZZ8B2S6`
Kind	example
Layer	research
MSC	53-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.18530#80ML, Amenable fundamental group (example). In HSXWVKPCQV/e1, example 3.1

History

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

Joseph Furttenbach 8Q212R9PTV

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

Mentions

wikipedia: Wikipedia List of German mathematicians#TJAT, Joseph Furttenbach (unknown)

History

2026-11-02: add by m2/dev

8Q288WB5XB 8Q288WB5XB

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

Mentions

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

History

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

Applications 8Q28DG1M9V

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

Mentions

wikipedia: Wikipedia Bunched logic#KJVV, Applications (example)

History

2026-11-02: add by m2/dev

Birol Emir 8Q2FAMJNG3

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

Mentions

wikipedia: Wikipedia Birol Emir, Birol Emir (topic). Also Wikidata Q88389986

History

2026-11-02: add by m2/dev

stability theory 8Q2G8P5FRN

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

Mentions

wikidata: Wikidata Q1756677, stability theory (topic). Also EoM Stability_theory, nLab stability theory
wikipedia: Wikipedia Stability theory, Stability theory (definition). Also Wikidata Q1756677

History

2026-10-26: add by m2/dev

reciprocant 8Q2JKTMCBQ

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#CKVE, reciprocant (definition)

History

2026-11-02: add by m2/dev

Monmouth University Polling Institute 8Q2W8TV9FH

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

Mentions

wikipedia: Wikipedia List of polling organizations#O8XT, Monmouth University Polling Institute (unknown)

History

2026-11-02: add by m2/dev

8Q30DQZ86F 8Q30DQZ86F

URI	`m2://inv/8Q30DQZ86F`
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.03288#1AWM (statement). In ZHP1MFSACN/e1, corollary 4.2

History

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

8Q312K0QH1 8Q312K0QH1

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#08H1 (definition)

History

2026-11-02: add by m2/dev

8Q31NT6X4W 8Q31NT6X4W

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

Mentions

austin_ula: austin_ula src/section6-3.xml#prop-orthonormal-QTQ (statement). In 649HGZKE96, proposition, section 6.3.2

History

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

Highest-degree comparison 8Q36QF499C

URI	`m2://inv/8Q36QF499C`
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.27320#GGRV, Highest-degree comparison (statement)

History

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

Isaac Asimov 8Q38R6FGF8

URI	`m2://inv/8Q38R6FGF8`
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 Q34981, Isaac Asimov (unknown). Also ProofWiki Mathematician:Isaac_Asimov

History

2026-10-26: add by m2/dev

Kevin Corlette 8Q3AC7K1JX

URI	`m2://inv/8Q3AC7K1JX`
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#99MD, Kevin Corlette (unknown)

History

2026-11-02: add by m2/dev

Alternative definition 8Q3GAN50CR

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

Mentions

wikipedia: Wikipedia Right kite#PLH1, Alternative definition (definition)

History

2026-11-02: add by m2/dev

Corollary 2 8Q3R378W5R

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

Mentions

wikipedia: Wikipedia Berge's theorem#0Q5V, Corollary 2 (statement)

History

2026-11-02: add by m2/dev

8Q3R790XTJ 8Q3R790XTJ

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

Mentions

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

History

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

C-stationarity of relaxation limits 8Q40TJNDAY

URI	`m2://inv/8Q40TJNDAY`
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.00033#RHJY, C-stationarity of relaxation limits (statement). In SHMMW4JXZ1/e1, theorem 10

History

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

8Q450PCXD7 8Q450PCXD7

URI	`m2://inv/8Q450PCXD7`
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 2507.17002#WU7N (statement). In 2EEBP88T16/e1, lemma 5.1

History

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

Principles 8Q4E1SJP8X

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

Mentions

wikipedia: Wikipedia Gottfried Wilhelm Leibniz#P9RE, Principles (statement)

History

2026-11-02: add by m2/dev

Lissajous knot 8Q4NJQW43X

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

Mentions

wikipedia: Wikipedia Lissajous knot, Lissajous knot (definition). Also Wikidata Q6559131

History

2026-11-02: add by m2/dev

Norman Ramsey 8Q4Z4FJQX4

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#H29V, Norman Ramsey (unknown)

History

2026-11-02: add by m2/dev

8Q58D2Z4CG 8Q58D2Z4CG

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

Mentions

arxiv: arXiv 2610.13213#T4QJ (statement). In V97F4YZ8B0/e1, corollary 9.7

History

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

idoneal number 8Q59S4K49J

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

Mentions

wikidata: Wikidata Q3879415, idoneal number (unknown). Also MathWorld IdonealNumber
wikipedia: Wikipedia Idoneal number, Idoneal number (conjecture). Also Wikidata Q3879415

History

2026-10-26: add by m2/dev

8Q5DW79ARN 8Q5DW79ARN

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

Mentions

arxiv: arXiv 2609.03601#PD8N (statement). In F7TDYCHCSE/e1, lemma 3.7

History

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

Tarski monster group 8Q60J3SV0Q

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

Mentions

wikipedia: Wikipedia List of group theory topics#9I4Y, Tarski monster group (definition)
wikipedia: Wikipedia List of things named after Alfred Tarski#MZQL, Tarski monster group (definition)

History

2026-11-02: add by m2/dev

Properties 8Q64QYZ01V

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

Mentions

wikipedia: Wikipedia Functional derivative#VCTB, Properties (statement)

History

2026-11-02: add by m2/dev

8Q64YF7F1Y 8Q64YF7F1Y

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

Mentions

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

History

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

Proposition 8Q67W5E87P

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

Mentions

wikipedia: Wikipedia Linear relation#LN32, Proposition (statement)

History

2026-11-02: add by m2/dev

Euler characteristic 8Q69V3GM69

URI	`m2://inv/8Q69V3GM69`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	4
Outcome	open
Node	Euler characteristic RNDDWDAFJ5

Mentions

mathlib_1000: mathlib_1000 Q852973, Euler's polyhedron theorem (statement). Also Wikidata Q852973
thousand_plus: thousand_plus Q852973, Euler's polyhedron theorem (statement). Also Wikidata Q852973, Wikipedia Euler's polyhedron theorem
wikidata: Wikidata Q852973, Euler characteristic (unknown). Also EoM Euler_characteristic, MathWorld EulerCharacteristic, nLab Euler characteristic
wikipedia: Wikipedia Euler characteristic, Euler characteristic (definition). Also Wikidata Q852973

History

2026-10-26: add by m2/dev

8Q6J8FP3CM 8Q6J8FP3CM

URI	`m2://inv/8Q6J8FP3CM`
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 2312.05005#ZN69 (statement). In SMJMAQ2S3J/e1, theorem 1

History

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

Definition and examples 8Q6Q0X8TWP

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

Mentions

wikipedia: Wikipedia Abundant number#JGLA, Definition and examples (definition)

History

2026-11-02: add by m2/dev

Negative-degree divisors 8Q6QZ92TDP

URI	`m2://inv/8Q6QZ92TDP`
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.32834#FVQ0, Negative-degree divisors (statement). In N4M6B8EMCW/e1, lemma 2.6

History

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

Bieberbach conjecture 8Q7009YQ46

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

Mentions

wikipedia: Wikipedia Louis de Branges de Bourcia#QFPH, Bieberbach conjecture (statement)

History

2026-11-02: add by m2/dev

Dunford–Schwartz theorem 8Q74YYGWXM

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

Mentions

wikipedia: Wikipedia List of theorems#3PO2, Dunford–Schwartz theorem (statement)

History

2026-11-02: add by m2/dev

*{Definition 2.7 8Q76Z3VC3T

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

Mentions

arxiv: arXiv 2610.06521#UI0Y, *{Definition 2.7 (definition). In NVXWD513NM/e1, definition 2.3

History

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

8Q7M6K857N 8Q7M6K857N

URI	`m2://inv/8Q7M6K857N`
Kind	example
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.34260#D5Y2 (example). In BBE69ZPVTF/e1, example 5.5

History

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

8Q7MYVT6QN 8Q7MYVT6QN

URI	`m2://inv/8Q7MYVT6QN`
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.28143#SJTZ (statement)

History

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

8Q7TAYK51H 8Q7TAYK51H

URI	`m2://inv/8Q7TAYK51H`
Kind	statement
Layer	research
MSC	05-XX, 26-XX, 37-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 2203.01511#8TNF (statement). In QA7EPHDTV2/e1, lemma A.3

History

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

Brenda Strassfeld 8Q7X6D942V

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

Mentions

wikipedia: Wikipedia Brenda Strassfeld, Brenda Strassfeld (topic). Also Wikidata Q41673638

History

2026-11-02: add by m2/dev

8Q7XD6ECY9 8Q7XD6ECY9

URI	`m2://inv/8Q7XD6ECY9`
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.36389#BWV3 (statement). In N1S169J2MV/e1, proposition 9

History

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

Nigeria 8Q8291TTVE

URI	`m2://inv/8Q8291TTVE`
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 Q1033, Nigeria (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Nigeria

History

2026-10-26: add by m2/dev

8Q82TGATS1 8Q82TGATS1

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

Mentions

napkin: napkin tex/measure/large-laws.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 64.3.3

History

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

8Q8604VR72 8Q8604VR72

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

Mentions

napkin: napkin tex/topology/top-more.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 101.6

History

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

Non-essential singularity 8Q8DK5CD35

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

Mentions

wikipedia: Wikipedia Singularity (mathematics)#RK17, Non-essential singularity (unknown)

History

2026-11-02: add by m2/dev

Chen--Mohar--Wu ; Wang--Wang--Yu 8Q8DZHZMR8

URI	`m2://inv/8Q8DZHZMR8`
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.30315#L0PQ, Chen--Mohar--Wu ; Wang--Wang--Yu (statement). In FXTCVHYW5S/e1, lemma 5.3

History

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

8Q8GXG1RBY 8Q8GXG1RBY

URI	`m2://inv/8Q8GXG1RBY`
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.38014#SSF3 (statement). In F3X5W4E0AJ/e1, lemma 2

History

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

Non-commensurable 8Q8N4XP88A

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

Mentions

arxiv: arXiv 2610.13817#LJ14, Non-commensurable (definition). In BMSAXTDV47/e1, definition 2.13

History

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

8Q8PC2B1QK 8Q8PC2B1QK

URI	`m2://inv/8Q8PC2B1QK`
Kind	statement
Layer	research
MSC	03-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.33856#WOTN (statement). In 47WN78VDDF/e1, theorem 3.11

History

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

Example 8Q8QEZA3PK

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

Mentions

wikipedia: Wikipedia Place-permutation action#1XZN, Example (example)

History

2026-11-02: add by m2/dev

Moduli space 8Q8RD5VQ12

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#K0RT, Moduli space (definition)
wikipedia: Wikipedia List of string theory topics#FRQJ, Moduli space (definition)

History

2026-11-02: add by m2/dev

homogeneous coordinates 8Q8YV7BGRP

URI	`m2://inv/8Q8YV7BGRP`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Homogeneous coordinates FS9FRJ17D2

Mentions

wikidata: Wikidata Q528525, homogeneous coordinates (unknown). Also MathWorld HomogeneousCoordinates
wikipedia: Wikipedia Homogeneous coordinates, Homogeneous coordinates (definition). Also Wikidata Q528525

History

2026-10-26: add by m2/dev

Ericsson's second cycle 8Q8ZX4H8SD

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

Mentions

wikipedia: Wikipedia Ericsson cycle#WO1P, Ericsson's second cycle (unknown)

History

2026-11-02: add by m2/dev

8Q90P1ZRX7 8Q90P1ZRX7

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

Mentions

arxiv: arXiv 2609.36237#DCG3 (statement). In JNBMSFE14N/e1, lemma 3.4

History

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

Fringe of a relation 8Q947SAR3A

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

Mentions

wikipedia: Wikipedia Binary relation#4J6B, Fringe of a relation (unknown)

History

2026-11-02: add by m2/dev

contact angle 8Q9C84BQZV

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

Mentions

wikidata: Wikidata Q899239, contact angle (unknown). Also MathWorld ContactAngle

History

2026-10-26: add by m2/dev

8Q9MR0NME7 8Q9MR0NME7

URI	`m2://inv/8Q9MR0NME7`
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.20900#4DKD (statement)

History

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

8Q9P9H65X2 8Q9P9H65X2

URI	`m2://inv/8Q9P9H65X2`
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.36135#IAWW (statement). In H96A235409/e1, theorem 3

History

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

8Q9RJEKRE1 8Q9RJEKRE1

URI	`m2://inv/8Q9RJEKRE1`
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.31910#DQYN (statement). In E4EK1XXPY4/e1, proposition 2.2

History

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

CW-complex 8Q9SX5TJF9

URI	`m2://inv/8Q9SX5TJF9`
Kind	example
Layer	research
MSC	54-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.15099#ILHC, CW-complex (example). In PF5JJ9DS8Q/e1, example 2.2.9

History

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

8Q9VGKZXPF 8Q9VGKZXPF

URI	`m2://inv/8Q9VGKZXPF`
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#8DKB (statement). In WVHA7H05QC/e1, proposition 3.3

History

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

HNN criterion 8Q9XTZ6JEW

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

Mentions

arxiv: arXiv 2610.17608#LV72, HNN criterion (statement). In VAGWC38NSF/e1, corollary 2.6

History

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

\code{exists\_odd\_sq\_mul\_cube 8Q9ZCTG7FG

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

Mentions

arxiv: arXiv 2609.25011#KQEM, \code{exists\_odd\_sq\_mul\_cube (statement)

History

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

8QA7K1S5W5 8QA7K1S5W5

URI	`m2://inv/8QA7K1S5W5`
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.20860#5YLK (statement)

History

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

hole 8QAC322FC6

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#4YA2, hole (definition)

History

2026-11-02: add by m2/dev

8QAJ9EQ012 8QAJ9EQ012

URI	`m2://inv/8QAJ9EQ012`
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.20944#WZEX (statement). In DRRKZR6CQC/e1, theorem 5

History

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

8QAVXFAAG1 8QAVXFAAG1

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

Mentions

napkin: napkin tex/homology/long-exact.tex#proof-4 (proof). In RZP28ERRZV, proof, section 54.3

History

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

8QB057BW5P 8QB057BW5P

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

Mentions

arxiv: arXiv 2610.15974#9142 (statement). In 61ZHQ7BTKP/e1, theorem 3.1

History

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

Shell theorem in general relativity 8QB2GQBT4H

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

Mentions

wikipedia: Wikipedia Shell theorem#YJTM, Shell theorem in general relativity (statement)

History

2026-11-02: add by m2/dev

8QB3KFGDS9 8QB3KFGDS9

URI	`m2://inv/8QB3KFGDS9`
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.09694#02QP (statement). In 7VXBVQ5SAC/e1, proposition 4.3

History

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

Constructions 8QBBZR5ACN

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#AV5B, Constructions (definition)

History

2026-11-02: add by m2/dev

Study heterogeneity 8QBTEM7V9Y

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

Mentions

wikipedia: Wikipedia Study heterogeneity, Study heterogeneity (definition). Also Wikidata Q7628405

History

2026-11-02: add by m2/dev

Artur Avila 8QBYN5419T

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

Mentions

wikipedia: Wikipedia Artur Avila, Artur Avila (topic). Also Wikidata Q715043

History

2026-11-02: add by m2/dev

Yule, G. Udny 8QBYNYNEX8

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

Mentions

wikipedia: Wikipedia List of statisticians#TTKA, Yule, G. Udny (unknown)

History

2026-11-02: add by m2/dev

Definition (k-ERF) 8QC14VN6GB

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

Mentions

wikipedia: Wikipedia Randomness extractor#45NE, Definition (k-ERF) (definition)

History

2026-11-02: add by m2/dev

Path (topology) 8QC1D3YW42

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

Mentions

wikipedia: Wikipedia List of algebraic topology topics#CRCD, Path (topology) (definition)
wikipedia: Wikipedia List of general topology topics#VN7U, Path (topology) (definition)

History

2026-11-02: add by m2/dev

8QC1P4CNVB 8QC1P4CNVB

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#proof-30 (proof). In E59CDZA4DP, proof, section 1.8.1

History

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

Compact support 8QC4PG66VQ

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

Mentions

wikipedia: Wikipedia Support (mathematics)#VP1Q, Compact support (unknown)

History

2026-11-02: add by m2/dev

Theorem 1 in , or 8QC88Z51GY

URI	`m2://inv/8QC88Z51GY`
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#IIRM, Theorem 1 in , or (statement). In CM2YEK9T4F/e1, theorem 5.9

History

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

human population growth 8QCQENSXPW

URI	`m2://inv/8QCQENSXPW`
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#4EPZ, human population growth (unknown)

History

2026-11-02: add by m2/dev

8QCSDZ1AH0 8QCSDZ1AH0

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

Mentions

arxiv: arXiv 2610.22082#GAY8 (statement). In 7PACGDW3N7/e1, proposition 23.2

History

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

Pseudo-canonical variety 8QCTVP126A

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

Mentions

wikipedia: Wikipedia Pseudo-canonical variety, Pseudo-canonical variety (definition). Also Wikidata Q7254430

History

2026-11-02: add by m2/dev

8QCXV570XZ 8QCXV570XZ

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

Mentions

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

History

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

Stationary state properties 8QCY7S3VT6

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

Mentions

wikipedia: Wikipedia Stationary state#KYJP, Stationary state properties (statement)

History

2026-11-02: add by m2/dev

8QD45SFZ0V 8QD45SFZ0V

URI	`m2://inv/8QD45SFZ0V`
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.08753#YVE4 (statement). In J9P361Z1CX/e1, lemma 4.1

History

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

8QDRA63KFP 8QDRA63KFP

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

Mentions

arxiv: arXiv 2610.21260#O2DR (statement). In Z7WW536KA5/e1, corollary 3.3

History

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

International Congress of Mathematicians 8QDZ40KRXY

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

Mentions

wikidata: Wikidata Q860611, International Congress of Mathematicians (unknown). Also nLab ICM
wikipedia: Wikipedia International Congress of Mathematicians, International Congress of Mathematicians (definition). Also Wikidata Q860611

History

2026-10-26: add by m2/dev

Definition 8QE0QCCKHM

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

Mentions

wikipedia: Wikipedia List of set identities and relations#W3AK, Definition (definition)

History

2026-11-02: add by m2/dev

Amortized work at a selected call 8QE3QNQTFF

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

Mentions

arxiv: arXiv 2609.34025#AHRQ, Amortized work at a selected call (statement). In VCG579E7MM/e1, lemma 6

History

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

8QE4G2E1XY 8QE4G2E1XY

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

Mentions

arxiv: arXiv 2610.06909#MQFE (definition). In F1EF8XE30A/e1, definition 2.4

History

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

Legendre's theorem on spherical triangles 8QE7XS2GZF

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

Mentions

wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#7HPK, Legendre's theorem on spherical triangles (statement)

History

2026-11-02: add by m2/dev

Kolmogorov's normability criterion 8QEEAM40Y2

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

Mentions

wikipedia: Wikipedia Kolmogorov's normability criterion, Kolmogorov's normability criterion (statement). Also Wikidata Q25402330

History

2026-11-02: add by m2/dev

Tetraview 8QEEQ61VT8

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

Mentions

wikipedia: Wikipedia Tetraview, Tetraview (definition). Also Wikidata Q7706772

History

2026-11-02: add by m2/dev

Definition 8QEK89TKRR

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

Mentions

wikipedia: Wikipedia Square principle#PIBQ, Definition (definition)

History

2026-11-02: add by m2/dev

8QEP0AZGRX 8QEP0AZGRX

URI	`m2://inv/8QEP0AZGRX`
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 2412.01742#21Y6 (statement). In GYH7R98PPA/e1, lemma 2.5

History

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

8QEPNVAJHR 8QEPNVAJHR

URI	`m2://inv/8QEPNVAJHR`
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.39706#665P (statement). In 79Y8JJMKP4/e1, corollary 1.4

History

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

Sato–Tate conjecture 8QEPTAGA9B

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

Mentions

wikipedia: Wikipedia Sato–Tate conjecture#7X93, Sato–Tate conjecture (statement)

History

2026-11-02: add by m2/dev

Great pentagonal hexecontahedron 8QEW98JSFB

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#YYNT, Great pentagonal hexecontahedron (object)

History

2026-11-02: add by m2/dev

Quarantine 8QEXDRFWKD

URI	`m2://inv/8QEXDRFWKD`
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#B6U7, Quarantine (unknown)

History

2026-11-02: add by m2/dev

8QFD8GEF9H 8QFD8GEF9H

URI	`m2://inv/8QFD8GEF9H`
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.20588#CPID (definition)

History

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

Example 8QFEY0V782

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

Mentions

wikipedia: Wikipedia Interim analysis#RJ9A, Example (example)

History

2026-11-02: add by m2/dev

Risk certificate and excess decision loss 8QFK5CRQK3

URI	`m2://inv/8QFK5CRQK3`
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.10793#TQ4O, Risk certificate and excess decision loss (statement). In BSCKJRHJDT/e1, theorem 3

History

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

8QFQD2DEBA 8QFQD2DEBA

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

Mentions

open_logic: open_logic content/sets-functions-relations/functions/inverses.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 79.1

History

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

8QFSZ24TD5 8QFSZ24TD5

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

Mentions

arxiv: arXiv 2610.17608#XRHD (statement). In VAGWC38NSF/e1, lemma 2.2

History

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

Dying percolation conjecture 8QFWBWXT3J

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

Mentions

wikipedia: Wikipedia Dying percolation conjecture, Dying percolation conjecture (conjecture). Also Wikidata Q140882252

History

2026-11-02: add by m2/dev

Bockstein homomorphism 8QFXYCFTSA

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#90T4, Bockstein homomorphism (definition)

History

2026-11-02: add by m2/dev

Skolem 8QG0P9WE7D

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

Mentions

wikipedia: Wikipedia Glossary of set theory#MD6X, Skolem (definition)

History

2026-11-02: add by m2/dev

Widom scaling 8QG3N5Y67M

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

Mentions

wikipedia: Wikipedia Widom scaling, Widom scaling (definition). Also Wikidata Q7998780

History

2026-11-02: add by m2/dev

corners of $\Psi_j$ 8QGCT2W5Q8

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

Mentions

arxiv: arXiv 2610.02743#LJ4A, corners of $\Psi_j$ (statement). In GQH4ZPDWET/e1, proposition 2.5

History

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

LightGBM 8QGM040TKZ

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

Mentions

wikipedia: Wikipedia LightGBM, LightGBM (definition). Also Wikidata Q57267665

History

2026-11-02: add by m2/dev

8QGR63J09T 8QGR63J09T

URI	`m2://inv/8QGR63J09T`
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.10873#PAMI (statement). In AYG8HYGW6V/e1, lemma A.5

History

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

8QGVKJWRP6 8QGVKJWRP6

URI	`m2://inv/8QGVKJWRP6`
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.14458#S29D (statement). In WJ76MVYAZQ/e1, lemma 4.1

History

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

8QGY2AECZ5 8QGY2AECZ5

URI	`m2://inv/8QGY2AECZ5`
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 2609.34311#D0O0 (statement). In YYV9SHAPCZ/e1, lemma 4.4

History

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

Three hundred sixty-six 8QH3AX6RX3

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

Mentions

wikipedia: Wikipedia 300 (number)#M0D5, Three hundred sixty-six (unknown)

History

2026-11-02: add by m2/dev

Example 8QH6APGBZV

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

Mentions

wikipedia: Wikipedia Quantum cohomology#DAE2, Example (example)

History

2026-11-02: add by m2/dev

8QHCSRPVB1 8QHCSRPVB1

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

Mentions

arxiv: arXiv 2610.17139#N1YO (statement). In AQWX60Z563/e1, lemma 2.6

History

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

8QHE551SB8 8QHE551SB8

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

Mentions

napkin: napkin tex/homology/excision.tex#definition-3 (definition). In RZP28ERRZV, definition, section 53.3

History

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

Tiger (hash function) 8QHK2R2HGH

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#S4OZ, Tiger (hash function) (definition)

History

2026-11-02: add by m2/dev

8QHNAMENCG 8QHNAMENCG

URI	`m2://inv/8QHNAMENCG`
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.03011#N3OJ (statement). In VE8FB6K8EN/e1, lemma 18

History

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

Lennie Copeland 8QHNMJ3789

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

Mentions

wikipedia: Wikipedia Lennie Copeland, Lennie Copeland (topic). Also Wikidata Q39275187

History

2026-11-02: add by m2/dev

Vanessa Robins 8QJ04GV13Y

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

Mentions

wikipedia: Wikipedia Vanessa Robins, Vanessa Robins (topic). Also Wikidata Q49880925

History

2026-11-02: add by m2/dev

Symmetries 8QJ4MJMG1T

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

Mentions

wikipedia: Wikipedia Dixon elliptic functions#KH6Z, Symmetries (statement)

History

2026-11-02: add by m2/dev

Circular shift 8QJ537DW44

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

Mentions

wikipedia: Wikipedia List of permutation topics#T563, Circular shift (definition)

History

2026-11-02: add by m2/dev

Uncorrelated 8QJ77X5KBF

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

Mentions

wikipedia: Wikipedia List of statistics articles#0FWN, Uncorrelated (definition)

History

2026-11-02: add by m2/dev

8QJ8NMSRNQ 8QJ8NMSRNQ

URI	`m2://inv/8QJ8NMSRNQ`
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 2609.32599#X0WL (definition). In E1Y93JNBJA/e1, definition 5.4

History

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

Definition 8QJA2PZB4Y

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

Mentions

wikipedia: Wikipedia AIXI#HCUJ, Definition (definition)

History

2026-11-02: add by m2/dev

Infection fatality rate 8QJC5DV5P8

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

Mentions

wikipedia: Wikipedia Case fatality rate#6SEB, Infection fatality rate (unknown)

History

2026-11-02: add by m2/dev

West Coast Number Theory 8QJD6B0X83

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

Mentions

wikipedia: Wikipedia West Coast Number Theory, West Coast Number Theory (definition). Also Wikidata Q7984820

History

2026-11-02: add by m2/dev

8QJKNTE7GR 8QJKNTE7GR

URI	`m2://inv/8QJKNTE7GR`
Kind	definition
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 2508.18436#2C4P (definition). In 6W19Z58188/e1, definition 3.1

History

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

\textcite{korevaar2004tauberian}, Theorem 7.4, Part I. See also \textcite{bach2025ztransform 8QJXH86XH0

URI	`m2://inv/8QJXH86XH0`
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.16518#FH6M, \textcite{korevaar2004tauberian}, Theorem 7.4, Part I. See also \textcite{bach2025ztransform (statement). In SAQBDG4FK1/e1, theorem F.5

History

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

Anne Boutet de Monvel 8QJYV89310

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

Mentions

wikipedia: Wikipedia Anne Boutet de Monvel, Anne Boutet de Monvel (topic). Also Wikidata Q102229760

History

2026-11-02: add by m2/dev

The Triplets 8QK1ZV89PH

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

Mentions

wikipedia: Wikipedia List of places with numeric names#WU20, The Triplets (unknown)

History

2026-11-02: add by m2/dev

Stephen Shenker 8QK2RJP1E3

URI	`m2://inv/8QK2RJP1E3`
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 Q787109, Stephen Shenker (unknown). Also nLab Stephen Shenker

History

2026-10-26: add by m2/dev

Gillian Thornley 8QKBF706S9

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

Mentions

wikipedia: Wikipedia Gillian Thornley, Gillian Thornley (topic). Also Wikidata Q35497813

History

2026-11-02: add by m2/dev

Aaron D. Wyner 8QKDQMD0DE

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#CTCQ, Aaron D. Wyner (unknown)

History

2026-11-02: add by m2/dev

8QKGKT435C 8QKGKT435C

URI	`m2://inv/8QKGKT435C`
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:pluckedstring (example). In E9HS8K3A52, example, section 5.7

History

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

Jellett, Davies--Vincent--Smith, Lazar--Lindenstrauss, Namioka--Phelps 8QKJP29WWA

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

Mentions

arxiv: arXiv 2510.02019#I6Y2, Jellett, Davies--Vincent--Smith, Lazar--Lindenstrauss, Namioka--Phelps (statement). In PD607VXPY3/e1, theorem 34

History

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

Examples 8QKRD751VQ

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

Mentions

wikipedia: Wikipedia Sufficient statistic#B8FK, Examples (example)

History

2026-11-02: add by m2/dev

Closed-subgroup theorem 8QM25W31JW

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

Mentions

mathlib_1000: mathlib_1000 Q18206032, Closed subgroup theorem (statement). Also Wikidata Q18206032
thousand_plus: thousand_plus Q18206032, Cartan's theorem (statement). Also Wikidata Q18206032, Wikipedia Closed subgroup theorem
wikipedia: Wikipedia Closed-subgroup theorem, Closed-subgroup theorem (statement). Also Wikidata Q18206032

History

2026-10-26: add by m2/dev

quadratic formula 8QM4J19G6R

URI	`m2://inv/8QM4J19G6R`
Kind	statement
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Quadratic formula 0KYZXYDGQZ

Mentions

wikidata: Wikidata Q15909572, quadratic formula (unknown). Also MathWorld QuadraticFormula, nLab quadratic formula
wikipedia: Wikipedia Quadratic formula, Quadratic formula (statement). Also Wikidata Q15909572

History

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

8QM8RRG62M 8QM8RRG62M

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-27 (exercise). In E9HS8K3A52, exercise, section 10.2.6

History

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

8QM9PBX2P5 8QM9PBX2P5

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/CountableSets.tex#theorem-8 (statement). In P1C114YBXG, theorem, section 1

History

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

Center for Retirement Research 8QMDDY2M0K

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

Mentions

wikipedia: Wikipedia List of research centers at Boston College#QVB2, Center for Retirement Research (unknown)

History

2026-11-02: add by m2/dev

8QMG2Z9CV8 8QMG2Z9CV8

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

Mentions

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

History

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

Landau--Stark--Stechkin 8QMNCN7NH8

URI	`m2://inv/8QMNCN7NH8`
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.16010#QC67, Landau--Stark--Stechkin (statement). In AQJXKF6WZP/e1, theorem 2.4

History

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

existential instantiation 8QMSP06R6T

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

Mentions

wikipedia: Wikipedia Glossary of logic#NG5T, existential instantiation (definition)

History

2026-11-02: add by m2/dev

Variations 8QMT1F5NJ1

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

Mentions

wikipedia: Wikipedia Cooley–Tukey FFT algorithm#O3UW, Variations (statement)

History

2026-11-02: add by m2/dev

Properties 8QN016Y2H4

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

Mentions

wikipedia: Wikipedia Abelian sandpile model#8FWU, Properties (statement)

History

2026-11-02: add by m2/dev

Moran's I 8QN0Q6AJXR

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

Mentions

wikipedia: Wikipedia List of statistics articles#GH96, Moran's I (definition)

History

2026-11-02: add by m2/dev

8QN25PB7SW 8QN25PB7SW

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

Mentions

wikipedia: Wikipedia Nested triangles graph#0F02 (problem)

History

2026-11-02: add by m2/dev

8QN8CN2ACK 8QN8CN2ACK

URI	`m2://inv/8QN8CN2ACK`
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.15472#PJJH (statement). In 5Z3FH46YSY/e1, proposition 4.8

History

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

Decorated simplicial complex 8QN901052V

URI	`m2://inv/8QN901052V`
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.00525#3VSG, Decorated simplicial complex (definition). In JN34PDDXH8/e1, definition 2.2

History

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

Consequences of (S1)--(S4 8QNEPHEW0A

URI	`m2://inv/8QNEPHEW0A`
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.32585#82DS, Consequences of (S1)--(S4 (statement). In FJFJ3WR1SS/e1, lemma 3.2

History

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

8QNFNK75TS 8QNFNK75TS

URI	`m2://inv/8QNFNK75TS`
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.30976#TGJQ (statement). In 4QY9J1A0KT/e1, theorem 4

History

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

8QNFS4FB4Q 8QNFS4FB4Q

URI	`m2://inv/8QNFS4FB4Q`
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.12983#AS9T (statement). In M6TFZ6E060/e1, lemma 4.8

History

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

BitTorrent protocol encryption 8QNG2XXN29

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

Mentions

wikipedia: Wikipedia BitTorrent protocol encryption, BitTorrent protocol encryption (definition). Also Wikidata Q2904855

History

2026-11-02: add by m2/dev

surgery 8QNSGYTFXQ

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

Mentions

wikidata: Wikidata Q122473586, surgery (unknown). Also EoM Surgery, MathWorld Surgery

History

2026-10-26: add by m2/dev

Regularity interval and slack 8QNX94Q0YF

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

Mentions

arxiv: arXiv 2609.28160#T4KJ, Regularity interval and slack (definition)

History

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

8QP87CYDZ1 8QP87CYDZ1

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

Mentions

arxiv: arXiv 2610.02079#6H21 (statement). In CNS2J2E4T2/e1, proposition 8

History

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

Choice-supportive bias 8QP8JYX9RC

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

Mentions

wikipedia: Wikipedia List of cognitive biases#AOYE, Choice-supportive bias (unknown)

History

2026-11-02: add by m2/dev

Examples 8QP8Y7NDVH

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

Mentions

wikipedia: Wikipedia Overfull graph#8ZGP, Examples (example)

History

2026-11-02: add by m2/dev

Wide and narrow data 8QPC39WSX4

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

Mentions

wikipedia: Wikipedia List of statistics articles#R1Y0, Wide and narrow data (definition)

History

2026-11-02: add by m2/dev

Intermittent communication 8QPJBJFNNM

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

Mentions

arxiv: arXiv 2610.12641#30VR, Intermittent communication (definition). In X5BYGZZHPF/e1, definition 2.4

History

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

8QPKE4KYCW 8QPKE4KYCW

URI	`m2://inv/8QPKE4KYCW`
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.30444#GHNK (definition). In RZWJ0AT8W5/e1, definition 2.8

History

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

8QPKMDDN0M 8QPKMDDN0M

URI	`m2://inv/8QPKMDDN0M`
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.20316#JZ25 (statement). In YRJS76169Z/e1, lemma 4.10

History

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

8QPMB07CVH 8QPMB07CVH

URI	`m2://inv/8QPMB07CVH`
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 2012.11507#4JRQ (statement). In DZA5P853H9/e1, corollary 6

History

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

Laces for with fixed number of edges 8QQ08QE7BA

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

Mentions

arxiv: arXiv 1905.02785#51GW, Laces for with fixed number of edges (definition). In PF9KV74Q02/e1, definition 3.6

History

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

8QQ5VKRBW6 8QQ5VKRBW6

URI	`m2://inv/8QQ5VKRBW6`
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 2610.16386#4I9C (statement). In RAF0BFY3Z3/e1, theorem 5.5

History

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

Universal hyperplane-graph formula 8QQBH4G6GG

URI	`m2://inv/8QQBH4G6GG`
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 2610.20649#TLP6, Universal hyperplane-graph formula (statement). In XDTM624YPE/e1, theorem 3.1

History

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

Francesco Eschinardi 8QQNHGN8EK

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

Mentions

wikipedia: Wikipedia Francesco Eschinardi, Francesco Eschinardi (topic). Also Wikidata Q18945275

History

2026-11-02: add by m2/dev

Topologies on spaces of linear maps 8QQYMDDFCN

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

Mentions

wikipedia: Wikipedia List of topologies#Q7BA, Topologies on spaces of linear maps (definition)
wikipedia: Wikipedia List of topologies#UFA1, Topologies on spaces of linear maps (definition)

History

2026-11-02: add by m2/dev

Example 8QR090CH45

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

Mentions

wikipedia: Wikipedia Nested intervals#LQ1O, Example (example)

History

2026-11-02: add by m2/dev

ad ignorantium 8QR4XHSZNV

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

Mentions

wikipedia: Wikipedia Glossary of logic#37I6, ad ignorantium (definition)

History

2026-11-02: add by m2/dev

double cone 8QR6Q87TVC

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

Mentions

wikidata: Wikidata Q100801286, double cone (unknown). Also MathWorld DoubleCone

History

2026-10-26: add by m2/dev

8QRCJ4Z761 8QRCJ4Z761

URI	`m2://inv/8QRCJ4Z761`
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.10093#I8DS (statement). In NJDN112PFS/e1, proposition 3.1

History

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

T2 8QRCWY6KG5

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

Mentions

wikipedia: Wikipedia Glossary of general topology#JMNX, T2 (definition)

History

2026-11-02: add by m2/dev

Method of continuity 8QRJW3T49F

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

Mentions

wikipedia: Wikipedia Method of continuity, Method of continuity (definition). Also Wikidata Q6823705

History

2026-11-02: add by m2/dev

8QRM5ZR7WT 8QRM5ZR7WT

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

Mentions

open_logic: open_logic content/set-theory/z/separation.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 76.8

History

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

Mixture posterior for a finite channel class 8QRPPJEY6D

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

Mentions

arxiv: arXiv 2609.29688#ZRTM, Mixture posterior for a finite channel class (statement)

History

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

8QRQE1A5S8 8QRQE1A5S8

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

Mentions

napkin: napkin tex/homology/cohomology.tex#lemma-2 (statement). In RZP28ERRZV, lemma, section 51.6

History

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

8QRT46Z83K 8QRT46Z83K

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

Mentions

arxiv: arXiv 2609.23522#YAF0 (statement)

History

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

8QS2CBND6X 8QS2CBND6X

URI	`m2://inv/8QS2CBND6X`
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 2509.21444#8KM1 (statement). In CTVPA2FQT1/e1, lemma 8.4.2

History

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

Formulation 8QS6N2W9HE

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

Mentions

wikipedia: Wikipedia Marcinkiewicz interpolation theorem#ITYQ, Formulation (definition)

History

2026-11-02: add by m2/dev

exact Lipschitz section 8QSD35W6Q0

URI	`m2://inv/8QSD35W6Q0`
Kind	statement
Layer	research
MSC	46-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.26286#9FW2, exact Lipschitz section (statement)

History

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

orthonormal bases 8QSSD9GB1W

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

Mentions

mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > orthonormal bases, orthonormal bases (unknown). Also Mathlib maximal_orthonormal_iff_basis_of_finiteDimensional

History

2026-10-26: add by m2/dev

Modern Arabic mathematical notation 8QSSSDVKX8

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

Mentions

wikipedia: Wikipedia Modern Arabic mathematical notation, Modern Arabic mathematical notation (definition). Also Wikidata Q6888554

History

2026-11-02: add by m2/dev

8QSXMY2DJC 8QSXMY2DJC

URI	`m2://inv/8QSXMY2DJC`
Kind	statement
Layer	research
MSC	35-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.21670#4DBS (statement)

History

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

List of topologies on the category of schemes 8QSYR5V41N

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

Mentions

wikipedia: Wikipedia List of topologies on the category of schemes, List of topologies on the category of schemes (topic). Also Wikidata Q6643461

History

2026-11-02: add by m2/dev

Properties 8QT01DZQY2

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

Mentions

wikipedia: Wikipedia Type and cotype of a Banach space#PS6E, Properties (statement)

History

2026-11-02: add by m2/dev

8QT0S40136 8QT0S40136

URI	`m2://inv/8QT0S40136`
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.09557#ZFQ1 (statement). In VHC7FQVPCZ/e1, proposition 6.2

History

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

8QT3JHGCRD 8QT3JHGCRD

URI	`m2://inv/8QT3JHGCRD`
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 2609.28189#9KG5 (statement)

History

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

Radial normal tilt versus transverse tilt 8QTCNM8Q3C

URI	`m2://inv/8QTCNM8Q3C`
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.01324#JUOZ, Radial normal tilt versus transverse tilt (statement). In XKXG49TNXH/e1, lemma 3.4

History

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

Tower of Hanoi 8QTEG58K1B

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

Mentions

levin_dmoi: levin_dmoi index/3/tower-of-hanoi, Tower of Hanoi (concept). In Y91XFCEVHQ, index, section 3

History

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

Wasserstein density of terminal laws 8QTNWBAD50

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

Mentions

arxiv: arXiv 2609.34831#KHFP, Wasserstein density of terminal laws (statement). In YF36GM7X5Y/e1, theorem 5.3

History

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

ACG distribution 8QV01V6Y1S

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

Mentions

wikipedia: Wikipedia Projected normal distribution#36IN, ACG distribution (unknown)

History

2026-11-02: add by m2/dev

8QV7KBGJVZ 8QV7KBGJVZ

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

Mentions

open_logic: open_logic content/normal-modal-logic/tableaux/proofs-in-K.tex#ex-2 (example). In PKGMM3P5QY, ex, section 55.9

History

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

trigonometric identities 8QVJ44EZ41

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

Mentions

wikipedia: Wikipedia Glossary of calculus#U22Y, trigonometric identities (definition)

History

2026-11-02: add by m2/dev

Examples 8QVJ8CAFM8

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

Mentions

wikipedia: Wikipedia Hilbert C*-module#8616, Examples (example)

History

2026-11-02: add by m2/dev

8QVNTBFXDR 8QVNTBFXDR

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

Mentions

arxiv: arXiv 2610.02061#8FF1 (statement). In F5STMSPR6X/e1, lemma 2.10

History

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

8QVPJZRMG2 8QVPJZRMG2

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

Mentions

arxiv: arXiv 2609.38131#7463 (statement). In GM3S19KFDH/e1, lemma 4.4

History

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

Frobenius pseudoprime 8QVPP0CN66

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

Mentions

wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#2UD2, Frobenius pseudoprime (definition)

History

2026-11-02: add by m2/dev

Volodymyr Zelenskyy 8QVPZWPAW1

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#SSPI, Volodymyr Zelenskyy (unknown)

History

2026-11-02: add by m2/dev

Anna Mullikin 8QVVW5V2ZH

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

Mentions

wikipedia: Wikipedia Anna Mullikin, Anna Mullikin (topic). Also Wikidata Q4767362

History

2026-11-02: add by m2/dev

Proximal Inference for Policy Shift Interventions 8QW0KEAQC8

URI	`m2://inv/8QW0KEAQC8`
Kind	example
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 2508.17181#N8C1, Proximal Inference for Policy Shift Interventions (example). In 2QR18WK8KH/e1, example 2

History

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

Differential equation 8QW0QMAMGM

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

Mentions

wikipedia: Wikipedia Rodrigues' formula#QRWN, Differential equation (statement)

History

2026-11-02: add by m2/dev

The central limit theorem 8QW7RA4SB7

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

Mentions

wikipedia: Wikipedia Central limit theorem for directional statistics#655S, The central limit theorem (statement)

History

2026-11-02: add by m2/dev

8QW9KR1PMQ 8QW9KR1PMQ

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

Mentions

arxiv: arXiv 2609.37704#SITJ (statement). In HGTFJ325A4/e1, proposition 4.6

History

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

Doeblin's condition 8QWDMCWKR1

URI	`m2://inv/8QWDMCWKR1`
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.32585#0ADO, Doeblin's condition (statement). In FJFJ3WR1SS/e1, lemma 8.2

History

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

8QWFG7E6MY 8QWFG7E6MY

URI	`m2://inv/8QWFG7E6MY`
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.20944#INZX (statement). In DRRKZR6CQC/e1, lemma A.1

History

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

375 (number) 8QWHB0TFA1

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

Mentions

wikipedia: Wikipedia 300 (number)#AXYJ, 375 (number) (unknown)

History

2026-11-02: add by m2/dev

8QWKVA76B2 8QWKVA76B2

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

Mentions

arxiv: arXiv 2303.09207#MY93 (definition). In 9DQKY7KGE8/e1, definition C.10

History

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

Definition 8QWSTGBPCY

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

Mentions

wikipedia: Wikipedia Exponential polynomial#GAJ7, Definition (definition)

History

2026-11-02: add by m2/dev

Harmonic mean p-value 8QX0XX6QJY

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

Mentions

wikipedia: Wikipedia Harmonic mean p-value, Harmonic mean p-value (definition). Also Wikidata Q65044886

History

2026-11-02: add by m2/dev

Support curve 8QXR56SGCV

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

Mentions

wikipedia: Wikipedia Likelihood function#ZYCF, Support curve (unknown)

History

2026-11-02: add by m2/dev

Xavier Buff 8QXTFE9BD1

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

Mentions

wikipedia: Wikipedia Xavier Buff, Xavier Buff (topic). Also Wikidata Q19311953

History

2026-11-02: add by m2/dev

× 8QXZ01RACB

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

Mentions

wikipedia: Wikipedia Glossary of set theory#I7CK, × (definition)

History

2026-11-02: add by m2/dev

8QXZ5YTBEV 8QXZ5YTBEV

URI	`m2://inv/8QXZ5YTBEV`
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 2607.26169#O2GN (statement). In Q46QV3B0NF/e1, lemma 2.2

History

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

Gelfond's constant 8QY3S5Z93K

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

Mentions

wikidata: Wikidata Q306375, Gelfond's constant (object). Also MathWorld GelfondsConstant, OEIS A039661
wikipedia: Wikipedia Gelfond's constant, Gelfond's constant (object). Also Wikidata Q306375

History

2026-10-26: add by m2/dev

Weitzenböck's inequality 8QYDJF9WAS

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

Mentions

wikipedia: Wikipedia List of inequalities#8DUJ, Weitzenböck's inequality (statement)

History

2026-11-02: add by m2/dev

8QYEKREGQM 8QYEKREGQM

URI	`m2://inv/8QYEKREGQM`
Kind	problem
Layer	research
MSC	20-XX, 22-XX, 46-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.27192#FN86 (problem)

History

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

8QYS7ARKPT 8QYS7ARKPT

URI	`m2://inv/8QYS7ARKPT`
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.14979#NH28 (statement). In 6NH1VVZK1N/e1, lemma 2.4

History

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

volume of rectangles 8QYSJQBVB0

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

Mentions

lebl_ra: lebl_ra index/5.1.1/volume-of-rectangles, volume of rectangles (concept). In E59CDZA4DP, index, section 5.1.1

History

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

8QYXTM33N2 8QYXTM33N2

URI	`m2://inv/8QYXTM33N2`
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.34731#Q3D5 (statement). In MH54AS0Y61/e1, theorem 4

History

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

8QZ3E73WTX 8QZ3E73WTX

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

Mentions

arxiv: arXiv 2610.03719#BKYH (definition). In 8MDK189ZMB/e1, definition

History

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

pseudofunctor 8QZAVW8TDS

URI	`m2://inv/8QZAVW8TDS`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Pseudofunctor 18M8XGY04N

Mentions

wikidata: Wikidata Q16919007, pseudofunctor (unknown). Also nLab pseudofunctor
wikipedia: Wikipedia Pseudo-functor, Pseudo-functor (definition). Also Wikidata Q16919007

History

2026-10-26: add by m2/dev

Model characters at minimal conductors 8QZHZDK573

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

Mentions

arxiv: arXiv 2609.30301#GVOW, Model characters at minimal conductors (statement). In 7NS75J7HAM/e1, proposition 9.33

History

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

Moore path 8QZJS0A4W4

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

Mentions

wikipedia: Wikipedia Path space fibration#ZNV9, Moore path (unknown)

History

2026-11-02: add by m2/dev

Theorem 8QZRCSKR3C

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

Mentions

wikipedia: Wikipedia Friedrichs extension#F486, Theorem (statement)

History

2026-11-02: add by m2/dev

Group velocity 8QZYE5W6E0

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

Mentions

wikipedia: Wikipedia Group velocity, Group velocity (definition). Also Wikidata Q217361

History

2026-11-02: add by m2/dev