Inventory rows H5

Integral of a correspondence H503BAJ0CR

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

Mentions

wikipedia: Wikipedia Integral of a correspondence, Integral of a correspondence (definition). Also Wikidata Q130857941

History

2026-11-02: add by m2/dev

H504RAZQG2 H504RAZQG2

URI	`m2://inv/H504RAZQG2`
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 2410.10337#3PHC (statement). In RBBF0XNZ5E/e1, lemma 16

History

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

H50644QRZ0 H50644QRZ0

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

Mentions

arxiv: arXiv 2609.31300#KZ33 (statement). In ERHQDB8M41/e1, theorem 3.9

History

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

injection H5093BZ0D5

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

Mentions

applied_combinatorics: applied_combinatorics index/4.1/injection, injection (concept). In QKM9DD2H56, index, section 4.1

History

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

Special cases H50AKM0PGW

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

Mentions

wikipedia: Wikipedia Cauchy–Schwarz inequality#GPI1, Special cases (statement)

History

2026-11-02: add by m2/dev

H50HNPWPR6 H50HNPWPR6

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

Mentions

arxiv: arXiv 2610.17677#BVCN (statement). In 5E9G06XJKC/e1, lemma F.2

History

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

Mass-critical threshold H50MSQZH50

URI	`m2://inv/H50MSQZH50`
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.02933#V1Z7, Mass-critical threshold (statement). In QSYZKPFRAN/e1, proposition 6.1

History

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

fast Fourier transform H50MZPV24E

URI	`m2://inv/H50MZPV24E`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Fast Fourier transform S966EZX3ZT

Mentions

wikidata: Wikidata Q623950, fast Fourier transform (unknown). Also MathWorld FastFourierTransform
wikipedia: Wikipedia Fast Fourier transform, Fast Fourier transform (definition). Also Wikidata Q623950

History

2026-10-26: add by m2/dev

Examples H50X4N0B3D

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

Mentions

wikipedia: Wikipedia Semi-abelian category#LVFI, Examples (example)

History

2026-11-02: add by m2/dev

Schönhardt polyhedron H50YYBN9ZZ

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

Mentions

wikipedia: Wikipedia Schönhardt polyhedron, Schönhardt polyhedron (object). Also Wikidata Q7433347

History

2026-11-02: add by m2/dev

Hyperbolic laws of cosines H511PZZ35X

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

Mentions

wikipedia: Wikipedia Hyperbolic law of cosines#GJWP, Hyperbolic laws of cosines (statement)

History

2026-11-02: add by m2/dev

Buchberger's algorithm H512JXSSZ7

URI	`m2://inv/H512JXSSZ7`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Buchberger's algorithm 4RH1D40WG1

Mentions

wikidata: Wikidata Q997962, Buchberger's algorithm (unknown). Also MathWorld BuchbergersAlgorithm
wikipedia: Wikipedia Buchberger's algorithm, Buchberger's algorithm (definition). Also Wikidata Q997962

History

2026-10-26: add by m2/dev

Minimax symmetrization H5175W6FSV

URI	`m2://inv/H5175W6FSV`
Kind	statement
Layer	research
MSC	62-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.29348#25DM, Minimax symmetrization (statement)

History

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

The limit from above H519963QHN

URI	`m2://inv/H519963QHN`
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#OAYM, The limit from above (statement)

History

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

H519JM03AX H519JM03AX

URI	`m2://inv/H519JM03AX`
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#22DQ (statement). In GWWHP6R0BZ/e1, lemma 4.2

History

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

Pivot algorithm H51F0P8K54

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

Mentions

wikipedia: Wikipedia Pivot algorithm, Pivot algorithm (definition). Also Wikidata Q136373319

History

2026-11-02: add by m2/dev

Samuel James Patterson H51GYV0X81

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

Mentions

wikipedia: Wikipedia Samuel James Patterson, Samuel James Patterson (topic). Also Wikidata Q2218722

History

2026-11-02: add by m2/dev

Karen Brucks H51J7ZF0YW

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

Mentions

wikipedia: Wikipedia Karen Brucks, Karen Brucks (topic). Also Wikidata Q85406104

History

2026-11-02: add by m2/dev

H51PB81RYB H51PB81RYB

URI	`m2://inv/H51PB81RYB`
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.05506#BU8I (statement). In FT53PMB1TE/e1, theorem 1.1.4

History

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

H51PWFXEQ0 H51PWFXEQ0

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

Mentions

arxiv: arXiv 2609.37897#VKEK (statement). In RBQ5FNCVNZ/e1, corollary A.7

History

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

H51XRZE5FA H51XRZE5FA

URI	`m2://inv/H51XRZE5FA`
Kind	statement
Layer	research
MSC	20-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.40290#4PTU (statement). In 4K1CNBYJHF/e1, corollary 5.2

History

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

Tait's conjecture H51Y8JNHR9

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

Mentions

wikipedia: Wikipedia List of conjectures#7GGD, Tait's conjecture (statement)

History

2026-11-02: add by m2/dev

H51YXEY074 H51YXEY074

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

Mentions

arxiv: arXiv 2411.17227#KFXW (statement). In DDNP38CHQJ/e1, lemma 2.9

History

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

Lipschitz distance H51ZESE1MW

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

Mentions

wikipedia: Wikipedia Outer space (mathematics)#E55K, Lipschitz distance (unknown)

History

2026-11-02: add by m2/dev

Algebraic bundle H520WRT74Z

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

Mentions

wikipedia: Wikipedia Coherent sheaf#UFYD, Algebraic bundle (unknown)

History

2026-11-02: add by m2/dev

Anna Lawniczak H527WRQ4BK

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

Mentions

wikipedia: Wikipedia Anna Lawniczak, Anna Lawniczak (topic). Also Wikidata Q102140170

History

2026-11-02: add by m2/dev

Intraclass correlation H52AT6H19S

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

Mentions

wikipedia: Wikipedia List of statistics articles#PYR3, Intraclass correlation (definition)

History

2026-11-02: add by m2/dev

H52D16KH07 H52D16KH07

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

Mentions

arxiv: arXiv 2610.06441#F9SI (unknown). In YFJ62HWHVK/e1, unknown 4.3

History

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

H52D6Q4T2Y H52D6Q4T2Y

URI	`m2://inv/H52D6Q4T2Y`
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.04264#37VI (statement). In 5YRJ4HGY4N/e1, lemma 6

History

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

Target H52EH9BGFP

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

Mentions

wikipedia: Wikipedia Target (project), Target (definition). Also Wikidata Q17156604

History

2026-11-02: add by m2/dev

H52R371Y1D H52R371Y1D

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

Mentions

arxiv: arXiv 2608.23797#PBX6 (example). In PZCA01JXVR/e1, example 3.8

History

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

H52T9SJTRZ H52T9SJTRZ

URI	`m2://inv/H52T9SJTRZ`
Kind	statement
Layer	research
MSC	05-XX, 11-XX, 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 2609.20567#6QJH (statement)

History

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

Weyl spinor H52V7DK2A1

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

Mentions

wikipedia: Wikipedia List of things named after Hermann Weyl#4D8B, Weyl spinor (definition)

History

2026-11-02: add by m2/dev

Jeanette McLeod H531B2JVDZ

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

Mentions

wikipedia: Wikipedia Jeanette McLeod, Jeanette McLeod (topic). Also Wikidata Q57260497

History

2026-11-02: add by m2/dev

arithmetic variety H535GQAE2F

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

Mentions

wikidata: Wikidata Q4791136, arithmetic variety (unknown). Also nLab arithmetic variety
wikipedia: Wikipedia Arithmetic variety, Arithmetic variety (definition). Also Wikidata Q4791136

History

2026-10-26: add by m2/dev

Example H53809TT4A

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

Mentions

wikipedia: Wikipedia Term algebra#4NY0, Example (example)

History

2026-11-02: add by m2/dev

H53CZC8XP1 H53CZC8XP1

URI	`m2://inv/H53CZC8XP1`
Kind	conjecture
Layer	research
MSC	11-XX, 19-XX
Sources	1
Outcome	record (an item of a paper that no node asks 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.28677#KMVJ (conjecture)

History

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

H53D6HEVM8 H53D6HEVM8

URI	`m2://inv/H53D6HEVM8`
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.01928#4NP5 (statement). In BSJRRHKGX0/e1, corollary 3.5

History

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

Reliability block diagram H53KHVDQQ1

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

Mentions

wikipedia: Wikipedia Reliability block diagram, Reliability block diagram (definition). Also Wikidata Q7310986

History

2026-11-02: add by m2/dev

inverse hyperbolic cotangent H53SE61AJ6

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

Mentions

wikidata: Wikidata Q11205769, inverse hyperbolic cotangent (unknown). Also MathWorld InverseHyperbolicCotangent

History

2026-10-26: add by m2/dev

Roy Patrick Kerr H53T4CDSWR

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#81S9, Roy Patrick Kerr (unknown)

History

2026-11-02: add by m2/dev

Hemi-metric H53TY8JJQD

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

Mentions

wikipedia: Wikipedia Metric space#K268, Hemi-metric (unknown)

History

2026-11-02: add by m2/dev

The procedure H53XN5QAEG

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

Mentions

wikipedia: Wikipedia Envy-graph procedure#7U8Y, The procedure (definition)

History

2026-11-02: add by m2/dev

Stability for Spheres H53ZVVW79F

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

Mentions

hott_book: hott_book homotopy.tex#cor:stability-spheres, Stability for Spheres (statement). In N54F33XE07, cor, section 7.6

History

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

physical constant H5420HJYKK

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

Mentions

wikidata: Wikidata Q173227, physical constant (definition). Also ProofWiki Definition:Physical_Constant

History

2026-10-26: add by m2/dev

Peter Topping H545GMG6AV

URI	`m2://inv/H545GMG6AV`
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#A1S1, Peter Topping (topic)

History

2026-11-02: add by m2/dev

H54DRM4H5V H54DRM4H5V

URI	`m2://inv/H54DRM4H5V`
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.2043#J241 (statement). In 7DCNHRBK5A/e1, theorem 3.3

History

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

Lagrange duality H54G8C5E0C

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

Mentions

wikipedia: Wikipedia List of dualities#O8PX, Lagrange duality (definition)

History

2026-11-02: add by m2/dev

Raking H54H4CFQVZ

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

Mentions

wikipedia: Wikipedia Raking, Raking (definition). Also Wikidata Q104840603

History

2026-11-02: add by m2/dev

Autonomous equations for the measures $\mu_k$ H54QYN0EA5

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

Mentions

arxiv: arXiv 2609.31986#8NZF, Autonomous equations for the measures $\mu_k$ (statement). In 8WR0AEDAHT/e1, proposition 26

History

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

H54T2YQPYJ H54T2YQPYJ

URI	`m2://inv/H54T2YQPYJ`
Kind	definition
Layer	research
MSC	05-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 2309.17091#JEUU (definition). In N0JJM098W2/e1, definition 7

History

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

H54W7Q9JN0 H54W7Q9JN0

URI	`m2://inv/H54W7Q9JN0`
Kind	definition
Layer	research
MSC	51-XX, 52-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.25468#ZKJ4 (definition)

History

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

Legendre function of the first kind H54XF16NYP

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

Mentions

wikipedia: Wikipedia Legendre function#KJQN, Legendre function of the first kind (unknown)

History

2026-11-02: add by m2/dev

H54ZABZ0YP H54ZABZ0YP

URI	`m2://inv/H54ZABZ0YP`
Kind	definition
Layer	research
MSC	37-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.16388#KK72 (definition). In Q62MDENP26/e1, definition 2.4

History

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

Jordan Ellenberg H553HQM0CG

URI	`m2://inv/H553HQM0CG`
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 Q6276506, Jordan Ellenberg (unknown). Also ProofWiki Mathematician:Jordan_Stuart_Ellenberg
wikipedia: Wikipedia Jordan Ellenberg, Jordan Ellenberg (topic). Also Wikidata Q6276506

History

2026-10-26: add by m2/dev

H556SNNVEY H556SNNVEY

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-112 (exercise). In E9HS8K3A52, exercise, section 4.8.3

History

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

Definition H55HJX6C4V

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

Mentions

wikipedia: Wikipedia Rose (topology)#AZDB, Definition (definition)

History

2026-11-02: add by m2/dev

Definition H55JNMVRDM

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

Mentions

wikipedia: Wikipedia DFT matrix#4MN9, Definition (definition)

History

2026-11-02: add by m2/dev

locally bounded in $U$ H55N5K0H9S

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

Mentions

lebl_scv: lebl_scv index/1.6/locally-bounded-in-u, locally bounded in $U$ (concept). In VNMV985MXX, index, section 1.6

History

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

Nimbus H55NYSFPRY

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

Mentions

wikipedia: Wikipedia Nimbus (cipher), Nimbus (definition). Also Wikidata Q7037633

History

2026-11-02: add by m2/dev

Compressed correction bounds H55QM3TZ1N

URI	`m2://inv/H55QM3TZ1N`
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.01843#PDF6, Compressed correction bounds (statement). In EDG9ZFDSWK/e1, lemma B.5

History

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

Cases where the theorem cannot be applied H55SSWCN1Q

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

Mentions

wikipedia: Wikipedia Mean value theorem#XB85, Cases where the theorem cannot be applied (statement)

History

2026-11-02: add by m2/dev

H55YSRFHQ7 H55YSRFHQ7

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

Mentions

arxiv: arXiv 2610.12481#Z5RY (definition). In TD288AK3EJ/e1, definition 11

History

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

H5619ZXMCK H5619ZXMCK

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

Mentions

hott_book: hott_book induction.tex#ex:no-nullary-constructor (exercise). In N54F33XE07, ex, section 8.8

History

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

String duality H563VD86YJ

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

Mentions

wikipedia: Wikipedia List of dualities#E4T2, String duality (unknown)

History

2026-11-02: add by m2/dev

Anytime residual bound H5667WE4C4

URI	`m2://inv/H5667WE4C4`
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.20020#FJCB, Anytime residual bound (statement). In TGYC3SE8XM/e1, theorem 6

History

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

H56BDC5H00 H56BDC5H00

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

Mentions

wikipedia: Wikipedia Quasiperfect number#PGBQ (problem)

History

2026-11-02: add by m2/dev

Fair division H56D9A760F

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

Mentions

wikipedia: Wikipedia Fair division, Fair division (definition). Also Wikidata Q1511081

History

2026-11-02: add by m2/dev

H56DC5X61Z H56DC5X61Z

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

Mentions

napkin: napkin tex/calculus/p-adic.tex#exer:alternating (exercise). In RZP28ERRZV, exercise, section 33.3.2

History

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

Wagner graph H56GWHJ0J8

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

Mentions

wikidata: Wikidata Q3115543, Wagner graph (unknown). Also House of Graphs 640, MathWorld WagnerGraph
wikipedia: Wikipedia Wagner graph, Wagner graph (definition). Also Wikidata Q3115543

History

2026-10-26: add by m2/dev

H56M1RH7A0 H56M1RH7A0

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

Mentions

arxiv: arXiv 2610.17060#G6PW (definition). In 5KR3MHYVV6/e1, definition 2.3

History

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

H56QH5KQ55 H56QH5KQ55

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IndexingSets.tex#problem-3 (exercise). In P1C114YBXG, problem, section C

History

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

condensation H56S6P1831

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#H04C, condensation (definition)

History

2026-11-02: add by m2/dev

H56W5QJ6TF H56W5QJ6TF

URI	`m2://inv/H56W5QJ6TF`
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.19449#3TCJ (statement). In 8ZKPJ3CBDF/e1, lemma 3.17

History

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

Curtis T. McMullen H56YM0JHQ0

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#7Z20, Curtis T. McMullen (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZWV2, Curtis T. McMullen (topic)

History

2026-11-02: add by m2/dev

Improved Fourier projection estimate H57DHAKFB4

URI	`m2://inv/H57DHAKFB4`
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.23923#B5A3, Improved Fourier projection estimate (statement)

History

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

Feasible per-key channel family H57J9Q9AAZ

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

Mentions

arxiv: arXiv 2610.05712#27Q3, Feasible per-key channel family (definition). In 44Q2H3DWNW/e1, definition 2

History

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

Applications H57MSFB6ZS

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

Mentions

wikipedia: Wikipedia Extremally disconnected space#74JR, Applications (example)

History

2026-11-02: add by m2/dev

Rational monoid H57R7910KJ

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

Mentions

wikipedia: Wikipedia Rational monoid, Rational monoid (definition). Also Wikidata Q18393572

History

2026-11-02: add by m2/dev

H57TV1WGXM H57TV1WGXM

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

Mentions

arxiv: arXiv 2610.01915#XUYN (definition). In 6HJQXZS0A6/e1, definition 1.16

History

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

H581MSDDE2 H581MSDDE2

URI	`m2://inv/H581MSDDE2`
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.40274#BWQH (statement). In 7ZDNJC9MST/e1, lemma 4.1

History

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

Mean bounds across field sizes H582G72X6H

URI	`m2://inv/H582G72X6H`
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.20351#HQJU, Mean bounds across field sizes (statement)

History

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

Bruno Vallette H583H1CRN6

URI	`m2://inv/H583H1CRN6`
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 Q38231546, Bruno Vallette (unknown). Also nLab Bruno Vallette

History

2026-10-26: add by m2/dev

H584EX8T4S H584EX8T4S

URI	`m2://inv/H584EX8T4S`
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.38138#TMVX (statement). In G97FA99ZEF/e1, fact 3.3

History

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

dark side of the Moon H588E35T8D

URI	`m2://inv/H588E35T8D`
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#XXGZ, dark side of the Moon (unknown)

History

2026-11-02: add by m2/dev

Definition H588VHCEEP

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

Mentions

wikipedia: Wikipedia Psychological projection#T77F, Definition (definition)

History

2026-11-02: add by m2/dev

Geometric data analysis H58EP9BDSE

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

Mentions

wikipedia: Wikipedia List of statistics articles#4L7G, Geometric data analysis (topic)

History

2026-11-02: add by m2/dev

Upgrading the oracle H58GQ5ZX24

URI	`m2://inv/H58GQ5ZX24`
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.35418#GNYX, Upgrading the oracle (statement). In JHD3TW67QT/e1, proposition 3

History

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

Pixel-art scaling algorithms H58KXYM7YF

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#MTLQ, Pixel-art scaling algorithms (unknown)

History

2026-11-02: add by m2/dev

John Watrous H58V02QZC5

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

Mentions

wikipedia: Wikipedia John Watrous (computer scientist), John Watrous (topic). Also Wikidata Q6263205

History

2026-11-02: add by m2/dev

H58X5JDAVM H58X5JDAVM

URI	`m2://inv/H58X5JDAVM`
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 1103.1038#BWIP (statement). In T9VMNNPS0H/e1, lemma 5.2

History

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

Hellman-Feynman formula H58YPMJQYG

URI	`m2://inv/H58YPMJQYG`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 58-XX, 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.17815#CO3C, Hellman-Feynman formula (statement). In GJ7N2EWACX/e1, lemma 3.2

History

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

H58YY23BT5 H58YY23BT5

URI	`m2://inv/H58YY23BT5`
Kind	statement
Layer	research
MSC	20-XX, 22-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.09319#BGVY (statement). In GMRT5GHBZS/e1, theorem A

History

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

Katyayana H591H5XMGD

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

Mentions

wikipedia: Wikipedia List of geometers#P35S, Katyayana (unknown)

History

2026-11-02: add by m2/dev

Hilbert–Burch theorem H596DJEEWH

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

Mentions

wikipedia: Wikipedia Hilbert–Burch theorem, Hilbert–Burch theorem (statement). Also Wikidata Q5761240

History

2026-11-02: add by m2/dev

Information projection H59A56G4H4

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

Mentions

wikipedia: Wikipedia Information projection, Information projection (definition). Also Wikidata Q6031173

History

2026-11-02: add by m2/dev

H59EMKW6A9 H59EMKW6A9

URI	`m2://inv/H59EMKW6A9`
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.21680#GH9M (statement)

History

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

H59MDB91NF H59MDB91NF

URI	`m2://inv/H59MDB91NF`
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.15525#91OJ (statement). In EFDRME13PT/e1, proposition 5.2

History

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

Kai Behrend H59P6MZRQA

URI	`m2://inv/H59P6MZRQA`
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 Q2815216, Kai Behrend (unknown). Also nLab Kai Behrend
wikipedia: Wikipedia Kai Behrend, Kai Behrend (topic). Also Wikidata Q2815216

History

2026-10-26: add by m2/dev

Table of polyhedron dihedral angles H59RGJWJGF

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

Mentions

wikipedia: Wikipedia Table of polyhedron dihedral angles, Table of polyhedron dihedral angles (definition). Also Wikidata Q7673242

History

2026-11-02: add by m2/dev

Partial leverage H59X2V38W3

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

Mentions

wikipedia: Wikipedia List of statistics articles#5ICC, Partial leverage (definition)

History

2026-11-02: add by m2/dev

Nonlocal H59YGB61EK

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#7H82, Nonlocal (unknown)

History

2026-11-02: add by m2/dev

Learning a Galois automorphism H5A6RWJTDR

URI	`m2://inv/H5A6RWJTDR`
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.18154#UP2C, Learning a Galois automorphism (statement). In 4W7ARR1DAR/e1, theorem 5.2

History

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

Snub icosidodecadodecahedron H5AA43RKH8

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#QHAI, Snub icosidodecadodecahedron (object)

History

2026-11-02: add by m2/dev

H5ADJFNT9C H5ADJFNT9C

URI	`m2://inv/H5ADJFNT9C`
Kind	statement
Layer	research
MSC	16-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.27420#CIAR (statement)

History

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

Scott H5AEA4QE01

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#2XBZ, Scott (definition)

History

2026-11-02: add by m2/dev

Properties H5AR1SF6EH

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

Mentions

wikipedia: Wikipedia Cohen's kappa#8UFV, Properties (statement)

History

2026-11-02: add by m2/dev

Sato–Tate conjecture H5AX02PA46

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

Mentions

wikipedia: Wikipedia List of curves topics#5DT9, Sato–Tate conjecture (statement)

History

2026-11-02: add by m2/dev

Hermite distribution H5B1BKT3HX

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

Mentions

wikipedia: Wikipedia List of probability distributions#8L5A, Hermite distribution (unknown)

History

2026-11-02: add by m2/dev

Bounds from an approximate eigenfunction H5B4R2BDBJ

URI	`m2://inv/H5B4R2BDBJ`
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.29524#XW7G, Bounds from an approximate eigenfunction (statement)

History

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

Moser's worm problem H5B5GDFQQB

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#BMZK, Moser's worm problem (conjecture)

History

2026-11-02: add by m2/dev

H5B5H57F3J H5B5H57F3J

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

Mentions

arxiv: arXiv 2609.38206#2SNO (statement). In F71MS1F637/e1, lemma 4.2

History

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

Property H5BA9GMB4T

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

Mentions

wikipedia: Wikipedia Alexander–Spanier cohomology#7M2M, Property (statement)

History

2026-11-02: add by m2/dev

H5BAXST0WP H5BAXST0WP

URI	`m2://inv/H5BAXST0WP`
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 0809.0068#N2JP (statement). In MBKYGM01FK/e1, proposition 1.17

History

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

H5BE6FJ8J7 H5BE6FJ8J7

URI	`m2://inv/H5BE6FJ8J7`
Kind	definition
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.16404#7IPU (definition). In PQ7W037C2H/e1, definition 4.1

History

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

Coefficient at the first possible truncation-error degree H5BJSWG7MG

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

Mentions

arxiv: arXiv 2609.26066#O2AZ, Coefficient at the first possible truncation-error degree (statement)

History

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

Hermann Schlichting H5BVAZ4NME

URI	`m2://inv/H5BVAZ4NME`
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#GIV5, Hermann Schlichting (unknown)

History

2026-11-02: add by m2/dev

primitive element H5C2TMCTWA

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

Mentions

wikidata: Wikidata Q18344563, primitive element (unknown). Also EoM Primitive_element_in_a_co-algebra, nLab primitive element
wikipedia: Wikipedia Primitive element (co-algebra), Primitive element (definition). Also Wikidata Q18344563

History

2026-10-26: add by m2/dev

Injury prevention H5CE384TNQ

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

Mentions

wikipedia: Wikipedia Injury prevention, Injury prevention (definition). Also Wikidata Q373494

History

2026-11-02: add by m2/dev

Example H5CK269GTC

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

Mentions

wikipedia: Wikipedia Restricted representation#750G, Example (example)

History

2026-11-02: add by m2/dev

H5CN7AGRJN H5CN7AGRJN

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

Mentions

arxiv: arXiv 2610.03661#FKQ7 (definition). In ESDKTYDHC8/e1, definition 3

History

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

H5CNMTF89G H5CNMTF89G

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

Mentions

arxiv: arXiv 2609.30015#CHMK (statement)

History

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

H5CR59S18H H5CR59S18H

URI	`m2://inv/H5CR59S18H`
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.12908#ZMY6 (statement). In TNC658NVMQ/e1, proposition 4.5

History

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

H5CV8YN6WD H5CV8YN6WD

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

Mentions

arxiv: arXiv 2609.20900#PAEN (statement)

History

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

H5CVVFYMCP H5CVVFYMCP

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

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/beta-function.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 29.4

History

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

Applications H5D4HAY9F9

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

Mentions

wikipedia: Wikipedia Teichmüller–Tukey lemma#LJ7Q, Applications (example)

History

2026-11-02: add by m2/dev

Edward Farhi H5DBBPEN94

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JIFW, Edward Farhi (unknown)

History

2026-11-02: add by m2/dev

H5DK043CP8 H5DK043CP8

URI	`m2://inv/H5DK043CP8`
Kind	statement
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 2609.25449#486I (statement). In 9JHMTYGWFQ/e1, proposition 11.5

History

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

Round toward zero H5DSEBQXGH

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

Mentions

wikipedia: Wikipedia Rounding#99YZ, Round toward zero (unknown)

History

2026-11-02: add by m2/dev

H5DZB0J7GW H5DZB0J7GW

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

Mentions

arxiv: arXiv 2609.38030#3C6B (statement). In XYYEJN00D8/e1, proposition 3.4

History

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

Definition H5E5D1SFMH

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

Mentions

wikipedia: Wikipedia Graph amalgamation#L9AL, Definition (definition)

History

2026-11-02: add by m2/dev

H5EDZ4ANNR H5EDZ4ANNR

URI	`m2://inv/H5EDZ4ANNR`
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.21472#PPQ1 (statement)

History

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

element of a matrix H5EKSWZTKT

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

Mentions

lebl_diffyqs: lebl_diffyqs index/2.1.2/element-of-a-matrix, element of a matrix (concept). In E9HS8K3A52, index, section 2.1.2

History

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

Definition H5EWCAHFAR

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

Mentions

wikipedia: Wikipedia Dot product representation of a graph#A5I8, Definition (definition)

History

2026-11-02: add by m2/dev

H5EXFENR3A H5EXFENR3A

URI	`m2://inv/H5EXFENR3A`
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.21116#T61M (statement)

History

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

Mind projection fallacy H5F6V7DZJR

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

Mentions

wikipedia: Wikipedia List of fallacies#D4KG, Mind projection fallacy (definition)

History

2026-11-02: add by m2/dev

H5F9G28HYG H5F9G28HYG

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

Mentions

napkin: napkin tex/cats/categories.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 36.3

History

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

H5FHG7RP7C H5FHG7RP7C

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

History

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

H5FK4APFDZ H5FK4APFDZ

URI	`m2://inv/H5FK4APFDZ`
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 2102.10460#TDN5 (statement). In 3N20HKKXTJ/e1, lemma 2.3

History

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

Application H5FMY17GAP

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

Mentions

wikipedia: Wikipedia Newmark's influence chart#NNY5, Application (example)

History

2026-11-02: add by m2/dev

Artificial wisdom H5FNKZ7V4E

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

Mentions

wikipedia: Wikipedia Artificial wisdom, Artificial wisdom (conjecture). Also Wikidata Q97359801

History

2026-11-02: add by m2/dev

H5FSAWS56D H5FSAWS56D

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

Mentions

arxiv: arXiv 2609.39845#OCGF (statement). In RK8DFVGQP1/e1, theorem 23

History

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

Imre Csiszár H5FVYWCBBD

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#GL6R, Imre Csiszár (topic)

History

2026-11-02: add by m2/dev

Thanu Padmanabhan H5FZV0XB4P

URI	`m2://inv/H5FZV0XB4P`
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 Q2409133, Thanu Padmanabhan (unknown). Also nLab Thanu Padmanabhan

History

2026-10-26: add by m2/dev

Sentential form H5G0Q57DPV

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

Mentions

wikipedia: Wikipedia Formal grammar#42Z3, Sentential form (unknown)

History

2026-11-02: add by m2/dev

Statement of the theorem H5G2YPVW63

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

Mentions

wikipedia: Wikipedia Kolmogorov's two-series theorem#1UMQ, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

Leonard Isaac Schiff H5G7T7CAN7

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#FLCK, Leonard Isaac Schiff (unknown)

History

2026-11-02: add by m2/dev

Hinkley, David V. H5G9W6AYFZ

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

Mentions

wikipedia: Wikipedia List of statisticians#E9T4, Hinkley, David V. (topic)

History

2026-11-02: add by m2/dev

H5G9YZ4KYT H5G9YZ4KYT

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

Mentions

arxiv: arXiv 2609.29671#79LF (statement)

History

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

Igusa quartic H5GEK6R4K0

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

Mentions

wikipedia: Wikipedia Igusa quartic, Igusa quartic (definition). Also Wikidata Q5994464

History

2026-11-02: add by m2/dev

Mikhail Gromov H5GHPK181T

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#A2NK, Mikhail Gromov (topic)

History

2026-11-02: add by m2/dev

birational morphism H5GK01T814

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#VEVT, birational morphism (definition)

History

2026-11-02: add by m2/dev

Gauss curvature flow H5GKA0AWQH

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

Mentions

wikipedia: Wikipedia Gauss curvature flow, Gauss curvature flow (definition). Also Wikidata Q104861476

History

2026-11-02: add by m2/dev

H5GN5490F4 H5GN5490F4

URI	`m2://inv/H5GN5490F4`
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.17240#CJGZ (example). In 59BZ4V9RQW/e1, example 8.2

History

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

Multiclass input-to-probability Gaussian simplex H5GPSQ1R9B

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

Mentions

arxiv: arXiv 2609.39190#TA86, Multiclass input-to-probability Gaussian simplex (statement). In J144J3ANFZ/e1, theorem 3.12

History

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

H5GQWQJBY3 H5GQWQJBY3

URI	`m2://inv/H5GQWQJBY3`
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.20656#X1CB (statement)

History

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

Asymptotic power one H5H0QNWND9

URI	`m2://inv/H5H0QNWND9`
Kind	statement
Layer	research
MSC	60-XX, 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.27765#FPT5, Asymptotic power one (statement)

History

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

Existence and uniqueness H5H4D6CRMR

URI	`m2://inv/H5H4D6CRMR`
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 2610.03811#YLU1, Existence and uniqueness (statement). In DHQWFJW02X/e1, proposition 2.1

History

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

H5H4NGXTY4 H5H4NGXTY4

URI	`m2://inv/H5H4NGXTY4`
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#OLQV (definition). In RRNHC0CAC9/e1, definition

History

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

exclusive disjunction H5H586DKYG

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

Mentions

wikipedia: Wikipedia Glossary of logic#CVCY, exclusive disjunction (definition)

History

2026-11-02: add by m2/dev

Granada H5H5FZHTGN

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#ZMZD, Granada (unknown)

History

2026-11-02: add by m2/dev

H5H5V3MKD0 H5H5V3MKD0

URI	`m2://inv/H5H5V3MKD0`
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.06466#L80P (statement). In 6W451V3N75/e1, proposition 9.1

History

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

Fermat's spiral H5H73AFBVY

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

Mentions

wikidata: Wikidata Q907869, Fermat's spiral (unknown). Also MathWorld FermatsSpiral
wikipedia: Wikipedia Fermat's spiral, Fermat's spiral (definition). Also Wikidata Q907869

History

2026-10-26: add by m2/dev

Example H5H9ZG9E2S

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

Mentions

wikipedia: Wikipedia Separating words problem#XRAZ, Example (example)

History

2026-11-02: add by m2/dev

semistable abelian variety H5HGGY51JP

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

Mentions

wikidata: Wikidata Q7449666, semistable abelian variety (unknown). Also MathWorld Semistable
wikipedia: Wikipedia Semistable abelian variety, Semistable abelian variety (definition). Also Wikidata Q7449666

History

2026-10-26: add by m2/dev

Unit necklace H5HHH4CM1F

URI	`m2://inv/H5HHH4CM1F`
Kind	definition
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.30637#XHZK, Unit necklace (definition). In 6G1KBA0SXV/e1, definition 2.10

History

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

Johannes Ledolter H5HNFDHQEZ

URI	`m2://inv/H5HNFDHQEZ`
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#QSUJ, Johannes Ledolter (topic)

History

2026-11-02: add by m2/dev

Multilinear polynomial H5HTC7TP1F

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

Mentions

wikipedia: Wikipedia Multilinear polynomial, Multilinear polynomial (definition). Also Wikidata Q6934739

History

2026-11-02: add by m2/dev

Minimum k-cut H5HV7XBN4W

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

Mentions

wikipedia: Wikipedia Minimum k-cut, Minimum k-cut (definition). Also Wikidata Q6865465

History

2026-11-02: add by m2/dev

Notation H5HYM9B4YE

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

Mentions

wikipedia: Wikipedia Tensor decomposition#EBYS, Notation (definition)

History

2026-11-02: add by m2/dev

unit vector H5J392GZNH

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

Mentions

wikidata: Wikidata Q36255, unit vector (definition). Also MathWorld UnitVector, nLab unit vector, ProofWiki Definition:Unit_Vector
wikipedia: Wikipedia Unit vector, Unit vector (definition). Also Wikidata Q36255

History

2026-10-26: add by m2/dev

Quasi-finite field H5J77VYC8A

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

Mentions

wikipedia: Wikipedia Quasi-finite field, Quasi-finite field (definition). Also Wikidata Q7269450

History

2026-11-02: add by m2/dev

Euler–Poisson–Darboux equation H5JBRZ4NNG

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

Mentions

wikipedia: Wikipedia Euler–Poisson–Darboux equation, Euler–Poisson–Darboux equation (definition). Also Wikidata Q3730830

History

2026-11-02: add by m2/dev

\bf Delayed-input Krylov representation H5JG3NC6TN

URI	`m2://inv/H5JG3NC6TN`
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.02791#K9K8, \bf Delayed-input Krylov representation (statement). In TT9BA4VMTW/e1, lemma E.3

History

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

H5JGE5R7ZB H5JGE5R7ZB

URI	`m2://inv/H5JGE5R7ZB`
Kind	statement
Layer	research
MSC	05-XX, 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.22514#TJBS (statement)

History

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

H5JH3VMSY2 H5JH3VMSY2

URI	`m2://inv/H5JH3VMSY2`
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#FXHM (statement). In 2BET1RE1F6/e1, theorem 2.3

History

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

Definition H5JN6Y0EMX

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

Mentions

wikipedia: Wikipedia Parabolic fractal distribution#SI24, Definition (definition)

History

2026-11-02: add by m2/dev

H5K6TPMR1X H5K6TPMR1X

URI	`m2://inv/H5K6TPMR1X`
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#70HE (statement). In S95MSZ7MDR/e1, lemma 3.1

History

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

impredicative definition H5K6Z0VAGA

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

Mentions

wikipedia: Wikipedia Glossary of logic#DYU2, impredicative definition (definition)

History

2026-11-02: add by m2/dev

Rule of Sarrus H5KEE0N9AZ

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

Mentions

wikipedia: Wikipedia Rule of Sarrus, Rule of Sarrus (definition). Also Wikidata Q913837

History

2026-11-02: add by m2/dev

Two-factor local convolution at the origin H5KH4EFJ98

URI	`m2://inv/H5KH4EFJ98`
Kind	statement
Layer	research
MSC	11-XX, 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.04099#G3CB, Two-factor local convolution at the origin (statement). In QPJ6FWG5HD/e1, lemma 1.1

History

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

Multiplicative central limit theorem H5KJN9RRBC

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

Mentions

wikipedia: Wikipedia Log-normal distribution#68UM, Multiplicative central limit theorem (statement)

History

2026-11-02: add by m2/dev

Francis Bretherton H5KQY4MTZQ

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

Mentions

wikipedia: Wikipedia Francis Bretherton, Francis Bretherton (topic). Also Wikidata Q21529466

History

2026-11-02: add by m2/dev

Helly's theorem H5KVPPRPZD

URI	`m2://inv/H5KVPPRPZD`
Kind	statement
Layer	textbook
MSC	20-XX, 52-XX
Sources	5
Outcome	open
Node	Helly's theorem F1W3QRBNGJ

Mentions

arxiv: arXiv 2609.37237#Q2ET, Helly's Theorem (statement). In GBY82BZCNA/e1, proposition 2.8
mathlib_1000: mathlib_1000 Q1632433, Helly's theorem (statement). Also Mathlib Convex.helly_theorem, Wikidata Q1632433
thousand_plus: thousand_plus Q1632433, Helly's theorem (statement). Also Mathlib Convex.helly_theorem, Wikidata Q1632433, Wikipedia Helly's theorem
wikidata: Wikidata Q1632433, Helly's theorem (statement). Also MathWorld HellysTheorem
wikipedia: Wikipedia Helly's theorem, Helly's theorem (statement). Also Wikidata Q1632433

History

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

Order Axioms H5M9MC2WM8

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#axiom:order axioms, Order Axioms (statement). In P1C114YBXG, axioms, section u1

History

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

The isoperimetric inequality H5MCRTCPBM

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

Mentions

wikipedia: Wikipedia Minkowski's first inequality for convex bodies#9C5I, The isoperimetric inequality (statement)

History

2026-11-02: add by m2/dev

Von Neumann's theorem H5MKJYRQDQ

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

Mentions

wikipedia: Wikipedia List of theorems#POUY, Von Neumann's theorem (statement)

History

2026-11-02: add by m2/dev

Formal statement H5MPNEBANN

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

Mentions

wikipedia: Wikipedia Principal ideal theorem#8B1F, Formal statement (statement)

History

2026-11-02: add by m2/dev

H5MRJ1J9RJ H5MRJ1J9RJ

URI	`m2://inv/H5MRJ1J9RJ`
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 2311.16252#EH35 (statement). In 8AHN9GSRMR/e1, proposition 4.1

History

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

Special cases H5N6ENK6DF

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

Mentions

wikipedia: Wikipedia Baker–Campbell–Hausdorff formula#STRH, Special cases (statement)

History

2026-11-02: add by m2/dev

Abstract data type H5N73F4C2S

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

Mentions

wikipedia: Wikipedia Abstract data type, Abstract data type (definition). Also Wikidata Q827335

History

2026-11-02: add by m2/dev

Obstruction to braided equivalence H5NG66WE8M

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

Mentions

arxiv: arXiv 2609.33231#8ACD, Obstruction to braided equivalence (statement). In WPDRT63QNW/e1, theorem 5.10

History

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

Initial data on slices H5NRBEKAGZ

URI	`m2://inv/H5NRBEKAGZ`
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.18350#EHTI, Initial data on slices (statement). In A20E8FZS21/e1, corollary 7.6

History

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

axis H5NX35ZYEC

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#IPRM, axis (definition)

History

2026-11-02: add by m2/dev

Rise time H5PA6MFAS6

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

Mentions

wikipedia: Wikipedia Rise time, Rise time (definition). Also Wikidata Q377672

History

2026-11-02: add by m2/dev

X-13ARIMA-SEATS H5PARKEQ7W

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

Mentions

wikipedia: Wikipedia X-13ARIMA-SEATS, X-13ARIMA-SEATS (definition). Also Wikidata Q640173

History

2026-11-02: add by m2/dev

Burchnall–Chaundy theory H5PDEQJV9S

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

Mentions

wikipedia: Wikipedia Burchnall–Chaundy theory, Burchnall–Chaundy theory (definition). Also Wikidata Q4998216

History

2026-11-02: add by m2/dev

Barry D. Nussbaum H5PS5K7VEG

URI	`m2://inv/H5PS5K7VEG`
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#8L3C, Barry D. Nussbaum (topic)

History

2026-11-02: add by m2/dev

Null model H5QEA3ZEA3

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

Mentions

wikipedia: Wikipedia Null model, Null model (definition). Also Wikidata Q7068966

History

2026-11-02: add by m2/dev

H5QNSYNAFG H5QNSYNAFG

URI	`m2://inv/H5QNSYNAFG`
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.09897#22GF (definition). In NYA085FW0M/e1, definition 2.2

History

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

Gromov's inequality for complex projective space H5QWRJ1BW4

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

Mentions

wikipedia: Wikipedia Gromov's inequality for complex projective space, Gromov's inequality for complex projective space (statement). Also Wikidata Q5610192

History

2026-11-02: add by m2/dev

H5R14JWJVA H5R14JWJVA

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

Mentions

arxiv: arXiv 2609.33590#80Y1 (statement). In WRE0P7V6Z3/e1, lemma 11.9

History

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

Characterizations H5RB72Z4BK

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

Mentions

wikipedia: Wikipedia Real tree#2L34, Characterizations (statement)

History

2026-11-02: add by m2/dev

Redheffer matrix H5RC3ZHTZT

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

Mentions

wikidata: Wikidata Q3851926, Redheffer matrix (unknown). Also MathWorld RedhefferMatrix
wikipedia: Wikipedia Redheffer matrix, Redheffer matrix (definition). Also Wikidata Q3851926

History

2026-10-26: add by m2/dev

Finite total order H5RFRJNCX3

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

Mentions

wikipedia: Wikipedia Total order#S0BO, Finite total order (unknown)

History

2026-11-02: add by m2/dev

Vidyadhar P. Godambe H5RP0NK10M

URI	`m2://inv/H5RP0NK10M`
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#GUQR, Vidyadhar P. Godambe (topic)

History

2026-11-02: add by m2/dev

Lissajous-toric knot H5S0HRB61C

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

Mentions

wikipedia: Wikipedia Lissajous-toric knot, Lissajous-toric knot (definition). Also Wikidata Q106130285

History

2026-11-02: add by m2/dev

H5SR3RNP1C H5SR3RNP1C

URI	`m2://inv/H5SR3RNP1C`
Kind	statement
Layer	research
MSC	05-XX, 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 2609.31781#XONC (statement). In WTTVKKNPE6/e1, lemma 5

History

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

Examples H5SR91KXQ7

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

Mentions

wikipedia: Wikipedia Analytic set#3Z9O, Examples (example)

History

2026-11-02: add by m2/dev

H5STZ27KVJ H5STZ27KVJ

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

Mentions

arxiv: arXiv 2609.29641#2TN5 (statement)

History

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

H5SV6YCHA3 H5SV6YCHA3

URI	`m2://inv/H5SV6YCHA3`
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.20568#L6FS (statement). In BCD0ATARNZ/e1, corollary 1.3

History

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

List of integrals of exponential functions H5T0T6GVYF

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

Mentions

wikipedia: Wikipedia Lists of integrals#IV5G, List of integrals of exponential functions (unknown)
wikipedia: Wikipedia List of calculus topics#TAK3, List of integrals of exponential functions (unknown)
wikipedia: Wikipedia List of exponential topics#RFGG, List of integrals of exponential functions (unknown)
wikipedia: Wikipedia Lists of mathematics topics#H8OH, List of integrals of exponential functions (unknown)

History

2026-11-02: add by m2/dev

Edward Witten H5T7ZEZEBC

URI	`m2://inv/H5T7ZEZEBC`
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 Q201513, Edward Witten (unknown). Also nLab Edward Witten, ProofWiki Mathematician:Edward_Witten
wikipedia: Wikipedia Edward Witten, Edward Witten (topic). Also Wikidata Q201513

History

2026-10-26: add by m2/dev

Jørgen Dybvad H5TMMRR8MC

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

Mentions

wikipedia: Wikipedia Jørgen Dybvad, Jørgen Dybvad (topic). Also Wikidata Q6321467

History

2026-11-02: add by m2/dev

iron-60 H5TMPDTK29

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

Mentions

wikidata: Wikidata Q1950935, iron-60 (definition). Also ProofWiki Definition:Iron/60

History

2026-10-26: add by m2/dev

pi H5TMQ5XHDN

URI	`m2://inv/H5TMQ5XHDN`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a notation: the notation register holds it (corpus spec K10.4))
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q168, pi (unknown). Also ProofWiki Symbols:Greek/Pi

History

2026-10-26: add by m2/dev

Examples H5TQS74JGQ

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

Mentions

wikipedia: Wikipedia Menzerath's law#HLUQ, Examples (example)

History

2026-11-02: add by m2/dev

H5TRW40K4K H5TRW40K4K

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

Mentions

arxiv: arXiv 2609.32233#2065 (statement). In V42PPD7SWH/e1, theorem 4.12

History

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

Algorithm H5TZT9KX8J

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

Mentions

wikipedia: Wikipedia Floyd–Warshall algorithm#6IM8, Algorithm (definition)

History

2026-11-02: add by m2/dev

Naum Z. Shor H5V07JQFAF

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

Mentions

wikipedia: Wikipedia Naum Z. Shor, Naum Z. Shor (topic). Also Wikidata Q457430

History

2026-11-02: add by m2/dev

saddle-node bifurcation H5V8T6PCMW

URI	`m2://inv/H5V8T6PCMW`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Saddle-node bifurcation MAP5J6HK0T

Mentions

wikidata: Wikidata Q740190, saddle-node bifurcation (unknown). Also MathWorld FoldBifurcation
wikipedia: Wikipedia Saddle-node bifurcation, Saddle-node bifurcation (definition). Also Wikidata Q740190

History

2026-10-26: add by m2/dev

H5VFFKAGV6 H5VFFKAGV6

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

Mentions

arxiv: arXiv 2312.05005#U1L0 (statement). In SMJMAQ2S3J/e1, proposition 2

History

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

Stalk criteria H5VHK1GB1T

URI	`m2://inv/H5VHK1GB1T`
Kind	statement
Layer	research
MSC	13-XX, 14-XX, 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.15887#2FIS, Stalk criteria (statement). In 87QYNZZ67Z/e1, proposition 10.1

History

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

Polyspectra H5VKXCE7X9

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

Mentions

wikipedia: Wikipedia Polyspectra, Polyspectra (definition). Also Wikidata Q140008247

History

2026-11-02: add by m2/dev

H5VPS0KVJH H5VPS0KVJH

URI	`m2://inv/H5VPS0KVJH`
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.01899#TXY2 (statement). In 638TEFBFGP/e1, theorem 1.2

History

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

H5VR9N3T02 H5VR9N3T02

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

Mentions

arxiv: arXiv 2610.01273#O7VX (example). In RAT41DDR51/e1, example 4.5

History

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

Quantum vortex H5VWKKM3X4

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

Mentions

wikipedia: Wikipedia Quantum vortex, Quantum vortex (definition). Also Wikidata Q844778

History

2026-11-02: add by m2/dev

H5VZDK9PTR H5VZDK9PTR

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

Mentions

arxiv: arXiv 2609.39700#1CNF (statement). In E7W2HDNEKJ/e1, theorem 10.29

History

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

Discrepancy function H5W28QHMC7

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

Mentions

wikipedia: Wikipedia Discrepancy function, Discrepancy function (definition). Also Wikidata Q5282031

History

2026-11-02: add by m2/dev

H5W3GT759W H5W3GT759W

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

Mentions

arxiv: arXiv 2609.39593#74GE (statement). In BF0RYHPMS1/e1, lemma 5.2

History

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

H5W7G9WZB0 H5W7G9WZB0

URI	`m2://inv/H5W7G9WZB0`
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.07546#HN34 (statement). In H9YE46CGFN/e1, theorem 3

History

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

Roth's theorem on arithmetic progressions H5WK4T41SE

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

Mentions

wikipedia: Wikipedia Roth's theorem on arithmetic progressions, Roth's theorem on arithmetic progressions (statement). Also Wikidata Q56313802

History

2026-11-02: add by m2/dev

Examples H5WSKZ0KJ8

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

Mentions

wikipedia: Wikipedia APX#TH84, Examples (example)

History

2026-11-02: add by m2/dev

H5X1438D5A H5X1438D5A

URI	`m2://inv/H5X1438D5A`
Kind	statement
Layer	research
MSC	26-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 2609.24307#3RZU (statement)

History

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

H5X3K5HXP1 H5X3K5HXP1

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-3 (exercise). In VNMV985MXX, exercise, section 1.1

History

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

Examples H5XF5VDN6E

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

Mentions

wikipedia: Wikipedia Hermite constant#NLDL, Examples (example)

History

2026-11-02: add by m2/dev

Applications H5XR33BRSV

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

Mentions

wikipedia: Wikipedia Rational ignorance#CLS4, Applications (example)

History

2026-11-02: add by m2/dev

H5XRZG4Q95 H5XRZG4Q95

URI	`m2://inv/H5XRZG4Q95`
Kind	statement
Layer	research
MSC	35-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.05423#U4RE (statement). In 3ABGS3F1JG/e1, theorem 6.1

History

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

strictly lower triangular matrix H5XSQKKTAD

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

Mentions

wikidata: Wikidata Q77969876, strictly lower triangular matrix (unknown). Also MathWorld StrictlyLowerTriangularMatrix

History

2026-10-26: add by m2/dev

Applications H5Y2ST46X3

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

Mentions

wikipedia: Wikipedia Matrix calculus#6QH2, Applications (example)

History

2026-11-02: add by m2/dev

Compositionality implies algorithmic mutual information H5Y571SPV7

URI	`m2://inv/H5Y571SPV7`
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.20922#N6SU, Compositionality implies algorithmic mutual information (statement). In BYG6MRRYA1/e1, theorem 1

History

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

The function $y$ H5YDZ0YR4J

URI	`m2://inv/H5YDZ0YR4J`
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.37479#MRQV, The function $y$ (statement). In P3RTT99C41/e1, lemma A.2

History

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

Dorothee Aeppli H5YP9N8H8D

URI	`m2://inv/H5YP9N8H8D`
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 Q102259729, Dorothee Aeppli (unknown). Also ProofWiki Mathematician:Writer/Dorothée_Aeppli

History

2026-10-26: add by m2/dev

Applications H5YT50VQJ4

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

Mentions

wikipedia: Wikipedia McKean–Vlasov process#HV1C, Applications (example)

History

2026-11-02: add by m2/dev

Knudsen number H5ZH3EVNYB

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

Mentions

wikipedia: Wikipedia List of paradoxes#BGA5, Knudsen number (definition)

History

2026-11-02: add by m2/dev

H5ZKPK7R5P H5ZKPK7R5P

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

Mentions

arxiv: arXiv 2609.32181#FU6K (statement). In 8FKEQSPN7M/e1, theorem 1.7

History

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

H5ZKRYSS19 H5ZKRYSS19

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example-8 (example). In E9HS8K3A52, example, section 4.2.2

History

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

Oleg Lepski H5ZM1YE87K

URI	`m2://inv/H5ZM1YE87K`
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#V1UF, Oleg Lepski (unknown)

History

2026-11-02: add by m2/dev

H5ZZ99GKK4 H5ZZ99GKK4

URI	`m2://inv/H5ZZ99GKK4`
Kind	statement
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#FX62 (statement). In QX77AN49J0/e1, proposition 2.9

History

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