Inventory rows AD

AD00KZZDDK AD00KZZDDK

URI	`m2://inv/AD00KZZDDK`
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.12271#PSH3 (statement). In WGCET6KSQ7/e1, proposition 31

History

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

AD088HYWQE AD088HYWQE

URI	`m2://inv/AD088HYWQE`
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 2610.10860#FMNC (statement). In PBYNV2WF2H/e1, lemma 5.6

History

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

Inclusion–exclusion principle AD0B7XFV64

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

Mentions

wikipedia: Wikipedia Combinatorial principles#80WU, Inclusion–exclusion principle (statement)

History

2026-11-02: add by m2/dev

Algorithm AD1D2CEJ90

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

Mentions

wikipedia: Wikipedia Dinic's algorithm#8Y0L, Algorithm (definition)

History

2026-11-02: add by m2/dev

AD1DBK5RQP AD1DBK5RQP

URI	`m2://inv/AD1DBK5RQP`
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 2006.12475#Z73L (statement). In 8YWBGQQGA3/e1, proposition 11

History

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

Inexact vertex oracles AD1FKAEYJY

URI	`m2://inv/AD1FKAEYJY`
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.17127#I72U, Inexact vertex oracles (statement). In NZJ5B5KSDQ/e1, theorem 4

History

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

AD1RQD1205 AD1RQD1205

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

Mentions

lebl_scv: lebl_scv scv.tex#cor-6 (statement). In VNMV985MXX, cor, section 4.6

History

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

AD1T63F3VW AD1T63F3VW

URI	`m2://inv/AD1T63F3VW`
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 2508.02432#8OVX (statement). In B366ACYB37/e1, theorem 5.1

History

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

AD1Y26NNES AD1Y26NNES

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

Mentions

arxiv: arXiv 2610.12479#8Z6F (statement). In WE001PR75Z/e1, theorem 17

History

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

Bioinformatics AD23B8E977

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

Mentions

wikipedia: Wikipedia Bioinformatics, Bioinformatics (definition). Also Wikidata Q128570

History

2026-11-02: add by m2/dev

William Sealy Gosset AD23VBWDQ1

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

Mentions

wikipedia: Wikipedia William Sealy Gosset, William Sealy Gosset (topic). Also Wikidata Q334375

History

2026-11-02: add by m2/dev

AD2Y202BK3 AD2Y202BK3

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

Mentions

arxiv: arXiv 2609.35183#YYLP (statement). In FYM5XFD9RR/e1, lemma 2.12

History

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

A lattice collision bound AD306JKKBB

URI	`m2://inv/AD306JKKBB`
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.15421#A0XD, A lattice collision bound (statement). In 3RBKH0DA74/e1, lemma A.2

History

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

Statement AD306T0WCZ

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

Mentions

wikipedia: Wikipedia Gauss's principle of least constraint#M0YC, Statement (statement)

History

2026-11-02: add by m2/dev

AD31N9NKKZ AD31N9NKKZ

URI	`m2://inv/AD31N9NKKZ`
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 2610.07530#TMN9 (definition). In C7QZ0VPBC8/e1, definition 2.7

History

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

Applications AD3B0XMP58

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

Mentions

wikipedia: Wikipedia Piecewise function#OQ5D, Applications (example)

History

2026-11-02: add by m2/dev

Examples AD3D5N7ECS

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

Mentions

wikipedia: Wikipedia Tate module#211O, Examples (example)

History

2026-11-02: add by m2/dev

Zhe-Min Wang AD3DQT5MSJ

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

Mentions

wikipedia: Wikipedia Criss-cross algorithm#OB7H, Zhe-Min Wang (unknown)

History

2026-11-02: add by m2/dev

AD3EQJ03J2 AD3EQJ03J2

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

Mentions

arxiv: arXiv 2303.09207#73VW (statement). In 9DQKY7KGE8/e1, proposition 6.19

History

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

AD3GNQFSJB AD3GNQFSJB

URI	`m2://inv/AD3GNQFSJB`
Kind	definition
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#MKMX (definition). In Z9HC1EDTQP/e1, definition 1.1

History

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

Sexy prime AD3KJZWQ2E

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

Mentions

wikipedia: Wikipedia List of number theory topics#G3QZ, Sexy prime (conjecture)

History

2026-11-02: add by m2/dev

AD3YNBBKFY AD3YNBBKFY

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

Mentions

arxiv: arXiv 2609.23526#I3YJ (statement)

History

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

Breather surface AD3Z637HJ7

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

Mentions

wikipedia: Wikipedia List of surfaces#JRD2, Breather surface (object)

History

2026-11-02: add by m2/dev

Multiple rule-based problems AD3ZB9XRBJ

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

Mentions

wikipedia: Wikipedia Multiple rule-based problems, Multiple rule-based problems (problem). Also Wikidata Q6934963

History

2026-11-02: add by m2/dev

AD40SHQSSR AD40SHQSSR

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

Mentions

arxiv: arXiv 2610.03497#IFV7 (definition). In RRNHC0CAC9/e1, definition

History

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

Statistical theory AD44EAY67W

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

Mentions

wikipedia: Wikipedia List of statistics articles#HHEG, Statistical theory (topic)

History

2026-11-02: add by m2/dev

golygon AD47X2Q52V

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

Mentions

wikidata: Wikidata Q5581037, golygon (unknown). Also MathWorld Golygon
wikipedia: Wikipedia Golygon, Golygon (definition). Also Wikidata Q5581037

History

2026-10-26: add by m2/dev

AD4BJ5KRRJ AD4BJ5KRRJ

URI	`m2://inv/AD4BJ5KRRJ`
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.04252#72WK (statement). In ZF0Z61VQ96/e1, lemma 5.3

History

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

Examples AD4E0N1256

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

Mentions

wikipedia: Wikipedia Spin structure#1IZS, Examples (example)

History

2026-11-02: add by m2/dev

AD4GQ4ZVFW AD4GQ4ZVFW

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

Mentions

arxiv: arXiv 2609.31327#T882 (statement). In F605BQ3AYX/e1, theorem 3.7

History

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

AD4N7CJZTF AD4N7CJZTF

URI	`m2://inv/AD4N7CJZTF`
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.07040#XFQE (statement). In KMNXNW7FHP/e1, lemma C.2

History

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

AD4NCFEER0 AD4NCFEER0

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

Mentions

arxiv: arXiv 2311.00585#1D47 (statement). In 332PQD90SW/e1, theorem 2.3

History

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

infinitesimal AD4RPP5HW8

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

Mentions

wikidata: Wikidata Q193885, infinitesimal (definition). Also EoM Infinitesimal_calculus, nLab infinitesimal number, ProofWiki Definition:Infinitesimal
wikipedia: Wikipedia Infinitesimal, Infinitesimal (definition). Also Wikidata Q193885

History

2026-10-26: add by m2/dev

AD4RXXZFQA AD4RXXZFQA

URI	`m2://inv/AD4RXXZFQA`
Kind	definition
Layer	research
MSC	37-XX, 46-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.24901#0SVQ (definition)

History

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

Ingebrigt Johansson AD503E94AQ

URI	`m2://inv/AD503E94AQ`
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#TJAP, Ingebrigt Johansson (topic)

History

2026-11-02: add by m2/dev

Theorem AD54EF684A

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

Mentions

wikipedia: Wikipedia Möbius plane#P9H8, Theorem (statement)

History

2026-11-02: add by m2/dev

Bishop–Cannings theorem AD55JHS5TD

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

Mentions

mathlib_1000: mathlib_1000 Q4918128, Bishop–Cannings theorem (statement). Also Wikidata Q4918128
thousand_plus: thousand_plus Q4918128, Bishop–Cannings theorem (statement). Also Wikidata Q4918128, Wikipedia Bishop–Cannings theorem
wikipedia: Wikipedia Bishop–Cannings theorem, Bishop–Cannings theorem (statement). Also Wikidata Q4918128

History

2026-10-26: add by m2/dev

Small-time comparaison AD59VSGGK4

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

Mentions

arxiv: arXiv 2609.39409#15PW, Small-time comparaison (definition). In CQ0Z7QA0A5/e1, definition 3.2

History

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

Degree of an algebraic variety AD5DZ0ME90

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

Mentions

wikipedia: Wikipedia Degree of an algebraic variety, Degree of an algebraic variety (definition). Also Wikidata Q5251838

History

2026-11-02: add by m2/dev

Definition AD5FFHYDGC

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

Mentions

wikipedia: Wikipedia Out(Fn)#U9Y1, Definition (definition)

History

2026-11-02: add by m2/dev

494 (number) AD5KXESE96

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

Mentions

wikipedia: Wikipedia 400 (number)#BSIX, 494 (number) (unknown)

History

2026-11-02: add by m2/dev

AD5M2MD0BS AD5M2MD0BS

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

Mentions

arxiv: arXiv 2609.23464#3KT1 (statement)

History

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

AD5MMQSVTY AD5MMQSVTY

URI	`m2://inv/AD5MMQSVTY`
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.04165#GEXT (statement). In PKN283MHF8/e1, corollary 1.3

History

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

AD5MWCPSXV AD5MWCPSXV

URI	`m2://inv/AD5MWCPSXV`
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 2607.01109#BMH1 (statement). In V35F0T5RQ2/e1, theorem 1.4

History

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

Erdős–Sauer problem AD5NZN53QG

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

Mentions

wikipedia: Wikipedia List of conjectures by Paul Erdős#BHO3, Erdős–Sauer problem (unknown)

History

2026-11-02: add by m2/dev

AD5P2WHR20 AD5P2WHR20

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

Mentions

arxiv: arXiv 2610.10505#L5N1 (statement). In JW8HH6EPG2/e1, lemma 5.4

History

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

AD5Q2Q47GK AD5Q2Q47GK

URI	`m2://inv/AD5Q2Q47GK`
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.32614#ATJ3 (statement). In SG8GT73ZNH/e1, theorem 1.6

History

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

AD5X00BKVR AD5X00BKVR

URI	`m2://inv/AD5X00BKVR`
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.01247#M9MD (statement). In 6EVNCRZ118/e1, theorem 12

History

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

Michelle Manes AD5Z44S8K8

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

Mentions

wikipedia: Wikipedia Michelle Manes, Michelle Manes (topic). Also Wikidata Q56706011

History

2026-11-02: add by m2/dev

$L^1$-norm AD61YN2E70

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

Mentions

lebl_ra: lebl_ra index/9.2.5/l-1-norm, $L^1$-norm (concept). In E59CDZA4DP, index, section 9.2.5

History

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

Kemp--Ramgoolam determinant formula AD6M77KFQ5

URI	`m2://inv/AD6M77KFQ5`
Kind	statement
Layer	research
MSC	05-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 2610.20368#XP08, Kemp--Ramgoolam determinant formula (statement). In T8CDHW9MC1/e1, theorem 2.11

History

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

Identification with the standard $\phi^4_2$ measure AD6YY31VEW

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

Mentions

arxiv: arXiv 2610.00453#XKYE, Identification with the standard $\phi^4_2$ measure (statement). In ESPJMBH2R2/e1, theorem 7.7

History

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

AD73K9T53Y AD73K9T53Y

URI	`m2://inv/AD73K9T53Y`
Kind	statement
Layer	research
MSC	20-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.10074#NZJ9 (statement). In BYAANB1NG0/e1, lemma 3.1

History

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

AD73Z52TH9 AD73Z52TH9

URI	`m2://inv/AD73Z52TH9`
Kind	statement
Layer	research
MSC	05-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.22708#3JZN (statement)

History

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

AD7EG38KW3 AD7EG38KW3

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

Mentions

arxiv: arXiv 2609.36423#ZSJ4 (definition). In Q5Z178SAHP/e1, definition 8.2

History

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

Pentagonal gyrobicupola AD7G5TS0XF

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#T4ZD, Pentagonal gyrobicupola (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#T39K, Pentagonal gyrobicupola (definition)

History

2026-11-02: add by m2/dev

AD7H4CA5YP AD7H4CA5YP

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

Mentions

arxiv: arXiv 2212.06621#HLYR (definition). In DB223AABTH/e1, definition 5.6

History

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

AD7NSDK6FH AD7NSDK6FH

URI	`m2://inv/AD7NSDK6FH`
Kind	statement
Layer	research
MSC	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.05403#59HB (statement). In PQGGCD09KP/e1, lemma 3.3

History

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

Minkowski spacetime AD7S0VXXTG

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

Mentions

wikidata: Wikidata Q464794, Minkowski spacetime (definition). Also MathWorld MinkowskiSpace, ProofWiki Definition:Minkowski_Spacetime
wikipedia: Wikipedia Minkowski spacetime, Minkowski spacetime (definition). Also Wikidata Q464794

History

2026-10-26: add by m2/dev

AD7Y9W7A0D AD7Y9W7A0D

URI	`m2://inv/AD7Y9W7A0D`
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.09154#UAUA (statement). In JYVGX17N4F/e1, proposition 3.1

History

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

Quantum communication complexity AD80FNRC9D

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

Mentions

wikipedia: Wikipedia Communication complexity#4U8E, Quantum communication complexity (unknown)

History

2026-11-02: add by m2/dev

AD80RJ8WMQ AD80RJ8WMQ

URI	`m2://inv/AD80RJ8WMQ`
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.22847#WWK1 (statement)

History

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

AD81PXJ47D AD81PXJ47D

URI	`m2://inv/AD81PXJ47D`
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.04172#KCTF (statement). In 9Q1D1NMTTS/e1, lemma 13

History

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

On Formally Undecidable Propositions of Principia Mathematica and Related Systems AD82277MD6

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

Mentions

wikipedia: Wikipedia List of mathematics books#7XS3, On Formally Undecidable Propositions of Principia Mathematica and Related Systems (statement)

History

2026-11-02: add by m2/dev

AD8313A356 AD8313A356

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

Mentions

wikipedia: Wikipedia Blooming (geometry)#QN41 (problem)

History

2026-11-02: add by m2/dev

AD89TNMSPD AD89TNMSPD

URI	`m2://inv/AD89TNMSPD`
Kind	statement
Layer	research
MSC	14-XX, 20-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.31523#X5CH (statement). In 2BET1RE1F6/e1, lemma 3.24

History

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

Properties AD8GZ2KJF7

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

Mentions

wikipedia: Wikipedia Semi-reflexive space#WI0M, Properties (statement)

History

2026-11-02: add by m2/dev

AD90WM4C1A AD90WM4C1A

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

Mentions

arxiv: arXiv 2610.05232#7DT5 (statement). In DA3VN96YX2/e1, lemma 2.4

History

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

AD924MC4AZ AD924MC4AZ

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

Mentions

arxiv: arXiv 2610.17957#V3WV (statement). In T5ZBX4YPZB/e1, theorem 3.1

History

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

Powers of sums AD92H6VN94

URI	`m2://inv/AD92H6VN94`
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#OP5Y, Powers of sums (statement). In FTPW1SZ8D3/e1, lemma D.1

History

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

Mathisson–Papapetrou–Dixon equations AD95DH5S0T

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

Mentions

wikipedia: Wikipedia Mathisson–Papapetrou–Dixon equations, Mathisson–Papapetrou–Dixon equations (definition). Also Wikidata Q7132486

History

2026-11-02: add by m2/dev

Examples AD96S3W3A1

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

Mentions

wikipedia: Wikipedia Representation theorem#1EPD, Examples (example)

History

2026-11-02: add by m2/dev

Wilking's Connectedness Lemma AD9GXNCMC9

URI	`m2://inv/AD9GXNCMC9`
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#I5X8, Wilking's Connectedness Lemma (statement). In E3WQDZY388/e1, corollary 6.2

History

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

Riesz criterion AD9HEXCAVA

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

Mentions

wikipedia: Wikipedia Riesz function#1YXS, Riesz criterion (statement)

History

2026-11-02: add by m2/dev

AD9N53JKZM AD9N53JKZM

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

Mentions

arxiv: arXiv 2609.39169#42SP (problem). In ANHWXYPQFX/e1, problem 4.9

History

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

ADAANS34XR ADAANS34XR

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

Mentions

arxiv: arXiv 2609.31910#L2FM (statement). In E4EK1XXPY4/e1, proposition 4.12

History

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

Statement ADABFZT77S

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

Mentions

wikipedia: Wikipedia Fulkerson–Chen–Anstee theorem#VS47, Statement (statement)

History

2026-11-02: add by m2/dev

ADABYYAKF0 ADABYYAKF0

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

Mentions

arxiv: arXiv 2411.17412#Z1BL (statement). In DPBHYJBGKD/e1, corollary 3.18

History

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

Exterior (topology) ADAPFYHYC0

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

Mentions

wikipedia: Wikipedia Interior (topology)#CAK4, Exterior (topology) (unknown)

History

2026-11-02: add by m2/dev

Naimark's dilation theorem ADAVGKR1G9

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

Mentions

wikipedia: Wikipedia Stinespring dilation theorem#YUM5, Naimark's dilation theorem (statement)

History

2026-11-02: add by m2/dev

Experiment ADBB723222

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

Mentions

wikipedia: Wikipedia Experiment, Experiment (definition). Also Wikidata Q101965

History

2026-11-02: add by m2/dev

Edward R. Roybal ADBC52EECF

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#RRMZ, Edward R. Roybal (unknown)

History

2026-11-02: add by m2/dev

cardioid ADBFWC13VS

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

Mentions

wikidata: Wikidata Q207726, cardioid (definition). Also MathWorld Cardioid, ProofWiki Definition:Cardioid
wikipedia: Wikipedia Cardioid, Cardioid (definition). Also Wikidata Q207726

History

2026-10-26: add by m2/dev

ADBJ0YQBAB ADBJ0YQBAB

URI	`m2://inv/ADBJ0YQBAB`
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.16941#3YHI (statement). In T96MPYB0KT/e1, theorem 3.6

History

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

Limit system ADBKQ05D9Y

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

Mentions

arxiv: arXiv 2609.20609#5ACP, Limit system (statement)

History

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

Lagrange's theorem ADBP6KTNFC

URI	`m2://inv/ADBP6KTNFC`
Kind	statement
Layer	textbook
MSC	20-XX
Sources	6
Outcome	node (a node has the same name as the row)
Node	Lagrange's theorem 3C53TD

Mentions

mathlib_100: mathlib_100 71, Order of a Subgroup (statement). Also Mathlib Subgroup.card_subgroup_dvd_card
mathlib_1000: mathlib_1000 Q505798, Lagrange's theorem (group theory) (statement). Also Mathlib Subgroup.card_subgroup_dvd_card, Wikidata Q505798
mathlib_overview: mathlib_overview General algebra > Group theory > Lagrange's theorem, Lagrange's theorem (unknown). Also Mathlib Subgroup.card_subgroup_dvd_card
thousand_plus: thousand_plus Q505798, Lagrange's theorem (group theory) (statement). Also Mathlib Subgroup.card_subgroup_dvd_card, Wikidata Q505798, Wikipedia Lagrange's theorem (group theory)
wikidata: Wikidata Q505798, Lagrange's theorem (statement). Also EoM Lagrange_theorem, Mathlib Subgroup.card_subgroup_dvd_card, MathWorld LagrangesGroupTheorem
wikipedia: Wikipedia Lagrange's theorem (group theory), Lagrange's theorem (statement). Also Wikidata Q505798

History

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

ADBPKAZM2B ADBPKAZM2B

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

Mentions

arxiv: arXiv 2610.10243#SFMI (problem). In 6N7EAD1PYD/e1, problem 1

History

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

magic hexagram ADBQGBEGYX

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

Mentions

wikidata: Wikidata Q25893621, magic hexagram (unknown). Also MathWorld MagicHexagram
wikipedia: Wikipedia Magic hexagram, Magic hexagram (definition). Also Wikidata Q25893621

History

2026-10-26: add by m2/dev

Single-site bound ADBS51ZRJ9

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

Mentions

arxiv: arXiv 2609.22301#2JWR, Single-site bound (statement)

History

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

Infinite game ADBX0NXEEJ

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

Mentions

wikipedia: Wikipedia Repeated game#KOC7, Infinite game (unknown)

History

2026-11-02: add by m2/dev

ADBXPJGKMG ADBXPJGKMG

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

Mentions

arxiv: arXiv 2610.16505#6I70 (example). In P9V43TXCJ3/e1, example 4.7

History

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

ADC1RMN8BR ADC1RMN8BR

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

Mentions

arxiv: arXiv 2610.17589#RM03 (statement). In GSTK4569X1/e1, theorem 5.7

History

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

Ludovic Lebart ADC3CN3YJE

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

Mentions

wikipedia: Wikipedia Ludovic Lebart, Ludovic Lebart (topic). Also Wikidata Q20684474

History

2026-11-02: add by m2/dev

Applications ADC7GGGQ2K

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

Mentions

wikipedia: Wikipedia Hilbert's irreducibility theorem#QBAD, Applications (example)

History

2026-11-02: add by m2/dev

Sub-probability measure ADC8VABKYR

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

Mentions

wikipedia: Wikipedia Sub-probability measure, Sub-probability measure (definition). Also Wikidata Q25377717

History

2026-11-02: add by m2/dev

ADCA13W5XZ ADCA13W5XZ

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

Mentions

arxiv: arXiv 2610.16989#3L9J (statement). In 4769XNDWYS/e1, proposition 2.5

History

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

universal set ADCAEJFZWS

URI	`m2://inv/ADCAEJFZWS`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Universal set 0BPYRMHJ48

Mentions

wikidata: Wikidata Q1378301, universal set (unknown). Also MathWorld UniversalSet
wikipedia: Wikipedia Universal set, Universal set (definition). Also Wikidata Q1378301

History

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

Feynman diagram ADCC1EBXMF

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

Mentions

wikidata: Wikidata Q386272, Feynman diagram (unknown). Also nLab Feynman diagram
wikipedia: Wikipedia Feynman diagram, Feynman diagram (definition). Also Wikidata Q386272

History

2026-10-26: add by m2/dev

Density theorem ADCG69PGKY

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

Mentions

wikipedia: Wikipedia Density theorem (category theory), Density theorem (statement). Also Wikidata Q48996306

History

2026-11-02: add by m2/dev

ADCNEFQFH6 ADCNEFQFH6

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

Mentions

arxiv: arXiv 2603.21971#2QNV (conjecture). In R6KSZ9H8CY/e1, conjecture 10.1

History

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

Conjecture ADCR76RFT6

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

Mentions

wikipedia: Wikipedia Reshetikhin–Turaev invariant#6OO5, Conjecture (statement)

History

2026-11-02: add by m2/dev

ADCTMEB9ZR ADCTMEB9ZR

URI	`m2://inv/ADCTMEB9ZR`
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 2610.03288#3JKE (definition). In ZHP1MFSACN/e1, definition A.1

History

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

ADCW0NNN94 ADCW0NNN94

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

Mentions

arxiv: arXiv 2610.14060#KV64 (statement). In X47RYAZF8P/e1, lemma 5.16

History

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

ADCWAR0DBW ADCWAR0DBW

URI	`m2://inv/ADCWAR0DBW`
Kind	statement
Layer	research
MSC	14-XX, 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 2504.07573#5RRS (statement). In 78X5SKJX8J/e1, lemma 5.1

History

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

ADD0MPQ01N ADD0MPQ01N

URI	`m2://inv/ADD0MPQ01N`
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 2609.30018#6KF2 (example)

History

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

El Niño–Southern Oscillation ADD267GPXY

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

Mentions

wikipedia: Wikipedia El Niño–Southern Oscillation, El Niño–Southern Oscillation (definition). Also Wikidata Q14524818

History

2026-11-02: add by m2/dev

Examples ADDDT2JQDB

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

Mentions

wikipedia: Wikipedia Ring of mixed characteristic#8PQG, Examples (example)

History

2026-11-02: add by m2/dev

ADDFJJV5X8 ADDFJJV5X8

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

Mentions

arxiv: arXiv 2610.15700#BWTW (statement). In S95MSZ7MDR/e1, lemma 3.15

History

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

Projective duality ADDKJD4F41

URI	`m2://inv/ADDKJD4F41`
Kind	statement
Layer	research
MSC	16-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.14044#3QQL, Projective duality (statement). In 5452SJRWDT/e1, theorem 6.5

History

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

ADE1Q8P83G ADE1Q8P83G

URI	`m2://inv/ADE1Q8P83G`
Kind	statement
Layer	research
MSC	19-XX, 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 2609.31883#HWZX (statement). In XBHQRTBH62/e1, lemma 6.1

History

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

ADE5T7DTAT ADE5T7DTAT

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

Mentions

arxiv: arXiv 2609.25367#88R4 (statement)

History

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

ADE8YQVXHG ADE8YQVXHG

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

Mentions

arxiv: arXiv 2610.17737#D732 (statement). In 8SXY7Y68HV/e1, lemma 2.3

History

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

algebraic K-theory ADE9PEZWX9

URI	`m2://inv/ADE9PEZWX9`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Algebraic K-theory 5GVFZWMWC8

Mentions

wikidata: Wikidata Q2553675, algebraic K-theory (topic). Also EoM Algebraic_K-theory, MathWorld AlgebraicK-Theory, nLab algebraic K-theory, ProofWiki Definition:Algebraic_K-Theory
wikipedia: Wikipedia Algebraic K-theory, Algebraic K-theory (definition). Also Wikidata Q2553675

History

2026-10-26: add by m2/dev

Generalizations ADECJQ2Z1P

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

Mentions

wikipedia: Wikipedia 17-animal inheritance puzzle#7KIP, Generalizations (statement)

History

2026-11-02: add by m2/dev

ADEEN6N2S4 ADEEN6N2S4

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

Mentions

arxiv: arXiv 2609.22551#NLUC (definition)

History

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

Top-hat filter ADEWTFXWRV

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

Mentions

wikipedia: Wikipedia Top-hat filter, Top-hat filter (definition). Also Wikidata Q7824368

History

2026-11-02: add by m2/dev

Roger Evans Howe ADEYYF26ZG

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#APQ2, Roger Evans Howe (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0HM1, Roger Evans Howe (unknown)

History

2026-11-02: add by m2/dev

Uniformity under bounded tilts ADFQWGREAE

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

Mentions

arxiv: arXiv 2610.06490#8U7A, Uniformity under bounded tilts (statement). In NKXTXH59P1/e1, lemma D.10

History

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

ADFXWFTYZA ADFXWFTYZA

URI	`m2://inv/ADFXWFTYZA`
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.18017#L8SU (statement). In EBSQEQYECS/e1, theorem 0.2

History

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

Generalizations ADFYWTGKC4

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

Mentions

wikipedia: Wikipedia Riemann integral#KEWB, Generalizations (statement)

History

2026-11-02: add by m2/dev

Seventeen Mile Point ADG1GQ9AK2

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

Mentions

wikipedia: Wikipedia List of places with numeric names#SSFM, Seventeen Mile Point (unknown)

History

2026-11-02: add by m2/dev

ADG2VD4535 ADG2VD4535

URI	`m2://inv/ADG2VD4535`
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.23128#GVX7 (statement)

History

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

Algorithm ADG3XKAZXZ

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

Mentions

wikipedia: Wikipedia Petrick's method#R4GR, Algorithm (definition)

History

2026-11-02: add by m2/dev

Great dodecahemicosacron ADG7WMNV3Y

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#O0GH, Great dodecahemicosacron (object)

History

2026-11-02: add by m2/dev

Examples ADGBES12R9

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

Mentions

wikipedia: Wikipedia Brouwer–Heyting–Kolmogorov interpretation#8GYQ, Examples (example)

History

2026-11-02: add by m2/dev

Formal definition ADGP8G1P56

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

Mentions

wikipedia: Wikipedia Circuits over sets of natural numbers#7NRU, Formal definition (definition)

History

2026-11-02: add by m2/dev

Methods ADGSK7FZ5G

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

Mentions

wikipedia: Wikipedia Logic optimization#F7IG, Methods (definition)

History

2026-11-02: add by m2/dev

ADGW4RYQRX ADGW4RYQRX

URI	`m2://inv/ADGW4RYQRX`
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.27524#8V0H (statement)

History

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

ADGZAMWW3W ADGZAMWW3W

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

Mentions

napkin: napkin tex/alg-geom/affine-var.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 19.2

History

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

Properties ADGZV919FP

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

Mentions

wikipedia: Wikipedia Grassmann number#QK5E, Properties (statement)

History

2026-11-02: add by m2/dev

ADH0WAJD8Q ADH0WAJD8Q

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

Mentions

arxiv: arXiv 2610.15472#E4Z9 (statement). In 5Z3FH46YSY/e1, theorem 2.3

History

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

invertible linear transformation ADH32ZVKPZ

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

Mentions

lebl_ra: lebl_ra index/11.1.3/invertible-linear-transformation, invertible linear transformation (concept). In E59CDZA4DP, index, section 11.1.3

History

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

Definition ADHB10YVEV

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

Mentions

wikipedia: Wikipedia Pythagorean addition#UFY1, Definition (definition)

History

2026-11-02: add by m2/dev

ADHBKSEBSQ ADHBKSEBSQ

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

Mentions

arxiv: arXiv 2610.13528#EAFA (statement). In TSBJEBS7SP/e1, corollary 1.2

History

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

Tatamibari ADHCEZ03HF

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#14OX, Tatamibari (unknown)

History

2026-11-02: add by m2/dev

ADHGRBR21V ADHGRBR21V

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

Mentions

arxiv: arXiv 2609.25926#MUXO (statement)

History

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

ADHM342J8R ADHM342J8R

URI	`m2://inv/ADHM342J8R`
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.27834#TW0B (statement)

History

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

superfield ADJ534N5V4

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

Mentions

wikidata: Wikidata Q716221, superfield (unknown). Also nLab superfield

History

2026-10-26: add by m2/dev

ADJAF0GE4V ADJAF0GE4V

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

Mentions

open_logic: open_logic content/model-theory/basics/partial-iso.tex#thm:p-isom2 (statement). In PKGMM3P5QY, thm, section 46.5

History

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

Spin (physics) ADJDKQS3DZ

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#AI6L, Spin (physics) (definition)

History

2026-11-02: add by m2/dev

Applications ADJEWF8BJ4

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

Mentions

wikipedia: Wikipedia Recursive tree#DSHT, Applications (example)

History

2026-11-02: add by m2/dev

ADJK76E4HG ADJK76E4HG

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

Mentions

arxiv: arXiv 2610.17589#Y1VB (statement). In GSTK4569X1/e1, theorem 5.13

History

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

ADJPSNQT91 ADJPSNQT91

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

Mentions

arxiv: arXiv 2610.18281#PTYW (statement). In QYD0EJM85G/e1, lemma 4.1

History

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

ADJQN9CE33 ADJQN9CE33

URI	`m2://inv/ADJQN9CE33`
Kind	statement
Layer	research
MSC	05-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.20663#NAYD (statement). In AZMX0CY5NE/e1, theorem 6

History

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

Vladimir Mikhailovich Alekseev ADJSQ8YEE3

URI	`m2://inv/ADJSQ8YEE3`
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#685J, Vladimir Mikhailovich Alekseev (topic)

History

2026-11-02: add by m2/dev

SU(1,1) ADK6N9HHYD

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

Mentions

wikipedia: Wikipedia Special unitary group#H6P0, SU(1,1) (unknown)

History

2026-11-02: add by m2/dev

ADK9D8W4YK ADK9D8W4YK

URI	`m2://inv/ADK9D8W4YK`
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.27673#GNTP (statement)

History

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

Invisible ink ADKFFVC34D

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

Mentions

wikipedia: Wikipedia List of steganography techniques#DTJG, Invisible ink (definition)

History

2026-11-02: add by m2/dev

ADKGJ3BV47 ADKGJ3BV47

URI	`m2://inv/ADKGJ3BV47`
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.33124#VJEK (example). In P27HYGQDAN/e1, example 24

History

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

ADKPHHCMKV ADKPHHCMKV

URI	`m2://inv/ADKPHHCMKV`
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.07259#SCNZ (statement). In XMR1TTDSPG/e1, lemma A.1

History

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

Polly Phipps ADKSPHK8R1

URI	`m2://inv/ADKSPHK8R1`
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#NG64, Polly Phipps (unknown)

History

2026-11-02: add by m2/dev

ADKSRX39MS ADKSRX39MS

URI	`m2://inv/ADKSRX39MS`
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.20094#JA85 (statement)

History

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

Examples ADKYS4W1TM

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

Mentions

wikipedia: Wikipedia Lambert quadrilateral#YAKM, Examples (example)

History

2026-11-02: add by m2/dev

Tompkins–Paige algorithm ADKZM8SDCG

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

Mentions

wikipedia: Wikipedia Tompkins–Paige algorithm, Tompkins–Paige algorithm (definition). Also Wikidata Q7820374

History

2026-11-02: add by m2/dev

Beck--Fiala with a complete reference ADM06610TD

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

Mentions

arxiv: arXiv 2609.38228#LRFI, Beck--Fiala with a complete reference (statement). In 9YAE8FNQST/e1, corollary 3.9

History

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

ADM4ZCKWMV ADM4ZCKWMV

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

Mentions

arxiv: arXiv 2005.03073#WSC6 (statement). In P2ETMXKVDS/e1, theorem 1.8

History

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

ADMDARRBAD ADMDARRBAD

URI	`m2://inv/ADMDARRBAD`
Kind	statement
Layer	research
MSC	20-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.21080#4PCQ (statement). In DGE917KQSQ/e1, theorem 2.1

History

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

Clebsch surface ADMJ37WT5T

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

Mentions

wikidata: Wikidata Q5131020, Clebsch surface (concept). Also MathWorld ClebschDiagonalCubic
wikipedia: Wikipedia Clebsch surface, Clebsch surface (definition). Also Wikidata Q5131020

History

2026-10-26: add by m2/dev

Growing and fixed left intervals ADMMHN4P36

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

Mentions

arxiv: arXiv 2610.05652#S9FH, Growing and fixed left intervals (statement). In 8BNPFYQDQX/e1, corollary 1.9

History

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

ADMQ0N760P ADMQ0N760P

URI	`m2://inv/ADMQ0N760P`
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 2603.26376#MJM6 (statement). In PJAT9YDX7Y/e1, lemma 4.2

History

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

Examples ADMSF3Z0NJ

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

Mentions

wikipedia: Wikipedia Finite topological space#4SPR, Examples (example)

History

2026-11-02: add by m2/dev

scattering amplitude ADMY2KBED3

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

Mentions

wikidata: Wikidata Q1322810, scattering amplitude (unknown). Also nLab scattering amplitude

History

2026-10-26: add by m2/dev

ADN33G2178 ADN33G2178

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

Mentions

arxiv: arXiv 2609.35191#9JGZ (statement). In W9Z6S1PDTP/e1, lemma 3.1

History

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

ADN4FATABK ADN4FATABK

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

Mentions

arxiv: arXiv 2609.25957#S5MB (statement)

History

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

ADN4HAQM3T ADN4HAQM3T

URI	`m2://inv/ADN4HAQM3T`
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.21399#ZNT6 (statement)

History

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

Klein bottle ADN8F2B1DV

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

Mentions

wikipedia: Wikipedia List of manifolds#S5QA, Klein bottle (definition)

History

2026-11-02: add by m2/dev

ADND2GT5B3 ADND2GT5B3

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

Mentions

arxiv: arXiv 2609.21191#C0OC (statement)

History

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

Schiffler's theorem ADNE2VS0FP

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

Mentions

wikipedia: Wikipedia List of triangle topics#3USK, Schiffler's theorem (definition)

History

2026-11-02: add by m2/dev

Plücker's conoid ADNEZP7H4A

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

Mentions

wikipedia: Wikipedia List of complex and algebraic surfaces#L0BV, Plücker's conoid (definition)

History

2026-11-02: add by m2/dev

Rees algebra ADNJC1W4RV

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

Mentions

wikipedia: Wikipedia List of algebras#5CDX, Rees algebra (definition)

History

2026-11-02: add by m2/dev

Formal definition ADNKSJ5ZVW

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

Mentions

wikipedia: Wikipedia Expression (mathematics)#E0MG, Formal definition (definition)

History

2026-11-02: add by m2/dev

ADNMFV8JAH ADNMFV8JAH

URI	`m2://inv/ADNMFV8JAH`
Kind	statement
Layer	research
MSC	60-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.16069#43JP (statement). In MBJA03ES8N/e1, lemma 2.2

History

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

ADNQ000Z1W ADNQ000Z1W

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

Mentions

arxiv: arXiv 2610.17408#OBHH (statement). In QR8H4M1X4N/e1, proposition 7.2

History

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

ADNR28YXCY ADNR28YXCY

URI	`m2://inv/ADNR28YXCY`
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 2502.17203#JBM3 (statement). In 3YCED562CH/e1, proposition 1

History

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

Left Distributive Law ADNWVBKA05

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_mult.ptx#theorem-1, Left Distributive Law (statement). In QKM9DD2H56, theorem, section B.8

History

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

ADNYB7W7HP ADNYB7W7HP

URI	`m2://inv/ADNYB7W7HP`
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 2409.03423#FJLN (statement). In 8C5YCMN81V/e1, lemma 13

History

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

weak-* topology for dualities ADNYSET63M

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

Mentions

mathlib_overview: mathlib_overview Analysis > Topological vector spaces > weak-* topology for dualities, weak-* topology for dualities (unknown). Also Mathlib WeakBilin.instTopologicalSpace

History

2026-10-26: add by m2/dev

ADPDME9KSP ADPDME9KSP

URI	`m2://inv/ADPDME9KSP`
Kind	statement
Layer	research
MSC	01-XX, 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.18918#8Q2W (statement). In DFF27T2D8E/e1, lemma 1

History

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

Example ADPHBX0VHG

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

Mentions

wikipedia: Wikipedia Multiplicative order#WFG9, Example (example)

History

2026-11-02: add by m2/dev

Kurigram ADPNFY6085

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

Mentions

wikipedia: Wikipedia List of places with numeric names#7Y4W, Kurigram (unknown)

History

2026-11-02: add by m2/dev

Algebraic properties ADPWDVMS3S

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

Mentions

wikipedia: Wikipedia Split-complex number#ESPT, Algebraic properties (statement)

History

2026-11-02: add by m2/dev

Complete Classification ADQ9BBK1MN

URI	`m2://inv/ADQ9BBK1MN`
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.04411#HKBP, Complete Classification (statement). In 6AY8SX3XBW/e1, theorem 1.1

History

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

Plateau's problem ADQA2BPPMB

URI	`m2://inv/ADQA2BPPMB`
Kind	problem
Layer	textbook
Sources	2
Outcome	open
Node	Plateau's problem DVYA6GD8RN

Mentions

wikidata: Wikidata Q1972021, Plateau's problem (problem). Also MathWorld PlateausProblem
wikipedia: Wikipedia Plateau's problem, Plateau's problem (problem). Also Wikidata Q1972021

History

2026-10-26: add by m2/dev

kenotheme ADQGVZKWPT

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#0SAD, kenotheme (definition)

History

2026-11-02: add by m2/dev

Gregorian calendar ADQRJYDXB8

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

Mentions

wikidata: Wikidata Q12138, Gregorian calendar (definition). Also ProofWiki Definition:Calendar/Gregorian

History

2026-10-26: add by m2/dev

ADQX6VC0S1 ADQX6VC0S1

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

Mentions

arxiv: arXiv 2610.16779#WBPI (statement). In 1R7H0ZAHWA/e1, proposition 2.6

History

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

Brouwer fixed-point theorem ADQY7DWSG4

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#WANT, Brouwer fixed-point theorem (definition)

History

2026-11-02: add by m2/dev

User-defined input constrained stabilization ADR1K6174F

URI	`m2://inv/ADR1K6174F`
Kind	example
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.36212#IFO2, User-defined input constrained stabilization (example). In N1GH8M0BVW/e1, example 2

History

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

ADR6KFXQTB ADR6KFXQTB

URI	`m2://inv/ADR6KFXQTB`
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.30323#C0R3 (statement). In HDJ6N25XVT/e1, lemma 4.6

History

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

Alternative definition ADR9SCDQVY

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

Mentions

wikipedia: Wikipedia Elliptic cylindrical coordinates#RTSD, Alternative definition (definition)

History

2026-11-02: add by m2/dev

Eilenberg–Moore algebra ADRFCYT50F

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

Mentions

wikipedia: Wikipedia List of algebraic constructions#PPFT, Eilenberg–Moore algebra (definition)

History

2026-11-02: add by m2/dev

ADRKS7D29K ADRKS7D29K

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

Mentions

arxiv: arXiv 2609.33185#OTTU (statement). In QX30H2WNA7/e1, proposition 8.2

History

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

ADRTWX4R6J ADRTWX4R6J

URI	`m2://inv/ADRTWX4R6J`
Kind	statement
Layer	research
MSC	05-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.37778#DP9J (statement). In V399QB419P/e1, theorem 4.3

History

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

ADS67ZJPF0 ADS67ZJPF0

URI	`m2://inv/ADS67ZJPF0`
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.19959#CCDN (statement)

History

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

Michael Cohen ADS6WG6PEZ

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

Mentions

wikipedia: Wikipedia Michael Cohen (statistician), Michael Cohen (topic). Also Wikidata Q137216611

History

2026-11-02: add by m2/dev

Jeff Rosenthal ADS8WDBXFD

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

Mentions

wikipedia: Wikipedia Jeff Rosenthal, Jeff Rosenthal (topic). Also Wikidata Q6176258

History

2026-11-02: add by m2/dev

Parikh's theorem ADS9YH0HPQ

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

Mentions

wikipedia: Wikipedia Parikh's theorem, Parikh's theorem (statement). Also Wikidata Q7137090

History

2026-11-02: add by m2/dev

Centrifugal force ADSKAYB6PY

URI	`m2://inv/ADSKAYB6PY`
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#J1G2, Centrifugal force (definition)

History

2026-11-02: add by m2/dev

ADSPSW5XF2 ADSPSW5XF2

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

Mentions

arxiv: arXiv 2610.10773#P1XU (statement). In 744Y8ZPEV7/e1, proposition 5.3

History

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

Jacques Deruyts ADSR2FMDYE

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

Mentions

wikipedia: Wikipedia Jacques Deruyts, Jacques Deruyts (topic). Also Wikidata Q42382301

History

2026-11-02: add by m2/dev

Grimm's conjecture ADT6RPM1S0

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#2N87, Grimm's conjecture (conjecture)

History

2026-11-02: add by m2/dev

our notation ADTC6MD8A8

URI	`m2://inv/ADTC6MD8A8`
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#IR42, our notation (statement). In S26QVW5613/e1, proposition 3.1.2

History

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

ADTGZPHRG9 ADTGZPHRG9

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

Mentions

hott_book: hott_book equivalences.tex#thm:nobject-classifier-appetizer (statement). In N54F33XE07, thm, section 3.8

History

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

smoothed octagon ADTK2HCCMN

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

Mentions

wikidata: Wikidata Q7546452, smoothed octagon (unknown). Also MathWorld SmoothedOctagon
wikipedia: Wikipedia Smoothed octagon, Smoothed octagon (definition). Also Wikidata Q7546452

History

2026-10-26: add by m2/dev

Generalizations ADTRNJ45DE

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

Mentions

wikipedia: Wikipedia Stone–von Neumann theorem#69R6, Generalizations (statement)

History

2026-11-02: add by m2/dev

Mathai–Quillen formalism ADTTZ85NWH

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

Mentions

wikipedia: Wikipedia Mathai–Quillen formalism, Mathai–Quillen formalism (definition). Also Wikidata Q17088896

History

2026-11-02: add by m2/dev

Fermi surface ADTV4F5VGJ

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

Mentions

wikipedia: Wikipedia Fermi surface, Fermi surface (definition). Also Wikidata Q1406417

History

2026-11-02: add by m2/dev

ADV1C7D129 ADV1C7D129

URI	`m2://inv/ADV1C7D129`
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#D1ZC (statement). In ENH5XNBQWH/e1, proposition B

History

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

Filtering problem (stochastic processes) ADV5T4NQFA

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

Mentions

wikipedia: Wikipedia List of statistics articles#SZDL, Filtering problem (stochastic processes) (problem)

History

2026-11-02: add by m2/dev

ADV6NESRNK ADV6NESRNK

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

Mentions

arxiv: arXiv 2610.06440#XDV0 (statement). In 5YB65RB13X/e1, theorem 2.4

History

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

Sharpness of the stability exponent ADVE4MN7SS

URI	`m2://inv/ADVE4MN7SS`
Kind	statement
Layer	research
MSC	51-XX, 52-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.11814#RNUN, Sharpness of the stability exponent (statement). In MXG9FV78NP/e1, proposition 6.3

History

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

ADVR5M1Q7B ADVR5M1Q7B

URI	`m2://inv/ADVR5M1Q7B`
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 2601.15010#ISDP (statement). In K3WJ6ZN184/e1, corollary 14.3

History

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

Surfaces ADVTDY25BQ

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

Mentions

arxiv: arXiv 2610.09295#XKOI, Surfaces (statement). In 29X0B511NF/e1, corollary 3.7

History

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

Prismatic compound of prisms ADVWVXCMDJ

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

Mentions

wikipedia: Wikipedia Prismatic compound of prisms, Prismatic compound of prisms (definition). Also Wikidata Q7245695

History

2026-11-02: add by m2/dev

store=main ADVXRS51T1

URI	`m2://inv/ADVXRS51T1`
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.21895#N0X7, store=main (statement)

History

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

Properties and formulas ADW2CJAKXR

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

Mentions

wikipedia: Wikipedia Polygon#1KLS, Properties and formulas (statement)

History

2026-11-02: add by m2/dev

Examples ADW3GHC782

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

Mentions

wikipedia: Wikipedia E-dense semigroup#8HLE, Examples (example)

History

2026-11-02: add by m2/dev

Relation with the implicit function theorem ADW3KVPA8T

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

Mentions

wikipedia: Wikipedia Implicit differentiation#Y9KM, Relation with the implicit function theorem (statement)

History

2026-11-02: add by m2/dev

Toric geometry ADW6Q1MGZR

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#B739, Toric geometry (definition)

History

2026-11-02: add by m2/dev

Viviani's theorem ADWAEK92V2

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

Mentions

wikipedia: Wikipedia List of triangle topics#PQKM, Viviani's theorem (statement)

History

2026-11-02: add by m2/dev

ADWDFRCBBA ADWDFRCBBA

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

Mentions

arxiv: arXiv 2610.04325#OGD7 (statement). In 42XHT97E64/e1, proposition 4.2

History

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

ADWMQ373Q0 ADWMQ373Q0

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

Mentions

arxiv: arXiv 1002.0879#6BMV (definition). In M0SQY5EZN5/e1, definition 6.1.3

History

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

ADXAAWMA1N ADXAAWMA1N

URI	`m2://inv/ADXAAWMA1N`
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.37466#D1CK (statement). In KA3KMJQMDY/e1, proposition 1

History

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

ADXJMMDWRE ADXJMMDWRE

URI	`m2://inv/ADXJMMDWRE`
Kind	definition
Layer	research
MSC	01-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.10591#IFX0 (definition). In FTEA0TM35J/e1, definition 2.2

History

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

Binary Input-Output Channels ADXKX28V09

URI	`m2://inv/ADXKX28V09`
Kind	example
Layer	research
MSC	60-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.34570#F9MU, Binary Input-Output Channels (example). In EVFX1R7ZDD/e1, example 4

History

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

Symmetry ADXNCPDTDK

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

Mentions

wikipedia: Wikipedia Symmetry, Symmetry (definition). Also Wikidata Q12485

History

2026-11-02: add by m2/dev

ADXQ11SMAF ADXQ11SMAF

URI	`m2://inv/ADXQ11SMAF`
Kind	problem
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.33512#ESCH (problem). In WYHZMYZT31/e1, problem 2.4

History

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

ADXVQXJ07A ADXVQXJ07A

URI	`m2://inv/ADXVQXJ07A`
Kind	example
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.21355#IJB9 (example). In XKJ7VKN4P0/e1, example 1

History

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

ADXWJ8A7RF ADXWJ8A7RF

URI	`m2://inv/ADXWJ8A7RF`
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.27974#VSCD (statement)

History

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

Definition ADY0HPYJFW

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

Mentions

wikipedia: Wikipedia Uniformly hyperfinite algebra#FYCZ, Definition (definition)

History

2026-11-02: add by m2/dev

ADYNNZNQKT ADYNNZNQKT

URI	`m2://inv/ADYNNZNQKT`
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 2602.07485#YPPB (statement). In 8KAC1E81JQ/e1, theorem 5

History

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

ADYXNY2ZPC ADYXNY2ZPC

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

Mentions

arxiv: arXiv 2609.24845#E8R9 (definition)

History

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

Harvey J. Fields ADZ0M6W4KD

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#WEUW, Harvey J. Fields (unknown)

History

2026-11-02: add by m2/dev

ADZF0XZV5G ADZF0XZV5G

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

Mentions

arxiv: arXiv 2610.09810#8DRI (example). In B6PCH930FV/e1, example 3

History

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

Implementation ADZM4RYRHM

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

Mentions

wikipedia: Wikipedia Slice sampling#0DMB, Implementation (definition)

History

2026-11-02: add by m2/dev

ADZPJTJ0Y9 ADZPJTJ0Y9

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

Mentions

arxiv: arXiv 2610.17116#5CW7 (statement). In A02X6MX28Y/e1, proposition 3.7

History

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

ADZWFVPB2F ADZWFVPB2F

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

Mentions

hott_book: hott_book induction.tex#thm-5 (statement). In N54F33XE07, thm, section 8.5

History

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