Inventory rows 8H

Margrabe's formula 8H0BECM06Q

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

Mentions

wikipedia: Wikipedia Margrabe's formula, Margrabe's formula (statement). Also Wikidata Q6760725

History

2026-11-02: add by m2/dev

Proof of Green's theorem for $U$ of type III 8H0BR8AS0E

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#proof-23, Proof of Green's theorem for $U$ of type III (proof). In E59CDZA4DP, proof, section 5.6

History

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

8H0DAVGAJK 8H0DAVGAJK

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

Mentions

hott_book: hott_book homotopy.tex#proof-38 (proof). In N54F33XE07, proof, section 7.7.2

History

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

8H0DHX3SQ4 8H0DHX3SQ4

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphs_color.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 5.4.1

History

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

$d=3$, \(n=3\ 8H0FC59E0K

URI	`m2://inv/8H0FC59E0K`
Kind	example
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.03775#87SD, $d=3$, \(n=3\ (example). In NM928YZQVJ/e1, example

History

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

Further examples 8H0H3VZH8D

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

Mentions

wikipedia: Wikipedia Public key certificate#MKXM, Further examples (example)

History

2026-11-02: add by m2/dev

connectives, if and only if 8H0KH4S5CN

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

Mentions

levin_dmoi: levin_dmoi index/1.2.1/connectives-if-and-only-if, connectives, if and only if (concept). In Y91XFCEVHQ, index, section 1.2.1

History

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

Topological mixing 8H0KKWEJS8

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

Mentions

wikipedia: Wikipedia List of topology topics#J22T, Topological mixing (definition)

History

2026-11-02: add by m2/dev

Steenrod homology 8H0RMRFTYH

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#I98S, Steenrod homology (definition)

History

2026-11-02: add by m2/dev

Banach game 8H0V0BTNHC

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

Mentions

wikipedia: Wikipedia Banach game, Banach game (definition). Also Wikidata Q25304403

History

2026-11-02: add by m2/dev

Schwarz minimal surface 8H17J7B7HA

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

Mentions

wikidata: Wikidata Q7433187, Schwarz minimal surface (concept). Also MathWorld SchwarzsMinimalSurface
wikipedia: Wikipedia Schwarz minimal surface, Schwarz minimal surface (definition). Also Wikidata Q7433187

History

2026-10-26: add by m2/dev

Taguette 8H18C5RVEG

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

Mentions

wikipedia: Wikipedia Taguette, Taguette (definition). Also Wikidata Q58041970

History

2026-11-02: add by m2/dev

chain map 8H18F7WHAJ

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#HR0E, chain map (definition)

History

2026-11-02: add by m2/dev

8H1P77AF55 8H1P77AF55

URI	`m2://inv/8H1P77AF55`
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.21933#OEF6 (statement)

History

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

(a, b)-decomposition 8H1VDTDAH7

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

Mentions

wikipedia: Wikipedia (a, b)-decomposition, (a, b)-decomposition (definition). Also Wikidata Q20087658

History

2026-11-02: add by m2/dev

Cross-sectional regression 8H1Y2YWTK3

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

Mentions

wikipedia: Wikipedia Cross-sectional regression, Cross-sectional regression (definition). Also Wikidata Q5188196

History

2026-11-02: add by m2/dev

8H2145J9GY 8H2145J9GY

URI	`m2://inv/8H2145J9GY`
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 2402.08625#ICPF (statement). In F2Y9SQ2VP4/e1, proposition 3

History

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

Final Value Theorem for a function that diverges to infinity 8H25R93NAD

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

Mentions

wikipedia: Wikipedia Final value theorem#IJ8L, Final Value Theorem for a function that diverges to infinity (statement)

History

2026-11-02: add by m2/dev

8H2AD20K8J 8H2AD20K8J

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

Mentions

arxiv: arXiv 2610.00115#5LIW (statement). In JK8PYKCZRA/e1, proposition 2.1

History

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

Sectional curvature 8H2RQHHZY4

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#QOFL, Sectional curvature (definition)

History

2026-11-02: add by m2/dev

8H2T0N49W2 8H2T0N49W2

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

Mentions

arxiv: arXiv 2609.27192#22Y5 (statement)

History

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

Directional Hessian Smoothness Bound 8H2TGM3R2A

URI	`m2://inv/8H2TGM3R2A`
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.14344#MQZL, Directional Hessian Smoothness Bound (statement). In ZVCD8RG1JJ/e1, lemma 2

History

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

8H2Y6V4WCT 8H2Y6V4WCT

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

Mentions

arxiv: arXiv 2303.09207#0XFI (definition). In 9DQKY7KGE8/e1, definition 3.12

History

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

8H30TDQMP7 8H30TDQMP7

URI	`m2://inv/8H30TDQMP7`
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.29489#4PLG (statement)

History

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

8H360K3668 8H360K3668

URI	`m2://inv/8H360K3668`
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 2306.17260#0UHI (statement). In V0T2SY4M6S/e1, theorem 4.3

History

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

8H3640VFKY 8H3640VFKY

URI	`m2://inv/8H3640VFKY`
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.14741#2HRT (statement). In RK1VPWWX9E/e1, theorem 1.1

History

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

Azriel Lévy 8H36R1085F

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#7DXH, Azriel Lévy (topic)

History

2026-11-02: add by m2/dev

Examples 8H3BVE04QP

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

Mentions

wikipedia: Wikipedia Hobbesian trap#WPZD, Examples (example)

History

2026-11-02: add by m2/dev

8H3G15S0SW 8H3G15S0SW

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

Mentions

arxiv: arXiv 2205.15365#T3BZ (unknown). In R2XC1SC9NZ/e1, unknown 10

History

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

Godeaux surface 8H3HXD2NDD

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

Mentions

wikipedia: Wikipedia List of complex and algebraic surfaces#S32B, Godeaux surface (definition)

History

2026-11-02: add by m2/dev

Double torus knot 8H3PXCG0KM

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

Mentions

wikipedia: Wikipedia List of knot theory topics#CH70, Double torus knot (definition)

History

2026-11-02: add by m2/dev

Trivial algebra extension 8H3VYBV6EX

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

Mentions

wikipedia: Wikipedia Algebra extension#B1G3, Trivial algebra extension (unknown)

History

2026-11-02: add by m2/dev

The Infinite Fan 8H3WS5YJJH

URI	`m2://inv/8H3WS5YJJH`
Kind	example
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 2610.00934#AH2I, The Infinite Fan (example). In SHCQDPCF2J/e1, example 4.1

History

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

8H40JA5R4Y 8H40JA5R4Y

URI	`m2://inv/8H40JA5R4Y`
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.09515#ANPF (statement). In N51RDVGNXG/e1, theorem 1.1

History

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

8H41MJS0SN 8H41MJS0SN

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

Mentions

arxiv: arXiv 2609.26401#7G93 (statement)

History

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

The Lefschetz principle 8H42YNS337

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

Mentions

wikipedia: Wikipedia Algebraic geometry and analytic geometry#P1HN, The Lefschetz principle (statement)

History

2026-11-02: add by m2/dev

Properties of An 8H45HZKPN8

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

Mentions

wikipedia: Wikipedia Weyl algebra#RDYK, Properties of An (statement)

History

2026-11-02: add by m2/dev

Quine 8H475NVW8E

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

Mentions

wikipedia: Wikipedia List of incomplete proofs#DS5W, Quine (topic)

History

2026-11-02: add by m2/dev

8H4E9B39MM 8H4E9B39MM

URI	`m2://inv/8H4E9B39MM`
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.26600#0G5O (statement)

History

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

Tricky 8H4V58P01V

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-33, Tricky (exercise). In E59CDZA4DP, exercise, section 4.3.4

History

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

Rank-into-rank 8H57M8NM1W

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#1EG8, Rank-into-rank (definition)
wikipedia: Wikipedia List of axioms#LCFA, Rank-into-rank (definition)

History

2026-11-02: add by m2/dev

8H5DQZMW5B 8H5DQZMW5B

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

Mentions

arxiv: arXiv 2607.26169#7IYA (statement). In Q46QV3B0NF/e1, theorem 1.1

History

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

Predictive modelling 8H5RFBSXQN

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

Mentions

wikipedia: Wikipedia Predictive modelling, Predictive modelling (definition). Also Wikidata Q7239673

History

2026-11-02: add by m2/dev

uniquely colorable graph 8H61EQJH7V

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

Mentions

wikidata: Wikidata Q7886960, uniquely colorable graph (unknown). Also MathWorld UniquelyColorableGraph
wikipedia: Wikipedia Uniquely colorable graph, Uniquely colorable graph (definition). Also Wikidata Q7886960

History

2026-10-26: add by m2/dev

Screw axis 8H63BDS3B1

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

Mentions

wikipedia: Wikipedia Screw axis, Screw axis (definition). Also Wikidata Q7439094

History

2026-11-02: add by m2/dev

Concolic testing 8H646QNYVC

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

Mentions

wikipedia: Wikipedia Concolic testing, Concolic testing (definition). Also Wikidata Q5158734

History

2026-11-02: add by m2/dev

María Elena González Mederos 8H64HYFM2R

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

Mentions

wikipedia: Wikipedia María Elena González Mederos, María Elena González Mederos (topic). Also Wikidata Q107546844

History

2026-11-02: add by m2/dev

Properties 8H6B14JYD5

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

Mentions

wikipedia: Wikipedia Silver ratio#15QW, Properties (statement)

History

2026-11-02: add by m2/dev

8H6GHE269P 8H6GHE269P

URI	`m2://inv/8H6GHE269P`
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#JSNG (statement). In 87QYNZZ67Z/e1, lemma 2.3

History

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

8H6JH9ZT1T 8H6JH9ZT1T

URI	`m2://inv/8H6JH9ZT1T`
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 2610.11545#VV0H (statement). In VN084GGZGK/e1, theorem C

History

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

8H6MH0MW5D 8H6MH0MW5D

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

Mentions

arxiv: arXiv 2610.07631#3TAC (statement). In 6JVJ5GCQ1E/e1, lemma 3.1

History

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

8H6RXT8T4M 8H6RXT8T4M

URI	`m2://inv/8H6RXT8T4M`
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#E1T2 (statement). In X47RYAZF8P/e1, lemma 10.5

History

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

8H6ZBGT4MC 8H6ZBGT4MC

URI	`m2://inv/8H6ZBGT4MC`
Kind	statement
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 2609.33584#FZMG (statement). In 3HFBAWQCA1/e1, theorem 1.3

History

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

Identity and covariance requirements 8H6ZWH0B9D

URI	`m2://inv/8H6ZWH0B9D`
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.27120#G1RD, Identity and covariance requirements (statement)

History

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

8H70EXPSVV 8H70EXPSVV

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

Mentions

wikipedia: Wikipedia Hadwiger conjecture (combinatorial geometry)#OR5B (problem)

History

2026-11-02: add by m2/dev

Spherical conic 8H716RTPJW

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

Mentions

wikipedia: Wikipedia Spherical conic, Spherical conic (definition). Also Wikidata Q107862992

History

2026-11-02: add by m2/dev

Ben Andrews 8H76HEWSJ3

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

Mentions

wikipedia: Wikipedia Ben Andrews (mathematician), Ben Andrews (topic). Also Wikidata Q4885230

History

2026-11-02: add by m2/dev

8H7BRSKM4S 8H7BRSKM4S

URI	`m2://inv/8H7BRSKM4S`
Kind	statement
Layer	research
MSC	20-XX, 22-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 math/0512416#Z7BD (statement). In WJD9YPGGYH/e1, proposition 6.1

History

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

8H7C59AT7P 8H7C59AT7P

URI	`m2://inv/8H7C59AT7P`
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.21322#2X9U (statement). In CNDA8DBEGD/e1, lemma 3.2

History

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

Sz.-Nagy's dilation theorem 8H7D6APAHM

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

Mentions

wikipedia: Wikipedia List of theorems#7FA8, Sz.-Nagy's dilation theorem (statement)

History

2026-11-02: add by m2/dev

Structural break test 8H7J1ZJCK6

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

Mentions

wikipedia: Wikipedia Structural break#W42G, Structural break test (unknown)

History

2026-11-02: add by m2/dev

q-exponential 8H7K1VC2J2

URI	`m2://inv/8H7K1VC2J2`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	q-exponential T8QYJCS3JA

Mentions

wikidata: Wikidata Q1062655, q-exponential (unknown). Also MathWorld q-ExponentialFunction
wikipedia: Wikipedia Q-exponential, Q-exponential (definition). Also Wikidata Q1062655

History

2026-10-26: add by m2/dev

Kaplansky's theorem on quadratic forms 8H7MNSGB7Z

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

Mentions

wikipedia: Wikipedia List of theorems#OS48, Kaplansky's theorem on quadratic forms (statement)

History

2026-11-02: add by m2/dev

Firefox Lockwise 8H82VT68H5

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

Mentions

wikipedia: Wikipedia Firefox Lockwise, Firefox Lockwise (definition). Also Wikidata Q64829394

History

2026-11-02: add by m2/dev

8H89BE3A90 8H89BE3A90

URI	`m2://inv/8H89BE3A90`
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.38188#THCW (statement). In 7615KVXDB5/e1, corollary 2.16

History

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

8H8AAWDP05 8H8AAWDP05

URI	`m2://inv/8H8AAWDP05`
Kind	definition
Layer	research
MSC	11-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.02111#K97U (definition). In NC5ZRF6F8N/e1, definition

History

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

8H8AB0BRG0 8H8AB0BRG0

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

Mentions

arxiv: arXiv 2609.24701#CDHX (statement)

History

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

least common multiple 8H8TYKF9QF

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

Mentions

mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > least common multiple, least common multiple (unknown). Also Mathlib GCDMonoid.lcm
mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > least common multiple, least common multiple (unknown). Also Mathlib GCDMonoid.lcm

History

2026-10-26: add by m2/dev

Lewis Carroll's Algorithm 8H94Q6K3VK

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

Mentions

wikipedia: Wikipedia Determination of the day of the week#THPJ, Lewis Carroll's Algorithm (unknown)

History

2026-11-02: add by m2/dev

8H997TQGX2 8H997TQGX2

URI	`m2://inv/8H997TQGX2`
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 2404.06445#O2TD (statement). In 12JKZ8EN52/e1, theorem 1.4

History

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

Differential effects 8H9C8B3M0C

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

Mentions

wikipedia: Wikipedia Differential effects, Differential effects (topic). Also Wikidata Q104853310

History

2026-11-02: add by m2/dev

8H9DXK54X9 8H9DXK54X9

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

Mentions

arxiv: arXiv 2609.20488#K5L9 (statement)

History

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

8H9H6MR316 8H9H6MR316

URI	`m2://inv/8H9H6MR316`
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.29450#BDEI (statement)

History

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

Gamma/Gompertz distribution 8H9HTFDPDE

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

Mentions

wikipedia: Wikipedia Gamma/Gompertz distribution, Gamma/Gompertz distribution (definition). Also Wikidata Q17015416

History

2026-11-02: add by m2/dev

8H9SP75A44 8H9SP75A44

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

Mentions

arxiv: arXiv 2610.21092#QK88 (statement). In AGJE43FTF8/e1, theorem I

History

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

8H9T0KV94R 8H9T0KV94R

URI	`m2://inv/8H9T0KV94R`
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 2212.00617#VTBO (statement). In K7505G10SS/e1, lemma 2.1

History

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

loop space 8H9V1DZVNY

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

Mentions

hott_book: hott_book index/5.5/loop-space, loop space (concept). In N54F33XE07, index, section 5.5

History

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

8HA1WAF65S 8HA1WAF65S

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

Mentions

arxiv: arXiv 2609.30018#387Y (definition)

History

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

Gideon Schechtman 8HA6N4EACR

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#MNR8, Gideon Schechtman (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SJ6I, Gideon Schechtman (topic)

History

2026-11-02: add by m2/dev

Zermelo's categoricity theorem 8HA991J06Y

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

Mentions

wikipedia: Wikipedia Zermelo's categoricity theorem, Zermelo's categoricity theorem (statement). Also Wikidata Q125804303

History

2026-11-02: add by m2/dev

8HA9HD88B4 8HA9HD88B4

URI	`m2://inv/8HA9HD88B4`
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.02535#IA3G (statement). In S26PXDSWM9/e1, proposition 5.3

History

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

\textbf{A $C^2$ Riemannian metric is determined by its distance 8HABJXTJ95

URI	`m2://inv/8HABJXTJ95`
Kind	statement
Layer	research
MSC	53-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.17032#YL5S, \textbf{A $C^2$ Riemannian metric is determined by its distance (statement). In MXPK9A2HK2/e1, lemma B.1

History

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

8HAM4QMPV2 8HAM4QMPV2

URI	`m2://inv/8HAM4QMPV2`
Kind	statement
Layer	research
MSC	20-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.21255#9M9M (statement)

History

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

8HAWKF5NW1 8HAWKF5NW1

URI	`m2://inv/8HAWKF5NW1`
Kind	statement
Layer	research
MSC	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.26410#XRF0 (statement)

History

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

major arc 8HAYA727XC

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

Mentions

arxiv: arXiv 2610.19249#Y383, major arc (statement). In 2X586J6KQ1/e1, lemma 5.7

History

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

8HAZAKDEC5 8HAZAKDEC5

URI	`m2://inv/8HAZAKDEC5`
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.10736#6YGI (statement). In NCYKB4QG5P/e1, proposition 3.4

History

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

8HB93GP6DX 8HB93GP6DX

URI	`m2://inv/8HB93GP6DX`
Kind	statement
Layer	research
MSC	13-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.07528#3G9I (statement). In WVX0T502A1/e1, theorem 4.5

History

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

8HBHM88PNP 8HBHM88PNP

URI	`m2://inv/8HBHM88PNP`
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 2303.00676#PMRL (statement). In 5351H04TJY/e1, theorem 4.9

History

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

Marvin Greenberg 8HBMJSQSZG

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

Mentions

wikipedia: Wikipedia Marvin Greenberg, Marvin Greenberg (topic). Also Wikidata Q28090636

History

2026-11-02: add by m2/dev

8HBMYZ4V6A 8HBMYZ4V6A

URI	`m2://inv/8HBMYZ4V6A`
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 2610.14847#HW1E (statement). In 2RC8WXQ9ET/e1, proposition 4.3

History

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

Emilio Del Giudice 8HBR0TKD11

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

Mentions

wikipedia: Wikipedia List of string theory topics#UTAR, Emilio Del Giudice (unknown)

History

2026-11-02: add by m2/dev

Examples 8HCHMATXP4

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

Mentions

wikipedia: Wikipedia Quasireversibility#22WW, Examples (example)

History

2026-11-02: add by m2/dev

Counting equally spaced points in an interval 8HCJ55SS4J

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

Mentions

arxiv: arXiv 2610.16351#7TIH, Counting equally spaced points in an interval (statement). In 1QSV7EQE3T/e1, lemma S41

History

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

Extensions 8HCMGTV4X2

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

Mentions

wikipedia: Wikipedia Hinge loss#V278, Extensions (statement)

History

2026-11-02: add by m2/dev

Theorem 8HCP2KSWYE

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

Mentions

wikipedia: Wikipedia Sparsity matroid#U022, Theorem (statement)

History

2026-11-02: add by m2/dev

Variants 8HCQX5TGK4

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

Mentions

wikipedia: Wikipedia Pursuit–evasion#J4NI, Variants (statement)

History

2026-11-02: add by m2/dev

Dual object 8HCQXPCSFG

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

Mentions

wikipedia: Wikipedia List of dualities#NW6Z, Dual object (definition)

History

2026-11-02: add by m2/dev

Examples 8HCSQSFK93

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

Mentions

wikipedia: Wikipedia Topological ring#2SO1, Examples (example)

History

2026-11-02: add by m2/dev

Small-set coboundary expansion 8HCSX9AKJY

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

Mentions

arxiv: arXiv 2610.00525#SU89, Small-set coboundary expansion (definition). In JN34PDDXH8/e1, definition 2.16

History

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

Mark Van Raamsdonk 8HCZTVA77F

URI	`m2://inv/8HCZTVA77F`
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 Q21795356, Mark Van Raamsdonk (unknown). Also nLab Mark Van Raamsdonk

History

2026-10-26: add by m2/dev

Examples 8HD198Y4RR

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

Mentions

wikipedia: Wikipedia Order complete#17H4, Examples (example)

History

2026-11-02: add by m2/dev

8HD20Q4E86 8HD20Q4E86

URI	`m2://inv/8HD20Q4E86`
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 2301.04933#UHMU (statement). In Q70CTMCJTP/e1, corollary 5.7

History

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

Wallace–Bolyai–Gerwien theorem 8HD22N168J

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

Mentions

wikipedia: Wikipedia List of theorems#O1LW, Wallace–Bolyai–Gerwien theorem (statement)

History

2026-11-02: add by m2/dev

8HD7H3FB0F 8HD7H3FB0F

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

Mentions

arxiv: arXiv 2610.07453#N1CK (statement). In CQGE4WJV4P/e1, proposition 2.2

History

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

direct image functor 8HDDNCPG6R

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

Mentions

wikidata: Wikidata Q5280340, direct image functor (unknown). Also nLab direct image
wikipedia: Wikipedia Direct image functor, Direct image functor (definition). Also Wikidata Q5280340

History

2026-10-26: add by m2/dev

8HDEHXV9JJ 8HDEHXV9JJ

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

Mentions

napkin: napkin tex/rep-theory/characters.tex#ques-3 (exercise). In RZP28ERRZV, ques, section 79.2

History

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

8HDG3PQZ0B 8HDG3PQZ0B

URI	`m2://inv/8HDG3PQZ0B`
Kind	statement
Layer	research
MSC	03-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.16475#V9MD (statement). In FM9SKN560Q/e1, proposition 3.3

History

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

maximum principle, harmonic functions 8HDG65N23H

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

Mentions

lebl_ra: lebl_ra index/5.6.1/maximum-principle-harmonic-functions, maximum principle, harmonic functions (concept). In E59CDZA4DP, index, section 5.6.1

History

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

8HDHM96H4X 8HDHM96H4X

URI	`m2://inv/8HDHM96H4X`
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.24023#HW2H (statement)

History

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

Demographics of Portugal 8HDHWWGN41

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

Mentions

wikipedia: Wikipedia Demographics of Portugal, Demographics of Portugal (definition). Also Wikidata Q1981371

History

2026-11-02: add by m2/dev

Bootstrapping populations 8HDKEBJ7MP

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

Mentions

wikipedia: Wikipedia Bootstrapping populations, Bootstrapping populations (definition). Also Wikidata Q4944089

History

2026-11-02: add by m2/dev

8HDRZ391JK 8HDRZ391JK

URI	`m2://inv/8HDRZ391JK`
Kind	statement
Layer	research
MSC	16-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 2512.16003#225I (statement). In BJGS6ZCQ12/e1, theorem 7.7

History

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

Morrison n + 1 primality test 8HDZ2B90MW

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

Mentions

wikipedia: Wikipedia Pocklington primality test#UCBZ, Morrison n + 1 primality test (unknown)

History

2026-11-02: add by m2/dev

Zeitschrift für allgemeine Wissenschaftstheorie 8HE38CCVZJ

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

Mentions

wikipedia: Wikipedia List of logic journals#KA2Y, Zeitschrift für allgemeine Wissenschaftstheorie (unknown)

History

2026-11-02: add by m2/dev

tangential triangle 8HE72WHGWG

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

Mentions

wikidata: Wikidata Q20828394, tangential triangle (unknown). Also MathWorld TangentialTriangle

History

2026-10-26: add by m2/dev

8HE7D3F6EZ 8HE7D3F6EZ

URI	`m2://inv/8HE7D3F6EZ`
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 2610.21632#STW7 (statement). In Q4RZTN2EX6/e1, proposition 5.8

History

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

8HEJTA5XEF 8HEJTA5XEF

URI	`m2://inv/8HEJTA5XEF`
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 2404.06445#C8AL (statement). In 12JKZ8EN52/e1, lemma 4.1

History

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

Probability of Joint Sector Satisfaction 8HEQ6DFBDG

URI	`m2://inv/8HEQ6DFBDG`
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.40252#G4NF, Probability of Joint Sector Satisfaction (statement). In 7MVPNFPRKB/e1, corollary 9.15

History

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

Risch algorithm 8HESDBVZGE

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

Mentions

wikipedia: Wikipedia List of algorithms#U9A2, Risch algorithm (definition)

History

2026-11-02: add by m2/dev

PyX 8HF2NP1H8V

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#3KDP, PyX (unknown)

History

2026-11-02: add by m2/dev

8HF6BA6F8G 8HF6BA6F8G

URI	`m2://inv/8HF6BA6F8G`
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.32176#9G4W (statement). In N9F5R2PV0E/e1, theorem 2.1

History

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

Special cases 8HF8X8YMXA

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

Mentions

wikipedia: Wikipedia Rényi entropy#Q530, Special cases (statement)

History

2026-11-02: add by m2/dev

category, of types 8HFJ7JMX25

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

Mentions

hott_book: hott_book index/2.9/category-of-types, category, of types (concept). In N54F33XE07, index, section 2.9

History

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

Turán's brick factory problem 8HFM575YWV

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

Mentions

wikidata: Wikidata Q25303632, Turán's brick factory problem (problem). Also MathWorld ZarankiewiczsConjecture
wikipedia: Wikipedia Turán's brick factory problem, Turán's brick factory problem (conjecture). Also Wikidata Q25303632

History

2026-10-26: add by m2/dev

8HFQBXFDWK 8HFQBXFDWK

URI	`m2://inv/8HFQBXFDWK`
Kind	definition
Layer	research
MSC	03-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.28742#KL3T (definition)

History

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

Whitehead's lemma 8HFX56HMMM

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

Mentions

wikipedia: Wikipedia List of lemmas#FGQ3, Whitehead's lemma (statement)

History

2026-11-02: add by m2/dev

Coherent sheaf cohomology 8HG1AKENE9

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#HWIL, Coherent sheaf cohomology (definition)

History

2026-11-02: add by m2/dev

Martin Aigner 8HG2WRYG1W

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

Mentions

wikipedia: Wikipedia Martin Aigner, Martin Aigner (topic). Also Wikidata Q86457

History

2026-11-02: add by m2/dev

8HG4515NAW 8HG4515NAW

URI	`m2://inv/8HG4515NAW`
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 2404.18704#WIHK (statement). In T4MQVXFGWC/e1, theorem 3.9

History

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

8HGBACQ14V 8HGBACQ14V

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

Mentions

arxiv: arXiv 2610.12238#B8DD (statement). In E31CZYM2H8/e1, lemma 2.3

History

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

Compound probability distribution 8HGE4147WZ

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

Mentions

wikipedia: Wikipedia Compound probability distribution, Compound probability distribution (definition). Also Wikidata Q5156926

History

2026-11-02: add by m2/dev

Weighted trace inequality 8HGFBQRDH1

URI	`m2://inv/8HGFBQRDH1`
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.28024#USXP, Weighted trace inequality (statement)

History

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

Edward Appleton 8HGFHAK1KK

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

Mentions

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

History

2026-11-02: add by m2/dev

Helly space 8HGP2QFQZS

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

Mentions

wikipedia: Wikipedia List of topologies#FKA5, Helly space (definition)

History

2026-11-02: add by m2/dev

Digital painting 8HGZ7H9ED6

URI	`m2://inv/8HGZ7H9ED6`
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#YKAT, Digital painting (unknown)

History

2026-11-02: add by m2/dev

Great inverted pentagonal hexecontahedron 8HH3TYGZMX

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

Mentions

wikipedia: Wikipedia Great inverted snub icosidodecahedron#8D5A, Great inverted pentagonal hexecontahedron (unknown)

History

2026-11-02: add by m2/dev

Hilbert matrix 8HHDDKA8WD

URI	`m2://inv/8HHDDKA8WD`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Hilbert matrix 2DTWB6F5TA

Mentions

wikidata: Wikidata Q612991, Hilbert matrix (unknown). Also MathWorld HilbertMatrix
wikipedia: Wikipedia Hilbert matrix, Hilbert matrix (definition). Also Wikidata Q612991

History

2026-10-26: add by m2/dev

Transport of endpoint potentials 8HHDPPYHT9

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

Mentions

arxiv: arXiv 2609.27752#BU8R, Transport of endpoint potentials (statement)

History

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

Applications 8HHP1RE60A

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

Mentions

wikipedia: Wikipedia Transpose graph#KTDD, Applications (example)

History

2026-11-02: add by m2/dev

8HHRHY8X94 8HHRHY8X94

URI	`m2://inv/8HHRHY8X94`
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.20775#VFSI (statement). In XG27B81T0G/e1, corollary conjecture

History

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

Explicit formula for double-well potential 8HHVCZ611V

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

Mentions

wikipedia: Wikipedia Instanton#WGP4, Explicit formula for double-well potential (statement)

History

2026-11-02: add by m2/dev

8HHVYERQ62 8HHVYERQ62

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

Mentions

open_logic: open_logic content/sets-functions-relations/arithmetization/rationals.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 78.5

History

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

8HJ1KMZ5A6 8HJ1KMZ5A6

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

Mentions

arxiv: arXiv 1009.2047#MYRJ (statement). In F3MWRNBNED/e1, proposition 7.9

History

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

Sperner's theorem 8HK7V2D9FQ

URI	`m2://inv/8HK7V2D9FQ`
Kind	statement
Layer	textbook
MSC	05-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Sperner's theorem 0J87V9K1GE

Mentions

mathlib_1000: mathlib_1000 Q2226786, Sperner's theorem (statement). Also Mathlib IsAntichain.sperner, Wikidata Q2226786
mathlib_overview: mathlib_overview Combinatorics > Set families > Sperner's theorem, Sperner's theorem (unknown). Also Mathlib IsAntichain.sperner
thousand_plus: thousand_plus Q2226786, Sperner's theorem (statement). Also Mathlib IsAntichain.sperner, Wikidata Q2226786, Wikipedia Sperner's theorem
wikidata: Wikidata Q2226786, Sperner's theorem (statement). Also MathWorld SpernersTheorem
wikipedia: Wikipedia Sperner's theorem, Sperner's theorem (statement). Also Wikidata Q2226786

History

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

8HK80NYY5P 8HK80NYY5P

URI	`m2://inv/8HK80NYY5P`
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 2106.09062#IWQS (statement). In 8HAH8QVKDF/e1, proposition 2.9

History

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

8HKF8344ZB 8HKF8344ZB

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

Mentions

arxiv: arXiv 2208.07784#OLNV (definition). In X0GJCD9768/e1, definition

History

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

Goursat problem 8HKJKE5007

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

Mentions

wikipedia: Wikipedia Goursat problem, Goursat problem (problem). Also Wikidata Q115252629

History

2026-11-02: add by m2/dev

Serafim Kalliadasis 8HKZ0YE3T7

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

Mentions

wikipedia: Wikipedia Serafim Kalliadasis, Serafim Kalliadasis (topic). Also Wikidata Q88534529

History

2026-11-02: add by m2/dev

8HM15C2NCE 8HM15C2NCE

URI	`m2://inv/8HM15C2NCE`
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.05696#FVEM (statement). In MG81A9XJTQ/e1, proposition III.2

History

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

Bill Roscoe 8HM33K4J8G

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#748U, Bill Roscoe (unknown)

History

2026-11-02: add by m2/dev

8HMQXHD4NA 8HMQXHD4NA

URI	`m2://inv/8HMQXHD4NA`
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.03422#HMSX (statement). In SF88CM0957/e1, lemma 2.2

History

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

K-fold cross-validation 8HMT8S54WC

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

Mentions

wikipedia: Wikipedia Cross-validation (statistics)#TUFP, K-fold cross-validation (unknown)

History

2026-11-02: add by m2/dev

Simplex 8HMTY835YF

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#FZSN, Simplex (definition)
wikipedia: Wikipedia List of mathematical shapes#OX0Q, Simplex (definition)
wikipedia: Wikipedia List of algebraic topology topics#TWDI, Simplex (definition)
wikipedia: Wikipedia List of general topology topics#BPR2, Simplex (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#PLDL, Simplex (definition)

History

2026-11-02: add by m2/dev

Properties 8HMYSGZ4BW

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

Mentions

wikipedia: Wikipedia Algebraic character#ZZFS, Properties (statement)

History

2026-11-02: add by m2/dev

Kallman–Rota inequality 8HNFMM8VW4

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

Mentions

wikipedia: Wikipedia Kallman–Rota inequality, Kallman–Rota inequality (statement). Also Wikidata Q6353895

History

2026-11-02: add by m2/dev

≌ 8HNJ28TBMD

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

Mentions

wikipedia: Wikipedia Equals sign#OQ63, ≌ (unknown)

History

2026-11-02: add by m2/dev

8HNTYDDCM1 8HNTYDDCM1

URI	`m2://inv/8HNTYDDCM1`
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.34339#OABL (statement). In 9WFSTGMQ4E/e1, theorem 1.5

History

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

8HNVJREJTS 8HNVJREJTS

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

Mentions

arxiv: arXiv 2609.28552#XORL (problem)

History

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

Siegfried Bosch 8HP3ZQCVDC

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

Mentions

wikipedia: Wikipedia Siegfried Bosch, Siegfried Bosch (topic). Also Wikidata Q15262199

History

2026-11-02: add by m2/dev

8HPJJV9GC6 8HPJJV9GC6

URI	`m2://inv/8HPJJV9GC6`
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.03310#DTUY (statement). In 2CQ2KPV3CG/e1, proposition 5.2

History

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

8HPNBSJXWK 8HPNBSJXWK

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

Mentions

arxiv: arXiv 2609.39539#M2W0 (definition). In GVR218P3ZR/e1, definition 9.0.1

History

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

8HPSC6N6NZ 8HPSC6N6NZ

URI	`m2://inv/8HPSC6N6NZ`
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#SPSE (statement)

History

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

8HPTZEB8N2 8HPTZEB8N2

URI	`m2://inv/8HPTZEB8N2`
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#M40S (statement). In X47RYAZF8P/e1, lemma 5.9

History

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

Beam waist 8HPVNKEQH3

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

Mentions

wikipedia: Wikipedia Gaussian beam#D1KQ, Beam waist (unknown)

History

2026-11-02: add by m2/dev

8HPVRWZCKR 8HPVRWZCKR

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

Mentions

arxiv: arXiv 2609.31604#GAUT (definition). In GSN5YTQS2K/e1, definition 3.14

History

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

Lemma 3 8HPXDKMGFH

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

Mentions

wikipedia: Wikipedia Hilbert's theorem (differential geometry)#3IGB, Lemma 3 (statement)

History

2026-11-02: add by m2/dev

Profit function and the critical fractile formula 8HQ7Z12GT0

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

Mentions

wikipedia: Wikipedia Newsvendor model#0JPD, Profit function and the critical fractile formula (statement)

History

2026-11-02: add by m2/dev

8HQJV06G27 8HQJV06G27

URI	`m2://inv/8HQJV06G27`
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.23872#TKS4 (statement)

History

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

Algorithm 8HQS7HJHCA

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

Mentions

wikipedia: Wikipedia GOST (hash function)#S35Y, Algorithm (definition)

History

2026-11-02: add by m2/dev

Inscribed angle theorem 8HR01XD7WN

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

Mentions

wikipedia: Wikipedia List of theorems#0J8W, Inscribed angle theorem (definition)

History

2026-11-02: add by m2/dev

excluded middle 8HR5N7MEF2

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

Mentions

hott_book: hott_book index/C.2/excluded-middle, excluded middle (concept). In N54F33XE07, index, section C.2

History

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

Discriminant of a real-valued function 8HRCKSBJFW

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

Mentions

wikipedia: Wikipedia Hessian matrix#J03S, Discriminant of a real-valued function (unknown)

History

2026-11-02: add by m2/dev

Generalization 8HRCZDHRKM

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

Mentions

wikipedia: Wikipedia Rank of an abelian group#OUO2, Generalization (statement)

History

2026-11-02: add by m2/dev

A block with zero path 8HRKESK03S

URI	`m2://inv/8HRKESK03S`
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#5AOP, A block with zero path (statement). In A20E8FZS21/e1, lemma 7.3

History

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

Statement 8HRPNHHFH7

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

Mentions

wikipedia: Wikipedia Zubov's method#V3UY, Statement (statement)

History

2026-11-02: add by m2/dev

Applications of integral theorems 8HRPS2P7DN

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

Mentions

wikipedia: Wikipedia Contour integration#16ZU, Applications of integral theorems (statement)

History

2026-11-02: add by m2/dev

8HRXHR1PKQ 8HRXHR1PKQ

URI	`m2://inv/8HRXHR1PKQ`
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.29723#NWWA (statement)

History

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

Generalization 8HRZ2K8R0G

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

Mentions

wikipedia: Wikipedia Cauchy–Binet formula#HBUO, Generalization (statement)

History

2026-11-02: add by m2/dev

8HS6W7PJ31 8HS6W7PJ31

URI	`m2://inv/8HS6W7PJ31`
Kind	definition
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#LZN1 (definition). In WRE0P7V6Z3/e1, definition D.13

History

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

Root-mean-square deviation 8HS6YXH2NW

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

Mentions

wikipedia: Wikipedia List of statistics articles#IFVM, Root-mean-square deviation (definition)

History

2026-11-02: add by m2/dev

The first $t$-slice for an arbitrary boundary 8HS9D4YM2G

URI	`m2://inv/8HS9D4YM2G`
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.24541#4OST, The first $t$-slice for an arbitrary boundary (statement)

History

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

Local estimator 8HS9JBZR3P

URI	`m2://inv/8HS9JBZR3P`
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.11330#7GIE, Local estimator (statement). In Z73GKA9WDB/e1, lemma B.3

History

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

Frege's theorem 8HSA47D8SY

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

Mentions

wikipedia: Wikipedia Glossary of logic#BG2S, Frege's theorem (definition)

History

2026-11-02: add by m2/dev

Classifying space for SU 8HSD3R3E9V

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

Mentions

wikipedia: Wikipedia Classifying space for SU(n)#J0WA, Classifying space for SU (unknown)

History

2026-11-02: add by m2/dev

Inverse-gamma distribution 8HSFBGCA0N

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

Mentions

wikipedia: Wikipedia Inverse-gamma distribution, Inverse-gamma distribution (definition). Also Wikidata Q3258521

History

2026-11-02: add by m2/dev

Spectral dimension 8HSFGSNM9J

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

Mentions

wikipedia: Wikipedia Spectral dimension, Spectral dimension (definition). Also Wikidata Q112182592

History

2026-11-02: add by m2/dev

8HSGV3G11Y 8HSGV3G11Y

URI	`m2://inv/8HSGV3G11Y`
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 2610.09314#HCX1 (statement). In Z04N0B3R0V/e1, corollary 3.7

History

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

Syria 8HSNZ95RN2

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

History

2026-10-26: add by m2/dev

8HSSC1EFEK 8HSSC1EFEK

URI	`m2://inv/8HSSC1EFEK`
Kind	problem
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.06755#D8JK (problem). In DKEX05SEXS/e1, problem

History

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

Inverse minors and a uniform bound 8HT0EHXGEP

URI	`m2://inv/8HT0EHXGEP`
Kind	statement
Layer	research
MSC	26-XX, 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.08568#8FNN, Inverse minors and a uniform bound (statement). In FDDA562VCA/e1, lemma 2.22

History

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

8HT287C13J 8HT287C13J

URI	`m2://inv/8HT287C13J`
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.19036#VPRF (statement). In 76GJ814P0A/e1, proposition 3.2

History

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

Approximate relative module 8HT740D3ZZ

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

Mentions

arxiv: arXiv 2609.28160#N67G, Approximate relative module (statement)

History

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

Hamiltonian path 8HT77WQKPA

URI	`m2://inv/8HT77WQKPA`
Kind	statement
Layer	textbook
MSC	05-XX
Sources	4
Outcome	open
Node	Hamiltonian path MBASZABTJ1

Mentions

mathlib_1000: mathlib_1000 Q273037, Bondy–Chvátal theorem (statement). Also Wikidata Q273037
thousand_plus: thousand_plus Q273037, Bondy–Chvátal theorem (statement). Also Wikidata Q273037, Wikipedia Bondy–Chvátal theorem
wikidata: Wikidata Q273037, Hamiltonian path (unknown). Also MathWorld HamiltonianPath
wikipedia: Wikipedia Hamiltonian path, Hamiltonian path (definition). Also Wikidata Q273037

History

2026-10-26: add by m2/dev

Average acceleration 8HTC026CMV

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

Mentions

wikipedia: Wikipedia Acceleration#ZSE7, Average acceleration (unknown)

History

2026-11-02: add by m2/dev

Group of Sobolev diffeomorphisms 8HTJ1WCNGC

URI	`m2://inv/8HTJ1WCNGC`
Kind	definition
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 2410.06788#10C8, Group of Sobolev diffeomorphisms (definition). In B2VE3JQZD3/e1, definition 3

History

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

absolute error 8HTKRBY0E2

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

Mentions

wikidata: Wikidata Q3057447, absolute error (unknown). Also EoM Absolute_error, MathWorld AbsoluteError

History

2026-10-26: add by m2/dev

Mice do not have a special appetite for cheese 8HTT2P457V

URI	`m2://inv/8HTT2P457V`
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#K9IA, Mice do not have a special appetite for cheese (unknown)

History

2026-11-02: add by m2/dev

Example 8HTTVZ1DQW

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

Mentions

wikipedia: Wikipedia Coding theory#DYFR, Example (example)

History

2026-11-02: add by m2/dev

8HTW6WXGB5 8HTW6WXGB5

URI	`m2://inv/8HTW6WXGB5`
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.33770#UOGF (statement). In 7DJ3C4V66R/e1, lemma 4.6

History

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

mere possibilia 8HV28344EB

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

Mentions

wikipedia: Wikipedia Glossary of logic#LNPD, mere possibilia (definition)

History

2026-11-02: add by m2/dev

8HV3D9ZBFT 8HV3D9ZBFT

URI	`m2://inv/8HV3D9ZBFT`
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.18226#XNH4 (statement). In B3EHT1FRM5/e1, theorem 1.4

History

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

8HV3NBG4YD 8HV3NBG4YD

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

Mentions

arxiv: arXiv 2610.13213#92JH (definition). In V97F4YZ8B0/e1, definition 9.2

History

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

8HV3RJVV72 8HV3RJVV72

URI	`m2://inv/8HV3RJVV72`
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.06463#OFK0 (statement). In 3WWY9K1K9V/e1, proposition 6

History

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

Higher-derivative test 8HV42T4Z2V

URI	`m2://inv/8HV42T4Z2V`
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.22107#JDU1, Higher-derivative test (statement). In SN5RJPQ713/e1, lemma 2.1

History

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

8HV8AWQEDS 8HV8AWQEDS

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

Mentions

arxiv: arXiv 2609.22560#B45T (statement)

History

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

8HVPC0JN9E 8HVPC0JN9E

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#proof-26 (proof). In E59CDZA4DP, proof, section 1.7.2

History

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

Bernardo, José-Miguel 8HVX4BF3S4

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

Mentions

wikipedia: Wikipedia List of statisticians#WH6S, Bernardo, José-Miguel (unknown)

History

2026-11-02: add by m2/dev

David Gregory 8HVXJPAFK6

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

Mentions

wikipedia: Wikipedia David Gregory (mathematician), David Gregory (topic). Also Wikidata Q1174600

History

2026-11-02: add by m2/dev

8HW3V9FWDF 8HW3V9FWDF

URI	`m2://inv/8HW3V9FWDF`
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.20588#CWZL (statement)

History

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

George Batchelor 8HW4F587YB

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

Mentions

wikipedia: Wikipedia George Batchelor, George Batchelor (topic). Also Wikidata Q339309

History

2026-11-02: add by m2/dev

8HW58A56CZ 8HW58A56CZ

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 1.3

History

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

no-cloning theorem 8HWK3YKTN3

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

Mentions

mathlib_1000: mathlib_1000 Q1751823, No-cloning theorem (statement). Also Wikidata Q1751823
thousand_plus: thousand_plus Q1751823, No-cloning theorem (statement). Also Wikidata Q1751823, Wikipedia No-cloning theorem
wikidata: Wikidata Q1751823, no-cloning theorem (unknown). Also nLab no-cloning theorem
wikipedia: Wikipedia No-cloning theorem, No-cloning theorem (statement). Also Wikidata Q1751823

History

2026-10-26: add by m2/dev

8HWN5MZ9XG 8HWN5MZ9XG

URI	`m2://inv/8HWN5MZ9XG`
Kind	statement
Layer	research
MSC	05-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 2609.25983#SQ5X (statement)

History

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

8HWP1S4FY1 8HWP1S4FY1

URI	`m2://inv/8HWP1S4FY1`
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 0911.1417#OIIY (statement). In BBD7TZW79R/e1, corollary 5.11

History

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

Markus–Yamabe conjecture 8HWPTSFW32

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

Mentions

mathlib_1000: mathlib_1000 Q6771536, Markus−Yamabe theorem (statement). Also Wikidata Q6771536
thousand_plus: thousand_plus Q6771536, Markus−Yamabe theorem (statement). Also Wikidata Q6771536, Wikipedia Markus−Yamabe theorem
wikipedia: Wikipedia Markus–Yamabe conjecture, Markus–Yamabe conjecture (statement). Also Wikidata Q6771536

History

2026-10-26: add by m2/dev

Many-body localization 8HWRZMBX6W

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

Mentions

wikipedia: Wikipedia Many-body localization, Many-body localization (definition). Also Wikidata Q60791227

History

2026-11-02: add by m2/dev

Alexander matrix 8HWXBA2TK4

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

Mentions

wikidata: Wikidata Q4720489, Alexander matrix (concept). Also MathWorld AlexanderMatrix
wikipedia: Wikipedia Alexander matrix, Alexander matrix (definition). Also Wikidata Q4720489

History

2026-10-26: add by m2/dev

8HWYJQ8BGG 8HWYJQ8BGG

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

Mentions

napkin: napkin tex/topology/metric-top.tex#prob:subtract_divide (exercise). In RZP28ERRZV, problem, section 100.8

History

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

8HX1SZ0ZQ3 8HX1SZ0ZQ3

URI	`m2://inv/8HX1SZ0ZQ3`
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.08873#D4JN (statement). In 7WMNVJBAVR/e1, lemma 3.9

History

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

8HX60SM40R 8HX60SM40R

URI	`m2://inv/8HX60SM40R`
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.06707#GE18 (statement). In 9TR5E527P5/e1, lemma 2.9

History

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

8HX8EBEX0W 8HX8EBEX0W

URI	`m2://inv/8HX8EBEX0W`
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 math/0411039#0T9G (statement). In ZTBDXSKFFW/e1, lemma 4.3

History

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

Riemannian logarithm 8HXD0AZSVY

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

Mentions

arxiv: arXiv 2610.17004#GB00, Riemannian logarithm (definition). In XNJGNMS6H0/e1, definition B.8

History

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

The flip equation 8HXDVF2QFR

URI	`m2://inv/8HXDVF2QFR`
Kind	statement
Layer	research
MSC	17-XX, 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 2610.17482#XAAQ, The flip equation (statement). In BQQK9JDJ9F/e1, proposition 4.2

History

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

Sherri Rose 8HXKT2HP7K

URI	`m2://inv/8HXKT2HP7K`
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#MG0F, Sherri Rose (topic)

History

2026-11-02: add by m2/dev

Legendre transform 8HXN89XZFY

URI	`m2://inv/8HXN89XZFY`
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.17519#IA4I, Legendre transform (definition). In H2DNTQ5MKV/e1, definition 5.5

History

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

8HXTS7ZYWT 8HXTS7ZYWT

URI	`m2://inv/8HXTS7ZYWT`
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 2610.03661#QBH0 (statement). In ESDKTYDHC8/e1, lemma 16

History

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

8HXZGA32N7 8HXZGA32N7

URI	`m2://inv/8HXZGA32N7`
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 2008.10035#1B4Y (statement). In 29EH04FH4B/e1, theorem 5.6

History

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

Generalization 8HY6SM32N2

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

Mentions

wikipedia: Wikipedia Woodall number#J6OM, Generalization (statement)

History

2026-11-02: add by m2/dev

Poisson kernel 8HY9EY9SCW

URI	`m2://inv/8HY9EY9SCW`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Poisson kernel TCYSWCTYYM

Mentions

wikidata: Wikidata Q2596534, Poisson kernel (concept). Also MathWorld PoissonKernel
wikipedia: Wikipedia Poisson kernel, Poisson kernel (definition). Also Wikidata Q2596534

History

2026-10-26: add by m2/dev

Tangential derivative of the boundary condition 8HYPXYSCMB

URI	`m2://inv/8HYPXYSCMB`
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.29393#RFJ6, Tangential derivative of the boundary condition (statement)

History

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

Subgroups of $\ZZ$ 8HYVFV5RXH

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

Mentions

napkin: napkin tex/topology/cover-project.tex#example-11, Subgroups of $\ZZ$ (example). In RZP28ERRZV, example, section 97.5

History

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

8HZ3AMJ8G7 8HZ3AMJ8G7

URI	`m2://inv/8HZ3AMJ8G7`
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.39539#CHKP (statement). In GVR218P3ZR/e1, lemma 4.4.1

History

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

8HZ3Z5APXM 8HZ3Z5APXM

URI	`m2://inv/8HZ3Z5APXM`
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.23634#EUNX (statement)

History

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

Failure of stable algorithms 8HZ6Z3ND4R

URI	`m2://inv/8HZ6Z3ND4R`
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.40345#FBPA, Failure of stable algorithms (statement). In WK0PT95WW1/e1, theorem 4.3

History

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

8HZDQFZJ20 8HZDQFZJ20

URI	`m2://inv/8HZDQFZJ20`
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 0902.4887#HXXS (statement). In MYQ05J9R20/e1, proposition 2.10

History

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

Variants 8HZJE2928C

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

Mentions

wikipedia: Wikipedia Mersenne Twister#URP9, Variants (statement)

History

2026-11-02: add by m2/dev

8HZMEVHQRA 8HZMEVHQRA

URI	`m2://inv/8HZMEVHQRA`
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 2207.12181#7S5B (statement). In FSD8NE3XSR/e1, proposition 4.6

History

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

8HZN8PMNYA 8HZN8PMNYA

URI	`m2://inv/8HZN8PMNYA`
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.31757#C9O5 (statement). In KBJHAD5TTY/e1, theorem 2.11

History

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

8HZT8JEX0B 8HZT8JEX0B

URI	`m2://inv/8HZT8JEX0B`
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.21388#1H2S (statement)

History

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

Carl Pomerance 8HZWP438QP

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#75F3, Carl Pomerance (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#24S5, Carl Pomerance (topic)

History

2026-11-02: add by m2/dev

History of Mendelian inheritance 8HZXBDZQ50

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

Mentions

wikipedia: Wikipedia Mendelian inheritance#SHJL, History of Mendelian inheritance (unknown)

History

2026-11-02: add by m2/dev

Margrabe's formula 8H0BECM06Q

Mentions

History

Proof of Green's theorem for $U$ of type III 8H0BR8AS0E

Mentions

History

8H0DAVGAJK 8H0DAVGAJK

Mentions

History

8H0DHX3SQ4 8H0DHX3SQ4

Mentions

History

\(d=3\), \(n=3\ 8H0FC59E0K

Mentions

History

Further examples 8H0H3VZH8D

Mentions

History

connectives, if and only if 8H0KH4S5CN

Mentions

History

Topological mixing 8H0KKWEJS8

Mentions

History

Steenrod homology 8H0RMRFTYH

Mentions

History

Banach game 8H0V0BTNHC

Mentions

History

Schwarz minimal surface 8H17J7B7HA

Mentions

History

Taguette 8H18C5RVEG

Mentions

History

chain map 8H18F7WHAJ

Mentions

History

8H1P77AF55 8H1P77AF55

Mentions

History

(a, b)-decomposition 8H1VDTDAH7

Mentions

History

Cross-sectional regression 8H1Y2YWTK3

Mentions

History

8H2145J9GY 8H2145J9GY

Mentions

History

Final Value Theorem for a function that diverges to infinity 8H25R93NAD

Mentions

History

8H2AD20K8J 8H2AD20K8J

Mentions

History

Sectional curvature 8H2RQHHZY4

Mentions

History

8H2T0N49W2 8H2T0N49W2

Mentions

History

Directional Hessian Smoothness Bound 8H2TGM3R2A

Mentions

History

8H2Y6V4WCT 8H2Y6V4WCT

Mentions

History

8H30TDQMP7 8H30TDQMP7

Mentions

History

8H360K3668 8H360K3668

Mentions

History

8H3640VFKY 8H3640VFKY

Mentions

History

Azriel Lévy 8H36R1085F

Mentions