Inventory rows G9

Variable and attribute G9013E31QB

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

Mentions

wikipedia: Wikipedia Variable and attribute (research), Variable and attribute (definition). Also Wikidata Q113312

History

2026-11-02: add by m2/dev

Smoothing G908ZNFPNV

URI	`m2://inv/G908ZNFPNV`
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.36090#DNY2, Smoothing (statement). In N025M6VQRY/e1, lemma 13

History

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

G909HJVHWQ G909HJVHWQ

URI	`m2://inv/G909HJVHWQ`
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.14455#18FF (statement). In 5KARPAJDCP/e1, lemma 2.1

History

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

G90AAX5N6G G90AAX5N6G

URI	`m2://inv/G90AAX5N6G`
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.39293#LCPN (statement). In S26QVW5613/e1, lemma A.1.2

History

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

impredicative, quotient G90FXVFD4Y

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

Mentions

hott_book: hott_book index/C.1.3/impredicative-quotient, impredicative, quotient (concept). In N54F33XE07, index, section C.1.3

History

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

G90G53SNKA G90G53SNKA

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

Mentions

arxiv: arXiv 2610.21960#NVLJ (example). In QX77AN49J0/e1, example 8.5

History

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

proper G90GT4JDS8

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

Mentions

wikipedia: Wikipedia Glossary of set theory#RKJ6, proper (definition)

History

2026-11-02: add by m2/dev

Separation and the min--max formula G90MZSM5X1

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

Mentions

arxiv: arXiv 2610.09602#TT0Y, Separation and the min--max formula (statement). In 4AQ48WSBDQ/e1, lemma 2.1

History

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

Examples G90R19Y755

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

Mentions

wikipedia: Wikipedia Deligne–Mumford stack#IPHD, Examples (example)

History

2026-11-02: add by m2/dev

G91A5JF2M5 G91A5JF2M5

URI	`m2://inv/G91A5JF2M5`
Kind	statement
Layer	research
MSC	26-XX, 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.20909#L7IN (statement). In 7ZBX5WVEZP/e1, theorem 4.1

History

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

Number: The Language of Science G91AVVGVJQ

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

Mentions

wikipedia: Wikipedia Number: The Language of Science, Number: The Language of Science (definition). Also Wikidata Q17105186

History

2026-11-02: add by m2/dev

proper rational function G91B2EJH8H

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

Mentions

lebl_diffyqs: lebl_diffyqs index/7.1.3/proper-rational-function, proper rational function (concept). In E9HS8K3A52, index, section 7.1.3

History

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

Use G91CJ2R056

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

Mentions

wikipedia: Wikipedia Integrating factor#QBDO, Use (example)

History

2026-11-02: add by m2/dev

law of sines G91HST102G

URI	`m2://inv/G91HST102G`
Kind	statement
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Law of sines 0PASQ34GHG

Mentions

wikidata: Wikidata Q170181, law of sines (statement). Also MathWorld LawofSines, ProofWiki Law_of_Sines
wikipedia: Wikipedia Law of sines, Law of sines (statement). Also Wikidata Q170181

History

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

G91MNM7WME G91MNM7WME

URI	`m2://inv/G91MNM7WME`
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 1009.2047#9CX9 (statement). In F3MWRNBNED/e1, lemma 4.5

History

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

Guido Fubini G91S714PM5

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#RXB3, Guido Fubini (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#E490, Guido Fubini (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HOOX, Guido Fubini (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UACC, Guido Fubini (topic)

History

2026-11-02: add by m2/dev

G91SQF0EHC G91SQF0EHC

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

Mentions

arxiv: arXiv 2610.15847#I9M1 (statement). In BTV3DAMX28/e1, corollary 3

History

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

Eugene Dynkin G91TRCWGCW

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#R6F4, Eugene Dynkin (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#BQID, Eugene Dynkin (topic)

History

2026-11-02: add by m2/dev

Solovay G91VWNDHGZ

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

Mentions

wikipedia: Wikipedia List of statements independent of ZFC#09AC, Solovay (topic)

History

2026-11-02: add by m2/dev

G9246ZQXGP G9246ZQXGP

URI	`m2://inv/G9246ZQXGP`
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.32174#XYBQ (statement). In GHKR740SG3/e1, theorem 17.8

History

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

Macroscopic traffic flow model G926EECMT1

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

Mentions

wikipedia: Wikipedia Macroscopic traffic flow model, Macroscopic traffic flow model (definition). Also Wikidata Q17120849

History

2026-11-02: add by m2/dev

Fully discrete FV error with backward Euler G92DABJV14

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

Mentions

arxiv: arXiv 2610.22063#WYFT, Fully discrete FV error with backward Euler (statement). In JHK0EAV79D/e1, proposition 3

History

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

Truncation G92Q5RDV3Y

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

Mentions

wikipedia: Wikipedia Truncation, Truncation (definition). Also Wikidata Q1080547

History

2026-11-02: add by m2/dev

G92W6Y25MT G92W6Y25MT

URI	`m2://inv/G92W6Y25MT`
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#3OZK (statement). In CTVPA2FQT1/e1, lemma 4.3.1

History

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

Generalizations G931DPJTSD

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

Mentions

wikipedia: Wikipedia Veblen function#YOYT, Generalizations (statement)

History

2026-11-02: add by m2/dev

Definition G932ZNESY8

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

Mentions

wikipedia: Wikipedia Zig-zag product#0NHJ, Definition (definition)

History

2026-11-02: add by m2/dev

G937RZ063D G937RZ063D

URI	`m2://inv/G937RZ063D`
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.35421#F8KQ (statement). In KE8B8KMDJJ/e1, corollary 2

History

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

Jean-Victor Poncelet G93C3WSEVA

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

Mentions

wikipedia: Wikipedia List of geometers#VIWO, Jean-Victor Poncelet (topic)

History

2026-11-02: add by m2/dev

Versions of the criterion G93DFEAXPS

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

Mentions

wikipedia: Wikipedia Verificationism#QP7E, Versions of the criterion (statement)

History

2026-11-02: add by m2/dev

G93GMZT7T7 G93GMZT7T7

URI	`m2://inv/G93GMZT7T7`
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 2210.16706#UK12 (statement). In JSRVKPT87E/e1, proposition

History

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

Suslin G93HA59GBE

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

Mentions

wikipedia: Wikipedia Glossary of set theory#BJP4, Suslin (definition)

History

2026-11-02: add by m2/dev

$(\bla,A)$-plank G93R98W8RC

URI	`m2://inv/G93R98W8RC`
Kind	definition
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#Q5C9, $(\bla,A)$-plank (definition). In 3Y76AQQGF0/e1, definition 2.5

History

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

G93YY3VNRN G93YY3VNRN

URI	`m2://inv/G93YY3VNRN`
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 2609.28650#UWW9 (example)

History

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

Karl-Theodor Sturm G9404MYNHX

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

Mentions

wikipedia: Wikipedia List of German mathematicians#X81E, Karl-Theodor Sturm (topic)

History

2026-11-02: add by m2/dev

Warnsdorff's rule G940QN8C0E

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

Mentions

wikipedia: Wikipedia Knight's tour#F3BF, Warnsdorff's rule (unknown)

History

2026-11-02: add by m2/dev

Fractionally subadditive valuation G947CBG62S

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

Mentions

wikipedia: Wikipedia Fractionally subadditive valuation, Fractionally subadditive valuation (definition). Also Wikidata Q30594726

History

2026-11-02: add by m2/dev

epistemicism G9480F9RFF

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

Mentions

wikipedia: Wikipedia Glossary of logic#F7YO, epistemicism (definition)

History

2026-11-02: add by m2/dev

Exponentially fine microscopic energy G949M7NGXZ

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

Mentions

arxiv: arXiv 2610.16351#Z20M, Exponentially fine microscopic energy (statement). In 1QSV7EQE3T/e1, proposition S55

History

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

Difference operator G94G0J8KTM

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

Mentions

wikipedia: Wikipedia List of factorial and binomial topics#A9IR, Difference operator (definition)

History

2026-11-02: add by m2/dev

supposition G94GMYSP1C

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

Mentions

wikipedia: Wikipedia Glossary of logic#Q0TK, supposition (definition)

History

2026-11-02: add by m2/dev

G94MKDECZZ G94MKDECZZ

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

Mentions

arxiv: arXiv 2610.18618#BBHI (statement). In C8VC86B6H8/e1, lemma 7.2

History

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

G955CCMNXA G955CCMNXA

URI	`m2://inv/G955CCMNXA`
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 2411.11470#AATN (definition). In G1E3KERT6K/e1, definition 2.3

History

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

G95D1KPXGZ G95D1KPXGZ

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

History

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

Squared Hellinger Divergence G95NH12PYW

URI	`m2://inv/G95NH12PYW`
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.28297#9IWO, Squared Hellinger Divergence (statement)

History

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

G95XGDHTJZ G95XGDHTJZ

URI	`m2://inv/G95XGDHTJZ`
Kind	statement
Layer	research
MSC	03-XX, 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.04870#8RHD (statement). In X765ZXXVC3/e1, lemma 2.17

History

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

G95YHE4YV0 G95YHE4YV0

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

Mentions

arxiv: arXiv 2306.08237#ONCT (definition). In E22A2MFR4Y/e1, definition 4.1

History

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

G96235F6NE G96235F6NE

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

Mentions

arxiv: arXiv 2505.05539#6IRT (statement). In 8SVVEVGMNE/e1, corollary 2.16

History

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

G968VPB6KJ G968VPB6KJ

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

Mentions

arxiv: arXiv 2610.21600#VCIE (statement). In EGAXXGHQNK/e1, theorem 6

History

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

Stellated truncated hexahedron G969TG0SVC

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#HMO4, Stellated truncated hexahedron (object)

History

2026-11-02: add by m2/dev

G96ERD2XMM G96ERD2XMM

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

Mentions

arxiv: arXiv 2610.01267#FZ6P (statement). In GWWHP6R0BZ/e1, proposition 4.12

History

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

G96ESDKAZC G96ESDKAZC

URI	`m2://inv/G96ESDKAZC`
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.01354#KSEY (statement). In BWD76W20W8/e1, theorem 5.7

History

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

Convex order G96G33PJDR

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

Mentions

wikipedia: Wikipedia Stochastic ordering#PVYI, Convex order (unknown)

History

2026-11-02: add by m2/dev

Hairy ball theorem G96JX8CYE3

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#V1WO, Hairy ball theorem (statement)

History

2026-11-02: add by m2/dev

Federer, Walter T. G96TFVMMXZ

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

Mentions

wikipedia: Wikipedia List of statisticians#MHHI, Federer, Walter T. (topic)

History

2026-11-02: add by m2/dev

Time-uniform covariance accuracy G96XJCE6JN

URI	`m2://inv/G96XJCE6JN`
Kind	statement
Layer	research
MSC	37-XX, 49-XX, 62-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.23927#15OA, Time-uniform covariance accuracy (statement)

History

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

Integral assignment duality G971NSBV3C

URI	`m2://inv/G971NSBV3C`
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.13580#AZAQ, Integral assignment duality (statement). In KEQ57N9N7Z/e1, lemma 4.1

History

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

G971XG6JD4 G971XG6JD4

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

Mentions

arxiv: arXiv 2609.22394#UDJW (statement)

History

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

Henry Cabourn Pocklington G972Z85BXF

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

Mentions

wikipedia: Wikipedia Henry Cabourn Pocklington, Henry Cabourn Pocklington (topic). Also Wikidata Q5719094

History

2026-11-02: add by m2/dev

G973RFXK1N G973RFXK1N

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

Mentions

wikipedia: Wikipedia Erdős–Ulam problem#3BCX (problem)

History

2026-11-02: add by m2/dev

antihomomorphism G974A1TFXG

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

Mentions

wikidata: Wikidata Q575857, antihomomorphism (unknown). Also MathWorld Antihomomorphism, nLab antihomomorphism
wikipedia: Wikipedia Antihomomorphism, Antihomomorphism (definition). Also Wikidata Q575857

History

2026-10-26: add by m2/dev

William Edward Story G9776G3BZN

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

Mentions

wikipedia: Wikipedia William Edward Story, William Edward Story (topic). Also Wikidata Q3709927

History

2026-11-02: add by m2/dev

The Lax–Milgram theorem G97AZT417E

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

Mentions

wikipedia: Wikipedia Weak formulation#II6J, The Lax–Milgram theorem (statement)

History

2026-11-02: add by m2/dev

quasi-fibration G97HZDVMX5

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#33EP, quasi-fibration (definition)

History

2026-11-02: add by m2/dev

Examples G97KTTGC3K

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

Mentions

wikipedia: Wikipedia Dissipative operator#YKYO, Examples (example)

History

2026-11-02: add by m2/dev

G97QSX534C G97QSX534C

URI	`m2://inv/G97QSX534C`
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.11700#EDYE (statement). In RW9AZQ1YZ2/e1, theorem 4

History

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

Quadratic reciprocity G97RQ9JWT2

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

Mentions

wikipedia: Wikipedia List of algebraic number theory topics#GLXZ, Quadratic reciprocity (definition)

History

2026-11-02: add by m2/dev

Opposite category G985S7GMVV

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

Mentions

wikipedia: Wikipedia List of dualities#U6CY, Opposite category (definition)

History

2026-11-02: add by m2/dev

Decomposable measure G98DWJN48F

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

Mentions

wikipedia: Wikipedia Decomposable measure, Decomposable measure (definition). Also Wikidata Q17006903

History

2026-11-02: add by m2/dev

Fractional-exchange generator G98FTK56HW

URI	`m2://inv/G98FTK56HW`
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.24569#35AR, Fractional-exchange generator (statement)

History

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

Special cases G98FV8BRTN

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

Mentions

wikipedia: Wikipedia Generalized hypergeometric function#V7VG, Special cases (statement)

History

2026-11-02: add by m2/dev

The category of differentiable simulators G98GF8D2DT

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

Mentions

arxiv: arXiv 2609.26270#6LA0, The category of differentiable simulators (definition)

History

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

Examples G98Y3CQ91W

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

Mentions

wikipedia: Wikipedia Fluid–structure interaction#RABX, Examples (example)

History

2026-11-02: add by m2/dev

G98ZMHT4Q5 G98ZMHT4Q5

URI	`m2://inv/G98ZMHT4Q5`
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.25985#VUSF (statement)

History

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

Definition of category O G990N2WD9Z

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

Mentions

wikipedia: Wikipedia Category O#UD2U, Definition of category O (definition)

History

2026-11-02: add by m2/dev

G998PZ2T58 G998PZ2T58

URI	`m2://inv/G998PZ2T58`
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.06225#3O3J (statement). In RQVG8V4FJA/e1, theorem A

History

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

G999BHPJKE G999BHPJKE

URI	`m2://inv/G999BHPJKE`
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.10881#USIU (statement). In DC01XRB5YE/e1, lemma 16

History

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

G99AD78GZT G99AD78GZT

URI	`m2://inv/G99AD78GZT`
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.20230#EPD4 (statement)

History

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

Hilbert's fifteenth problem G99AQ9ZJZJ

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

Mentions

wikipedia: Wikipedia Hilbert's fifteenth problem, Hilbert's fifteenth problem (conjecture). Also Wikidata Q5761149

History

2026-11-02: add by m2/dev

Tarski–Seidenberg theorem G99W6PW1EG

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

Mentions

wikipedia: Wikipedia List of things named after Alfred Tarski#R2R1, Tarski–Seidenberg theorem (statement)

History

2026-11-02: add by m2/dev

Lothar Collatz G99WV38XSE

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

Mentions

wikipedia: Wikipedia Lothar Collatz, Lothar Collatz (topic). Also Wikidata Q61794

History

2026-11-02: add by m2/dev

G99XTHWV0D G99XTHWV0D

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

Mentions

arxiv: arXiv 2610.01441#M8TE (statement). In V678XY1P9A/e1, fact 1

History

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

Curved power law G9AJ5NXMPN

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

Mentions

wikipedia: Wikipedia Power law#EVHR, Curved power law (statement)

History

2026-11-02: add by m2/dev

Multiplicity across the power-word fibres G9AK3RZMY1

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

Mentions

arxiv: arXiv 2610.14509#N9OX, Multiplicity across the power-word fibres (statement). In N6GD8392QB/e1, lemma 15.3

History

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

Ptolemy G9AWKG4Y5Z

URI	`m2://inv/G9AWKG4Y5Z`
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 Q34943, Ptolemy (unknown). Also ProofWiki Mathematician:Claudius_Ptolemy
wikipedia: Wikipedia Ptolemy, Ptolemy (topic). Also Wikidata Q34943

History

2026-10-26: add by m2/dev

George Gargrave G9AXVS780Z

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

Mentions

wikipedia: Wikipedia George Gargrave, George Gargrave (topic). Also Wikidata Q5539622

History

2026-11-02: add by m2/dev

Enumeration G9BB7H3XZM

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

Mentions

wikipedia: Wikipedia Spanning tree#MC3F, Enumeration (definition)

History

2026-11-02: add by m2/dev

mathematics, predicative G9BEH9KQDE

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

Mentions

hott_book: hott_book index/B.5/mathematics-predicative, mathematics, predicative (concept). In N54F33XE07, index, section B.5

History

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

Conditional counting G9BQ7MNX7H

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

Mentions

arxiv: arXiv 2609.27966#TRR1, Conditional counting (statement)

History

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

Tutte's theorem on perfect matchings G9BWZG9JP4

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

Mentions

wikipedia: Wikipedia List of theorems#K3M5, Tutte's theorem on perfect matchings (statement)

History

2026-11-02: add by m2/dev

G9C58BGADS G9C58BGADS

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

Mentions

arxiv: arXiv 2610.12330#O7GX (definition). In XHSKEPT3VD/e1, definition 6.2

History

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

Konrad Knopp G9C6R719XT

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

Mentions

wikipedia: Wikipedia Konrad Knopp, Konrad Knopp (topic). Also Wikidata Q72982

History

2026-11-02: add by m2/dev

G9CEGZJPBZ G9CEGZJPBZ

URI	`m2://inv/G9CEGZJPBZ`
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.01912#RKRW (statement). In CTE1C9KYPY/e1, lemma 2.4

History

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

Edmonds–Karp algorithm G9CJD47R8R

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

Mentions

wikipedia: Wikipedia Edmonds–Karp algorithm, Edmonds–Karp algorithm (definition). Also Wikidata Q1302658

History

2026-11-02: add by m2/dev

Journal of Logic, Language and Information G9CSQZPCQF

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

Mentions

wikipedia: Wikipedia Journal of Logic, Language and Information, Journal of Logic, Language and Information (definition). Also Wikidata Q15708884

History

2026-11-02: add by m2/dev

G9CTSW5C9D G9CTSW5C9D

URI	`m2://inv/G9CTSW5C9D`
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.30527#YAS9 (statement). In E3WQDZY388/e1, theorem 1.1

History

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

Euler's identity G9CW81ADRZ

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

Mentions

wikipedia: Wikipedia List of topics named after Leonhard Euler#O2VZ, Euler's identity (statement)

History

2026-11-02: add by m2/dev

Tienhoven G9D1B2ZC4G

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

Mentions

wikipedia: Wikipedia List of places with numeric names#2UW9, Tienhoven (unknown)

History

2026-11-02: add by m2/dev

Lemma 5 G9D1RSSDSY

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

Mentions

wikipedia: Wikipedia McNaughton's theorem#3Z2E, Lemma 5 (statement)

History

2026-11-02: add by m2/dev

Morgan Earp G9D2G671CC

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#VG3P, Morgan Earp (topic)

History

2026-11-02: add by m2/dev

G9D3EPEK6C G9D3EPEK6C

URI	`m2://inv/G9D3EPEK6C`
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.06206#T613 (statement). In A7611PTXVQ/e1, lemma 3.11

History

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

$P\equiv0$ implies a global face minimizer on the face perimeter G9DBM42AB0

URI	`m2://inv/G9DBM42AB0`
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.19926#1P7V, $P\equiv0$ implies a global face minimizer on the face perimeter (statement)

History

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

Streamlines, streaklines, and pathlines G9DC99PHDX

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

Mentions

wikipedia: Wikipedia Streamlines, streaklines, and pathlines, Streamlines, streaklines, and pathlines (topic). Also Wikidata Q634407

History

2026-11-02: add by m2/dev

Example G9DG03PNJ2

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

Mentions

wikipedia: Wikipedia Kolmogorov continuity theorem#ZHJD, Example (example)

History

2026-11-02: add by m2/dev

G9DP4TSVCY G9DP4TSVCY

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

Mentions

arxiv: arXiv 2610.01737#MRLY (statement). In M4JGP708F4/e1, fact 4.27

History

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

George Richardson Porter G9E49KDAM4

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

Mentions

wikipedia: Wikipedia George Richardson Porter, George Richardson Porter (topic). Also Wikidata Q5543867

History

2026-11-02: add by m2/dev

G9E5GGJ0F1 G9E5GGJ0F1

URI	`m2://inv/G9E5GGJ0F1`
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 2411.16655#71GW (statement). In EJHAXRV685/e1, proposition 4.4

History

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

G9E6Z012ZJ G9E6Z012ZJ

URI	`m2://inv/G9E6Z012ZJ`
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.31212#KKGY (statement). In FHE30V0M03/e1, lemma 2.2

History

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

Francesco Barozzi G9E93CWPWQ

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#4078, Francesco Barozzi (unknown)

History

2026-11-02: add by m2/dev

Cancellative semigroup G9EBW1B1NK

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

Mentions

wikipedia: Wikipedia Cancellative semigroup, Cancellative semigroup (definition). Also Wikidata Q5031372

History

2026-11-02: add by m2/dev

Generalized G9EH3VH61X

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#Q9GW, Generalized (definition)

History

2026-11-02: add by m2/dev

G9EMRGQPX5 G9EMRGQPX5

URI	`m2://inv/G9EMRGQPX5`
Kind	statement
Layer	research
MSC	26-XX, 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.07001#9F9S (statement). In 5DFTVG7FFF/e1, theorem 1.4

History

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

Ambitwistor G9EQ1RBDTH

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

Mentions

wikipedia: Wikipedia Twistor theory#DROW, Ambitwistor (unknown)

History

2026-11-02: add by m2/dev

tangent G9F3RBJ0YQ

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

Mentions

active_calculus: active_calculus index/2.4.1/tangent, tangent (concept). In 907G4C4EJ1, index, section 2.4.1

History

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

Blockchain game G9F3TBY5KC

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

Mentions

wikipedia: Wikipedia Blockchain game, Blockchain game (definition). Also Wikidata Q109115381

History

2026-11-02: add by m2/dev

G9F9TSF82Q G9F9TSF82Q

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-70 (exercise). In E9HS8K3A52, exercise, section 5.6.4

History

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

autonomous system G9FCVEZD6F

URI	`m2://inv/G9FCVEZD6F`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Autonomous system 0673D85QKZ

Mentions

wikidata: Wikidata Q788009, autonomous system (unknown). Also MathWorld Autonomous
wikipedia: Wikipedia Autonomous system (mathematics), Autonomous system (definition). Also Wikidata Q788009

History

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

G9FMF5HF2B G9FMF5HF2B

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/logic-conc.ptx#exercise-7 (exercise). In Y91XFCEVHQ, exercise, section 4.3

History

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

G9FPJWCDC4 G9FPJWCDC4

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

Mentions

arxiv: arXiv 2609.25188#YE36 (example)

History

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

FAMAT G9FS68XMFY

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

Mentions

wikipedia: Wikipedia List of United States regional mathematics competitions#707B, FAMAT (unknown)

History

2026-11-02: add by m2/dev

Greibach normal form G9FSDY0QSX

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

Mentions

wikipedia: Wikipedia Greibach normal form, Greibach normal form (definition). Also Wikidata Q1499325

History

2026-11-02: add by m2/dev

G9FWP2VSGW G9FWP2VSGW

URI	`m2://inv/G9FWP2VSGW`
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 2610.21627#1MH2 (definition). In 4Z44S003HM/e1, definition 5

History

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

James Gray G9FZY90J5Q

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

Mentions

wikipedia: Wikipedia James Gray (mathematician), James Gray (topic). Also Wikidata Q6134893

History

2026-11-02: add by m2/dev

Valérie Berthé G9G0A727N4

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#J7IG, Valérie Berthé (topic)

History

2026-11-02: add by m2/dev

G9G53RCJ40 G9G53RCJ40

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

Mentions

lebl_ra: lebl_ra ch-der.tex#incdecdiffstrictprop (statement). In E59CDZA4DP, prop, section 3.2.4

History

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

G9G7HKPB7J G9G7HKPB7J

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

Mentions

arxiv: arXiv 2609.37252#H1QT (statement). In E3EK0ESPA7/e1, theorem 1.6

History

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

Linear canonical transformation G9G9JCF8WW

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

Mentions

wikipedia: Wikipedia Linear canonical transformation, Linear canonical transformation (definition). Also Wikidata Q6553419

History

2026-11-02: add by m2/dev

Theorem G9G9YBEV0D

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

Mentions

wikipedia: Wikipedia Munn semigroup#DKQL, Theorem (statement)

History

2026-11-02: add by m2/dev

Narancia Ghirga G9GD45JBXG

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#WNK6, Narancia Ghirga (unknown)

History

2026-11-02: add by m2/dev

Definition G9GPT9T713

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

Mentions

wikipedia: Wikipedia Half graph#DSJY, Definition (definition)

History

2026-11-02: add by m2/dev

G9GPYHSCGH G9GPYHSCGH

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

Mentions

arxiv: arXiv 2609.35597#LPHS (statement). In K424GCJ50P/e1, lemma 9.4

History

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

inclusive or G9GT4G9G9F

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

Mentions

levin_dmoi: levin_dmoi index/1.2.1/inclusive-or, inclusive or (concept). In Y91XFCEVHQ, index, section 1.2.1

History

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

G9GT7TN87J G9GT7TN87J

URI	`m2://inv/G9GT7TN87J`
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#57RD (statement). In 3Y76AQQGF0/e1, proposition 5.4

History

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

G9GW2C7MJ2 G9GW2C7MJ2

URI	`m2://inv/G9GW2C7MJ2`
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.28323#EN6C (statement)

History

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

Kurt Johansson G9GWJ4K07V

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

Mentions

wikipedia: Wikipedia Kurt Johansson (mathematician), Kurt Johansson (topic). Also Wikidata Q5886854

History

2026-11-02: add by m2/dev

centimeter–gram–second system of units G9GZXQ2Q25

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

Mentions

wikidata: Wikidata Q26240, centimeter–gram–second system of units (definition). Also ProofWiki Definition:CGS

History

2026-10-26: add by m2/dev

classical G9HDC9YQ2D

URI	`m2://inv/G9HDC9YQ2D`
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.01731#Y1LO, classical (statement). In 3TJ2FWXQ0D/e1, proposition 3.3

History

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

Frank Harary G9HDF7YGVX

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#PVR4, Frank Harary (topic)

History

2026-11-02: add by m2/dev

Example G9HE2X2SNW

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

Mentions

wikipedia: Wikipedia Blocking (statistics)#VVI4, Example (example)

History

2026-11-02: add by m2/dev

Row echelon form G9HG0JFD6T

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

Mentions

wikipedia: Wikipedia Row echelon form, Row echelon form (definition). Also Wikidata Q2091296

History

2026-11-02: add by m2/dev

G9HK68JAGW G9HK68JAGW

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#intsubcor (statement). In E59CDZA4DP, cor, section 8.2.1

History

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

G9HV7D0KRS G9HV7D0KRS

URI	`m2://inv/G9HV7D0KRS`
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 2301.07434#OS4T (statement). In 7XZHQ2H5ZD/e1, theorem 4.1

History

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

Properties G9HWZM386A

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

Mentions

wikipedia: Wikipedia Brahmagupta polynomials#BIW9, Properties (statement)

History

2026-11-02: add by m2/dev

G9HZ0XTNWM G9HZ0XTNWM

URI	`m2://inv/G9HZ0XTNWM`
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.05388#124S (statement). In 4HJK1986EJ/e1, corollary 2.1

History

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

Examples G9J444FXY9

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

Mentions

wikipedia: Wikipedia Blind deconvolution#T9I1, Examples (example)

History

2026-11-02: add by m2/dev

\textbf{Mixing time of UBU-type ULMC beyond log-concavity G9J8YT63WA

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

Mentions

arxiv: arXiv 2609.20713#F9AO, \textbf{Mixing time of UBU-type ULMC beyond log-concavity (statement)

History

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

G9JBYXPDDR G9JBYXPDDR

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

Mentions

open_logic: open_logic content/incompleteness/arithmetization-syntax/coding-symbols.tex#ex-1 (example). In PKGMM3P5QY, ex, section 27.2

History

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

G9JCHTR5XQ G9JCHTR5XQ

URI	`m2://inv/G9JCHTR5XQ`
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.13908#VWJY (statement). In 9C684206F0/e1, proposition 4.2

History

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

Statement G9JM7A0Q1C

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

Mentions

wikipedia: Wikipedia Sensitivity theorem#M79X, Statement (statement)

History

2026-11-02: add by m2/dev

Kleene algebra (with involution) G9K84T5HTN

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

Mentions

wikipedia: Wikipedia De Morgan algebra#M0N9, Kleene algebra (with involution) (unknown)

History

2026-11-02: add by m2/dev

Definition G9KAYBD9B4

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

Mentions

wikipedia: Wikipedia Function of several complex variables#PNGC, Definition (definition)

History

2026-11-02: add by m2/dev

Indirect least squares G9KETZZYXN

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

Mentions

wikipedia: Wikipedia List of statistics articles#QRX8, Indirect least squares (definition)

History

2026-11-02: add by m2/dev

Isopleth G9KJ1C63HX

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

Mentions

wikipedia: Wikipedia Contour line#VXQP, Isopleth (unknown)

History

2026-11-02: add by m2/dev

Dmitrii Menshov G9KK0SH6T5

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

Mentions

wikipedia: Wikipedia Dmitrii Menshov, Dmitrii Menshov (topic). Also Wikidata Q983365

History

2026-11-02: add by m2/dev

Properties G9KKCG4B2X

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

Mentions

wikipedia: Wikipedia Orlicz space#SYMN, Properties (statement)

History

2026-11-02: add by m2/dev

Hironaka G9KM56CHQK

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#CREB, Hironaka (definition)

History

2026-11-02: add by m2/dev

Charles Henry Rowe G9KS50Z4G8

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

Mentions

wikipedia: Wikipedia Charles Henry Rowe, Charles Henry Rowe (topic). Also Wikidata Q47089246

History

2026-11-02: add by m2/dev

G9KVHTBMST G9KVHTBMST

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

Mentions

wikipedia: Wikipedia Online matrix-vector multiplication problem#V2ZL (problem)

History

2026-11-02: add by m2/dev

Algebra of Taylor Majorants G9KVJX4M94

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

Mentions

arxiv: arXiv 2610.12239#0AHP, Algebra of Taylor Majorants (statement). In CW9MNA6K58/e1, lemma 9.13

History

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

Leonardo da Vinci G9KW0APVF3

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

Mentions

wikipedia: Wikipedia List of geometers#4294, Leonardo da Vinci (unknown)

History

2026-11-02: add by m2/dev

G9M4TYQEYW G9M4TYQEYW

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

Mentions

austin_ula: austin_ula src/exercises/exercises7-2.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 7.2

History

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

Effect of the mousetrap G9M513FHYQ

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

Mentions

napkin: napkin tex/alg-NT/classgrp.tex#lemma-2, Effect of the mousetrap (statement). In RZP28ERRZV, lemma, section 9.5

History

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

Monotone-inclusion reduction and the optimal Hilbert rate G9MMTEMAVC

URI	`m2://inv/G9MMTEMAVC`
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 2610.00295#WM68, Monotone-inclusion reduction and the optimal Hilbert rate (statement). In 7HXP270BD0/e1, theorem 4.8

History

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

G9MRAY22PG G9MRAY22PG

URI	`m2://inv/G9MRAY22PG`
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 2311.01874#T6AH (statement). In A4TR95VGX2/e1, theorem 5.4.7

History

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

G9MXZSHQZZ G9MXZSHQZZ

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

Mentions

arxiv: arXiv 2610.03864#BHA6 (statement). In 41GB65CTBJ/e1, lemma 3

History

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

Raw differentiated mixed identity G9MYG11BSD

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

Mentions

arxiv: arXiv 2609.25762#96V4, Raw differentiated mixed identity (statement)

History

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

Cipher suite G9MYRWWHND

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

Mentions

wikipedia: Wikipedia Cipher suite, Cipher suite (definition). Also Wikidata Q1092688

History

2026-11-02: add by m2/dev

Affine Cartesian-product criterion G9MYW6M4G2

URI	`m2://inv/G9MYW6M4G2`
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.14135#0GX1, Affine Cartesian-product criterion (statement). In C304J64Q79/e1, lemma 8.4

History

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

Angle consensus recovers the coupled network G9MZA3Q5H0

URI	`m2://inv/G9MZA3Q5H0`
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.21808#K94S, Angle consensus recovers the coupled network (statement)

History

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

Kenneth A. Bollen G9N2B64MAX

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

Mentions

wikipedia: Wikipedia Kenneth A. Bollen, Kenneth A. Bollen (topic). Also Wikidata Q15039952

History

2026-11-02: add by m2/dev

Guy Medal G9N2YC2W6M

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

Mentions

wikipedia: Wikipedia Guy Medal, Guy Medal (definition). Also Wikidata Q142865

History

2026-11-02: add by m2/dev

G9NJBAH7WP G9NJBAH7WP

URI	`m2://inv/G9NJBAH7WP`
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.12732#LHGO (statement). In 5E91Y3VY9E/e1, lemma 1

History

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

List of statistical software G9NPDKP54E

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

Mentions

wikipedia: Wikipedia Lists of statistics topics#KG52, List of statistical software (topic)

History

2026-11-02: add by m2/dev

G9NPT1M3CV G9NPT1M3CV

URI	`m2://inv/G9NPT1M3CV`
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.01197#EYS8 (statement). In WDWDY0VP18/e1, proposition 2

History

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

Kao Liao District G9NRP2H8HP

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

Mentions

wikipedia: Wikipedia List of places with numeric names#PPET, Kao Liao District (unknown)

History

2026-11-02: add by m2/dev

Evaluation map (topology) G9NZR1SC1S

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

Mentions

wikipedia: Wikipedia Initial topology#KDXL, Evaluation map (topology) (unknown)

History

2026-11-02: add by m2/dev

Fisher-normalized score central limit theorem G9P06N3D4D

URI	`m2://inv/G9P06N3D4D`
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#0Z3E, Fisher-normalized score central limit theorem (statement). In N6EBNRZCYX/e1, lemma A.16

History

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

History of Lie theory G9P39QPTS3

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

Mentions

wikipedia: Wikipedia Lie theory#8IHF, History of Lie theory (unknown)

History

2026-11-02: add by m2/dev

centered triangular number G9P59QJ680

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

Mentions

wikidata: Wikidata Q190890, centered triangular number (unknown). Also MathWorld CenteredTriangularNumber, OEIS A005448
wikipedia: Wikipedia Centered triangular number, Centered triangular number (definition). Also Wikidata Q190890

History

2026-10-26: add by m2/dev

Examples G9P6XJ6YVN

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

Mentions

wikipedia: Wikipedia Circumconic and inconic#XP0X, Examples (example)

History

2026-11-02: add by m2/dev

Dodson, James G9PDW89SRZ

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

Mentions

wikipedia: Wikipedia List of statisticians#MR9K, Dodson, James (unknown)

History

2026-11-02: add by m2/dev

G9PGCBS6RC G9PGCBS6RC

URI	`m2://inv/G9PGCBS6RC`
Kind	example
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.24078#NA2L (example)

History

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

Definition G9PHKGGFJC

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

Mentions

wikipedia: Wikipedia Eulerian path#Q2JF, Definition (definition)

History

2026-11-02: add by m2/dev

A Priori Bounds on the Two Constants G9PHR539GJ

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

Mentions

arxiv: arXiv 2610.13222#ZGZ6, A Priori Bounds on the Two Constants (statement). In Z6WA2R0J50/e1, proposition 2.18

History

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

Collatz conjecture G9PK3J7CDA

URI	`m2://inv/G9PK3J7CDA`
Kind	conjecture
Layer	textbook
Sources	2
Outcome	open
Node	Collatz conjecture 6PCQEXEX4N

Mentions

wikidata: Wikidata Q837314, Collatz conjecture (conjecture). Also MathWorld CollatzProblem, ProofWiki Collatz_Conjecture
wikipedia: Wikipedia Collatz conjecture, Collatz conjecture (conjecture). Also Wikidata Q837314

History

2026-10-26: add by m2/dev

Synthetic measure G9PVPTYM4E

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

Mentions

wikipedia: Wikipedia Synthetic measure, Synthetic measure (definition). Also Wikidata Q47494930

History

2026-11-02: add by m2/dev

$n$-bond star graph G9Q1WGPKT8

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

Mentions

arxiv: arXiv 2610.06631#QYVD, $n$-bond star graph (statement). In QR4SD83TFR/e1, corollary 9

History

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

G9Q2FP03SV G9Q2FP03SV

URI	`m2://inv/G9Q2FP03SV`
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 2609.27366#EYQ5 (statement)

History

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

Evil demon G9Q8HVEFQ7

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

Mentions

wikipedia: Wikipedia Evil demon, Evil demon (definition). Also Wikidata Q1502279

History

2026-11-02: add by m2/dev

Jeffrey Adams G9QSNF8VVJ

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

Mentions

wikipedia: Wikipedia Jeffrey Adams (mathematician), Jeffrey Adams (topic). Also Wikidata Q6175819

History

2026-11-02: add by m2/dev

G9QW4Q68T3 G9QW4Q68T3

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-12 (exercise). In P1C114YBXG, problem, section D

History

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

G9QWHFE1HS G9QWHFE1HS

URI	`m2://inv/G9QWHFE1HS`
Kind	example
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#9G26 (example). In RPC7VG3KHQ/e1, example 7.3

History

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

Existence of smooth wider non-totally imprisoning structures G9QX0JFR8J

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

Mentions

arxiv: arXiv 2610.11911#2XIY, Existence of smooth wider non-totally imprisoning structures (statement). In 5BYE5NYB89/e1, proposition 3.14

History

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

Loss-of-mass identity G9QYFKX7T1

URI	`m2://inv/G9QYFKX7T1`
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.00137#SJ0S, Loss-of-mass identity (statement). In NKW6YQ04QW/e1, lemma 4.6

History

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

S. V. Jablonskii G9R4GXF8RC

URI	`m2://inv/G9R4GXF8RC`
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#K001, S. V. Jablonskii (topic)

History

2026-11-02: add by m2/dev

Cone G9R64JSD13

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#VK6R, Cone (definition)

History

2026-11-02: add by m2/dev

G9R7J9BJDE G9R7J9BJDE

URI	`m2://inv/G9R7J9BJDE`
Kind	definition
Layer	research
MSC	55-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.06747#32NK (definition). In AB2WPR2FRR/e1, definition 2.7

History

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

Azriel Lévy G9RJF4F3EM

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#WKSQ, Azriel Lévy (topic)

History

2026-11-02: add by m2/dev

Hahn–Banach G9RX700T7J

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

Mentions

wikipedia: Wikipedia Glossary of functional analysis#RRAT, Hahn–Banach (definition)

History

2026-11-02: add by m2/dev

Leopoldt reflection theorem G9S4W05K41

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

Mentions

wikipedia: Wikipedia Reflection theorem#HLG8, Leopoldt reflection theorem (unknown)

History

2026-11-02: add by m2/dev

Posterior consistency G9S6AP68B9

URI	`m2://inv/G9S6AP68B9`
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.02893#RJ79, Posterior consistency (statement). In DQ9TAGM5XP/e1, theorem 4

History

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

G9SAMDW0PX G9SAMDW0PX

URI	`m2://inv/G9SAMDW0PX`
Kind	statement
Layer	research
MSC	05-XX, 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 2609.36022#89MU (statement). In ENH5XNBQWH/e1, lemma 4.20

History

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

A priori reconstruction $L^2$ error G9SNDFQMY5

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

Mentions

arxiv: arXiv 2610.10484#18QI, A priori reconstruction $L^2$ error (statement). In 5B4AX4SF88/e1, theorem 3.9

History

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

Empirical Bayes method G9SSAF2TM0

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

Mentions

wikipedia: Wikipedia List of statistics articles#3HOD, Empirical Bayes method (definition)

History

2026-11-02: add by m2/dev

Definition G9SXGAZB1F

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

Mentions

wikipedia: Wikipedia Relaxed intersection#02B4, Definition (definition)

History

2026-11-02: add by m2/dev

Homogeneity (statistics) G9T57AZ05V

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

Mentions

wikipedia: Wikipedia List of statistics articles#0EHU, Homogeneity (statistics) (definition)

History

2026-11-02: add by m2/dev

Theorem G9T9ABEC65

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

Mentions

wikipedia: Wikipedia Ratio of uniforms#FBIY, Theorem (statement)

History

2026-11-02: add by m2/dev

C. A. Meredith G9TAN8Q9N1

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

Mentions

wikipedia: Wikipedia List of logicians#O0PV, C. A. Meredith (topic)

History

2026-11-02: add by m2/dev

CW complex G9TFBH5Q8T

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

Mentions

hott_book: hott_book index/u1.u4/cw-complex, CW complex (concept). In N54F33XE07, index, section u1.u4

History

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

G9TX5RYAW2 G9TX5RYAW2

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

Mentions

arxiv: arXiv 2108.03672#RPNB (definition). In EZZSZ1F071/e1, definition 1.4

History

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

G9V2A359Q4 G9V2A359Q4

URI	`m2://inv/G9V2A359Q4`
Kind	statement
Layer	research
MSC	20-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 2503.00560#0SI2 (statement). In KH1H3TSWPS/e1, lemma 2.10

History

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

Self-harm G9V33JFGGN

URI	`m2://inv/G9V33JFGGN`
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#7Z1V, Self-harm (unknown)

History

2026-11-02: add by m2/dev

G9V78VNGEP G9V78VNGEP

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

Mentions

arxiv: arXiv 2103.14389#57J2 (statement). In NAMCCRM50R/e1, lemma 4.3

History

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

Cardinal characteristic of the continuum G9VT5G1ZH7

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

Mentions

wikipedia: Wikipedia Cardinal characteristic of the continuum, Cardinal characteristic of the continuum (definition). Also Wikidata Q17113204

History

2026-11-02: add by m2/dev

Karl Bögel G9VWAFJD38

URI	`m2://inv/G9VWAFJD38`
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#592G, Karl Bögel (unknown)

History

2026-11-02: add by m2/dev

Definition G9VXHH9YF0

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

Mentions

wikipedia: Wikipedia Iwahori subgroup#QJDL, Definition (definition)

History

2026-11-02: add by m2/dev

Klaus Hepp G9VXQAQ2Q9

URI	`m2://inv/G9VXQAQ2Q9`
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 Q122764, Klaus Hepp (unknown). Also nLab Klaus Hepp

History

2026-10-26: add by m2/dev

G9W5ZP62WW G9W5ZP62WW

URI	`m2://inv/G9W5ZP62WW`
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.37106#2E16 (statement). In XNK04XFP2C/e1, lemma 3.1

History

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

Wholistic reference G9W87GKJT9

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

Mentions

wikipedia: Wikipedia Wholistic reference, Wholistic reference (definition). Also Wikidata Q17102287

History

2026-11-02: add by m2/dev

G9WBDGC7ZA G9WBDGC7ZA

URI	`m2://inv/G9WBDGC7ZA`
Kind	definition
Layer	research
MSC	35-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 2610.11478#73C5 (definition). In R81S9R1XNR/e1, definition 2.8

History

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

Properties G9WDVHE333

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

Mentions

wikipedia: Wikipedia Representation theory of finite groups#Z4XU, Properties (statement)

History

2026-11-02: add by m2/dev

International Affective Picture System G9WHHB9VKA

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

Mentions

wikipedia: Wikipedia International Affective Picture System, International Affective Picture System (definition). Also Wikidata Q2654001

History

2026-11-02: add by m2/dev

Symmetry G9WM7BZXQ5

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

Mentions

wikipedia: Wikipedia Cube#SCFU, Symmetry (statement)

History

2026-11-02: add by m2/dev

JeAnne Burg G9WN7DJWEG

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#E623, JeAnne Burg (topic)

History

2026-11-02: add by m2/dev

G9WQBEZAYW G9WQBEZAYW

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

Mentions

applied_combinatorics: applied_combinatorics source/s_induction_exercises.ptx#exercise-20 (exercise). In QKM9DD2H56, exercise, section 3

History

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

Exact stability gap G9WST464JP

URI	`m2://inv/G9WST464JP`
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#W6Y3, Exact stability gap (statement). In XDTM624YPE/e1, corollary 11.8

History

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

National Vital Statistics System G9WXWTVQNM

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

Mentions

wikipedia: Wikipedia National Vital Statistics System, National Vital Statistics System (definition). Also Wikidata Q17144262

History

2026-11-02: add by m2/dev

G9WZK2YZ1Q G9WZK2YZ1Q

URI	`m2://inv/G9WZK2YZ1Q`
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 1903.11969#BSM4 (statement). In 9N4EV3GRM7/e1, theorem 2.3

History

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

G9X4YQ4WAB G9X4YQ4WAB

URI	`m2://inv/G9X4YQ4WAB`
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.12689#U6N7 (statement). In AMXK11Y802/e1, theorem 1

History

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

G9XCCHPMY8 G9XCCHPMY8

URI	`m2://inv/G9XCCHPMY8`
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.14236#3WKK (statement). In XEQD21EBTT/e1, lemma 4.14

History

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

G9XJK91V7E G9XJK91V7E

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

Mentions

arxiv: arXiv 2610.18078#O0X5 (statement). In YVK8EFSYNJ/e1, lemma C.4

History

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

Discourse analysis G9XMHNYW4E

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

Mentions

wikipedia: Wikipedia Discourse analysis, Discourse analysis (definition). Also Wikidata Q1129466

History

2026-11-02: add by m2/dev

Carlson's theorem G9Y0YY6H6N

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

Mentions

wikipedia: Wikipedia List of factorial and binomial topics#X1YA, Carlson's theorem (statement)

History

2026-11-02: add by m2/dev

G9Y1FMPBQZ G9Y1FMPBQZ

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

Mentions

arxiv: arXiv 2609.21668#E86G (statement)

History

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

Order-4 24-cell honeycomb honeycomb G9YTKM6591

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

Mentions

wikipedia: Wikipedia Order-4 24-cell honeycomb honeycomb, Order-4 24-cell honeycomb honeycomb (definition). Also Wikidata Q25220454

History

2026-11-02: add by m2/dev

G9Z2KS8K1G G9Z2KS8K1G

URI	`m2://inv/G9Z2KS8K1G`
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.07451#05X6 (statement). In P7KT88N75Q/e1, theorem 2.11

History

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

Definition G9Z43NSKM9

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

Mentions

wikipedia: Wikipedia Burst error-correcting code#1SDW, Definition (definition)

History

2026-11-02: add by m2/dev

Monotonicity in the contact radii G9ZDBRFWX7

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

Mentions

arxiv: arXiv 2609.25120#GK6G, Monotonicity in the contact radii (statement)

History

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

G9ZKMF8Z7F G9ZKMF8Z7F

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

Mentions

arxiv: arXiv 2609.36509#VUUL (statement). In DPJ15KW23C/e1, proposition 9.6

History

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

G9ZN1PHWN0 G9ZN1PHWN0

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

Mentions

arxiv: arXiv 2610.10329#IQS7 (statement). In SCSTR1Q1BW/e1, theorem 4.4

History

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

Remark G9ZQP5TEWJ

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

Mentions

wikipedia: Wikipedia Negative base#3Z72, Remark (unknown)

History

2026-11-02: add by m2/dev

G9ZRHQMXF1 G9ZRHQMXF1

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

Mentions

austin_ula: austin_ula src/exercises/exercises4-5.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 4.5

History

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