Inventory rows EW

Berger–Kazdan comparison theorem EW00MBWHEE

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

Mentions

mathlib_1000: mathlib_1000 Q4891633, Berger–Kazdan comparison theorem (statement). Also Wikidata Q4891633
thousand_plus: thousand_plus Q4891633, Berger–Kazdan comparison theorem (statement). Also Wikidata Q4891633, Wikipedia Berger–Kazdan comparison theorem
wikidata: Wikidata Q4891633, Berger–Kazdan comparison theorem (statement). Also MathWorld Berger-KazdanComparisonTheorem
wikipedia: Wikipedia Berger's isoembolic inequality, Berger's isoembolic inequality (statement). Also Wikidata Q4891633

History

2026-10-26: add by m2/dev

Almost sure convergence EW03X3XWHD

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

Mentions

arxiv: arXiv 2610.12873#Q7BV, Almost sure convergence (statement). In 9MMD2N7DQ1/e1, theorem 4.3

History

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

Carmichael's theorem EW04F0WHT7

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

Mentions

mathlib_1000: mathlib_1000 Q3889376, Carmichael's theorem (statement). Also Wikidata Q3889376
thousand_plus: thousand_plus Q3889376, Carmichael's theorem (statement). Also Wikidata Q3889376, Wikipedia Carmichael's theorem
wikipedia: Wikipedia Carmichael's theorem, Carmichael's theorem (statement). Also Wikidata Q3889376

History

2026-10-26: add by m2/dev

Jenni Alpert EW05T6Q42H

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#FYF0, Jenni Alpert (unknown)

History

2026-11-02: add by m2/dev

Generalization EW0AV6XYJ3

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

Mentions

wikipedia: Wikipedia Pierpont prime#2QBI, Generalization (statement)

History

2026-11-02: add by m2/dev

existential sentence EW0ETQQZY3

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

Mentions

wikidata: Wikidata Q141488402, existential sentence (unknown). Also MathWorld ExistentialSentence

History

2026-10-26: add by m2/dev

Deformed Hermitian Yang–Mills equation EW13XN0MNM

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

Mentions

wikipedia: Wikipedia Deformed Hermitian Yang–Mills equation, Deformed Hermitian Yang–Mills equation (definition). Also Wikidata Q96376142

History

2026-11-02: add by m2/dev

EW19CXVJY2 EW19CXVJY2

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

Mentions

open_logic: open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 22.5

History

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

Gosper's algorithm EW1A9WTT8F

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

Mentions

wikipedia: Wikipedia Gosper's algorithm, Gosper's algorithm (definition). Also Wikidata Q5587427

History

2026-11-02: add by m2/dev

EW1CJTMPC4 EW1CJTMPC4

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

Mentions

hott_book: hott_book categories.tex#ex:set-slice-over-equiv-functor-category (exercise). In N54F33XE07, ex, section 2.9

History

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

Multisample anti-aliasing EW1GJGV6WB

URI	`m2://inv/EW1GJGV6WB`
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#89GZ, Multisample anti-aliasing (unknown)

History

2026-11-02: add by m2/dev

frustum EW1TW3T958

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

Mentions

wikidata: Wikidata Q846235, frustum (unknown). Also MathWorld Frustum
wikipedia: Wikipedia Frustum, Frustum (definition). Also Wikidata Q846235

History

2026-10-26: add by m2/dev

EW1YVQ29BQ EW1YVQ29BQ

URI	`m2://inv/EW1YVQ29BQ`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 53-XX, 57-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 2111.14699#W0OD (statement). In ES1CVGG59Y/e1, lemma 5.8

History

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

EW21K1WA4G EW21K1WA4G

URI	`m2://inv/EW21K1WA4G`
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.14099#JOLG (statement). In D77GXFTKFH/e1, theorem 13

History

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

EW24WDKCCF EW24WDKCCF

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

Mentions

hott_book: hott_book reals.tex#cor-1 (statement). In N54F33XE07, cor, section B.2.2

History

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

XYZ particle EW291FDKMM

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

Mentions

wikidata: Wikidata Q30672672, XYZ particle (unknown). Also nLab XYZ particle

History

2026-10-26: add by m2/dev

Michael Buro EW2BQM8TK5

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

Mentions

wikipedia: Wikipedia Michael Buro, Michael Buro (topic). Also Wikidata Q121514463

History

2026-11-02: add by m2/dev

EW2FQXVMGX EW2FQXVMGX

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

Mentions

arxiv: arXiv 2609.30444#GOJM (example). In RZWJ0AT8W5/e1, example 2.12

History

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

Nurikabe EW2GRNTRNP

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#MNJH, Nurikabe (unknown)

History

2026-11-02: add by m2/dev

EW2JNZSRV6 EW2JNZSRV6

URI	`m2://inv/EW2JNZSRV6`
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.20391#26BR (statement). In CTAS41TRM2/e1, lemma 7.10

History

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

Malgrange–Zerner theorem EW2QNQQ7DV

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

Mentions

mathlib_1000: mathlib_1000 Q107547910, Malgrange–Zerner theorem (statement). Also Wikidata Q107547910
thousand_plus: thousand_plus Q107547910, Malgrange–Zerner theorem (statement). Also Wikidata Q107547910, Wikipedia Malgrange–Zerner theorem
wikipedia: Wikipedia Malgrange–Zerner theorem, Malgrange–Zerner theorem (statement). Also Wikidata Q107547910

History

2026-10-26: add by m2/dev

Richard Timothy Durrett EW2W0NDYS8

URI	`m2://inv/EW2W0NDYS8`
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#Q5ND, Richard Timothy Durrett (topic)

History

2026-11-02: add by m2/dev

Kathryn Roeder EW2YXJ80G8

URI	`m2://inv/EW2YXJ80G8`
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#X61E, Kathryn Roeder (topic)

History

2026-11-02: add by m2/dev

Geoboard EW326XX09A

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

Mentions

wikipedia: Wikipedia Geoboard, Geoboard (definition). Also Wikidata Q1135755

History

2026-11-02: add by m2/dev

Hermite limit of the Laguerre row weights of the first kind EW36PX48W9

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

Mentions

arxiv: arXiv 2609.22027#YLHE, Hermite limit of the Laguerre row weights of the first kind (statement)

History

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

Some properties on $\dim_H$ EW3AT9RT63

URI	`m2://inv/EW3AT9RT63`
Kind	statement
Layer	research
MSC	26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-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 2505.10801#GY31, Some properties on $\dim_H$ (statement). In BWJS3H55WH/e1, lemma 33

History

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

EW3C4DC4E9 EW3C4DC4E9

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

Mentions

arxiv: arXiv 2610.16606#ZBKU (statement). In A798V7TX99/e1, proposition 5.28

History

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

Joseph H. Silverman EW3GTPTK0Z

URI	`m2://inv/EW3GTPTK0Z`
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 Q60043, Joseph H. Silverman (unknown). Also nLab Joseph Silverman
wikipedia: Wikipedia Joseph H. Silverman, Joseph H. Silverman (topic). Also Wikidata Q60043

History

2026-10-26: add by m2/dev

Example EW3KHQ6EW2

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

Mentions

wikipedia: Wikipedia Slice sampling#60T9, Example (example)

History

2026-11-02: add by m2/dev

pariah group EW3PW8ED3W

URI	`m2://inv/EW3PW8ED3W`
Kind	object
Layer	textbook
Sources	2
Outcome	open
Node	Pariah groups ZYZ5FYG7QC

Mentions

wikidata: Wikidata Q278338, pariah group (unknown). Also nLab pariah group
wikipedia: Wikipedia Pariah group, Pariah group (object). Also Wikidata Q278338

History

2026-10-26: add by m2/dev

Dehn's lemma EW3R0AHN40

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

Mentions

wikipedia: Wikipedia List of incomplete proofs#TVOZ, Dehn's lemma (statement)

History

2026-11-02: add by m2/dev

Onicescu, Octav EW3S63DEYN

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

Mentions

wikipedia: Wikipedia List of statisticians#2H6E, Onicescu, Octav (unknown)

History

2026-11-02: add by m2/dev

EW3TEG8Y0E EW3TEG8Y0E

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#example-1 (example). In E59CDZA4DP, example, section 7.1

History

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

Herbert Westren Turnbull EW3XH8QCRE

URI	`m2://inv/EW3XH8QCRE`
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#M0JO, Herbert Westren Turnbull (unknown)

History

2026-11-02: add by m2/dev

Dov Tamari EW3Z7BPCKA

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#GEML, Dov Tamari (unknown)

History

2026-11-02: add by m2/dev

I. M. Rubinow EW42KJGBW0

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#GUE2, I. M. Rubinow (unknown)

History

2026-11-02: add by m2/dev

Lanchester's law in use EW44E6TBPD

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

Mentions

wikipedia: Wikipedia Lanchester's laws#PAAP, Lanchester's law in use (statement)

History

2026-11-02: add by m2/dev

Relation to Euler's formula EW482CG601

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

Mentions

wikipedia: Wikipedia De Moivre's formula#PSZD, Relation to Euler's formula (statement)

History

2026-11-02: add by m2/dev

Mattawa EW4CSBND7G

URI	`m2://inv/EW4CSBND7G`
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#IRYM, Mattawa (unknown)

History

2026-11-02: add by m2/dev

inelastic scattering EW4DE22DDA

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

Mentions

wikidata: Wikidata Q3027672, inelastic scattering (unknown). Also nLab inelastic scattering

History

2026-10-26: add by m2/dev

Energy shift EW4NXSPP3E

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

Mentions

arxiv: arXiv 2610.06490#BJR5, Energy shift (statement). In NKXTXH59P1/e1, lemma E.4

History

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

\texttt{Linear case EW4PXW167X

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

Mentions

arxiv: arXiv 2610.06343#BMRF, \texttt{Linear case (example). In R8176XJ535/e1, example 5.1

History

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

Mabuchi functional EW4ZMBGH8B

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

Mentions

wikipedia: Wikipedia Mabuchi functional, Mabuchi functional (definition). Also Wikidata Q108365787

History

2026-11-02: add by m2/dev

EW51FJVSPG EW51FJVSPG

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

Mentions

arxiv: arXiv 2308.05066#55R7 (statement). In 1QSCT53ZED/e1, corollary 7.20

History

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

Graded lexicographic order EW53DFY0CX

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

Mentions

wikipedia: Wikipedia Monomial order#4Q5G, Graded lexicographic order (unknown)

History

2026-11-02: add by m2/dev

EW54R58A50 EW54R58A50

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

Mentions

arxiv: arXiv 2610.09422#4H7T (statement). In MS7M2BJS9X/e1, lemma 4.14

History

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

EW5B09FSHG EW5B09FSHG

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

Mentions

napkin: napkin tex/homology/long-exact.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 54.3

History

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

Properties EW5N3P2C3Q

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

Mentions

wikipedia: Wikipedia Generalized spectrogram#UCNU, Properties (statement)

History

2026-11-02: add by m2/dev

Giuseppe Casazza EW5S4ABVD8

URI	`m2://inv/EW5S4ABVD8`
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#5JP7, Giuseppe Casazza (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#DY3H, Giuseppe Casazza (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VOLK, Giuseppe Casazza (unknown)

History

2026-11-02: add by m2/dev

Kyushu EW60Z10VVA

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

Mentions

wikipedia: Wikipedia List of places with numeric names#2Z3W, Kyushu (unknown)

History

2026-11-02: add by m2/dev

Prouhet digit-sum identity EW66M9ETYH

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

Mentions

arxiv: arXiv 2610.15421#SNQE, Prouhet digit-sum identity (statement). In 3RBKH0DA74/e1, lemma 5.2

History

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

EW66TYWF2Q EW66TYWF2Q

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

Mentions

arxiv: arXiv 2602.07485#CDXQ (statement). In 8KAC1E81JQ/e1, theorem 1

History

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

Grossone EW6EE6TY7B

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

Mentions

wikipedia: Wikipedia Grossone, Grossone (definition). Also Wikidata Q140133816

History

2026-11-02: add by m2/dev

EW6ERXCE0T EW6ERXCE0T

URI	`m2://inv/EW6ERXCE0T`
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.10928#HJLU (statement). In 8M7BFVQYMM/e1, lemma 2.1

History

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

EW6PND3032 EW6PND3032

URI	`m2://inv/EW6PND3032`
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#DZUV (statement)

History

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

EW6RAFTT0J EW6RAFTT0J

URI	`m2://inv/EW6RAFTT0J`
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.24902#3X1W (statement)

History

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

EW6WX1MZQD EW6WX1MZQD

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

Mentions

arxiv: arXiv 2610.17518#Z3XN (statement). In YA4JEWTVS4/e1, lemma 7.7

History

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

Six exponentials theorem EW708J64J3

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

Mentions

wikipedia: Wikipedia List of exponential topics#C0BK, Six exponentials theorem (statement)

History

2026-11-02: add by m2/dev

EW76MTHQWY EW76MTHQWY

URI	`m2://inv/EW76MTHQWY`
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.24795#AJ0H (statement)

History

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

EW7BHC58YH EW7BHC58YH

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

Mentions

arxiv: arXiv 2609.25973#JPQD (statement)

History

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

Variants EW7BZ389XS

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

Mentions

wikipedia: Wikipedia 100 prisoners problem#1QI5, Variants (statement)

History

2026-11-02: add by m2/dev

minor EW7CB0WWRJ

URI	`m2://inv/EW7CB0WWRJ`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Minor 0BT9BYWVRY

Mentions

wikidata: Wikidata Q1341061, minor (unknown). Also EoM minor, MathWorld Minor
wikipedia: Wikipedia Minor (linear algebra), Minor (definition). Also Wikidata Q1341061

History

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

Hiroshi Saito EW7CZ7PQZ5

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

Mentions

wikipedia: Wikipedia Hiroshi Saito (mathematician), Hiroshi Saito (topic). Also Wikidata Q18645751

History

2026-11-02: add by m2/dev

Example EW7D1M0MKW

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

Mentions

wikipedia: Wikipedia Tripling-oriented Doche–Icart–Kohel curve#CCRP, Example (example)

History

2026-11-02: add by m2/dev

monadic function EW7JASY64G

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

Mentions

wikipedia: Wikipedia Glossary of logic#CEN1, monadic function (definition)

History

2026-11-02: add by m2/dev

Mish (function) EW7M34TEQA

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

Mentions

wikipedia: Wikipedia Rectified linear unit#PG2L, Mish (function) (unknown)

History

2026-11-02: add by m2/dev

Saxon--Wilansky EW7WGPY7AF

URI	`m2://inv/EW7WGPY7AF`
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.00584#JJ36, Saxon--Wilansky (statement). In 3CRSR95BNA/e1, theorem 2.1

History

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

bounded set EW7ZB5GBVX

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

Mentions

lebl_ra: lebl_ra index/7.1/bounded-set, bounded set (concept). In E59CDZA4DP, index, section 7.1

History

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

EW7ZTBWK63 EW7ZTBWK63

URI	`m2://inv/EW7ZTBWK63`
Kind	statement
Layer	research
MSC	05-XX, 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.05179#LX3G (statement). In 9EMCPF1F2T/e1, proposition 26

History

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

EW80MAB7K1 EW80MAB7K1

URI	`m2://inv/EW80MAB7K1`
Kind	definition
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 2503.16884#VD88 (definition). In B984KNW591/e1, definition 5.1

History

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

EW8B6WTD7N EW8B6WTD7N

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

Mentions

arxiv: arXiv math/0406514#LBZG (statement). In CY1FE8W1ZW/e1, statement 0.232

History

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

EW8E4TZPFN EW8E4TZPFN

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

Mentions

arxiv: arXiv 2610.11847#3DXE (statement). In MP2YM69XW8/e1, theorem 8

History

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

Inverse tangent integral EW8F46D6A7

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

Mentions

wikipedia: Wikipedia Inverse tangent integral, Inverse tangent integral (definition). Also Wikidata Q107524938

History

2026-11-02: add by m2/dev

Statement EW8J5BYZJG

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

Mentions

wikipedia: Wikipedia Open coloring axiom#Z4GO, Statement (statement)

History

2026-11-02: add by m2/dev

Daqing Wan EW8JTEDMFQ

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

Mentions

wikipedia: Wikipedia Daqing Wan, Daqing Wan (topic). Also Wikidata Q5221836

History

2026-11-02: add by m2/dev

Definition EW8M5WA8G1

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

Mentions

wikipedia: Wikipedia Kappa calculus#XGAS, Definition (definition)

History

2026-11-02: add by m2/dev

EW8MFEQMR4 EW8MFEQMR4

URI	`m2://inv/EW8MFEQMR4`
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.09084#MAFQ (statement). In F5VT2K2QYX/e1, fact 22

History

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

Threefold Gaussian convexity EW8SWRY4K6

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

Mentions

arxiv: arXiv 2609.38228#60M6, Threefold Gaussian convexity (statement). In 9YAE8FNQST/e1, theorem 14.8

History

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

Full strong entropy EW973FM5EG

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

Mentions

arxiv: arXiv 2610.16069#32OV, Full strong entropy (statement). In MBJA03ES8N/e1, corollary 7.7

History

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

Huai-Dong Cao EW9EMT0K58

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

Mentions

wikipedia: Wikipedia List of Chinese mathematicians#PUNH, Huai-Dong Cao (unknown)

History

2026-11-02: add by m2/dev

\coqident{Partiality}{PCF}{denotational_semantics_terms EW9FYWJ69H

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

Mentions

arxiv: arXiv 1904.09810#PYAP, \coqident{Partiality}{PCF}{denotational_semantics_terms (definition). In T1VFA7TXPA/e1, definition 38

History

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

EW9J7KD0J4 EW9J7KD0J4

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

Mentions

arxiv: arXiv 2103.08272#WHN0 (statement). In H72E12TYHA/e1, theorem 4.4

History

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

Theorem EW9K6QGSVF

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

Mentions

wikipedia: Wikipedia Cayley configuration space#2AVH, Theorem (statement)

History

2026-11-02: add by m2/dev

EW9QYAXVSF EW9QYAXVSF

URI	`m2://inv/EW9QYAXVSF`
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.32140#ELS8 (statement). In 96Z8GEEFH4/e1, lemma 8.2

History

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

Distinction EW9RW4XHR4

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

Mentions

wikipedia: Wikipedia Distinction (philosophy), Distinction (definition). Also Wikidata Q5282965

History

2026-11-02: add by m2/dev

Consistency criterion EW9SK77Y2Z

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

Mentions

wikipedia: Wikipedia Consistency criterion, Consistency criterion (statement). Also Wikidata Q5163223

History

2026-11-02: add by m2/dev

EW9Z4TFR9D EW9Z4TFR9D

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

Mentions

arxiv: arXiv 2610.22288#MEVV (statement). In X38P26DK6S/e1, proposition 7.2

History

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

Matrix reference laws with inverse-square-root loss EWA3HF8S1M

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

Mentions

arxiv: arXiv 2609.38228#NS6Q, Matrix reference laws with inverse-square-root loss (statement). In 9YAE8FNQST/e1, theorem 7.1

History

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

Cusp neighborhood EWA4XSWC4F

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

Mentions

wikipedia: Wikipedia Cusp neighborhood, Cusp neighborhood (definition). Also Wikidata Q5196232

History

2026-11-02: add by m2/dev

Estimating a damped natural gradient from samples EWA5PDPN4B

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

Mentions

arxiv: arXiv 2609.33499#XWVI, Estimating a damped natural gradient from samples (statement). In AAH14S2JJ2/e1, proposition E.1

History

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

Relationship to the four-square theorem EWA9CDKBGK

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

Mentions

wikipedia: Wikipedia Legendre's three-square theorem#1PGV, Relationship to the four-square theorem (statement)

History

2026-11-02: add by m2/dev

EWAE22CPJD EWAE22CPJD

URI	`m2://inv/EWAE22CPJD`
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 2610.19437#JUH2 (definition). In 9PXXGQ978Z/e1, definition 2.1
arxiv: arXiv 2610.19449#I438 (definition). In 8ZKPJ3CBDF/e1, definition 1.1

History

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

Gomory–Hu tree EWAFFXRV6J

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

Mentions

wikipedia: Wikipedia Gomory–Hu tree, Gomory–Hu tree (definition). Also Wikidata Q5581241

History

2026-11-02: add by m2/dev

Initial morphisms. EWAXSSBW97

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

Mentions

wikipedia: Wikipedia Adjoint functors#FA29, Initial morphisms. (definition)

History

2026-11-02: add by m2/dev

EWB64FB1X3 EWB64FB1X3

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

Mentions

arxiv: arXiv 0902.4012#NIV4 (statement). In 6FH16YESRH/e1, theorem 3.1

History

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

Philosophiegeschichte und logische Analyse EWBBMMD9TJ

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

Mentions

wikipedia: Wikipedia List of logic journals#RJ9U, Philosophiegeschichte und logische Analyse (unknown)

History

2026-11-02: add by m2/dev

Orbital graph criteria EWBQAYK24R

URI	`m2://inv/EWBQAYK24R`
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.15340#V404, Orbital graph criteria (statement). In 9NVKKW8HDH/e1, lemma 3.4

History

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

Definition EWBSQYE3DK

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

Mentions

wikipedia: Wikipedia Character module#P2LJ, Definition (definition)

History

2026-11-02: add by m2/dev

George Roger Sell EWBSY7JQJM

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

Mentions

wikipedia: Wikipedia George Roger Sell, George Roger Sell (topic). Also Wikidata Q49996592

History

2026-11-02: add by m2/dev

EWBVGHGBA5 EWBVGHGBA5

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

Mentions

napkin: napkin tex/H113/ring-flavors.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 4.6

History

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

Examples EWBX599W2G

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

Mentions

wikipedia: Wikipedia List object#EBNN, Examples (example)

History

2026-11-02: add by m2/dev

$n$-type EWC0VXP50A

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

Mentions

hott_book: hott_book index/6/n-type, $n$-type (concept). In N54F33XE07, index, section 6

History

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

Prakash Belkale EWCDHPW0XP

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

Mentions

wikipedia: Wikipedia Prakash Belkale, Prakash Belkale (topic). Also Wikidata Q16269289

History

2026-11-02: add by m2/dev

EWCHP2AWSD EWCHP2AWSD

URI	`m2://inv/EWCHP2AWSD`
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.30113#3A39 (statement)

History

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

EWCNJP1VVC EWCNJP1VVC

URI	`m2://inv/EWCNJP1VVC`
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.18536#86BS (statement). In JM5KKNKK1J/e1, proposition 4.3

History

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

compactness EWCRGFE2BM

URI	`m2://inv/EWCRGFE2BM`
Kind	statement
Layer	research
MSC	35-XX, 46-XX, 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.26645#HZWG, compactness (statement)

History

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

EWCY6NR0V9 EWCY6NR0V9

URI	`m2://inv/EWCY6NR0V9`
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#D7BO (statement). In AGJE43FTF8/e1, lemma 4.20

History

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

quasi-coherent EWCZZZ678G

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#3PJH, quasi-coherent (definition)

History

2026-11-02: add by m2/dev

Hessian polyhedron EWD2E317KX

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

Mentions

wikipedia: Wikipedia Hessian polyhedron, Hessian polyhedron (definition). Also Wikidata Q27998992

History

2026-11-02: add by m2/dev

Biostatistics EWD3R1A005

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

Mentions

wikipedia: Wikipedia List of fields of application of statistics#L34P, Biostatistics (definition)

History

2026-11-02: add by m2/dev

EWD5GNHG00 EWD5GNHG00

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

Mentions

arxiv: arXiv 2609.24325#CXCC (statement)

History

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

EWDBVDDYK0 EWDBVDDYK0

URI	`m2://inv/EWDBVDDYK0`
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.00875#IKO9 (statement). In TAW5BVYH9J/e1, lemma 2.3

History

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

Generalization EWDFZCG8PY

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

Mentions

wikipedia: Wikipedia Frobenius covariant#FSAZ, Generalization (statement)

History

2026-11-02: add by m2/dev

Examples EWDH49H0DF

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

Mentions

wikipedia: Wikipedia Galactic algorithm#DAF2, Examples (example)

History

2026-11-02: add by m2/dev

EWDJQC8RJM EWDJQC8RJM

URI	`m2://inv/EWDJQC8RJM`
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.27902#SPI0 (statement)

History

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

Multiplication theorem EWDTFQB95P

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

Mentions

wikipedia: Wikipedia Digamma function#6EUF, Multiplication theorem (statement)

History

2026-11-02: add by m2/dev

EWE0MSNYVA EWE0MSNYVA

URI	`m2://inv/EWE0MSNYVA`
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.35095#Q68M (statement). In MM3XTWS35F/e1, lemma 3

History

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

Frank Duckworth EWEA0HKQ2F

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

Mentions

wikipedia: Wikipedia Frank Duckworth, Frank Duckworth (topic). Also Wikidata Q5486317

History

2026-11-02: add by m2/dev

Extending Bézout's theorem EWED4QS722

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

Mentions

wikipedia: Wikipedia Degree of an algebraic variety#R1KF, Extending Bézout's theorem (statement)

History

2026-11-02: add by m2/dev

L2 distance EWEF6EHXY6

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

Mentions

wikipedia: Wikipedia Norm (mathematics)#IAI9, L2 distance (unknown)

History

2026-11-02: add by m2/dev

Determinant formula EWEYCDBKMQ

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

Mentions

wikipedia: Wikipedia Gram–Schmidt process#JDB1, Determinant formula (statement)

History

2026-11-02: add by m2/dev

analytic function EWF0B56M71

URI	`m2://inv/EWF0B56M71`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Analytic function 081WKEDK6C

Mentions

wikidata: Wikidata Q215084, analytic function (unknown). Also MathWorld AnalyticFunction, nLab analytic function
wikipedia: Wikipedia Analytic function, Analytic function (definition). Also Wikidata Q215084

History

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

Applications EWF0R3CW2Y

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

Mentions

wikipedia: Wikipedia Turning point test#SKOB, Applications (example)

History

2026-11-02: add by m2/dev

Kary Myers EWF6DS1E6N

URI	`m2://inv/EWF6DS1E6N`
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#JJIJ, Kary Myers (topic)

History

2026-11-02: add by m2/dev

Trigonometric Series EWFFQ74V7M

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

Mentions

wikipedia: Wikipedia Trigonometric Series, Trigonometric Series (definition). Also Wikidata Q104841732

History

2026-11-02: add by m2/dev

EWFJACCWCC EWFJACCWCC

URI	`m2://inv/EWFJACCWCC`
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 2304.13811#CC3P (definition). In HGKYMFSDEM/e1, definition 9

History

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

EWFQJXY6HB EWFQJXY6HB

URI	`m2://inv/EWFQJXY6HB`
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.05486#0OAU (statement). In 5Z46AK2XTC/e1, lemma C.3

History

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

EWFQMD3NCA EWFQMD3NCA

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

Mentions

arxiv: arXiv 2610.08885#6PB5 (statement). In B4RHB3CF12/e1, theorem 3.5

History

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

Chuu-Lian Terng EWFQRG7HAZ

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

Mentions

wikipedia: Wikipedia List of Taiwanese mathematicians#M4ZE, Chuu-Lian Terng (topic)

History

2026-11-02: add by m2/dev

EWFQY911WH EWFQY911WH

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#exercise:finitesethasminmax (exercise). In E59CDZA4DP, exercise, section 7.1.1

History

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

EWFRDF29E0 EWFRDF29E0

URI	`m2://inv/EWFRDF29E0`
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.25457#XIVS (statement)

History

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

EWFRQF34PX EWFRQF34PX

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

Mentions

arxiv: arXiv 1912.02769#8QDR (definition). In JH7VQ2EC16/e1, definition 3.1

History

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

Lemma 2 EWFS2FMK7M

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

Mentions

wikipedia: Wikipedia Nim#9AE9, Lemma 2 (statement)

History

2026-11-02: add by m2/dev

Algorithms EWFV4C9X1A

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

Mentions

wikipedia: Wikipedia Optimal facility location#91O0, Algorithms (definition)

History

2026-11-02: add by m2/dev

EWFW167R3T EWFW167R3T

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

Mentions

arxiv: arXiv 2502.14306#YESE (statement). In ZNBQD5WH1M/e1, lemma 3.5

History

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

icosahedron EWFZV0BXNP

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

Mentions

wikidata: Wikidata Q188758, icosahedron (unknown). Also EoM Icosahedron, MathWorld Icosahedron, nLab icosahedron
wikipedia: Wikipedia Icosahedron, Icosahedron (object). Also Wikidata Q188758

History

2026-10-26: add by m2/dev

Example EWG4NY54YF

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

Mentions

wikipedia: Wikipedia 1/3–2/3 conjecture#QXQX, Example (example)

History

2026-11-02: add by m2/dev

Bishop's theorem EWG5N6EH8M

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

Mentions

wikipedia: Wikipedia Stone–Weierstrass theorem#A3Y9, Bishop's theorem (statement)

History

2026-11-02: add by m2/dev

EWG6HXZJ72 EWG6HXZJ72

URI	`m2://inv/EWG6HXZJ72`
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.37920#1462 (statement). In GZPF8R6BBF/e1, lemma 2.4

History

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

EWG7RFECR7 EWG7RFECR7

URI	`m2://inv/EWG7RFECR7`
Kind	statement
Layer	research
MSC	53-XX, 57-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.17045#9HR0 (statement). In PA6JQDSKQT/e1, theorem 3.12

History

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

EWG9FRQHCG EWG9FRQHCG

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

Mentions

arxiv: arXiv 2610.05672#FUOI (statement). In BQGX0XE2A6/e1, lemma 2.4

History

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

EWGBYJHHR8 EWGBYJHHR8

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

Mentions

arxiv: arXiv 2610.10230#6RXZ (example). In YS75517SF7/e1, example 2.3

History

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

EWGGXRRFE8 EWGGXRRFE8

URI	`m2://inv/EWGGXRRFE8`
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.22311#EEIL (statement)

History

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

EWGNBMS3YN EWGNBMS3YN

URI	`m2://inv/EWGNBMS3YN`
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.21934#Y6NZ (statement). In YKD51BX3XB/e1, theorem 1.1

History

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

Definition EWGPAF73D3

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

Mentions

wikipedia: Wikipedia Hyperbolic group#TDOV, Definition (definition)

History

2026-11-02: add by m2/dev

Discretization error EWGSMZK01X

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#50DH, Discretization error (definition)

History

2026-11-02: add by m2/dev

Miquel's theorem EWH1YREMD5

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

Mentions

wikipedia: Wikipedia List of triangle topics#36NK, Miquel's theorem (statement)

History

2026-11-02: add by m2/dev

superposition EWH5D8A15Z

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

Mentions

lebl_diffyqs: lebl_diffyqs index/6.1/superposition, superposition (concept). In E9HS8K3A52, index, section 6.1

History

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

Probabilistic metric space EWHCJ3MC2R

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

Mentions

wikipedia: Wikipedia List of statistics articles#N6QQ, Probabilistic metric space (definition)

History

2026-11-02: add by m2/dev

Chia-Kun Chu EWHEYSQP1T

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

Mentions

wikipedia: Wikipedia Chia-Kun Chu, Chia-Kun Chu (topic). Also Wikidata Q20656808

History

2026-11-02: add by m2/dev

\texttt{Propagation of chaos and flat second derivatives EWHGB6S23Y

URI	`m2://inv/EWHGB6S23Y`
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.06343#SXN4, \texttt{Propagation of chaos and flat second derivatives (statement). In R8176XJ535/e1, theorem 1.5

History

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

EWHGEQGXH1 EWHGEQGXH1

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

Mentions

arxiv: arXiv 2610.12486#13RT (statement). In CWQ2YHT24E/e1, corollary 5.4

History

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

Boundary cells and runs EWHNVCV3TY

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

Mentions

arxiv: arXiv 2610.13962#350Y, Boundary cells and runs (statement). In 7NP5QKECVA/e1, lemma 3.5

History

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

Symmetry EWHP79J5TS

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

Mentions

wikipedia: Wikipedia Truncated order-6 pentagonal tiling#G3FF, Symmetry (statement)

History

2026-11-02: add by m2/dev

$\alpha \in \ol\ZZ$ $\iff$ {$\ZZ[\alpha]$} finitely generated EWJ6R5CAXA

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

Mentions

napkin: napkin tex/alg-NT/norm-trace.tex#lem:alg_int_fg, $\alpha \in \ol\ZZ$ $\iff$ {$\ZZ[\alpha]$} finitely generated (statement). In RZP28ERRZV, lemma, section 15.2

History

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

EWJGSGQ9V1 EWJGSGQ9V1

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

Mentions

arxiv: arXiv 2610.05314#AVB5 (statement). In PA3B6C0WY7/e1, theorem 3.10

History

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

Examples EWJK54SRNC

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

Mentions

wikipedia: Wikipedia Topological vector space#A0BC, Examples (example)

History

2026-11-02: add by m2/dev

C-measurable set EWJNARW7G1

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

Mentions

wikipedia: Wikipedia List of properties of sets of reals#6GUS, C-measurable set (unknown)

History

2026-11-02: add by m2/dev

quaternionic representation EWJPWGQYFS

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

Mentions

wikidata: Wikidata Q7269569, quaternionic representation (topic)
wikipedia: Wikipedia Quaternionic representation, Quaternionic representation (definition). Also Wikidata Q7269569

History

2026-10-26: add by m2/dev

Sobolev embedding theorem EWJR1SCYHQ

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

Mentions

wikipedia: Wikipedia List of theorems#VV5X, Sobolev embedding theorem (statement)

History

2026-11-02: add by m2/dev

Stericated 6-cubes EWJT5STGMR

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

Mentions

wikipedia: Wikipedia Stericated 6-cubes, Stericated 6-cubes (definition). Also Wikidata Q7611313

History

2026-11-02: add by m2/dev

Round function EWJX6WG3A6

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

Mentions

wikipedia: Wikipedia Round function, Round function (definition). Also Wikidata Q7371197

History

2026-11-02: add by m2/dev

EWJXBNZ7XT EWJXBNZ7XT

URI	`m2://inv/EWJXBNZ7XT`
Kind	definition
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#YNHJ (definition)

History

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

Statement EWJZD6D5DB

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

Mentions

wikipedia: Wikipedia Three subgroups lemma#AKMI, Statement (statement)

History

2026-11-02: add by m2/dev

Examples EWJZJ3MFDA

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

Mentions

wikipedia: Wikipedia Circular distribution#KGVL, Examples (example)

History

2026-11-02: add by m2/dev

Regina Liu EWK0SQ4Q0R

URI	`m2://inv/EWK0SQ4Q0R`
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#F5ZM, Regina Liu (topic)

History

2026-11-02: add by m2/dev

Stretched grid method EWK2YDWHH8

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#TFFH, Stretched grid method (definition)

History

2026-11-02: add by m2/dev

Formal definitions EWK4ZXANMF

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

Mentions

wikipedia: Wikipedia Proportional cake-cutting#AERJ, Formal definitions (definition)

History

2026-11-02: add by m2/dev

Myrtil Maas EWK545DDVH

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#CB10, Myrtil Maas (unknown)

History

2026-11-02: add by m2/dev

Variations EWKBKV1JHX

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

Mentions

wikipedia: Wikipedia Crossing number inequality#4K7D, Variations (statement)

History

2026-11-02: add by m2/dev

Definition EWKCNHDAWW

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

Mentions

wikipedia: Wikipedia Generator (category theory)#LF5U, Definition (definition)

History

2026-11-02: add by m2/dev

Simulated annealing EWKFXQGBR3

URI	`m2://inv/EWKFXQGBR3`
Kind	definition
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.17717#501F, Simulated annealing (definition). In YXRKS451PK/e1, definition 2.2

History

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

EWKH9NZE2R EWKH9NZE2R

URI	`m2://inv/EWKH9NZE2R`
Kind	statement
Layer	research
MSC	37-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 2609.26269#NME6 (statement)

History

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

BLS primality test EWM04MW6PQ

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

Mentions

wikipedia: Wikipedia Pocklington primality test#RATY, BLS primality test (unknown)

History

2026-11-02: add by m2/dev

trigonometry EWM3977NZ1

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

Mentions

wikipedia: Wikipedia Glossary of calculus#F8JC, trigonometry (definition)

History

2026-11-02: add by m2/dev

Application EWMDHV4JPD

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

Mentions

wikipedia: Wikipedia Scleronomous#XVSY, Application (example)

History

2026-11-02: add by m2/dev

Integral polytope EWME2QRT9S

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

Mentions

wikipedia: Wikipedia Integral polytope, Integral polytope (object). Also Wikidata Q5166519

History

2026-11-02: add by m2/dev

EWMJ7XRF6P EWMJ7XRF6P

URI	`m2://inv/EWMJ7XRF6P`
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#Z1H2 (statement). In ZTBDXSKFFW/e1, lemma 9.1

History

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

Threemilestone EWMMY1512Y

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

Mentions

wikipedia: Wikipedia List of places with numeric names#6FS0, Threemilestone (unknown)

History

2026-11-02: add by m2/dev

Mikhail Goussarov EWMN315T8F

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

Mentions

wikipedia: Wikipedia Mikhail Goussarov, Mikhail Goussarov (topic). Also Wikidata Q3313627

History

2026-11-02: add by m2/dev

EWMPWMZGZE EWMPWMZGZE

URI	`m2://inv/EWMPWMZGZE`
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.01932#W3JB (statement). In XDKWW6NR0K/e1, corollary 6.6

History

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

EWMZ3BJFHR EWMZ3BJFHR

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

Mentions

arxiv: arXiv 0806.0678#IF05 (statement). In 5RMV7VP13X/e1, lemma 2.6

History

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

EWN2QJE4T5 EWN2QJE4T5

URI	`m2://inv/EWN2QJE4T5`
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 2606.00589#7O0R (statement). In C8JAGP8VCQ/e1, lemma 7.1

History

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

Invertible knot EWN42RGXB9

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

Mentions

wikipedia: Wikipedia List of knot theory topics#JI6R, Invertible knot (definition)

History

2026-11-02: add by m2/dev

Pontryagin number EWNB4Y9T00

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

Mentions

wikidata: Wikidata Q4516320, Pontryagin number (concept). Also MathWorld PontryaginNumber

History

2026-10-26: add by m2/dev

Pierre Deligne EWNDN7NZCW

URI	`m2://inv/EWNDN7NZCW`
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 Q334045, Pierre Deligne (unknown). Also nLab Pierre Deligne, ProofWiki Mathematician:Pierre_René_Deligne
wikipedia: Wikipedia Pierre Deligne, Pierre Deligne (topic). Also Wikidata Q334045

History

2026-10-26: add by m2/dev

Euler's disk EWNFNT2S28

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

Mentions

wikipedia: Wikipedia List of mathematical topics in classical mechanics#19A1, Euler's disk (definition)

History

2026-11-02: add by m2/dev

EWNK31WZZC EWNK31WZZC

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

Mentions

arxiv: arXiv 2311.00585#3ERX (problem). In 332PQD90SW/e1, problem 3.17

History

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

Center on Aging & Work - Workplace Flexibility EWNKCBT3SW

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

Mentions

wikipedia: Wikipedia List of research centers at Boston College#82VE, Center on Aging & Work - Workplace Flexibility (unknown)

History

2026-11-02: add by m2/dev

Schlüsselgerät 41 EWNQN3N7MX

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

Mentions

wikipedia: Wikipedia Schlüsselgerät 41, Schlüsselgerät 41 (definition). Also Wikidata Q1632826

History

2026-11-02: add by m2/dev

EWNST8D85V EWNST8D85V

URI	`m2://inv/EWNST8D85V`
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.19288#FPL8 (statement). In 1EA6AM9V01/e1, theorem 2.9

History

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

Properties EWNYCEW09E

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

Mentions

wikipedia: Wikipedia Penny graph#I3LL, Properties (statement)

History

2026-11-02: add by m2/dev

List of Jewish Supreme Court Justices EWP0HC1TFJ

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

Mentions

wikipedia: Wikipedia Demographics of the Supreme Court of the United States#9OUS, List of Jewish Supreme Court Justices (unknown)

History

2026-11-02: add by m2/dev

Definition EWP2KMTJFS

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

Mentions

wikipedia: Wikipedia Nijenhuis–Richardson bracket#FPAZ, Definition (definition)

History

2026-11-02: add by m2/dev

Divisorial sheaf EWPFZG6PV4

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

Mentions

wikipedia: Wikipedia Divisor (algebraic geometry)#9EC1, Divisorial sheaf (unknown)

History

2026-11-02: add by m2/dev

Covariance estimates EWPJDSR9JQ

URI	`m2://inv/EWPJDSR9JQ`
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.07790#5PCC, Covariance estimates (statement). In A5YJDDM0NX/e1, lemma A.11

History

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

Kappa Mu Epsilon EWPTYYNYC5

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

Mentions

wikipedia: Wikipedia List of mathematical societies#O600, Kappa Mu Epsilon (definition)

History

2026-11-02: add by m2/dev

interior EWQ54M777N

URI	`m2://inv/EWQ54M777N`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Interior 0RZH6W98HK

Mentions

wikidata: Wikidata Q862761, interior (unknown). Also MathWorld Interior, nLab interior
wikipedia: Wikipedia Interior (topology), Interior (definition). Also Wikidata Q862761

History

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

Examples EWQFD6C6SS

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

Mentions

wikipedia: Wikipedia Invertible sheaf#MB08, Examples (example)

History

2026-11-02: add by m2/dev

Yuliya Mishura EWQG15F8GV

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

Mentions

wikipedia: Wikipedia Yuliya Mishura, Yuliya Mishura (topic). Also Wikidata Q65200465

History

2026-11-02: add by m2/dev

Remark EWQGA4KNR4

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

Mentions

wikipedia: Wikipedia Dimension theory (algebra)#5TSM, Remark (unknown)

History

2026-11-02: add by m2/dev

EWQM19TP63 EWQM19TP63

URI	`m2://inv/EWQM19TP63`
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 2509.10268#NHB5 (statement). In YR15TN4V4F/e1, lemma S3

History

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

interval EWQSE84D5X

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

Mentions

wikidata: Wikidata Q189962, interval (definition). Also ProofWiki Definition:Musical_Interval

History

2026-10-26: add by m2/dev

Schwarz-Symmetrization of a Function EWQTGG8FVR

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

Mentions

arxiv: arXiv 2610.05056#QUH3, Schwarz-Symmetrization of a Function (definition). In 4PF04DW3YP/e1, definition 2.12

History

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

EWQTPGVBQH EWQTPGVBQH

URI	`m2://inv/EWQTPGVBQH`
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#0EOE (definition). In PQ7W037C2H/e1, definition 6.1

History

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

EWR0G0F2T1 EWR0G0F2T1

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

Mentions

arxiv: arXiv 2609.30579#N9XQ (example). In FDYZFDHZH9/e1, example 2.17

History

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

Definition EWR54P818K

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

Mentions

wikipedia: Wikipedia Toda bracket#5PWZ, Definition (definition)

History

2026-11-02: add by m2/dev

EWR5A5TXMY EWR5A5TXMY

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

Mentions

arxiv: arXiv 1903.07030#9GLE (statement). In 9H45HQE7AZ/e1, proposition 5.7

History

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

KNIME EWRNB9EQJB

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

Mentions

wikipedia: Wikipedia List of statistical software#WW8Y, KNIME (unknown)

History

2026-11-02: add by m2/dev

EWRRVSW268 EWRRVSW268

URI	`m2://inv/EWRRVSW268`
Kind	definition
Layer	research
MSC	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 2610.09812#X5JI (definition). In NWWKD8YX57/e1, definition 2.1

History

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

Extensions EWRX948QX2

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

Mentions

wikipedia: Wikipedia Bochner's theorem (orthogonal polynomials)#6JQ7, Extensions (statement)

History

2026-11-02: add by m2/dev

Calculus on Euclidean space EWS276C6JW

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

Mentions

wikipedia: Wikipedia Calculus on Euclidean space, Calculus on Euclidean space (definition). Also Wikidata Q111954994

History

2026-11-02: add by m2/dev

EWSNRKRMZR EWSNRKRMZR

URI	`m2://inv/EWSNRKRMZR`
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.14308#F00K (definition). In F67Y6BZVV8/e1, definition 1

History

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

Edge expansion EWSPTPM6AH

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

Mentions

wikipedia: Wikipedia Expander graph#WVU3, Edge expansion (unknown)

History

2026-11-02: add by m2/dev

EWSQ3ZRJ5C EWSQ3ZRJ5C

URI	`m2://inv/EWSQ3ZRJ5C`
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.08226#O4HN (statement). In V6EPE8XHAD/e1, theorem 1.3

History

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

Geometric Bogomolov conjecture EWSZFSZGDP

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

Mentions

wikipedia: Wikipedia Bogomolov conjecture#ZI9H, Geometric Bogomolov conjecture (statement)

History

2026-11-02: add by m2/dev

EWT43NKTYP EWT43NKTYP

URI	`m2://inv/EWT43NKTYP`
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#L3XN (statement). In WPDRT63QNW/e1, proposition 4.5

History

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

EWT59EM0BF EWT59EM0BF

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

Mentions

napkin: napkin tex/calculus/p-adic.tex#definition-1 (definition). In RZP28ERRZV, definition, section 33.2.1

History

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

Anticomplementary triangle EWT7VGFWJ6

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

Mentions

wikipedia: Wikipedia Medial triangle#QTE3, Anticomplementary triangle (unknown)

History

2026-11-02: add by m2/dev

Definition EWT8886V60

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

Mentions

wikipedia: Wikipedia Triangular matrix ring#E4X3, Definition (definition)

History

2026-11-02: add by m2/dev

EWTEAT27CM EWTEAT27CM

URI	`m2://inv/EWTEAT27CM`
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.35252#83KO (statement). In RPFP34GH09/e1, proposition 5.1

History

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

EWTH8NXKCQ EWTH8NXKCQ

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

Mentions

arxiv: arXiv 2610.21408#PVF9 (example). In 3XBEGXNPXZ/e1, example 7.1

History

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

Variations EWTW8XP0A9

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

Mentions

wikipedia: Wikipedia Truchet tiling#FLI9, Variations (statement)

History

2026-11-02: add by m2/dev

Weak-factor decay regime EWTWMYE8CM

URI	`m2://inv/EWTWMYE8CM`
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.27200#7F9U, Weak-factor decay regime (statement)

History

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

EWTXFBNFN8 EWTXFBNFN8

URI	`m2://inv/EWTXFBNFN8`
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 2011.14561#B9MV (statement). In V2XJJJX1Z8/e1, lemma 2.7

History

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

EWTXPHA2RH EWTXPHA2RH

URI	`m2://inv/EWTXPHA2RH`
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 2308.05715#UN0F (statement). In FC0SB9JFWH/e1, lemma 5.9

History

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

Maria Pastori EWTZ1SQ18S

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

Mentions

wikipedia: Wikipedia Maria Pastori, Maria Pastori (topic). Also Wikidata Q23619265

History

2026-11-02: add by m2/dev

Symmetric tensor EWV32CFEM9

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

Mentions

wikipedia: Wikipedia Glossary of tensor theory#UL4G, Symmetric tensor (definition)

History

2026-11-02: add by m2/dev

EWVBTGY41Y EWVBTGY41Y

URI	`m2://inv/EWVBTGY41Y`
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.23847#DKMI (definition)

History

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

Valuation theory EWVBX1F5NW

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#DURC, Valuation theory (definition)

History

2026-11-02: add by m2/dev

EWVCRTWZY5 EWVCRTWZY5

URI	`m2://inv/EWVCRTWZY5`
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.08383#7MZ2 (statement). In 5F8S516DT5/e1, theorem 1

History

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

EWVF0ED06E EWVF0ED06E

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

Mentions

arxiv: arXiv 2610.17875#RQAZ (statement). In AQX7DGD360/e1, corollary 5.10

History

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

Trapezo-rhombic dodecahedral honeycomb EWVK61DRPJ

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#NFM7, Trapezo-rhombic dodecahedral honeycomb (object)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#LP4E, Trapezo-rhombic dodecahedral honeycomb (object)

History

2026-11-02: add by m2/dev

EWVKWW7RMT EWVKWW7RMT

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

Mentions

arxiv: arXiv 2610.10077#1IIZ (statement). In YA7H9PY3R1/e1, corollary 3.7

History

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

EWVQW47VZN EWVQW47VZN

URI	`m2://inv/EWVQW47VZN`
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 2609.27518#2XT1 (definition)

History

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

EWVYD47F1P EWVYD47F1P

URI	`m2://inv/EWVYD47F1P`
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 2406.07116#K7ZJ (statement). In 5B030CB2RK/e1, theorem A.1

History

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

unary vertex EWW9FXKJ90

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#WNNH, unary vertex (definition)

History

2026-11-02: add by m2/dev

EWWAP3YXQC EWWAP3YXQC

URI	`m2://inv/EWWAP3YXQC`
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.29925#KV5W (statement)

History

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

EWWHZPBC5X EWWHZPBC5X

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

Mentions

hott_book: hott_book equivalences.tex#proof-18 (proof). In N54F33XE07, proof, section 3.6

History

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

Ramanujan's tau function EWWM3VRCT8

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

Mentions

wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#N9J4, Ramanujan's tau function (definition)

History

2026-11-02: add by m2/dev

Seismic to simulation EWWQGYF5XV

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

Mentions

wikipedia: Wikipedia List of statistics articles#VBIG, Seismic to simulation (definition)

History

2026-11-02: add by m2/dev

Almost Dold sequences EWX110AX89

URI	`m2://inv/EWX110AX89`
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.24544#H5UA, Almost Dold sequences (definition)

History

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

EWX2YXF0R2 EWX2YXF0R2

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

Mentions

arxiv: arXiv 2508.02432#CGO6 (statement). In B366ACYB37/e1, theorem B.3

History

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

EWX49D8296 EWX49D8296

URI	`m2://inv/EWX49D8296`
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.19208#DABR (statement). In Z4R05936J8/e1, theorem

History

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

tangent segments theorem EWX71HMVN4

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

Mentions

wikidata: Wikidata Q139618219, tangent segments theorem (statement). Also ProofWiki Tangents to Circle from Point are of Equal Length

History

2026-10-26: add by m2/dev

4600 EWXKMGYQBQ

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

Mentions

wikipedia: Wikipedia 4000 (number)#32U3, 4600 (unknown)

History

2026-11-02: add by m2/dev

EWXZ2R04EJ EWXZ2R04EJ

URI	`m2://inv/EWXZ2R04EJ`
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.19273#NTJN (statement). In T3BY4TXYT4/e1, corollary 6.2

History

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

Discrete time and continuous time EWY098Q91Q

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

Mentions

wikipedia: Wikipedia Discrete time and continuous time, Discrete time and continuous time (definition). Also Wikidata Q15963867

History

2026-11-02: add by m2/dev

Alonso-Guti\'errez--Bastero--Bernu\'es--Paouris EWYE5WFS7J

URI	`m2://inv/EWYE5WFS7J`
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.09562#35O0, Alonso-Guti\'errez--Bastero--Bernu\'es--Paouris (statement). In 2XH87FWG8Y/e1, theorem 3.2

History

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

Mirsky–Newman theorem EWYFNQ1DEF

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

Mentions

wikipedia: Wikipedia Herzog–Schönheim conjecture#IO5B, Mirsky–Newman theorem (statement)

History

2026-11-02: add by m2/dev

EWYJYKZA1Y EWYJYKZA1Y

URI	`m2://inv/EWYJYKZA1Y`
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#B1KX (statement). In 4W7ARR1DAR/e1, fact B.12

History

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

EWYQKW3YZE EWYQKW3YZE

URI	`m2://inv/EWYQKW3YZE`
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.32077#YNLW (statement). In WYXQDSQR9B/e1, theorem 3.12

History

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

Goodman and Kruskal's gamma EWYR4287HF

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

Mentions

wikipedia: Wikipedia Goodman and Kruskal's gamma, Goodman and Kruskal's gamma (definition). Also Wikidata Q3753767

History

2026-11-02: add by m2/dev

Generalizations EWYR6ETAC2

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

Mentions

wikipedia: Wikipedia Lie bracket of vector fields#5F2T, Generalizations (statement)

History

2026-11-02: add by m2/dev

Alec Muffett EWYSNM2SS3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#MU76, Alec Muffett (topic)

History

2026-11-02: add by m2/dev

P. S. Alexandrov EWYSS2ZPXD

URI	`m2://inv/EWYSS2ZPXD`
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#H4LW, P. S. Alexandrov (topic)

History

2026-11-02: add by m2/dev

Notation EWZ7PJKSRJ

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

Mentions

wikipedia: Wikipedia Functional square root#9RXW, Notation (definition)

History

2026-11-02: add by m2/dev

Applications EWZ8GF2136

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

Mentions

wikipedia: Wikipedia Weaire–Phelan structure#1P22, Applications (example)

History

2026-11-02: add by m2/dev

EWZPJQSPSV EWZPJQSPSV

URI	`m2://inv/EWZPJQSPSV`
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.27253#39J8 (statement)

History

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

Heinz Rutishauser EWZRH5GKZP

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

Mentions

wikipedia: Wikipedia Heinz Rutishauser, Heinz Rutishauser (topic). Also Wikidata Q92710

History

2026-11-02: add by m2/dev

Eckmann--Hilton EWZS39SZ47

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

Mentions

hott_book: hott_book basics.tex#thm:EckmannHilton, Eckmann--Hilton (statement). In N54F33XE07, thm, section 1.1

History

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

EWZXSAPFQ4 EWZXSAPFQ4

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

Mentions

arxiv: arXiv 2609.28365#44FR (statement)

History

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