Inventory rows 6H

6H03A8ZXZ9 6H03A8ZXZ9

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

Mentions

arxiv: arXiv 2610.06556#9DTJ (statement). In KW8C7VE9XR/e1, theorem 45

History

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

Alfréd Haar 6H03TK28WK

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#0ACT, Alfréd Haar (topic)

History

2026-11-02: add by m2/dev

simplicial set 6H05RCDH0P

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

Mentions

wikipedia: Wikipedia Glossary of category theory#2Z0H, simplicial set (definition)

History

2026-11-02: add by m2/dev

Properties 6H0BFZ220N

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

Mentions

wikipedia: Wikipedia Box spline#EXJF, Properties (statement)

History

2026-11-02: add by m2/dev

6H0JGWMQN9 6H0JGWMQN9

URI	`m2://inv/6H0JGWMQN9`
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.20345#PHH2 (statement). In WVRRST04WS/e1, lemma 5

History

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

6H0RVMRDJX 6H0RVMRDJX

URI	`m2://inv/6H0RVMRDJX`
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.09810#B6VU (statement). In B6PCH930FV/e1, theorem 12

History

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

Kasiski examination 6H18PAZ98A

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

Mentions

wikipedia: Wikipedia Kasiski examination, Kasiski examination (definition). Also Wikidata Q1546264

History

2026-11-02: add by m2/dev

Irene Fonseca 6H2273MVH5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ZPMF, Irene Fonseca (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#FO0W, Irene Fonseca (topic)

History

2026-11-02: add by m2/dev

Generalizations 6H23V1HMXJ

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

Mentions

wikipedia: Wikipedia Logistic regression#QYAY, Generalizations (statement)

History

2026-11-02: add by m2/dev

Chrysippus 6H2HS755F7

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

Mentions

wikipedia: Wikipedia List of logicians#WKYF, Chrysippus (topic)

History

2026-11-02: add by m2/dev

6H2NHH28FC 6H2NHH28FC

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

Mentions

arxiv: arXiv 2610.05193#348L (example). In XDMM0KNNZ9/e1, example 8

History

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

Trois-Rivières, Guadeloupe 6H2QAYH9EE

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

Mentions

wikipedia: Wikipedia List of places with numeric names#LP2D, Trois-Rivières, Guadeloupe (unknown)

History

2026-11-02: add by m2/dev

Ramsey 6H2QEEMQ6J

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

Mentions

wikipedia: Wikipedia Glossary of set theory#QLSY, Ramsey (definition)

History

2026-11-02: add by m2/dev

6H2STPN38X 6H2STPN38X

URI	`m2://inv/6H2STPN38X`
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.26450#BV8S (statement)

History

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

Uniqueness theorem 6H2TBNJ5XN

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

Mentions

wikipedia: Wikipedia Bass–Serre theory#SVY3, Uniqueness theorem (statement)

History

2026-11-02: add by m2/dev

Eric Bach 6H2TWBNZKG

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#GY95, Eric Bach (unknown)

History

2026-11-02: add by m2/dev

Ore's theorem 6H31H94GHN

URI	`m2://inv/6H31H94GHN`
Kind	statement
Layer	textbook
MSC	05-XX, 54-XX
Sources	4
Outcome	node (a node has the same name as the row)
Node	Ore's theorem 0NACHJYPKW

Mentions

arxiv: arXiv 2609.39593#0AEE, Ore's theorem (statement). In BF0RYHPMS1/e1, proposition 4.5
mathlib_1000: mathlib_1000 Q225973, Ore's theorem (statement). Also Wikidata Q225973
thousand_plus: thousand_plus Q225973, Ore's theorem (statement). Also Wikidata Q225973, Wikipedia Ore's theorem
wikipedia: Wikipedia Ore's theorem, Ore's theorem (statement). Also Wikidata Q225973

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent
2026-10-31: merge by m2/v0.5.6

Minimax lower bound 6H32NAB6RS

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

Mentions

arxiv: arXiv 2609.31458#X6SA, Minimax lower bound (statement). In SNWC76WKWT/e1, theorem 3.1

History

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

Gadget 6H35CA1XXW

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

Mentions

wikipedia: Wikipedia Gadget (computer science), Gadget (definition). Also Wikidata Q5516347

History

2026-11-02: add by m2/dev

6H3EMSFAVE 6H3EMSFAVE

URI	`m2://inv/6H3EMSFAVE`
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.31489#BVFN (statement). In ZKBG58PN1J/e1, proposition 5.7

History

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

Local constant Fr\'echet regression under an upper curvature bound 6H3FSXFZMR

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

Mentions

arxiv: arXiv 2610.00501#NR17, Local constant Fr\'echet regression under an upper curvature bound (statement). In FTPW1SZ8D3/e1, corollary 4.7

History

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

Kuratowski's closure-complement problem 6H3PMBBX1Y

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

Mentions

wikipedia: Wikipedia List of things named after Kazimierz Kuratowski#M69T, Kuratowski's closure-complement problem (problem)

History

2026-11-02: add by m2/dev

6H3RQVHQSE 6H3RQVHQSE

URI	`m2://inv/6H3RQVHQSE`
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.32174#EC5O (definition). In GHKR740SG3/e1, definition 21.1

History

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

Examples 6H3RTMP7TK

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

Mentions

wikipedia: Wikipedia Finitely generated abelian group#2K62, Examples (example)

History

2026-11-02: add by m2/dev

6H3ZH7M9MS 6H3ZH7M9MS

URI	`m2://inv/6H3ZH7M9MS`
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 2207.05628#UZEN (statement). In 9JPKTEWW4W/e1, theorem 3.1

History

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

Juha Heinonen 6H46ZXR2G5

URI	`m2://inv/6H46ZXR2G5`
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#DFMT, Juha Heinonen (topic)

History

2026-11-02: add by m2/dev

Mean absolute error 6H474WP2KT

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

Mentions

wikipedia: Wikipedia List of statistics articles#SZPL, Mean absolute error (definition)

History

2026-11-02: add by m2/dev

Lemma 6H47VTF9V5

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

Mentions

wikipedia: Wikipedia Randomness extractor#BBSW, Lemma (statement)

History

2026-11-02: add by m2/dev

Asher Hirsch Ginsberg 6H4BRR0T37

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#MJ2O, Asher Hirsch Ginsberg (unknown)

History

2026-11-02: add by m2/dev

Characterization of Pontryagin extremals 6H4C9W76EH

URI	`m2://inv/6H4C9W76EH`
Kind	statement
Layer	research
MSC	49-XX, 51-XX, 52-XX, 53-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.03305#FJDY, Characterization of Pontryagin extremals (statement). In WAJ5AZHF62/e1, theorem 2.1

History

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

Moment estimation under MAR 6H4CAZA4VD

URI	`m2://inv/6H4CAZA4VD`
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 2609.23617#8HHN, Moment estimation under MAR (example)

History

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

6H4QX8D16T 6H4QX8D16T

URI	`m2://inv/6H4QX8D16T`
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.32174#EEKN (definition). In GHKR740SG3/e1, definition 10.2

History

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

triangular bipyramid 6H4XK6A36E

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

Mentions

wikidata: Wikidata Q155939, triangular bipyramid (object). Also MathWorld TriangularDipyramid
wikipedia: Wikipedia Triangular bipyramid, Triangular bipyramid (definition). Also Wikidata Q155939

History

2026-10-26: add by m2/dev

6H4YR3EP1N 6H4YR3EP1N

URI	`m2://inv/6H4YR3EP1N`
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.18907#KFUM (statement). In 4SSZ4PF2P2/e1, corollary 8.1

History

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

Associativity: yes 6H51NZ7G0G

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

Mentions

wikipedia: Wikipedia Exclusive or#F7G1, Associativity: yes (definition)

History

2026-11-02: add by m2/dev

Implementations 6H51SBZN4Y

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

Mentions

wikipedia: Wikipedia Passkey (credential)#EU0Q, Implementations (definition)

History

2026-11-02: add by m2/dev

6H53G5A83E 6H53G5A83E

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

Mentions

arxiv: arXiv 2610.19023#P0AW (example). In QFA8TMJPHZ/e1, example 4.4

History

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

6H5D10354Q 6H5D10354Q

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

Mentions

arxiv: arXiv 2610.03619#16DL (statement). In 7SRERSS1PF/e1, lemma 5.5

History

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

Constantin Climescu 6H5M7WZN15

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

Mentions

wikipedia: Wikipedia Constantin Climescu, Constantin Climescu (topic). Also Wikidata Q18539061

History

2026-11-02: add by m2/dev

National identity and religion 6H5S6F9XZQ

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

Mentions

wikipedia: Wikipedia Demographics of Northern Ireland#RMBE, National identity and religion (statement)

History

2026-11-02: add by m2/dev

Mean-motion orbital resonance 6H631YZQY1

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

Mentions

wikipedia: Wikipedia Orbital resonance#TGJU, Mean-motion orbital resonance (unknown)

History

2026-11-02: add by m2/dev

6H68ET3TQA 6H68ET3TQA

URI	`m2://inv/6H68ET3TQA`
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.26401#TDWT (statement)

History

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

Joseph Moxon 6H6CBKBW48

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

Mentions

wikipedia: Wikipedia Joseph Moxon, Joseph Moxon (topic). Also Wikidata Q3057690

History

2026-11-02: add by m2/dev

Luigi Chierchia 6H6DMJNS8V

URI	`m2://inv/6H6DMJNS8V`
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#66Z2, Luigi Chierchia (topic)

History

2026-11-02: add by m2/dev

Recovery of normalized Taylor coefficients 6H6PJJHEFV

URI	`m2://inv/6H6PJJHEFV`
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.10080#8DT1, Recovery of normalized Taylor coefficients (statement). In N6EBNRZCYX/e1, lemma A.9

History

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

Extensions 6H6XYR1AC1

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

Mentions

wikipedia: Wikipedia Lyra2#R5GT, Extensions (statement)

History

2026-11-02: add by m2/dev

6H71KFEJVS 6H71KFEJVS

URI	`m2://inv/6H71KFEJVS`
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.20488#CYRE (statement)

History

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

6H7HF5KA2C 6H7HF5KA2C

URI	`m2://inv/6H7HF5KA2C`
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.03292#H9M1 (statement). In SN2PBM95HT/e1, theorem 2.2

History

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

6H7M55VVX5 6H7M55VVX5

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

Mentions

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

History

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

Examples 6H7PPC0VZC

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

Mentions

wikipedia: Wikipedia LF-space#4RRG, Examples (example)

History

2026-11-02: add by m2/dev

6H7S1FJ2RK 6H7S1FJ2RK

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

Mentions

arxiv: arXiv 2609.30165#H16M (definition)

History

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

6H7SESV9VG 6H7SESV9VG

URI	`m2://inv/6H7SESV9VG`
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.31278#Z33E (statement). In KEP21CZFV9/e1, lemma #1

History

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

6H7VECS788 6H7VECS788

URI	`m2://inv/6H7VECS788`
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.20197#1QXZ (statement)

History

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

Archimedes' axiom 6H7X7XXX5B

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

Mentions

wikipedia: Wikipedia List of things named after Archimedes#LKYP, Archimedes' axiom (statement)

History

2026-11-02: add by m2/dev

Willy Feller 6H803BJQCE

URI	`m2://inv/6H803BJQCE`
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#47U8, Willy Feller (topic)

History

2026-11-02: add by m2/dev

6H831SP0NX 6H831SP0NX

URI	`m2://inv/6H831SP0NX`
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 2203.10220#P45Z (statement). In FX2SD1GFHT/e1, lemma 1

History

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

6H87EB6WA9 6H87EB6WA9

URI	`m2://inv/6H87EB6WA9`
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.36818#HA2P (statement). In SK6AP2B9JH/e1, lemma 5.1

History

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

6H88CM3W1V 6H88CM3W1V

URI	`m2://inv/6H88CM3W1V`
Kind	statement
Layer	research
MSC	53-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.32300#VWWY (statement). In VNE8N0D2FB/e1, lemma 1.13

History

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

weighted sum 6H8BB64XK0

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

Mentions

wikidata: Wikidata Q130299362, weighted sum (concept). Also ProofWiki Definition:Weighted_Sum

History

2026-10-26: add by m2/dev

Kristen Olson 6H8BRTKR1W

URI	`m2://inv/6H8BRTKR1W`
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#0JSE, Kristen Olson (unknown)

History

2026-11-02: add by m2/dev

characterization of $\widehat Q_\sigma f$ in terms of periodic arrangements 6H8FCQ2VGN

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

Mentions

arxiv: arXiv 2210.06147#SC5S, characterization of $\widehat Q_\sigma f$ in terms of periodic arrangements (statement). In 94RBNQA07A/e1, proposition 5.14

History

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

orthant 6H8FK05G4V

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

Mentions

wikidata: Wikidata Q2714507, orthant (unknown). Also MathWorld Hyperoctant
wikipedia: Wikipedia Orthant, Orthant (definition). Also Wikidata Q2714507

History

2026-10-26: add by m2/dev

Definition 6H8KKHEHC3

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

Mentions

wikipedia: Wikipedia Kac–Moody algebra#F4EI, Definition (definition)

History

2026-11-02: add by m2/dev

polar form of a quadratic 6H8NDWB4M5

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

Mentions

mathlib_overview: mathlib_overview Linear algebra > Bilinear and quadratic forms > polar form of a quadratic, polar form of a quadratic (unknown). Also Mathlib QuadraticMap.polar
mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Quadratic forms > polar form of a quadratic, polar form of a quadratic (unknown). Also Mathlib QuadraticMap.polar

History

2026-10-26: add by m2/dev

6H8ZESK7CS 6H8ZESK7CS

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

Mentions

arxiv: arXiv 2609.25111#WC7H (definition)

History

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

Formal definition 6H945ZC09T

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

Mentions

wikipedia: Wikipedia Unification (computer science)#IXR9, Formal definition (definition)

History

2026-11-02: add by m2/dev

Eric Kaufmann 6H9G7XX9N7

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

Mentions

wikipedia: Wikipedia Eric Kaufmann, Eric Kaufmann (topic). Also Wikidata Q27861835

History

2026-11-02: add by m2/dev

Peeling theorem 6H9H189T18

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

Mentions

wikipedia: Wikipedia List of theorems#6FI8, Peeling theorem (statement)

History

2026-11-02: add by m2/dev

6H9QST9VJV 6H9QST9VJV

URI	`m2://inv/6H9QST9VJV`
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.19249#97PM (statement). In 2X586J6KQ1/e1, theorem 4.2

History

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

Properties 6H9T7CXDDV

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

Mentions

wikipedia: Wikipedia Rauzy fractal#JOAQ, Properties (statement)

History

2026-11-02: add by m2/dev

Laboratory quality control 6H9VHHQRD1

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

Mentions

wikipedia: Wikipedia Laboratory quality control, Laboratory quality control (definition). Also Wikidata Q6467311

History

2026-11-02: add by m2/dev

face ownership 6H9WGCKNQX

URI	`m2://inv/6H9WGCKNQX`
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.39511#ULJ1, face ownership (statement). In 6W9H24A378/e1, lemma 8

History

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

Properties 6H9YVZWVM0

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

Mentions

wikipedia: Wikipedia Surface of constant width#J3IJ, Properties (statement)

History

2026-11-02: add by m2/dev

Definition 6HA3G9T5YB

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

Mentions

wikipedia: Wikipedia Bézout matrix#PJ8S, Definition (definition)

History

2026-11-02: add by m2/dev

6HA3R6S4HV 6HA3R6S4HV

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

Mentions

arxiv: arXiv 2610.21408#C4J8 (statement). In 3XBEGXNPXZ/e1, corollary 4.4

History

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

6HA5YCM13H 6HA5YCM13H

URI	`m2://inv/6HA5YCM13H`
Kind	statement
Layer	research
MSC	17-XX, 20-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.09333#OM3U (statement). In Z9HC1EDTQP/e1, lemma 5.7

History

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

6HAE91FJ1W 6HAE91FJ1W

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

Mentions

arxiv: arXiv 2610.08935#722A (statement). In G02N9D40B9/e1, lemma 5.1.1

History

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

RMS velocity 6HAEMMQM2X

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

Mentions

wikipedia: Wikipedia Maxwell–Boltzmann distribution#RQXL, RMS velocity (unknown)

History

2026-11-02: add by m2/dev

polynomial in several indeterminates 6HAGXD2RKM

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

Mentions

mathlib_overview: mathlib_overview General algebra > Polynomials and power series > polynomial in several indeterminates, polynomial in several indeterminates (unknown). Also Mathlib MvPolynomial
mathlib_undergrad: mathlib_undergrad Ring Theory > Polynomial rings > polynomial algebra in one or several indeterminates over a commutative ring, polynomial algebra in one or several indeterminates over a commutative ring (unknown). Also Mathlib MvPolynomial

History

2026-10-26: add by m2/dev

6HAJCPJ2BJ 6HAJCPJ2BJ

URI	`m2://inv/6HAJCPJ2BJ`
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 2609.33469#YAMR (statement). In TC5QA4AB4Z/e1, proposition 4.37

History

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

6HAX1QX9MC 6HAX1QX9MC

URI	`m2://inv/6HAX1QX9MC`
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 2410.16036#QQ8O (statement). In S1T3VFXE05/e1, proposition 2.1

History

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

6HB02A330P 6HB02A330P

URI	`m2://inv/6HB02A330P`
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.20480#0GW6 (statement). In BK4359JSC3/e1, corollary 6.10

History

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

6HB6V82A3M 6HB6V82A3M

URI	`m2://inv/6HB6V82A3M`
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 2607.28337#XJ67 (definition). In 7ZJFWBTBKM/e1, definition 2.1.1

History

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

incident to 6HB8BW0ADF

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

Mentions

applied_combinatorics: applied_combinatorics index/5.1/incident-to, incident to (concept). In QKM9DD2H56, index, section 5.1

History

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

Eleanor Singer 6HBCW16N6T

URI	`m2://inv/6HBCW16N6T`
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#P61B, Eleanor Singer (unknown)

History

2026-11-02: add by m2/dev

6HBG58Z1FD 6HBG58Z1FD

URI	`m2://inv/6HBG58Z1FD`
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.14562#K5SY (statement). In G4XMZ452QE/e1, proposition 2.1

History

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

scalar 6HBX1SX3YT

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

Mentions

wikipedia: Wikipedia Glossary of linear algebra#XJ87, scalar (definition)

History

2026-11-02: add by m2/dev

I.Q. 6HBY4NDD6Z

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

Mentions

wikipedia: Wikipedia List of films about mathematicians#CGG0, I.Q. (unknown)

History

2026-11-02: add by m2/dev

Failure under mere positivity and adaptedness 6HC21W1X44

URI	`m2://inv/6HC21W1X44`
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.09570#N4SR, Failure under mere positivity and adaptedness (statement). In 6QAW01629C/e1, proposition 3.2

History

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

Richard I. Morimoto 6HCFXZPS2R

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#HAJ9, Richard I. Morimoto (unknown)

History

2026-11-02: add by m2/dev

Motivic cohomology 6HCKE3APN4

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#H8SZ, Motivic cohomology (definition)

History

2026-11-02: add by m2/dev

6HCVB5EGXE 6HCVB5EGXE

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

Mentions

napkin: napkin tex/cats/functors.tex#definition-5 (definition). In RZP28ERRZV, definition, section 37.7

History

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

\myindex{Weierstrass $M$-test} 6HCVPZDJQ9

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#thm:weiermtest, \myindex{Weierstrass $M$-test} (statement). In E59CDZA4DP, thm, section 1.2.1

History

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

6HCX0JQ0P0 6HCX0JQ0P0

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

Mentions

arxiv: arXiv 2604.10080#UEUX (statement). In KM2FWKP93A/e1, theorem 6.4

History

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

Twyford, Berkshire 6HD0DBF65P

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

Mentions

wikipedia: Wikipedia List of places with numeric names#O6XQ, Twyford, Berkshire (unknown)

History

2026-11-02: add by m2/dev

6HD1ST5PW2 6HD1ST5PW2

URI	`m2://inv/6HD1ST5PW2`
Kind	statement
Layer	research
MSC	05-XX, 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.38742#8E5F (statement). In TSXBJB0EXK/e1, proposition 2.9

History

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

universal Turing machine 6HDAEY63HK

URI	`m2://inv/6HDAEY63HK`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Universal Turing machine TC69PEHAX7

Mentions

wikidata: Wikidata Q2703890, universal Turing machine (concept). Also MathWorld UniversalTuringMachine
wikipedia: Wikipedia Universal Turing machine, Universal Turing machine (definition). Also Wikidata Q2703890

History

2026-10-26: add by m2/dev

6HDDFD2TCV 6HDDFD2TCV

URI	`m2://inv/6HDDFD2TCV`
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.10477#TH3X (statement). In 1NZSZ241WE/e1, theorem 1.1

History

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

6HDQB5Z088 6HDQB5Z088

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

Mentions

open_logic: open_logic content/lambda-calculus/introduction/lambda-computable.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 37.1

History

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

Zerosumfree monoid 6HDQZTDQ16

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

Mentions

wikipedia: Wikipedia Zerosumfree monoid, Zerosumfree monoid (definition). Also Wikidata Q8069645

History

2026-11-02: add by m2/dev

Landau prime ideal theorem 6HDRTXCGPA

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

Mentions

wikipedia: Wikipedia List of theorems#TCRZ, Landau prime ideal theorem (statement)

History

2026-11-02: add by m2/dev

W. R. (Red) Alford 6HDSTHYTJE

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0SUL, W. R. (Red) Alford (unknown)

History

2026-11-02: add by m2/dev

6HDT8Z3C70 6HDT8Z3C70

URI	`m2://inv/6HDT8Z3C70`
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 2610.14841#E2HC (statement). In 6V5HP8W1ZG/e1, lemma 8

History

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

wheel graph 6HE0N525M5

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

Mentions

wikidata: Wikidata Q948887, wheel graph (unknown). Also MathWorld WheelGraph, nLab wheeled graph
wikipedia: Wikipedia Wheel graph, Wheel graph (definition). Also Wikidata Q948887

History

2026-10-26: add by m2/dev

6HE2N2MKW3 6HE2N2MKW3

URI	`m2://inv/6HE2N2MKW3`
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.31798#GHWD (statement). In HPHBJ4Y04B/e1, lemma 2.8

History

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

6HE3TQFA1E 6HE3TQFA1E

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

Mentions

arxiv: arXiv 2609.29653#NJ9B (statement)

History

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

Jan Jaworowski 6HE4K11KCE

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

Mentions

wikipedia: Wikipedia Jan Jaworowski, Jan Jaworowski (topic). Also Wikidata Q16561397

History

2026-11-02: add by m2/dev

6HEG12CC1D 6HEG12CC1D

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example-10 (example). In E9HS8K3A52, example, section 7.2.5

History

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

6HEP4CPNRA 6HEP4CPNRA

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

Mentions

arxiv: arXiv 2610.12489#GPGD (definition). In FDWFVD08SE/e1, definition 2.17

History

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

Statement 6HF7AT4YNZ

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

Mentions

wikipedia: Wikipedia Darboux's theorem#ZUOW, Statement (statement)

History

2026-11-02: add by m2/dev

B-process 6HFCZS2E2B

URI	`m2://inv/6HFCZS2E2B`
Kind	statement
Layer	research
MSC	11-XX, 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 2610.03231#VS0J, B-process (statement). In 3Y76AQQGF0/e1, proposition 7.1

History

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

6HFSNC8DFT 6HFSNC8DFT

URI	`m2://inv/6HFSNC8DFT`
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.21092#KFJM (statement). In AGJE43FTF8/e1, lemma 7.6

History

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

Levey-Jennings chart 6HFTHYZDX3

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

Mentions

wikipedia: Wikipedia Laboratory quality control#EBK5, Levey-Jennings chart (unknown)

History

2026-11-02: add by m2/dev

Product Measures on \(\bb N^d\ 6HFWH99TFK

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

Mentions

arxiv: arXiv 2609.23994#FZYP, Product Measures on \(\bb N^d\ (example)

History

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

6HG2YFW3PB 6HG2YFW3PB

URI	`m2://inv/6HG2YFW3PB`
Kind	statement
Layer	research
MSC	46-XX, 51-XX, 52-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 2503.19528#16LG (statement). In EM5955MDHN/e1, theorem 1.1

History

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

Eugène Charles Catalan 6HG5K805FB

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#GSED, Eugène Charles Catalan (topic)

History

2026-11-02: add by m2/dev

6HGB57TBDC 6HGB57TBDC

URI	`m2://inv/6HGB57TBDC`
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.00512#7GSM (statement). In RB5QBG3MJY/e1, proposition 5.7

History

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

David X. Li 6HGD2Y8GWT

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

Mentions

wikipedia: Wikipedia David X. Li, David X. Li (topic). Also Wikidata Q5238292

History

2026-11-02: add by m2/dev

3900 6HGEY9YJ9D

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

Mentions

wikipedia: Wikipedia 3000 (number)#YXPW, 3900 (unknown)

History

2026-11-02: add by m2/dev

Examples 6HGTHNA777

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

Mentions

wikipedia: Wikipedia Hilbert–Samuel function#AQ6P, Examples (example)

History

2026-11-02: add by m2/dev

Erika Camacho 6HGVKBDYX2

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

Mentions

wikipedia: Wikipedia Erika Camacho, Erika Camacho (topic). Also Wikidata Q55080899

History

2026-11-02: add by m2/dev

Cantic 6-cube 6HGYD1Z7AF

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

Mentions

wikipedia: Wikipedia Cantic 6-cube, Cantic 6-cube (definition). Also Wikidata Q7847860

History

2026-11-02: add by m2/dev

Edward Bierstone 6HH22YBSQY

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

Mentions

wikipedia: Wikipedia Edward Bierstone, Edward Bierstone (topic). Also Wikidata Q1291696

History

2026-11-02: add by m2/dev

Fatou's lemma 6HH7E0AGHP

URI	`m2://inv/6HH7E0AGHP`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Fatou's lemma S95TR54TCG

Mentions

wikidata: Wikidata Q1068118, Fatou's lemma (statement). Also EoM Fatou_theorem_(on_Lebesgue_integrals)
wikipedia: Wikipedia Fatou's lemma, Fatou's lemma (statement). Also Wikidata Q1068118

History

2026-10-26: add by m2/dev

Definition 6HHC9T6Z3Q

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

Mentions

wikipedia: Wikipedia Hahn polynomials#WOTB, Definition (definition)

History

2026-11-02: add by m2/dev

6HHD0QM6TR 6HHD0QM6TR

URI	`m2://inv/6HHD0QM6TR`
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#C480 (statement). In JMWCGMNE84/e1, lemma 5.7

History

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

Definition 6HHGHFB800

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

Mentions

wikipedia: Wikipedia Parovicenko space#Y3SL, Definition (definition)

History

2026-11-02: add by m2/dev

6HHMQ4W09E 6HHMQ4W09E

URI	`m2://inv/6HHMQ4W09E`
Kind	example
Layer	research
MSC	26-XX, 35-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 2610.12430#0Q1I (example). In VGKCBWQ65N/e1, example 7.5

History

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

Uniform boundedness of second moments 6HHQYPGYGP

URI	`m2://inv/6HHQYPGYGP`
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 2607.28185#S46H, Uniform boundedness of second moments (statement). In EG1XXNSTXX/e1, lemma 5.5

History

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

6HHRVC5XT9 6HHRVC5XT9

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

Mentions

arxiv: arXiv 2609.28893#WD46 (unknown)

History

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

6HHXT7FGB3 6HHXT7FGB3

URI	`m2://inv/6HHXT7FGB3`
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 2609.25477#36KZ (definition)

History

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

6HJ5C0P0MB 6HJ5C0P0MB

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

Mentions

arxiv: arXiv 2609.27617#D21G (statement)

History

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

Recursion theory 6HJ5CFS46F

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#0WXH, Recursion theory (definition)

History

2026-11-02: add by m2/dev

geocryology 6HJ7BFY1Q5

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

Mentions

wikidata: Wikidata Q1102535, geocryology (unknown). Also EoM Geocryology,_mathematical_problems_in

History

2026-10-26: add by m2/dev

Leonid Levin 6HJACP0HP8

URI	`m2://inv/6HJACP0HP8`
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 Q92966, Leonid Levin (unknown). Also ProofWiki Mathematician:Leonid_Anatolievich_Levin

History

2026-10-26: add by m2/dev

Edmund Hlawka 6HJJTCWTGQ

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

Mentions

wikipedia: Wikipedia Edmund Hlawka, Edmund Hlawka (topic). Also Wikidata Q21162369

History

2026-11-02: add by m2/dev

$\frac52\ZZ$ is a fractional ideal 6HJRKWA8EB

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

Mentions

napkin: napkin tex/alg-NT/dedekind.tex#example-5, $\frac52\ZZ$ is a fractional ideal (example). In RZP28ERRZV, example, section 10.6

History

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

Sparse Fourier transform 6HK41GZKGK

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

Mentions

wikipedia: Wikipedia Sparse Fourier transform, Sparse Fourier transform (definition). Also Wikidata Q60792388

History

2026-11-02: add by m2/dev

Eigenvalues need not exist 6HKEHV385R

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

Mentions

napkin: napkin tex/linalg/eigenvalues.tex#example-3, Eigenvalues need not exist (example). In RZP28ERRZV, example, section 58.3

History

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

Ultralimit 6HKN2MRM6Y

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

Mentions

wikipedia: Wikipedia Ultralimit, Ultralimit (definition). Also Wikidata Q3548074

History

2026-11-02: add by m2/dev

Jean Prestet 6HKR2C1ABJ

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

Mentions

wikipedia: Wikipedia Jean Prestet, Jean Prestet (topic). Also Wikidata Q12952076

History

2026-11-02: add by m2/dev

6HKRM8VWHX 6HKRM8VWHX

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

Mentions

arxiv: arXiv 2609.31090#L56D (statement). In SMTJDX0Q6R/e1, corollary 8.1

History

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

LP-type problem 6HM2X2HBVP

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#RRIY, LP-type problem (problem)

History

2026-11-02: add by m2/dev

6HMC7QCPNG 6HMC7QCPNG

URI	`m2://inv/6HMC7QCPNG`
Kind	statement
Layer	research
MSC	16-XX, 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 2609.21860#KGR2 (statement)

History

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

6HMDXG08S7 6HMDXG08S7

URI	`m2://inv/6HMDXG08S7`
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#KP1A (statement)

History

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

6HMKXDWTM3 6HMKXDWTM3

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

Mentions

arxiv: arXiv 2609.33162#VJCH (statement). In RPC7VG3KHQ/e1, theorem 5.7

History

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

List of regular polytope compounds 6HMTF53YZT

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

Mentions

wikipedia: Wikipedia List of regular polytope compounds, List of regular polytope compounds (topic). Also Wikidata Q124707243

History

2026-11-02: add by m2/dev

Schönhage–Strassen algorithm 6HMV9H36M7

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

Mentions

wikipedia: Wikipedia List of polynomial topics#FKO3, Schönhage–Strassen algorithm (unknown)

History

2026-11-02: add by m2/dev

structural stability 6HN2YXWZTF

URI	`m2://inv/6HN2YXWZTF`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Structural stability D4MGFAHVMT

Mentions

wikidata: Wikidata Q1648886, structural stability (unknown). Also MathWorld StructurallyStable
wikipedia: Wikipedia Structural stability, Structural stability (definition). Also Wikidata Q1648886

History

2026-10-26: add by m2/dev

q-difference polynomial 6HNC1RNV9T

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

Mentions

wikipedia: Wikipedia List of q-analogs#EGF2, q-difference polynomial (definition)

History

2026-11-02: add by m2/dev

Definition 6HNKVC5BFF

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

Mentions

wikipedia: Wikipedia Edge contraction#2V9L, Definition (definition)

History

2026-11-02: add by m2/dev

Properties 6HNWX4AZ50

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

Mentions

wikipedia: Wikipedia Essential extension#P464, Properties (statement)

History

2026-11-02: add by m2/dev

Case 1: SRB and Lebesgue Measures (Pesin's Identity) 6HNX69TRFV

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

Mentions

wikipedia: Wikipedia Pesin Entropy Formula#JLT7, Case 1: SRB and Lebesgue Measures (Pesin's Identity) (statement)

History

2026-11-02: add by m2/dev

6HPARDKCEZ 6HPARDKCEZ

URI	`m2://inv/6HPARDKCEZ`
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.23804#G8YX (statement)

History

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

Donaldson-Futaki invariant 6HPBN5RH2N

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

Mentions

wikipedia: Wikipedia K-stability#P4ET, Donaldson-Futaki invariant (unknown)

History

2026-11-02: add by m2/dev

6HPBPK85KF 6HPBPK85KF

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

Mentions

arxiv: arXiv 2609.38206#AZ0C (statement). In F71MS1F637/e1, proposition 3.10

History

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

Examples 6HPG4PQ9M7

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

Mentions

wikipedia: Wikipedia Diffeomorphism#Y8PC, Examples (example)

History

2026-11-02: add by m2/dev

Democritus 6HPPGXWS72

URI	`m2://inv/6HPPGXWS72`
Kind	topic
Layer	textbook
Sources	2
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q41980, Democritus (unknown). Also ProofWiki Mathematician:Democritus
wikipedia: Wikipedia Democritus, Democritus (topic). Also Wikidata Q41980

History

2026-10-26: add by m2/dev

Gain bounds from an approximate fixed point 6HPRJ2P5H2

URI	`m2://inv/6HPRJ2P5H2`
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#F6JF, Gain bounds from an approximate fixed point (statement). In B29M4E6KGC/e1, lemma G.9

History

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

Continuity of the reaction term 6HPZBSNAHG

URI	`m2://inv/6HPZBSNAHG`
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#T8OQ, Continuity of the reaction term (statement). In FJFJ3WR1SS/e1, lemma B.1

History

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

6HQ01QGNMW 6HQ01QGNMW

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

Mentions

arxiv: arXiv 2609.24701#R5XW (statement)

History

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

Definition 6HQ1C2J935

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

Mentions

wikipedia: Wikipedia Inverse-chi-squared distribution#0T1L, Definition (definition)

History

2026-11-02: add by m2/dev

6HQ24NWTRH 6HQ24NWTRH

URI	`m2://inv/6HQ24NWTRH`
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.05722#G4BY (statement). In NDKWV5J14V/e1, lemma 2.12

History

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

AMATYC Mathematics Contest 6HQAX1JNZN

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#INVV, AMATYC Mathematics Contest (definition)

History

2026-11-02: add by m2/dev

Corollary 6HQB9F5M50

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

Mentions

wikipedia: Wikipedia Locally convex vector lattice#QMJA, Corollary (statement)

History

2026-11-02: add by m2/dev

6HQDNNW070 6HQDNNW070

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

Mentions

arxiv: arXiv 2610.02901#5QQA (statement). In NSP90G5XCQ/e1, corollary 6.4

History

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

6HQF1QHTCQ 6HQF1QHTCQ

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

Mentions

arxiv: arXiv 2610.17669#5BPI (definition). In RAWXJ72WWA/e1, definition 2.6

History

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

6HQGH703PA 6HQGH703PA

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

Mentions

arxiv: arXiv 2609.20469#8IYX (statement)

History

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

Mehler–Fock transform 6HQKCMCV2Y

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

Mentions

wikipedia: Wikipedia Mehler–Fock transform, Mehler–Fock transform (definition). Also Wikidata Q13577951

History

2026-11-02: add by m2/dev

Bi-Lipschitz bounds 6HQNCXQ5HK

URI	`m2://inv/6HQNCXQ5HK`
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.22513#U6JK, Bi-Lipschitz bounds (statement)

History

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

analytic function 6HQQ37KCQE

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

Mentions

lebl_ra: lebl_ra index/3.3.2/analytic-function, analytic function (concept). In E59CDZA4DP, index, section 3.3.2

History

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

Formula for the distorted Fourier transform 6HQWSK0FNR

URI	`m2://inv/6HQWSK0FNR`
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.00770#V8K1, Formula for the distorted Fourier transform (statement). In AYGRJSRG1M/e1, proposition

History

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

Jeffrey Weeks 6HR7MHFF8M

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

Mentions

wikipedia: Wikipedia Jeffrey Weeks (mathematician), Jeffrey Weeks (topic). Also Wikidata Q1686501

History

2026-11-02: add by m2/dev

6HRH1FEX1N 6HRH1FEX1N

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

Mentions

arxiv: arXiv 2610.16178#KP3A (statement). In 698X5RE1AB/e1, lemma 2.14

History

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

Domain of the $\mathfrak{b}$-to-$\mathfrak{b}$ mapping $\widehat{\mathfrak{P}}$ 6HRH95PWRG

URI	`m2://inv/6HRH95PWRG`
Kind	definition
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 2512.24812#U1EO, Domain of the $\mathfrak{b}$-to-$\mathfrak{b}$ mapping $\widehat{\mathfrak{P}}$ (definition). In F4JB0RR5JV/e1, definition 3.2

History

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

Sven Leyffer 6HRJ81MMQ3

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

Mentions

wikipedia: Wikipedia Sven Leyffer, Sven Leyffer (topic). Also Wikidata Q107566987

History

2026-11-02: add by m2/dev

6HRK5JK81J 6HRK5JK81J

URI	`m2://inv/6HRK5JK81J`
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.38118#CQ0B (statement). In K4KKTYYKKH/e1, theorem 1

History

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

6HRKJMSPGW 6HRKJMSPGW

URI	`m2://inv/6HRKJMSPGW`
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#OTRF (statement). In 4H727T2YAS/e1, theorem 7.1

History

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

6HRRZHCAWF 6HRRZHCAWF

URI	`m2://inv/6HRRZHCAWF`
Kind	definition
Layer	research
MSC	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 2610.09945#OHSC (definition). In V7VCEA0VAA/e1, definition 2.1

History

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

Finiteness of class group 6HS7PQZ39H

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

Mentions

napkin: napkin tex/alg-NT/classgrp.tex#corollary-1, Finiteness of class group (statement). In RZP28ERRZV, corollary, section 9.7

History

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

John W. Pratt 6HS7VMDEET

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

Mentions

wikipedia: Wikipedia John W. Pratt, John W. Pratt (topic). Also Wikidata Q1701462

History

2026-11-02: add by m2/dev

subquotient 6HSBW6T28Z

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

Mentions

wikidata: Wikidata Q2133887, subquotient (unknown). Also nLab subquotient
wikipedia: Wikipedia Subquotient, Subquotient (definition). Also Wikidata Q2133887

History

2026-10-26: add by m2/dev

Hermitian form 6HSD1K2RZK

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

Mentions

wikipedia: Wikipedia List of things named after Charles Hermite#78JB, Hermitian form (definition)

History

2026-11-02: add by m2/dev

metabiaugmented dodecahedron 6HSQ069D76

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

Mentions

wikidata: Wikidata Q2522978, metabiaugmented dodecahedron (object). Also MathWorld MetabiaugmentedDodecahedron
wikipedia: Wikipedia Metabiaugmented dodecahedron, Metabiaugmented dodecahedron (definition). Also Wikidata Q2522978

History

2026-10-26: add by m2/dev

Definition 6HSTE9B1JN

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

Mentions

wikipedia: Wikipedia Veridicality#7W0V, Definition (definition)

History

2026-11-02: add by m2/dev

Dots per inch 6HSXH12RQ4

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#0QWP, Dots per inch (unknown)

History

2026-11-02: add by m2/dev

6HT0B98G2B 6HT0B98G2B

URI	`m2://inv/6HT0B98G2B`
Kind	example
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.03579#463C (example). In PZQ3D6A9J0/e1, example 2.3

History

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

Gödel's incompleteness theorem 6HT4TJWRHF

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#HAPS, Gödel's incompleteness theorem (statement)

History

2026-11-02: add by m2/dev

Theological noncognitivism 6HT95K2PK7

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

Mentions

wikipedia: Wikipedia Theological noncognitivism, Theological noncognitivism (definition). Also Wikidata Q2555038

History

2026-11-02: add by m2/dev

Properties 6HTHTFNT76

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

Mentions

wikipedia: Wikipedia Closed manifold#U6QU, Properties (statement)

History

2026-11-02: add by m2/dev

6HTR9SZGX1 6HTR9SZGX1

URI	`m2://inv/6HTR9SZGX1`
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.34516#MBRY (statement). In ECKK8RR78E/e1, theorem 1.1

History

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

Odd function 6HTVBK63A7

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

Mentions

wikipedia: Wikipedia List of types of functions#560J, Odd function (definition)

History

2026-11-02: add by m2/dev

Uniform escape radius 6HV01PD5A1

URI	`m2://inv/6HV01PD5A1`
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.11793#SHEG, Uniform escape radius (statement). In GGCY8Z053Z/e1, lemma 2.1

History

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

Definition 6HV39YDSY9

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

Mentions

wikipedia: Wikipedia Jackson q-Bessel function#Z16Q, Definition (definition)

History

2026-11-02: add by m2/dev

6HV4CTBR40 6HV4CTBR40

URI	`m2://inv/6HV4CTBR40`
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.31363#WT5U (statement). In XB8NYRD86J/e1, lemma D.1

History

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

Rotational inertia 6HV6616Q2J

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#O181, Rotational inertia (definition)

History

2026-11-02: add by m2/dev

6HVA1ZSD7K 6HVA1ZSD7K

URI	`m2://inv/6HVA1ZSD7K`
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.08052#QEAZ (statement). In 672XAVEQ34/e1, lemma 7.6

History

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

6HVAEYA8H9 6HVAEYA8H9

URI	`m2://inv/6HVAEYA8H9`
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.07092#L9CO (statement). In JWNYJVH8XG/e1, theorem 5.4

History

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

6HVC4PEZ9N 6HVC4PEZ9N

URI	`m2://inv/6HVC4PEZ9N`
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.12740#ZWCB (statement). In HKYRZSZPEC/e1, theorem 3.1

History

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

Faddeev equations 6HVG6M397Z

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

Mentions

wikipedia: Wikipedia Faddeev equations, Faddeev equations (definition). Also Wikidata Q3777171

History

2026-11-02: add by m2/dev

Projection formula 6HVHG9VRX7

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

Mentions

austin_ula: austin_ula src/section6-3.xml#prop-proj-formula, Projection formula (statement). In 649HGZKE96, proposition, section 6.3.3

History

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

6HVHZEK3Z5 6HVHZEK3Z5

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

Mentions

arxiv: arXiv 2609.26769#8QCS (statement)

History

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

4-category 6HVW7K1C6N

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

Mentions

wikipedia: Wikipedia Higher category theory#P5V1, 4-category (unknown)

History

2026-11-02: add by m2/dev

Versus theorems 6HW1JQDX3G

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

Mentions

wikipedia: Wikipedia Theory#GOV4, Versus theorems (statement)

History

2026-11-02: add by m2/dev

John H. Coates 6HW5VJSQ66

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

Mentions

wikipedia: Wikipedia John H. Coates, John H. Coates (topic). Also Wikidata Q671993

History

2026-11-02: add by m2/dev

Biaugmented triangular prism 6HW9Q23FC3

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#0YAW, Biaugmented triangular prism (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#XW72, Biaugmented triangular prism (definition)

History

2026-11-02: add by m2/dev

Camacho, Sad 6HWEB7J1HP

URI	`m2://inv/6HWEB7J1HP`
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.01520#TIXC, Camacho, Sad (statement). In GTZYR8QA3G/e1, theorem 2.7

History

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

Smoothed power and primitive 6HWEW6VEGQ

URI	`m2://inv/6HWEW6VEGQ`
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.08631#DQCL, Smoothed power and primitive (statement). In 3YQNR18XB3/e1, lemma 5.1

History

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

6HWJFEJZXD 6HWJFEJZXD

URI	`m2://inv/6HWJFEJZXD`
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.27635#9RRU (statement)

History

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

6HWWFSCB5A 6HWWFSCB5A

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

Mentions

arxiv: arXiv 2610.02901#21DH (statement). In NSP90G5XCQ/e1, proposition 6.2

History

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

Dan Nettleton 6HWYYC473E

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

Mentions

wikipedia: Wikipedia Dan Nettleton, Dan Nettleton (topic). Also Wikidata Q56606080

History

2026-11-02: add by m2/dev

6HWYZ6S1VW 6HWYZ6S1VW

URI	`m2://inv/6HWYZ6S1VW`
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.27641#0RPO (statement)

History

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

Properties 6HX15XX80X

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

Mentions

wikipedia: Wikipedia Mahler measure#86SC, Properties (statement)

History

2026-11-02: add by m2/dev

6HX2CF4WB5 6HX2CF4WB5

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

Mentions

arxiv: arXiv 2609.24610#ZXEU (statement)

History

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

pulse 6HXGHSKD6W

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

Mentions

lebl_diffyqs: lebl_diffyqs index/7.4.1/pulse, pulse (concept). In E9HS8K3A52, index, section 7.4.1

History

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

6HXGWCPNN6 6HXGWCPNN6

URI	`m2://inv/6HXGWCPNN6`
Kind	statement
Layer	research
MSC	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 2610.16606#K6RX (statement). In A798V7TX99/e1, proposition 6.1

History

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

Watt's curve 6HXNJZ32RP

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

Mentions

wikidata: Wikidata Q3775382, Watt's curve (unknown). Also MathWorld WattsCurve
wikipedia: Wikipedia Watt's curve, Watt's curve (definition). Also Wikidata Q3775382

History

2026-10-26: add by m2/dev

Matroid polytope 6HXVVMHMWJ

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

Mentions

wikipedia: Wikipedia Matroid polytope, Matroid polytope (definition). Also Wikidata Q6787907

History

2026-11-02: add by m2/dev

mathematics, classical 6HXW1RNV36

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

Mentions

hott_book: hott_book index/A.8/mathematics-classical, mathematics, classical (concept). In N54F33XE07, index, section A.8

History

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

6HY5WWNQ34 6HY5WWNQ34

URI	`m2://inv/6HY5WWNQ34`
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 2609.23237#3PU5 (definition)

History

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

Backing wind 6HYHR9HE9R

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

Mentions

wikipedia: Wikipedia Thermal wind#MQG2, Backing wind (unknown)

History

2026-11-02: add by m2/dev

Ruan's theorem 6HYMZFHDYQ

URI	`m2://inv/6HYMZFHDYQ`
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 2609.37698#4F2P, Ruan's theorem (statement). In HA2GG72C23/e1, theorem 1.7

History

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

Definition 6HYXDS61J4

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

Mentions

wikipedia: Wikipedia Inner model#N7S0, Definition (definition)

History

2026-11-02: add by m2/dev

6HZ2K7BTG3 6HZ2K7BTG3

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

Mentions

arxiv: arXiv 2610.13680#OJW5 (unknown). In QNBFHFZ3H0/e1, unknown 11

History

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

Statement of the inequality 6HZ44BEYKC

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

Mentions

wikipedia: Wikipedia Kolmogorov's inequality#DXHF, Statement of the inequality (statement)

History

2026-11-02: add by m2/dev

6HZ4HTZM2C 6HZ4HTZM2C

URI	`m2://inv/6HZ4HTZM2C`
Kind	statement
Layer	research
MSC	20-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.06699#26Z0 (statement). In GXHKRV5BPY/e1, corollary B.3

History

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

6HZ87TZZCY 6HZ87TZZCY

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

Mentions

arxiv: arXiv 2609.39845#8UBA (statement). In RK8DFVGQP1/e1, theorem 10

History

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

Transparent intensional logic 6HZQ6WDWM6

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

Mentions

wikipedia: Wikipedia Transparent intensional logic, Transparent intensional logic (definition). Also Wikidata Q7834783

History

2026-11-02: add by m2/dev