Inventory rows EG

EG006GZMCD EG006GZMCD

URI	`m2://inv/EG006GZMCD`
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.18620#W6PZ (statement). In 6WJ0R9YEBR/e1, corollary 4.11

History

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

EG062VH820 EG062VH820

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

History

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

EG0AZZK2QM EG0AZZK2QM

URI	`m2://inv/EG0AZZK2QM`
Kind	definition
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 1911.06467#AOLH (definition). In G35G1NJKBX/e1, definition 2

History

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

UK Molecular R-matrix Codes EG0B0QG8H6

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

Mentions

wikipedia: Wikipedia UK Molecular R-matrix Codes, UK Molecular R-matrix Codes (definition). Also Wikidata Q30673623

History

2026-11-02: add by m2/dev

fundamental class EG0KZ22X8F

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#VADJ, fundamental class (definition)

History

2026-11-02: add by m2/dev

EG0NE31N17 EG0NE31N17

URI	`m2://inv/EG0NE31N17`
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 2602.13510#TQKC (statement). In Y75MQW7CFV/e1, proposition 2.7

History

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

Improvement of Flatness in dimension $n\geq 3$ EG15Y20M4J

URI	`m2://inv/EG15Y20M4J`
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.18270#GX8T, Improvement of Flatness in dimension $n\geq 3$ (statement). In CPDMYJ0NJV/e1, proposition 7.7

History

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

Application EG161JB8YX

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

Mentions

wikipedia: Wikipedia Bootstrap aggregating#OWNK, Application (example)

History

2026-11-02: add by m2/dev

Secondcreek, West Virginia EG166ABESZ

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

Mentions

wikipedia: Wikipedia List of places with numeric names#U2H7, Secondcreek, West Virginia (unknown)

History

2026-11-02: add by m2/dev

EG1G7FZX6X EG1G7FZX6X

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

Mentions

arxiv: arXiv 2610.03353#IHZR (definition). In 8W61T5CSRB/e1, definition 4.2

History

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

Jacob Mincer EG1GZECE8Z

URI	`m2://inv/EG1GZECE8Z`
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#WGT6, Jacob Mincer (unknown)

History

2026-11-02: add by m2/dev

t-norm EG1MYG8WKY

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

Mentions

wikidata: Wikidata Q2383161, t-norm (unknown). Also nLab t-norm
wikipedia: Wikipedia T-norm, T-norm (definition). Also Wikidata Q2383161

History

2026-10-26: add by m2/dev

Construction EG1NWV6S5T

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

Mentions

wikipedia: Wikipedia Pentakis snub dodecahedron#RYNX, Construction (definition)

History

2026-11-02: add by m2/dev

Artin's primitive element theorem EG1PJYHMPN

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

Mentions

napkin: napkin tex/alg-NT/galois.tex#prob:artin_primitive_elm, Artin's primitive element theorem (exercise). In RZP28ERRZV, problem, section 14.6

History

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

Definitions EG2048X04X

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

Mentions

wikipedia: Wikipedia Prevalent and shy sets#8V59, Definitions (definition)

History

2026-11-02: add by m2/dev

Construction EG2DSBFSCP

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

Mentions

wikipedia: Wikipedia Ljubljana graph#FWCJ, Construction (definition)

History

2026-11-02: add by m2/dev

EG2PJ40VWX EG2PJ40VWX

URI	`m2://inv/EG2PJ40VWX`
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.20860#35FC (statement)

History

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

Structure of $Q$ EG2REV95QV

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

Mentions

arxiv: arXiv 2609.25120#QQF4, Structure of $Q$ (statement)

History

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

Composite field EG2T85CZQV

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

Mentions

wikipedia: Wikipedia Composite field (mathematics), Composite field (definition). Also Wikidata Q1796658

History

2026-11-02: add by m2/dev

EG2V7P1R0Q EG2V7P1R0Q

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

Mentions

arxiv: arXiv 2609.23167#3VP3 (statement)

History

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

Approximation property EG2X63XJWY

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

Mentions

wikipedia: Wikipedia Approximation property, Approximation property (definition). Also Wikidata Q621744

History

2026-11-02: add by m2/dev

EG32QFMYK0 EG32QFMYK0

URI	`m2://inv/EG32QFMYK0`
Kind	statement
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.25080#XFQ6 (statement)

History

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

Henry Seely White EG3B04066D

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

Mentions

wikipedia: Wikipedia Henry Seely White, Henry Seely White (topic). Also Wikidata Q470497

History

2026-11-02: add by m2/dev

EG3B9VWTVC EG3B9VWTVC

URI	`m2://inv/EG3B9VWTVC`
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.20915#INPJ (statement). In 5M1SXP75D9/e1, lemma 3.2

History

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

EG3C1HQ0TB EG3C1HQ0TB

URI	`m2://inv/EG3C1HQ0TB`
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#QX7O (statement). In X47RYAZF8P/e1, lemma 11.6

History

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

EG3R1W3C7R EG3R1W3C7R

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

Mentions

arxiv: arXiv 2609.30113#VM66 (definition)

History

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

The positive cubic root EG3T76GXAE

URI	`m2://inv/EG3T76GXAE`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 49-XX, 58-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.05164#JVMP, The positive cubic root (statement). In JY6RYSNXMJ/e1, lemma 19

History

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

Lindenbaum's lemma EG3WSNSAK6

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

Mentions

wikipedia: Wikipedia Lindenbaum's lemma, Lindenbaum's lemma (statement). Also Wikidata Q2226746

History

2026-11-02: add by m2/dev

$\alphad$-relative accuracy EG3ZF49BDP

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

Mentions

arxiv: arXiv 2411.05198#Y96Q, $\alphad$-relative accuracy (definition). In NJWY6HPFHG/e1, definition 2

History

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

EG40XWBQ40 EG40XWBQ40

URI	`m2://inv/EG40XWBQ40`
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.27301#TGZG (definition)

History

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

EG47730AG9 EG47730AG9

URI	`m2://inv/EG47730AG9`
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.30664#IM23 (statement). In ZZGDNKDVJW/e1, proposition 4.2

History

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

Luchezar Avramov EG48P70MB6

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

Mentions

wikipedia: Wikipedia Luchezar Avramov, Luchezar Avramov (topic). Also Wikidata Q18763804

History

2026-11-02: add by m2/dev

Herwig--Lascar EG4DVJ8P72

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

Mentions

arxiv: arXiv 2610.04870#QHGJ, Herwig--Lascar (statement). In X765ZXXVC3/e1, theorem 2.23

History

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

Theorem (Mazur) EG4X7Q45ZY

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

Mentions

wikipedia: Wikipedia Hahn–Banach theorem#H8K1, Theorem (Mazur) (statement)

History

2026-11-02: add by m2/dev

EG5BTQVXF1 EG5BTQVXF1

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#example-9 (example). In E59CDZA4DP, example, section 11.1.4

History

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

George EG5EQPC6W0

URI	`m2://inv/EG5EQPC6W0`
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#0A4L, George (unknown)

History

2026-11-02: add by m2/dev

EG5GMG4NH1 EG5GMG4NH1

URI	`m2://inv/EG5GMG4NH1`
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 2609.14610#A736 (statement). In 2M0S561GTR/e1, lemma 2.1

History

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

EG5SGE6BCK EG5SGE6BCK

URI	`m2://inv/EG5SGE6BCK`
Kind	statement
Layer	research
MSC	35-XX, 46-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.05391#8WGQ (statement). In 9B5TNEBJHV/e1, lemma 3.11

History

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

bond EG66GAVA5C

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#4VSZ, bond (definition)

History

2026-11-02: add by m2/dev

EG6EB32WC9 EG6EB32WC9

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

Mentions

arxiv: arXiv 2505.05539#DRH7 (statement). In 8SVVEVGMNE/e1, lemma 3.8

History

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

Gas compressibility EG6EJXD3S8

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

Mentions

wikipedia: Wikipedia Compressibility#OM2P, Gas compressibility (unknown)

History

2026-11-02: add by m2/dev

Coase theorem EG6EY2R703

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

Mentions

wikipedia: Wikipedia List of theorems#MMW6, Coase theorem (statement)

History

2026-11-02: add by m2/dev

Construction EG6GNPSN55

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

Mentions

wikipedia: Wikipedia Elongated triangular bipyramid#CACD, Construction (definition)

History

2026-11-02: add by m2/dev

Evgenii Landis EG6K58WNP8

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#71QF, Evgenii Landis (unknown)

History

2026-11-02: add by m2/dev

EG6QWD0ESA EG6QWD0ESA

URI	`m2://inv/EG6QWD0ESA`
Kind	definition
Layer	research
MSC	14-XX, 16-XX, 18-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 2605.02634#ZAEJ (definition). In EZ6PAF0MXH/e1, definition 2.1

History

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

EG6XRVJ7DS EG6XRVJ7DS

URI	`m2://inv/EG6XRVJ7DS`
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.27049#LURZ (statement)

History

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

Xihong Lin EG6Z25NZ3G

URI	`m2://inv/EG6Z25NZ3G`
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#BTQY, Xihong Lin (topic)

History

2026-11-02: add by m2/dev

EG6Z73KCAH EG6Z73KCAH

URI	`m2://inv/EG6Z73KCAH`
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 2506.16491#EH59 (statement). In P9J6P06Y40/e1, theorem 4.5

History

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

EG7EDGW5ZH EG7EDGW5ZH

URI	`m2://inv/EG7EDGW5ZH`
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.02628#U9GR (statement). In G4S9C5M1A4/e1, lemma 5.2

History

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

EG7HN62QPW EG7HN62QPW

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

Mentions

open_logic: open_logic content/set-theory/choice/vitali.tex#proof-7 (proof). In PKGMM3P5QY, proof, section 71.6

History

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

EG7KG4P8V2 EG7KG4P8V2

URI	`m2://inv/EG7KG4P8V2`
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.16123#WFM1 (statement). In 6VR4TY5BGV/e1, lemma 5.7

History

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

EG7MGAQ5HG EG7MGAQ5HG

URI	`m2://inv/EG7MGAQ5HG`
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.25100#L0VR (statement)

History

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

EG7NMPAXBB EG7NMPAXBB

URI	`m2://inv/EG7NMPAXBB`
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 2505.08839#MQTE (statement). In HJPDS53MX4/e1, lemma 3.1

History

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

Selberg's 1/4 conjecture EG7PAMZE5H

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

Mentions

wikipedia: Wikipedia Selberg's 1/4 conjecture, Selberg's 1/4 conjecture (statement). Also Wikidata Q7447522

History

2026-11-02: add by m2/dev

Alva T. Matthews EG7S4YCK8C

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

Mentions

wikipedia: Wikipedia Alva T. Matthews, Alva T. Matthews (topic). Also Wikidata Q56881414

History

2026-11-02: add by m2/dev

Shmuel Zaks EG7VBQZAS2

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#100P, Shmuel Zaks (unknown)

History

2026-11-02: add by m2/dev

Erdős–Turán conjecture on additive bases EG878VBV01

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

Mentions

wikipedia: Wikipedia Erdős–Turán conjecture on additive bases, Erdős–Turán conjecture on additive bases (conjecture). Also Wikidata Q2993302

History

2026-11-02: add by m2/dev

Definition EG895ZDG7T

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

Mentions

wikipedia: Wikipedia Associative property#7C8L, Definition (definition)

History

2026-11-02: add by m2/dev

EG8DYYT97G EG8DYYT97G

URI	`m2://inv/EG8DYYT97G`
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#4ZC8 (statement). In CY1FE8W1ZW/e1, lemma 0.281

History

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

white chess piece EG8E3HXFS2

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

Mentions

wikidata: Wikidata Q54933455, white chess piece (definition). Also ProofWiki Definition:Chess/Player/White

History

2026-10-26: add by m2/dev

Applications EG8M7Z5PQM

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

Mentions

wikipedia: Wikipedia Hash table#5XDG, Applications (example)

History

2026-11-02: add by m2/dev

EG8MEZC11T EG8MEZC11T

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

Mentions

open_logic: open_logic content/normal-modal-logic/tableaux/more-soundness.tex#prob-5 (exercise). In PKGMM3P5QY, prob, section 55.8

History

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

Examples EG97B4T0QX

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

Mentions

wikipedia: Wikipedia Rationalization (psychology)#KJ3A, Examples (example)

History

2026-11-02: add by m2/dev

ordered n-tuple EG9817GE8J

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

Mentions

wikipedia: Wikipedia Glossary of logic#6D72, ordered n-tuple (definition)

History

2026-11-02: add by m2/dev

Patrick Argüello EG9FEDRH16

URI	`m2://inv/EG9FEDRH16`
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#CDFZ, Patrick Argüello (unknown)

History

2026-11-02: add by m2/dev

Manin-Mumford conjecture EG9P63EV9M

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

Mentions

wikipedia: Wikipedia Bogomolov conjecture#OLFX, Manin-Mumford conjecture (statement)

History

2026-11-02: add by m2/dev

Adaptive estimation EG9Q7RVP7A

URI	`m2://inv/EG9Q7RVP7A`
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.38267#9DNX, Adaptive estimation (statement). In 518V871EKW/e1, theorem 3.13

History

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

Jeong Han Kim EG9X0WH0F8

URI	`m2://inv/EG9X0WH0F8`
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#UVOR, Jeong Han Kim (unknown)

History

2026-11-02: add by m2/dev

Albert Badrikian EG9YSVD5CZ

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

Mentions

wikipedia: Wikipedia Albert Badrikian, Albert Badrikian (topic). Also Wikidata Q59525260

History

2026-11-02: add by m2/dev

EGA342S9NC EGA342S9NC

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

Mentions

arxiv: arXiv 2609.37698#PW5W (statement). In HA2GG72C23/e1, theorem 2.6

History

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

Cramer's rule EGA947B7FD

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

Mentions

wikipedia: Wikipedia List of misnamed theorems#5U8D, Cramer's rule (definition)

History

2026-11-02: add by m2/dev

EGADB1WE1K EGADB1WE1K

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

Mentions

arxiv: arXiv 2411.07596#MBRU (definition). In 4SFRNADV8F/e1, definition 2.1

History

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

EGAEAHB855 EGAEAHB855

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

Mentions

arxiv: arXiv 2609.21060#0B38 (definition)

History

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

Mihaela Ignatova EGAEG94QSP

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

Mentions

wikipedia: Wikipedia Mihaela Ignatova, Mihaela Ignatova (topic). Also Wikidata Q84183887

History

2026-11-02: add by m2/dev

Definition EGAG2MZ7TX

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

Mentions

wikipedia: Wikipedia Computably inseparable#U2VS, Definition (definition)

History

2026-11-02: add by m2/dev

Exact minimax reduction EGAK8XTDGX

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

Mentions

arxiv: arXiv 2609.29348#6LK8, Exact minimax reduction (statement)

History

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

generating set EGAPATFBP6

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

Mentions

wikipedia: Wikipedia Glossary of module theory#TETQ, generating set (definition)

History

2026-11-02: add by m2/dev

Leray cover EGB9DNXVSX

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

Mentions

wikipedia: Wikipedia Leray cover, Leray cover (definition). Also Wikidata Q17098456

History

2026-11-02: add by m2/dev

Black-box steganographic scheme EGBB7J32CK

URI	`m2://inv/EGBB7J32CK`
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 2609.24994#D87O, Black-box steganographic scheme (definition)

History

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

EGBB8KDDWG EGBB8KDDWG

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

Mentions

arxiv: arXiv 2609.33590#7085 (statement). In WRE0P7V6Z3/e1, theorem 1.10

History

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

Properties EGBE5M9WY7

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

Mentions

wikipedia: Wikipedia Schwartz–Bruhat function#ADNR, Properties (statement)

History

2026-11-02: add by m2/dev

EGBG6M0HY0 EGBG6M0HY0

URI	`m2://inv/EGBG6M0HY0`
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.18287#WCNM (statement). In ZXZN6RMN38/e1, theorem 7

History

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

Example EGBT0Y6DWM

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

Mentions

wikipedia: Wikipedia Halley's method#WZ82, Example (example)

History

2026-11-02: add by m2/dev

EGBTSYEFMZ EGBTSYEFMZ

URI	`m2://inv/EGBTSYEFMZ`
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.11468#DSHN (statement). In FR4FDRHZJT/e1, proposition 3.4

History

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

EGBXQZ8GBX EGBXQZ8GBX

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-13 (exercise). In E9HS8K3A52, exercise, section 3.2.1

History

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

EGC3VPSVY1 EGC3VPSVY1

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#exercise-41 (exercise). In E59CDZA4DP, exercise, section 10.3.5

History

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

Geometric progression EGC61XXJ42

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#TJGL, Geometric progression (definition)

History

2026-11-02: add by m2/dev

EGCGK3ABX8 EGCGK3ABX8

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-eigenvalue-probs.tex#exercise-7 (exercise). In E9HS8K3A52, exercise, section 3.1.5

History

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

Formulations EGCKRN27V1

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

Mentions

wikipedia: Wikipedia Maximum agreement subtree problem#G9NU, Formulations (definition)

History

2026-11-02: add by m2/dev

Regression discontinuity design EGCMXHEA86

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

Mentions

wikipedia: Wikipedia List of statistics articles#WPME, Regression discontinuity design (definition)

History

2026-11-02: add by m2/dev

EGCPJETNJ4 EGCPJETNJ4

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

Mentions

arxiv: arXiv 2610.06719#5J4T (definition). In CBSA058Y53/e1, definition 2.7

History

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

Hierarchical experiment EGCSSHK9BS

URI	`m2://inv/EGCSSHK9BS`
Kind	example
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.26776#ZSWR, Hierarchical experiment (example)

History

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

Statement EGD7ZS54K6

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

Mentions

wikipedia: Wikipedia Thompson transitivity theorem#G9MU, Statement (statement)

History

2026-11-02: add by m2/dev

Pentagrid EGD917YAKT

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

Mentions

wikipedia: Wikipedia Penrose tiling#DY12, Pentagrid (unknown)

History

2026-11-02: add by m2/dev

Bailey–Borwein–Plouffe formula EGDC17E116

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

Mentions

wikipedia: Wikipedia List of topics related to π#G89R, Bailey–Borwein–Plouffe formula (statement)

History

2026-11-02: add by m2/dev

Silverman, Bernard EGDKJJZXHH

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

Mentions

wikipedia: Wikipedia List of statisticians#E3UI, Silverman, Bernard (topic)

History

2026-11-02: add by m2/dev

Active shape model EGDR85EJ8F

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

Mentions

wikipedia: Wikipedia Active shape model, Active shape model (definition). Also Wikidata Q267189

History

2026-11-02: add by m2/dev

EGDTPWFPE7 EGDTPWFPE7

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

Mentions

arxiv: arXiv 2210.02997#96JD (definition). In KEXVYV0SNS/e1, definition 19

History

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

Definition EGE3045XWH

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

Mentions

wikipedia: Wikipedia Geometric algebra#IXGY, Definition (definition)

History

2026-11-02: add by m2/dev

Jami EGE4C11659

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

Mentions

wikipedia: Wikipedia Jami (software), Jami (definition). Also Wikidata Q3459508

History

2026-11-02: add by m2/dev

Statement EGE737FFNC

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

Mentions

wikipedia: Wikipedia Pisier–Ringrose inequality#IS82, Statement (statement)

History

2026-11-02: add by m2/dev

watt EGE89TQEWE

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

Mentions

wikidata: Wikidata Q25236, watt (definition). Also ProofWiki Definition:SI/Power/Watt

History

2026-10-26: add by m2/dev

EGE9ZY0V2K EGE9ZY0V2K

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

Mentions

lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-10 (exercise). In E59CDZA4DP, exercise, section 11.9.6

History

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

Statement EGEE0PHGAD

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

Mentions

wikipedia: Wikipedia Borel fixed-point theorem#3SXQ, Statement (statement)

History

2026-11-02: add by m2/dev

EGEEV3H8NT EGEEV3H8NT

URI	`m2://inv/EGEEV3H8NT`
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.27823#F1I4 (statement)

History

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

EGEG2F52K2 EGEG2F52K2

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

Mentions

hott_book: hott_book hlevels.tex#thm:conemap-funct (statement). In N54F33XE07, lem, section 6.4

History

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

EGEHQ1KNRA EGEHQ1KNRA

URI	`m2://inv/EGEHQ1KNRA`
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.35442#542Y (statement). In C6R0DAA279/e1, lemma 3.6

History

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

McWilliams identity EGEW06B9XW

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#SU27, McWilliams identity (definition)

History

2026-11-02: add by m2/dev

Definition EGEXBW4CT0

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

Mentions

wikipedia: Wikipedia Hyperfactorial#WM96, Definition (definition)

History

2026-11-02: add by m2/dev

EGF2425EKB EGF2425EKB

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

Mentions

arxiv: arXiv 2609.33590#CBO8 (statement). In WRE0P7V6Z3/e1, lemma 12.11

History

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

Bolzano's theorem EGF2BGJZ26

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

Mentions

wikipedia: Wikipedia List of theorems#RWT3, Bolzano's theorem (statement)

History

2026-11-02: add by m2/dev

Almost all EGF93GZD8V

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

Mentions

wikipedia: Wikipedia List of exceptional set concepts#UAZX, Almost all (definition)

History

2026-11-02: add by m2/dev

714 (number) EGFHH5MWR7

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

Mentions

wikipedia: Wikipedia 700 (number)#47OA, 714 (number) (unknown)

History

2026-11-02: add by m2/dev

EGFJZ2KWJV EGFJZ2KWJV

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#example-4 (example). In P1C114YBXG, example, section D

History

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

EGFM2AHM1V EGFM2AHM1V

URI	`m2://inv/EGFM2AHM1V`
Kind	statement
Layer	research
MSC	37-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.04179#UNYV (statement). In D64RQ09KBP/e1, corollary 4.8

History

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

Wapato EGFP2W31W0

URI	`m2://inv/EGFP2W31W0`
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#N8AD, Wapato (unknown)

History

2026-11-02: add by m2/dev

Engineering drawing EGG08R4NJ9

URI	`m2://inv/EGG08R4NJ9`
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#LYUP, Engineering drawing (unknown)

History

2026-11-02: add by m2/dev

Properties EGG0TB6YPW

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

Mentions

wikipedia: Wikipedia Cofinality#X8ZP, Properties (statement)

History

2026-11-02: add by m2/dev

EGGAH9X21Y EGGAH9X21Y

URI	`m2://inv/EGGAH9X21Y`
Kind	definition
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#P9GD (definition). In BJGS6ZCQ12/e1, definition 5.1

History

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

EGGAN3469V EGGAN3469V

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

Mentions

arxiv: arXiv 2410.22607#ITFV (definition). In 6GT33A43SY/e1, definition 2.1

History

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

EGGC0RRSH2 EGGC0RRSH2

URI	`m2://inv/EGGC0RRSH2`
Kind	conjecture
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.27800#840Z (conjecture)

History

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

TI-84 Plus T EGGMN6AW9C

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

Mentions

wikipedia: Wikipedia TI-84 Plus series#KPVI, TI-84 Plus T (unknown)

History

2026-11-02: add by m2/dev

Color-coding EGGRQNZDDH

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

Mentions

wikipedia: Wikipedia Color-coding, Color-coding (definition). Also Wikidata Q5148529

History

2026-11-02: add by m2/dev

Marius Crainic EGGWCE8TYA

URI	`m2://inv/EGGWCE8TYA`
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 Q84323670, Marius Crainic (unknown). Also nLab Marius Crainic
wikipedia: Wikipedia Marius Crainic, Marius Crainic (topic). Also Wikidata Q84323670

History

2026-10-26: add by m2/dev

Lipschitz continuity of the truncated source EGGZ9P3BMJ

URI	`m2://inv/EGGZ9P3BMJ`
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.15528#8TQ9, Lipschitz continuity of the truncated source (statement). In G9GEE64N32/e1, lemma 3.2

History

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

EGH16P3GB2 EGH16P3GB2

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

Mentions

arxiv: arXiv 2609.21703#7LZZ (example)

History

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

Applications EGH4AM51W1

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

Mentions

wikipedia: Wikipedia Forbidden subgraph problem#GXXJ, Applications (example)

History

2026-11-02: add by m2/dev

EGH6APQG8J EGH6APQG8J

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

Mentions

arxiv: arXiv 2610.11793#RNIS (statement). In GGCY8Z053Z/e1, theorem 1.3

History

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

EGHA443JF5 EGHA443JF5

URI	`m2://inv/EGHA443JF5`
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.13852#WXTB (statement). In SXTGSAH3WF/e1, corollary 5.3

History

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

Lemma EGHB9WNDTB

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

Mentions

wikipedia: Wikipedia Prékopa–Leindler inequality#TV1O, Lemma (statement)

History

2026-11-02: add by m2/dev

EGHCYR1JKN EGHCYR1JKN

URI	`m2://inv/EGHCYR1JKN`
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.19590#H747 (statement). In AZFARX0CXG/e1, corollary 4.2

History

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

Wendelin Werner EGHG84RP6T

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

Mentions

wikipedia: Wikipedia Wendelin Werner, Wendelin Werner (topic). Also Wikidata Q164369

History

2026-11-02: add by m2/dev

Properties EGHJ4FP9GH

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

Mentions

wikipedia: Wikipedia Point reflection#JZZ3, Properties (statement)

History

2026-11-02: add by m2/dev

Sarason interpolation theorem EGHTEHE9F7

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

Mentions

wikipedia: Wikipedia Sarason interpolation theorem, Sarason interpolation theorem (statement). Also Wikidata Q7423215

History

2026-11-02: add by m2/dev

EGHX48MRE7 EGHX48MRE7

URI	`m2://inv/EGHX48MRE7`
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 math/9802134#FVGO (statement). In 235B1J1ETB/e1, lemma 3.5

History

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

EGHYDTTP84 EGHYDTTP84

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

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/sigma1-completeness.tex#defn:delta0-sigma1-pi1-frm (definition). In PKGMM3P5QY, defn, section 30.3

History

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

CCM mode EGJ1CH8SHS

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

Mentions

wikipedia: Wikipedia CCM mode, CCM mode (definition). Also Wikidata Q5009649

History

2026-11-02: add by m2/dev

EGJ48YW6B8 EGJ48YW6B8

URI	`m2://inv/EGJ48YW6B8`
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 1002.0879#FHRT (statement). In M0SQY5EZN5/e1, lemma 4.6.10

History

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

Symmetric group EGJ6HJJP2N

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

Mentions

wikipedia: Wikipedia List of small groups#E4ZL, Symmetric group (definition)

History

2026-11-02: add by m2/dev

619 (number) EGJB41W57F

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

Mentions

wikipedia: Wikipedia 600 (number)#24A4, 619 (number) (unknown)

History

2026-11-02: add by m2/dev

Fixed qLCL type threshold EGJDQAV8NZ

URI	`m2://inv/EGJDQAV8NZ`
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#WMT7, Fixed qLCL type threshold (statement). In 7MVPNFPRKB/e1, theorem 5.6

History

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

Hochster–Roberts theorem EGJGFAH87Y

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

Mentions

wikipedia: Wikipedia Hochster–Roberts theorem, Hochster–Roberts theorem (statement). Also Wikidata Q5875438

History

2026-11-02: add by m2/dev

Annealed unregularized rate EGJJTR0816

URI	`m2://inv/EGJJTR0816`
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.04638#0XKR, Annealed unregularized rate (statement). In 3YM5F3YHD5/e1, corollary F.11

History

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

Buridan formula EGJK13K8CG

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

Mentions

wikipedia: Wikipedia Buridan formula, Buridan formula (statement). Also Wikidata Q28456303

History

2026-11-02: add by m2/dev

EGJSG42706 EGJSG42706

URI	`m2://inv/EGJSG42706`
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.35186#YREJ (statement). In VFNPANY3HD/e1, lemma 1

History

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

EGJV669S0Q EGJV669S0Q

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

Mentions

arxiv: arXiv 2201.10697#6PWO (definition). In WN2Z20ZV49/e1, definition 2.1

History

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

EGJVJM0KYB EGJVJM0KYB

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

Mentions

arxiv: arXiv 2610.21960#3FUD (definition). In QX77AN49J0/e1, definition 3.1

History

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

EGJW8E6TVR EGJW8E6TVR

URI	`m2://inv/EGJW8E6TVR`
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.17258#174A (statement). In F4M67ZVBF2/e1, proposition 1.1

History

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

The Louvain method algorithm EGKNEFTJPS

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

Mentions

wikipedia: Wikipedia Louvain method#ZV8J, The Louvain method algorithm (definition)

History

2026-11-02: add by m2/dev

Multimode extension EGKQHMBD0W

URI	`m2://inv/EGKQHMBD0W`
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.01855#0YYJ, Multimode extension (statement). In MM8P5CJR18/e1, corollary E.2

History

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

Species discovery curve EGKT5GG2MD

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

Mentions

wikipedia: Wikipedia Species discovery curve, Species discovery curve (definition). Also Wikidata Q4240641

History

2026-11-02: add by m2/dev

Spherical transform EGM7C9KKVJ

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

Mentions

arxiv: arXiv 2503.01567#GXBL, Spherical transform (definition). In GB0V23Q6C5/e1, definition 2.2

History

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

EGM8CVW4DS EGM8CVW4DS

URI	`m2://inv/EGM8CVW4DS`
Kind	statement
Layer	research
MSC	05-XX, 11-XX, 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.25168#6S85 (statement)

History

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

EGMF3G287C EGMF3G287C

URI	`m2://inv/EGMF3G287C`
Kind	definition
Layer	research
MSC	35-XX, 46-XX, 47-XX, 58-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.22109#IASZ (definition). In MZ60NP20BH/e1, definition 2.11

History

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

Raychaudhuri-induced spatial non-collapse EGMHR5MAQ2

URI	`m2://inv/EGMHR5MAQ2`
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.07879#6KDB, Raychaudhuri-induced spatial non-collapse (statement). In F64MCBEHM7/e1, theorem 1

History

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

Confluence to the generalized Hermite functions EGMNXS6VHR

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

Mentions

arxiv: arXiv 2609.30619#X0H7, Confluence to the generalized Hermite functions (statement). In FCY11C2FV0/e1, proposition 1

History

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

EGMWCP7N7G EGMWCP7N7G

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

Mentions

arxiv: arXiv 2610.17408#70U2 (statement). In QR8H4M1X4N/e1, lemma 3.3

History

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

Clock hypothesis EGNQDRXYMY

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

Mentions

wikipedia: Wikipedia Time dilation#M0J3, Clock hypothesis (statement)

History

2026-11-02: add by m2/dev

Three Mile, North Carolina EGNYK9KAJ5

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

Mentions

wikipedia: Wikipedia List of places with numeric names#XMLR, Three Mile, North Carolina (unknown)

History

2026-11-02: add by m2/dev

EGP1EA7F11 EGP1EA7F11

URI	`m2://inv/EGP1EA7F11`
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 2503.05873#XNXX (statement). In 2FY5P3FAS0/e1, corollary 1

History

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

Locally compact abelian group EGP288RGBP

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

Mentions

wikipedia: Wikipedia Locally compact abelian group, Locally compact abelian group (definition). Also Wikidata Q65122103

History

2026-11-02: add by m2/dev

Generalization EGP2P6TRBF

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

Mentions

wikipedia: Wikipedia Linear inequality#6L41, Generalization (statement)

History

2026-11-02: add by m2/dev

EGP57T62AR EGP57T62AR

URI	`m2://inv/EGP57T62AR`
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.13745#FWLE (statement). In CFJH0Q39FZ/e1, corollary 2.10

History

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

EGPD9C85RP EGPD9C85RP

URI	`m2://inv/EGPD9C85RP`
Kind	example
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.06488#7FJK (example). In XG3BJ2QXXP/e1, example 5.9

History

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

EGPKV9X1R7 EGPKV9X1R7

URI	`m2://inv/EGPKV9X1R7`
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 2310.14879#H4IS (statement). In 3VZ55B2N0D/e1, lemma 5.24

History

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

EGPQF6P72M EGPQF6P72M

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

Mentions

arxiv: arXiv 2609.24614#KU42 (statement)

History

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

Norms after a quadratic shift EGPS7VP31K

URI	`m2://inv/EGPS7VP31K`
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.30301#376R, Norms after a quadratic shift (statement). In 7NS75J7HAM/e1, lemma 8.6

History

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

Determinantal variety EGPW5R8XNH

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

Mentions

wikipedia: Wikipedia Determinantal variety, Determinantal variety (definition). Also Wikidata Q5265691

History

2026-11-02: add by m2/dev

Angular displacement EGQ0JG4BD3

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#UH51, Angular displacement (unknown)

History

2026-11-02: add by m2/dev

EGQ105688V EGQ105688V

URI	`m2://inv/EGQ105688V`
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 2108.09796#MO6D (statement). In NAA7WFQN20/e1, lemma 7.3

History

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

Noise-adaptive average-iterate upper bounds EGQ2NANYJ0

URI	`m2://inv/EGQ2NANYJ0`
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.32729#F78U, Noise-adaptive average-iterate upper bounds (statement). In PGJ37WRB1K/e1, theorem 3.14

History

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

companion matrix EGQ8TF53DJ

URI	`m2://inv/EGQ8TF53DJ`
Kind	definition
Layer	textbook
MSC	15A21
Sources	2
Outcome	node (a node has the same name as the row)
Node	Companion matrix 0VH1TC1PWF

Mentions

wikidata: Wikidata Q814361, companion matrix (topic). Also MathWorld CompanionMatrix
wikipedia: Wikipedia Companion matrix, Companion matrix (definition). Also Wikidata Q814361

History

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

Vivien Challis EGQAS5ZFQ6

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

Mentions

wikipedia: Wikipedia Vivien Challis, Vivien Challis (topic). Also Wikidata Q89022151

History

2026-11-02: add by m2/dev

EGQB7KKSMG EGQB7KKSMG

URI	`m2://inv/EGQB7KKSMG`
Kind	definition
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.21260#Q1MD (definition). In Z7WW536KA5/e1, definition 1.1

History

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

Euler's theorem EGQDFXW2KV

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

Mentions

wikipedia: Wikipedia Homogeneous function#BKL8, Euler's theorem (statement)

History

2026-11-02: add by m2/dev

EGQECGNYXB EGQECGNYXB

URI	`m2://inv/EGQECGNYXB`
Kind	statement
Layer	research
MSC	14-XX, 20-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.03756#3S02 (statement). In 2381M4GBTT/e1, corollary 5.3

History

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

convex analysis EGQEFE2QJB

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

Mentions

wikidata: Wikidata Q2234833, convex analysis (topic). Also nLab convex analysis
wikipedia: Wikipedia Convex analysis, Convex analysis (definition). Also Wikidata Q2234833

History

2026-10-26: add by m2/dev

Series of reciprocal powers EGQZ4EFYR3

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

Mentions

wikipedia: Wikipedia Riemann zeta function#JNMZ, Series of reciprocal powers (unknown)

History

2026-11-02: add by m2/dev

EGR8WDZ70F EGR8WDZ70F

URI	`m2://inv/EGR8WDZ70F`
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.18270#MILU (statement). In CPDMYJ0NJV/e1, theorem 1.4

History

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

Applications EGRF5DDVMZ

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

Mentions

wikipedia: Wikipedia Concave function#PZXU, Applications (example)

History

2026-11-02: add by m2/dev

Eduard Heine EGRH9P9MVD

URI	`m2://inv/EGRH9P9MVD`
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 Q77301, Eduard Heine (unknown). Also nLab Eduard Heine
wikipedia: Wikipedia Eduard Heine, Eduard Heine (topic). Also Wikidata Q77301

History

2026-10-26: add by m2/dev

Woodburn EGRMHVDP6N

URI	`m2://inv/EGRMHVDP6N`
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#IHRT, Woodburn (unknown)

History

2026-11-02: add by m2/dev

Émile Borel EGRX2N9XJS

URI	`m2://inv/EGRX2N9XJS`
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#3U2N, Émile Borel (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#78B9, Émile Borel (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8K7P, Émile Borel (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#B9TG, Émile Borel (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JP0Y, Émile Borel (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RYUG, Émile Borel (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VJ8B, Émile Borel (topic)

History

2026-11-02: add by m2/dev

Geometric coalescent coupling from uniform ergodicity EGRXEFMD7Q

URI	`m2://inv/EGRXEFMD7Q`
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.39144#X5WJ, Geometric coalescent coupling from uniform ergodicity (statement). In 814ZF5WMMF/e1, lemma 7

History

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

EGRY37KD3Y EGRY37KD3Y

URI	`m2://inv/EGRY37KD3Y`
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.17571#7QRP (statement). In SWFN2HCEE7/e1, theorem 1.4

History

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

Paragyrate diminished rhombicosidodecahedron EGRYZJBEZH

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#FB2S, Paragyrate diminished rhombicosidodecahedron (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#B58W, Paragyrate diminished rhombicosidodecahedron (definition)

History

2026-11-02: add by m2/dev

EGRZ0ZZ15V EGRZ0ZZ15V

URI	`m2://inv/EGRZ0ZZ15V`
Kind	definition
Layer	research
MSC	05-XX, 17-XX, 20-XX, 22-XX, 35-XX, 47-XX, 58-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 2211.01586#W3EY (definition). In P39MF3ZJC0/e1, definition 2.1

History

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

CTM EGS1J34N0V

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

Mentions

wikipedia: Wikipedia Glossary of set theory#0838, CTM (definition)

History

2026-11-02: add by m2/dev

EGS414SWDE EGS414SWDE

URI	`m2://inv/EGS414SWDE`
Kind	statement
Layer	research
MSC	17-XX, 18-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 2609.20725#TXJZ (statement)

History

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

June Barrow-Green EGSK9NX1TP

URI	`m2://inv/EGSK9NX1TP`
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#XOI1, June Barrow-Green (unknown)

History

2026-11-02: add by m2/dev

EGSPMH4DHS EGSPMH4DHS

URI	`m2://inv/EGSPMH4DHS`
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.00789#EPW0 (statement). In 4WPYBTARS2/e1, proposition 2.34

History

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

EGST3R54QC EGST3R54QC

URI	`m2://inv/EGST3R54QC`
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.14803#SQKP (statement). In VAEVDTBD3B/e1, theorem 4.6

History

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

Surrey Police EGSTACXMT3

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

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#DZHD, Surrey Police (unknown)

History

2026-11-02: add by m2/dev

Multiplication theorem EGT0D3TZGD

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

Mentions

wikipedia: Wikipedia Incomplete gamma function#POHD, Multiplication theorem (statement)

History

2026-11-02: add by m2/dev

EGT5VAJE30 EGT5VAJE30

URI	`m2://inv/EGT5VAJE30`
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.11517#3V4Z (statement). In 87NF85QAKT/e1, lemma 3.5

History

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

Smoothing with a strict sectional-curvature threshold EGT7G27WZC

URI	`m2://inv/EGT7G27WZC`
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.03298#2VJH, Smoothing with a strict sectional-curvature threshold (statement). In 9SBZP218SM/e1, lemma 9.1

History

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

Robust control EGTBYZ4TJH

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

Mentions

wikipedia: Wikipedia Robust control, Robust control (definition). Also Wikidata Q915157

History

2026-11-02: add by m2/dev

Tom Berson EGTD0MVV8W

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#J73J, Tom Berson (topic)

History

2026-11-02: add by m2/dev

Poincaré residue EGTEJR0KBB

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

Mentions

wikipedia: Wikipedia Poincaré residue, Poincaré residue (definition). Also Wikidata Q7207867

History

2026-11-02: add by m2/dev

EGTP0WCF4Y EGTP0WCF4Y

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

Mentions

arxiv: arXiv 2610.14377#TKKO (statement). In WEZPNET90D/e1, lemma 2.1

History

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

Edwin G. Olds EGTP8FNM43

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

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#DY6J, Edwin G. Olds (unknown)

History

2026-11-02: add by m2/dev

Systolic category EGTW7D3JQ1

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#MXMJ, Systolic category (unknown)

History

2026-11-02: add by m2/dev

EGTWHWT245 EGTWHWT245

URI	`m2://inv/EGTWHWT245`
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.26713#LMO8 (statement)

History

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

Interlocking interval topology EGVGJ5PGRN

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

Mentions

wikipedia: Wikipedia Interlocking interval topology, Interlocking interval topology (definition). Also Wikidata Q17106378

History

2026-11-02: add by m2/dev

Parity graph EGVPC25S34

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

Mentions

wikipedia: Wikipedia Parity graph, Parity graph (definition). Also Wikidata Q28455773

History

2026-11-02: add by m2/dev

K-means algorithm EGVQJAHCYB

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

Mentions

wikipedia: Wikipedia List of statistics articles#LUQ4, K-means algorithm (definition)

History

2026-11-02: add by m2/dev

Examples EGW1SKPAV6

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

Mentions

wikipedia: Wikipedia Treewidth#U7L7, Examples (example)

History

2026-11-02: add by m2/dev

Formal statement EGW41GJZW8

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

Mentions

wikipedia: Wikipedia Hopf theorem#VUF9, Formal statement (statement)

History

2026-11-02: add by m2/dev

EGW5V0V77K EGW5V0V77K

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

Mentions

napkin: napkin tex/H113/grp-intro.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 2.8

History

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

Heavy-light decomposition EGWAWXY688

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

Mentions

wikipedia: Wikipedia Heavy-light decomposition, Heavy-light decomposition (definition). Also Wikidata Q17022001

History

2026-11-02: add by m2/dev

Ryll-Nardzewski fixed-point theorem EGWD56WQ8Y

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

Mentions

mathlib_1000: mathlib_1000 Q1422083, Ryll-Nardzewski fixed-point theorem (statement). Also Wikidata Q1422083
thousand_plus: thousand_plus Q1422083, Ryll-Nardzewski fixed-point theorem (statement). Also Wikidata Q1422083, Wikipedia Ryll-Nardzewski fixed-point theorem
wikipedia: Wikipedia Ryll-Nardzewski fixed-point theorem, Ryll-Nardzewski fixed-point theorem (statement). Also Wikidata Q1422083

History

2026-10-26: add by m2/dev

Example EGWDJMXEVN

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

Mentions

wikipedia: Wikipedia Ringschluss#CNOL, Example (example)

History

2026-11-02: add by m2/dev

Ranked poset EGWFNX2E1G

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

Mentions

wikipedia: Wikipedia Ranked poset, Ranked poset (definition). Also Wikidata Q16964327

History

2026-11-02: add by m2/dev

Strictly non-palindromic number EGWFQG0FJS

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

Mentions

wikipedia: Wikipedia Palindromic number#YXNZ, Strictly non-palindromic number (unknown)

History

2026-11-02: add by m2/dev

70 EGWG0MK0YK

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

Mentions

wikipedia: Wikipedia 70 (number), 70 (definition). Also Wikidata Q712514

History

2026-11-02: add by m2/dev

Benson Farb EGWNFH1XZS

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

Mentions

wikipedia: Wikipedia Benson Farb, Benson Farb (topic). Also Wikidata Q3893410

History

2026-11-02: add by m2/dev

EGWNKQFEKN EGWNKQFEKN

URI	`m2://inv/EGWNKQFEKN`
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.35467#1VW8 (statement). In FK89DQ9J4S/e1, theorem A

History

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

Methods EGWPYZ3AJM

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

Mentions

wikipedia: Wikipedia Knowledge distillation#ILR0, Methods (definition)

History

2026-11-02: add by m2/dev

Procedure EGWSP883PD

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

Mentions

wikipedia: Wikipedia Method of Chester–Friedman–Ursell#AME5, Procedure (definition)

History

2026-11-02: add by m2/dev

Harmonicity and its weak form EGWVP3HC5Q

URI	`m2://inv/EGWVP3HC5Q`
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.39531#3321, Harmonicity and its weak form (statement). In SN9RSTHQ07/e1, proposition 3.1

History

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

proton mass EGX344FSJE

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

Mentions

wikidata: Wikidata Q97275155, proton mass (definition). Also ProofWiki Definition:Proton/Mass

History

2026-10-26: add by m2/dev

Separated sets EGXB9F0NHN

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

Mentions

wikipedia: Wikipedia List of general topology topics#ZK8W, Separated sets (definition)

History

2026-11-02: add by m2/dev

James P. Lin EGXGBCG81W

URI	`m2://inv/EGXGBCG81W`
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#C65K, James P. Lin (unknown)

History

2026-11-02: add by m2/dev

James Smoot Coleman EGXHG8YZH0

URI	`m2://inv/EGXHG8YZH0`
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#18MU, James Smoot Coleman (unknown)

History

2026-11-02: add by m2/dev

EGXNFFNQVY EGXNFFNQVY

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

Mentions

arxiv: arXiv 2609.24638#M9UB (statement)

History

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

atomic number EGXQA66FFF

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

Mentions

wikidata: Wikidata Q23809, atomic number (unknown). Also nLab atomic number
wikipedia: Wikipedia Atomic number, Atomic number (definition). Also Wikidata Q23809

History

2026-10-26: add by m2/dev

Stephon Alexander EGXTN358GY

URI	`m2://inv/EGXTN358GY`
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 Q28228095, Stephon Alexander (unknown). Also nLab Stephon Alexander

History

2026-10-26: add by m2/dev

EGXW58M2AC EGXW58M2AC

URI	`m2://inv/EGXW58M2AC`
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 2601.01000#RB0X (statement). In RYFV9HGWWZ/e1, lemma 20

History

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

Weak equivalence principle EGYB6ETPCF

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

Mentions

wikipedia: Wikipedia Equivalence principle#QS8G, Weak equivalence principle (statement)

History

2026-11-02: add by m2/dev

Carath{\'e}odory EGYK7SFZ4R

URI	`m2://inv/EGYK7SFZ4R`
Kind	statement
Layer	research
MSC	46-XX, 49-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 2606.21391#CHDV, Carath{\'e}odory (statement). In J9C7YMKJ33/e1, theorem

History

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

Example EGYPGBEWGW

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

Mentions

wikipedia: Wikipedia Bertrand's ballot theorem#6K8K, Example (example)

History

2026-11-02: add by m2/dev

Riemann sums EGYRXBN9J0

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

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Integration > Riemann sums, Riemann sums (unknown). Also Mathlib BoxIntegral.integralSum

History

2026-10-26: add by m2/dev

EGYTDJZ826 EGYTDJZ826

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

Mentions

arxiv: arXiv 2610.18061#JH2D (statement). In Y8A35AV31M/e1, lemma 4.1

History

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

Preliminary lemmas EGZ0KSCAAZ

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

Mentions

wikipedia: Wikipedia Lindemann–Weierstrass theorem#AG9Z, Preliminary lemmas (statement)

History

2026-11-02: add by m2/dev

EGZ8VD08JW EGZ8VD08JW

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

Mentions

arxiv: arXiv 2109.12716#7YQL (definition). In 6X76XBE3HV/e1, definition 4

History

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

Applications EGZA4TRZC1

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

Mentions

wikipedia: Wikipedia Geomathematics#LNM0, Applications (example)

History

2026-11-02: add by m2/dev

Aurel Wintner EGZQKEHY08

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#MUWR, Aurel Wintner (unknown)

History

2026-11-02: add by m2/dev

constant sheaf EGZYYRFN8Z

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

Mentions

wikidata: Wikidata Q5163667, constant sheaf (definition). Also nLab constant sheaf, ProofWiki Definition:Constant_Sheaf
wikipedia: Wikipedia Constant sheaf, Constant sheaf (definition). Also Wikidata Q5163667

History

2026-10-26: add by m2/dev