Inventory rows CX

Symmetry CX04J72P9F

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

Mentions

wikipedia: Wikipedia Pentomino#47NP, Symmetry (statement)

History

2026-11-02: add by m2/dev

CX06W1J9B7 CX06W1J9B7

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-41 (proof). In VNMV985MXX, proof, section 3.2

History

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

Conjugacy class sum CX07Y5WRZJ

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

Mentions

wikipedia: Wikipedia Conjugacy class sum, Conjugacy class sum (definition). Also Wikidata Q5161138

History

2026-11-02: add by m2/dev

noise CX0A2G3PR0

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

Mentions

wikidata: Wikidata Q17104942, noise (unknown). Also MathWorld Noise

History

2026-10-26: add by m2/dev

Braid statistics CX0MSZCHC4

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#V877, Braid statistics (unknown)

History

2026-11-02: add by m2/dev

CX0RPREPYZ CX0RPREPYZ

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

Mentions

arxiv: arXiv 2609.27114#6PDR (statement)

History

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

CX0WF4GQZP CX0WF4GQZP

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

History

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

Eugene Dynkin CX0YWJJYZ0

URI	`m2://inv/CX0YWJJYZ0`
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 Q1356831, Eugene Dynkin (unknown). Also ProofWiki Mathematician:Eugene_Borisovich_Dynkin
wikipedia: Wikipedia Eugene Dynkin, Eugene Dynkin (topic). Also Wikidata Q1356831

History

2026-10-26: add by m2/dev

CX0ZDJDKZM CX0ZDJDKZM

URI	`m2://inv/CX0ZDJDKZM`
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#CU8D (statement). In ZXZN6RMN38/e1, proposition 9

History

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

CX1GGVM32D CX1GGVM32D

URI	`m2://inv/CX1GGVM32D`
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.17188#38QE (statement). In KP3ZYTMAN9/e1, theorem 2.2

History

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

premises CX1HZ9H26Z

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

Mentions

levin_dmoi: levin_dmoi index/4/premises, premises (concept). In Y91XFCEVHQ, index, section 4

History

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

Chaim Goodman-Strauss CX23RKFQ7X

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

Mentions

wikipedia: Wikipedia Chaim Goodman-Strauss, Chaim Goodman-Strauss (topic). Also Wikidata Q47008587

History

2026-11-02: add by m2/dev

Variational witness bound CX25Z7VCGR

URI	`m2://inv/CX25Z7VCGR`
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#A00N, Variational witness bound (statement). In MBJA03ES8N/e1, proposition 5.5

History

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

commensurator CX292PHH48

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

Mentions

wikidata: Wikidata Q5152373, commensurator (unknown). Also LMFDB knowl commensurable.group
wikipedia: Wikipedia Commensurability (group theory), Commensurability (definition). Also Wikidata Q5152373

History

2026-10-26: add by m2/dev

CX2A8X4QWR CX2A8X4QWR

URI	`m2://inv/CX2A8X4QWR`
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 2503.01563#PVMO (statement). In H96Q47E9E1/e1, lemma 3.6

History

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

CX2ASP6AQF CX2ASP6AQF

URI	`m2://inv/CX2ASP6AQF`
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.26896#MRTQ (statement)

History

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

CX2JWA80E6 CX2JWA80E6

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise:strongerleibniz (exercise). In E59CDZA4DP, exercise, section 6.1.1

History

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

Bingham, Christopher CX304N9TE0

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

Mentions

wikipedia: Wikipedia List of statisticians#6MHR, Bingham, Christopher (unknown)

History

2026-11-02: add by m2/dev

CX3109M7FD CX3109M7FD

URI	`m2://inv/CX3109M7FD`
Kind	statement
Layer	research
MSC	37-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.16640#L7B5 (statement). In DEVX71G2ZK/e1, lemma 2.3

History

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

Estimand CX336H7NMS

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

Mentions

wikipedia: Wikipedia Estimand, Estimand (definition). Also Wikidata Q30314011

History

2026-11-02: add by m2/dev

Kostant partition function CX36SDTASD

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

Mentions

wikipedia: Wikipedia Kostant partition function, Kostant partition function (definition). Also Wikidata Q6433478

History

2026-11-02: add by m2/dev

Malcolm Williamson CX398ZRBEN

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

Mentions

wikipedia: Wikipedia List of cryptographers#YET0, Malcolm Williamson (topic)

History

2026-11-02: add by m2/dev

Triaugmented truncated dodecahedron CX3GFHDAMS

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#4AN8, Triaugmented truncated dodecahedron (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#ROXU, Triaugmented truncated dodecahedron (definition)

History

2026-11-02: add by m2/dev

CX3KBQVNA5 CX3KBQVNA5

URI	`m2://inv/CX3KBQVNA5`
Kind	statement
Layer	research
MSC	13-XX, 14-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.38068#IGSD (statement). In 67GE5M1GGD/e1, proposition 7.6

History

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

CX3MCXWN70 CX3MCXWN70

URI	`m2://inv/CX3MCXWN70`
Kind	example
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 2504.13516#CTUA (example). In Z9JWKWH7CJ/e1, example 4.9

History

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

CX3MWWVFNB CX3MWWVFNB

URI	`m2://inv/CX3MWWVFNB`
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#QY5P (statement). In AZFARX0CXG/e1, proposition 6.1

History

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

function extensionality CX3Q3YA581

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

Mentions

hott_book: hott_book index/4.3.1/function-extensionality, function extensionality (concept). In N54F33XE07, index, section 4.3.1

History

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

CX3R5TBCBH CX3R5TBCBH

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

Mentions

arxiv: arXiv 2609.23822#GCLU (statement)

History

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

Goro Azumaya CX3WE86P7N

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

Mentions

wikipedia: Wikipedia Goro Azumaya, Goro Azumaya (topic). Also Wikidata Q794299

History

2026-11-02: add by m2/dev

CX4BGNSPT4 CX4BGNSPT4

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

Mentions

arxiv: arXiv 1009.3308#PUZL (statement). In KGBKNQB52Z/e1, theorem 2.2

History

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

CX4D18D5P0 CX4D18D5P0

URI	`m2://inv/CX4D18D5P0`
Kind	problem
Layer	research
MSC	03-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 1705.04310#88AO (problem). In MG51GG0QZN/e1, problem 5.7

History

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

Immanuel Kant CX4F3KXX7N

URI	`m2://inv/CX4F3KXX7N`
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 Q9312, Immanuel Kant (unknown). Also nLab Immanuel Kant

History

2026-10-26: add by m2/dev

CX4JGJ2Y4M CX4JGJ2Y4M

URI	`m2://inv/CX4JGJ2Y4M`
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.21540#BIXD (statement)

History

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

Triangular hebesphenorotunda CX4JXB5SMZ

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#CK9G, Triangular hebesphenorotunda (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#QBLQ, Triangular hebesphenorotunda (definition)

History

2026-11-02: add by m2/dev

CX4KRNNGJA CX4KRNNGJA

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

Mentions

arxiv: arXiv 2303.09207#SY42 (example). In 9DQKY7KGE8/e1, example A.11

History

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

CX4M2CBTXM CX4M2CBTXM

URI	`m2://inv/CX4M2CBTXM`
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 2504.14383#FML1 (statement). In QD0X3XJS6T/e1, lemma 7.17

History

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

CX4NXSXG9X CX4NXSXG9X

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

Mentions

arxiv: arXiv 2610.15432#6EWC (statement). In D1DFM4WYEW/e1, lemma 5.1

History

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

Properties CX4XTANTX7

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

Mentions

wikipedia: Wikipedia Automorphism group of a free group#8BVR, Properties (statement)

History

2026-11-02: add by m2/dev

CX4YZG8ZBH CX4YZG8ZBH

URI	`m2://inv/CX4YZG8ZBH`
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 2308.02672#U16D (statement). In ETRT1R1CQ8/e1, lemma 9.2

History

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

CX522T0Q9R CX522T0Q9R

URI	`m2://inv/CX522T0Q9R`
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#TCJ8 (statement). In 1QSCT53ZED/e1, lemma 9.3

History

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

Examples CX55ZRZQ1D

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

Mentions

wikipedia: Wikipedia Fast syndrome-based hash#2LB9, Examples (example)

History

2026-11-02: add by m2/dev

Definition CX5799AKJK

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

Mentions

wikipedia: Wikipedia Binary symmetric channel#Y0RG, Definition (definition)

History

2026-11-02: add by m2/dev

CX57P6AZQ5 CX57P6AZQ5

URI	`m2://inv/CX57P6AZQ5`
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 2610.09300#7Z9M (definition). In JP589KS01S/e1, definition 1.5

History

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

CX59B57B5T CX59B57B5T

URI	`m2://inv/CX59B57B5T`
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#2IMD (statement)

History

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

CX5ADCBKK1 CX5ADCBKK1

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

Mentions

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

History

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

Fundamental theorem of symmetric polynomials CX5CF7XC17

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

Mentions

wikipedia: Wikipedia List of theorems called fundamental#SZI3, Fundamental theorem of symmetric polynomials (definition)

History

2026-11-02: add by m2/dev

Andrew Odlyzko CX5DZVTDV1

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

Mentions

wikipedia: Wikipedia Andrew Odlyzko, Andrew Odlyzko (topic). Also Wikidata Q506615

History

2026-11-02: add by m2/dev

Examples CX5GPJJKGS

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

Mentions

wikipedia: Wikipedia Stochastic chains with memory of variable length#S6ET, Examples (example)

History

2026-11-02: add by m2/dev

Fractional matching CX5MMWAYS3

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

Mentions

wikipedia: Wikipedia Fractional matching, Fractional matching (definition). Also Wikidata Q97193765

History

2026-11-02: add by m2/dev

CX5WV5XA20 CX5WV5XA20

URI	`m2://inv/CX5WV5XA20`
Kind	statement
Layer	research
MSC	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 2609.27103#M9RH (statement)

History

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

incompressible fluid CX5YY78E9F

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

Mentions

wikidata: Wikidata Q1663717, incompressible fluid (definition). Also ProofWiki Definition:Incompressible_Fluid
wikipedia: Wikipedia Incompressible flow, Incompressible flow (object). Also Wikidata Q1663717

History

2026-10-26: add by m2/dev

bipolar cylindrical coordinates CX63DA84TF

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

Mentions

wikidata: Wikidata Q4915481, bipolar cylindrical coordinates (unknown). Also MathWorld BipolarCylindricalCoordinates
wikipedia: Wikipedia Bipolar cylindrical coordinates, Bipolar cylindrical coordinates (definition). Also Wikidata Q4915481

History

2026-10-26: add by m2/dev

CX6DPSZSJF CX6DPSZSJF

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

Mentions

arxiv: arXiv 2610.21298#B9ZS (problem). In AXWM2MBYXV/e1, problem 8.1

History

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

CX6JXDDDSB CX6JXDDDSB

URI	`m2://inv/CX6JXDDDSB`
Kind	statement
Layer	research
MSC	26-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 2411.16022#T06V (statement). In QG9ATXTKJ6/e1, proposition 2.9

History

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

monad CX6Q9SC2H0

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

Mentions

wikipedia: Wikipedia Glossary of category theory#42DV, monad (definition)

History

2026-11-02: add by m2/dev

Applications CX6QWWKFX2

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

Mentions

wikipedia: Wikipedia Linear temporal logic#FASV, Applications (example)

History

2026-11-02: add by m2/dev

Half-side formula CX6WQF2XJZ

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

Mentions

wikipedia: Wikipedia Half-side formula, Half-side formula (statement). Also Wikidata Q4491941

History

2026-11-02: add by m2/dev

Definition CX76EXFSEB

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

Mentions

wikipedia: Wikipedia Euler–Maruyama method#OCQL, Definition (definition)

History

2026-11-02: add by m2/dev

vector Laplacian CX77FSCJWW

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

Mentions

wikidata: Wikidata Q7888852, vector Laplacian (unknown). Also MathWorld VectorLaplacian

History

2026-10-26: add by m2/dev

CX7BM3AZS0 CX7BM3AZS0

URI	`m2://inv/CX7BM3AZS0`
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.20406#CSA8 (statement). In 1YW6C6XGT3/e1, theorem 4.1

History

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

CX7CDNY6KR CX7CDNY6KR

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

Mentions

arxiv: arXiv 2610.09171#L7AP (statement). In 5ZPSZFE08Q/e1, theorem 6.3

History

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

An Introduction to Latin Syntax CX7D8QFH98

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

Mentions

wikipedia: Wikipedia An Introduction to Latin Syntax, An Introduction to Latin Syntax (definition). Also Wikidata Q4750093

History

2026-11-02: add by m2/dev

Synthetic minority oversampling technique CX7EX70C01

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

Mentions

wikipedia: Wikipedia Synthetic minority oversampling technique, Synthetic minority oversampling technique (definition). Also Wikidata Q137612242

History

2026-11-02: add by m2/dev

Worse-than-average effect CX7EY7P0Y1

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

Mentions

wikipedia: Wikipedia List of cognitive biases#ZG4M, Worse-than-average effect (unknown)

History

2026-11-02: add by m2/dev

Lidia Angeleri Hügel CX7M05WZCM

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

Mentions

wikipedia: Wikipedia Lidia Angeleri Hügel, Lidia Angeleri Hügel (topic). Also Wikidata Q59116050

History

2026-11-02: add by m2/dev

Random element CX7QKWWSXP

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

Mentions

wikipedia: Wikipedia List of statistics articles#UFSB, Random element (definition)

History

2026-11-02: add by m2/dev

CX7R7T6A7S CX7R7T6A7S

URI	`m2://inv/CX7R7T6A7S`
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.20077#2B6F (statement). In W5XRKWDADE/e1, lemma 2.2

History

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

pion CX7VRBJQ18

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

Mentions

wikidata: Wikidata Q4097, pion (unknown). Also nLab pion

History

2026-10-26: add by m2/dev

Perturbed Robin inverse-resonance stability CX7W80EHSH

URI	`m2://inv/CX7W80EHSH`
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.14323#IIK4, Perturbed Robin inverse-resonance stability (statement). In VAWEP32BEX/e1, theorem 10.4

History

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

Fixed joint moments CX7ZM2A5C2

URI	`m2://inv/CX7ZM2A5C2`
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.06875#CNLM, Fixed joint moments (statement). In ZDT5J9KQVQ/e1, lemma E.4

History

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

Variational distance for the distribution induced by PPM CX7ZTB9MPB

URI	`m2://inv/CX7ZTB9MPB`
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.24675#4U6W, Variational distance for the distribution induced by PPM (statement)

History

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

CX814GVEZY CX814GVEZY

URI	`m2://inv/CX814GVEZY`
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.15881#61KR (statement). In RK0JCSYK33/e1, theorem A

History

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

Poincar\'e--Bendixson Theorem CX821C2XXF

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

Mentions

lebl_diffyqs: lebl_diffyqs index/8.4/poincar-e-bendixson-theorem, Poincar\'e--Bendixson Theorem (concept). In E9HS8K3A52, index, section 8.4

History

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

CX84GKTAAG CX84GKTAAG

URI	`m2://inv/CX84GKTAAG`
Kind	definition
Layer	research
MSC	05-XX, 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.34382#XUME (definition). In MEF2VCAYXS/e1, definition 2.2

History

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

CX858HZ664 CX858HZ664

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/deduction-theorem-quantifiers.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 8.3

History

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

Algorithm CX85BY0V9N

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

Mentions

wikipedia: Wikipedia K shortest path routing#E6ZB, Algorithm (definition)

History

2026-11-02: add by m2/dev

Tailedness of the null-hypothesis test CX89EF1NP3

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

Mentions

wikipedia: Wikipedia Statistical hypothesis test#NU07, Tailedness of the null-hypothesis test (statement)

History

2026-11-02: add by m2/dev

A. B. Aleksandrov CX8KK0PSNG

URI	`m2://inv/CX8KK0PSNG`
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#X88S, A. B. Aleksandrov (topic)

History

2026-11-02: add by m2/dev

CX8MEWQ6JN CX8MEWQ6JN

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

Mentions

arxiv: arXiv 2609.33957#NPY8 (statement). In KG6V5AN3PK/e1, lemma 4.2

History

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

The axiom of dependent choice and no infinite descending sequence of sets implies regularity CX8NMTSSME

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

Mentions

wikipedia: Wikipedia Axiom of regularity#W8WX, The axiom of dependent choice and no infinite descending sequence of sets implies regularity (statement)

History

2026-11-02: add by m2/dev

Examples CX8QBK2EYC

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

Mentions

wikipedia: Wikipedia Edge coloring#3YJY, Examples (example)

History

2026-11-02: add by m2/dev

Principle of positive rate of return CX8YMVYKTM

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

Mentions

wikipedia: Wikipedia Gambling mathematics#Y5GK, Principle of positive rate of return (statement)

History

2026-11-02: add by m2/dev

CX8ZDDS0W9 CX8ZDDS0W9

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

Mentions

arxiv: arXiv 2609.37893#9ZYL (statement). In 8H0KHK7AMN/e1, lemma 2.8

History

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

CX90WPADM0 CX90WPADM0

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

Mentions

arxiv: arXiv 2610.13680#TZGO (unknown). In QNBFHFZ3H0/e1, unknown 138

History

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

CX9122Z5HB CX9122Z5HB

URI	`m2://inv/CX9122Z5HB`
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 2504.14383#TGV5 (statement). In QD0X3XJS6T/e1, proposition 7.1

History

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

Obvious strategyproofness CX91M0SDYJ

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

Mentions

wikipedia: Wikipedia Strategyproofness#BERG, Obvious strategyproofness (unknown)

History

2026-11-02: add by m2/dev

Tangle diagram CX92EVH7CY

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

Mentions

wikipedia: Wikipedia List of knot theory topics#XBMR, Tangle diagram (definition)

History

2026-11-02: add by m2/dev

CX9481AQGR CX9481AQGR

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-301 (exercise). In VNMV985MXX, exercise, section 6.7

History

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

convex polytope CX95SH64NN

URI	`m2://inv/CX95SH64NN`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Convex polytope 300K6CB1KH

Mentions

wikidata: Wikidata Q4129097, convex polytope (unknown). Also MathWorld ConvexPolytope
wikipedia: Wikipedia Convex polytope, Convex polytope (definition). Also Wikidata Q4129097

History

2026-10-26: add by m2/dev

Examples CX9A035M54

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

Mentions

wikipedia: Wikipedia Product measure#ACUX, Examples (example)

History

2026-11-02: add by m2/dev

One Mile, New South Wales CX9CR180ZC

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

Mentions

wikipedia: Wikipedia List of places with numeric names#OACK, One Mile, New South Wales (unknown)

History

2026-11-02: add by m2/dev

The scalar B-model operator CX9EC3XSW3

URI	`m2://inv/CX9EC3XSW3`
Kind	statement
Layer	research
MSC	14-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.10821#QIR5, The scalar B-model operator (statement). In RWNP4FEE65/e1, lemma 3.21

History

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

Kenji Fukaya CX9G98H5F9

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

Mentions

wikipedia: Wikipedia List of geometers#LXZW, Kenji Fukaya (topic)

History

2026-11-02: add by m2/dev

CX9HP7D866 CX9HP7D866

URI	`m2://inv/CX9HP7D866`
Kind	statement
Layer	research
MSC	14-XX, 37-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.13100#6UEG (statement). In CC6S1HVK0T/e1, theorem 5.21

History

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

Solidity, Ozawa CX9N8VYQWC

URI	`m2://inv/CX9N8VYQWC`
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#W10R, Solidity, Ozawa (definition). In MZ60NP20BH/e1, definition 4.7

History

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

CX9SBJ3D4X CX9SBJ3D4X

URI	`m2://inv/CX9SBJ3D4X`
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.17240#FBWJ (statement). In 59BZ4V9RQW/e1, theorem 4.6

History

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

Algebraic nonvanishing in both parities CXA0K9VPA6

URI	`m2://inv/CXA0K9VPA6`
Kind	statement
Layer	research
MSC	14-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.00490#8IBW, Algebraic nonvanishing in both parities (statement). In PZJDV6SJ9E/e1, theorem 6.3

History

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

The determinism lemma CXA2QABS0D

URI	`m2://inv/CXA2QABS0D`
Kind	statement
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#J5DZ, The determinism lemma (statement). In JH7VQ2EC16/e1, lemma 5.2

History

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

CXA3ZDGSYH CXA3ZDGSYH

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

Mentions

arxiv: arXiv 2609.36725#7RSR (statement). In AR26SZ8JGN/e1, theorem 1.1

History

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

CXAA7VF84P CXAA7VF84P

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

Mentions

arxiv: arXiv 2311.00585#R63I (statement). In 332PQD90SW/e1, theorem 4.1

History

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

Standard monomial theory CXAF046F33

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

Mentions

wikipedia: Wikipedia Standard monomial theory, Standard monomial theory (definition). Also Wikidata Q7598355

History

2026-11-02: add by m2/dev

List of algebraic surfaces CXAH2TN61N

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#MYNY, List of algebraic surfaces (topic)
wikipedia: Wikipedia List of mathematical examples#7IPF, List of algebraic surfaces (topic)
wikipedia: Wikipedia Lists of mathematics topics#0P00, List of algebraic surfaces (topic)

History

2026-11-02: add by m2/dev

Charles Leedham-Green CXAK5T4DRT

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#QB3U, Charles Leedham-Green (topic)

History

2026-11-02: add by m2/dev

CXAN95G2G7 CXAN95G2G7

URI	`m2://inv/CXAN95G2G7`
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 2606.20229#NT0H (statement). In 1B85G2QJC2/e1, lemma 7.4

History

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

CXB12RXY9D CXB12RXY9D

URI	`m2://inv/CXB12RXY9D`
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#W8YR (statement). In 518V871EKW/e1, proposition 3.16

History

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

CXB1N2S9GA CXB1N2S9GA

URI	`m2://inv/CXB1N2S9GA`
Kind	statement
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 2609.28295#1MLA (statement)

History

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

Fatou conjecture CXB40C4STF

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

Mentions

wikipedia: Wikipedia Fatou conjecture, Fatou conjecture (statement). Also Wikidata Q5437944

History

2026-11-02: add by m2/dev

Basil Gordon CXBCJT14WB

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#PDY8, Basil Gordon (unknown)

History

2026-11-02: add by m2/dev

Web of trust CXBVTD9V27

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

Mentions

wikipedia: Wikipedia Web of trust, Web of trust (definition). Also Wikidata Q1928707

History

2026-11-02: add by m2/dev

Argument shift method CXCCA4VNBD

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

Mentions

wikipedia: Wikipedia Argument shift method, Argument shift method (definition). Also Wikidata Q4789751

History

2026-11-02: add by m2/dev

Feature learning comparison, informal CXCDJRZSSY

URI	`m2://inv/CXCDJRZSSY`
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.10875#F7IA, Feature learning comparison, informal (statement). In N91F15MHW1/e1, theorem 2

History

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

CXCFRJE29H CXCFRJE29H

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

Mentions

arxiv: arXiv 2609.33263#Y9NU (definition). In 6S5EH3388Z/e1, definition 3.4

History

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

Evaluation by implementation of Sylvester's formula CXCJ2MS2GK

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

Mentions

wikipedia: Wikipedia Matrix exponential#ACS1, Evaluation by implementation of Sylvester's formula (statement)

History

2026-11-02: add by m2/dev

Stathis Zachos CXCMJHXP4G

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#Y40G, Stathis Zachos (unknown)

History

2026-11-02: add by m2/dev

Ronald Pyke CXCMYHB4KG

URI	`m2://inv/CXCMYHB4KG`
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#CS6R, Ronald Pyke (unknown)

History

2026-11-02: add by m2/dev

fixed point CXCQYGY9M0

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

Mentions

wikipedia: Wikipedia Glossary of logic#YWTJ, fixed point (definition)

History

2026-11-02: add by m2/dev

Carlos Gustavo Moreira CXCYE3TCR4

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

Mentions

wikipedia: Wikipedia Carlos Gustavo Moreira, Carlos Gustavo Moreira (topic). Also Wikidata Q19960954

History

2026-11-02: add by m2/dev

Mixed binomial process CXD2GXHH0X

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

Mentions

wikipedia: Wikipedia Mixed binomial process, Mixed binomial process (definition). Also Wikidata Q55648393

History

2026-11-02: add by m2/dev

Two-value pattern; original CXD5RW6CRP

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

Mentions

arxiv: arXiv 2610.02392#NZ9Q, Two-value pattern; original (statement). In W066HQZQBF/e1, theorem 15

History

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

Heun upper bound CXDHRAHWDC

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

Mentions

arxiv: arXiv 2610.06308#AJ3I, Heun upper bound (statement). In HTWSDDAWGS/e1, theorem 3.1

History

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

Examples CXDS4H1YC7

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

Mentions

wikipedia: Wikipedia Julia set#4A2F, Examples (example)

History

2026-11-02: add by m2/dev

Sinus totus CXDTQSG3FD

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

Mentions

wikipedia: Wikipedia Sinus totus, Sinus totus (definition). Also Wikidata Q116765400

History

2026-11-02: add by m2/dev

Simple space CXE5C7E69Q

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

Mentions

wikipedia: Wikipedia Simple space, Simple space (definition). Also Wikidata Q16892050

History

2026-11-02: add by m2/dev

CXE73Q4CHM CXE73Q4CHM

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

Mentions

arxiv: arXiv 2609.24577#D5PG (statement)

History

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

Generalizations CXESP7SHF0

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

Mentions

wikipedia: Wikipedia Addition#0PED, Generalizations (statement)

History

2026-11-02: add by m2/dev

Well-founded relation CXETXBABZH

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

Mentions

wikipedia: Wikipedia List of order theory topics#XF9C, Well-founded relation (definition)

History

2026-11-02: add by m2/dev

CXF3DZ127Z CXF3DZ127Z

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

History

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

Random-permutation embedding CXF7AQ8VGF

URI	`m2://inv/CXF7AQ8VGF`
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.21363#L26A, Random-permutation embedding (statement). In YPH7NS5AAQ/e1, lemma D.2

History

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

Don Zagier CXFBH0KYKK

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#N4E8, Don Zagier (topic)

History

2026-11-02: add by m2/dev

Committed magic CXFQ53AD5Y

URI	`m2://inv/CXFQ53AD5Y`
Kind	statement
Layer	research
MSC	11-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.37368#76VJ, Committed magic (statement). In FRMCKEGVJZ/e1, theorem 1

History

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

Explicit simplicial metrization CXFQ7AYBFR

URI	`m2://inv/CXFQ7AYBFR`
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 2609.20514#9DQM, Explicit simplicial metrization (statement)

History

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

CXFQEZTS61 CXFQEZTS61

URI	`m2://inv/CXFQEZTS61`
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.14217#5G5V (statement). In K0DHYQC5B7/e1, lemma 2.1

History

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

\Ev-power CXFRKB2GGE

URI	`m2://inv/CXFRKB2GGE`
Kind	definition
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.08210#WUZS, \Ev-power (definition). In 7452X8HQ21/e1, definition 2.2

History

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

CXFVAAFNY4 CXFVAAFNY4

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

Mentions

arxiv: arXiv 2610.13883#2VJ5 (statement). In F3PQ8P7R2B/e1, theorem 1

History

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

CXFYHREDBN CXFYHREDBN

URI	`m2://inv/CXFYHREDBN`
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.09882#4XJ2 (statement). In 7XV6T4N79V/e1, lemma 5.7

History

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

CXG5A8ZJQ9 CXG5A8ZJQ9

URI	`m2://inv/CXG5A8ZJQ9`
Kind	statement
Layer	research
MSC	17-XX, 19-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 2504.00596#ODYB (statement). In F8RC6AENB0/e1, theorem 7.11

History

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

Tennis ball theorem CXG5FE61QX

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

Mentions

wikidata: Wikidata Q55634934, Tennis ball theorem (statement). Also MathWorld TennisBallTheorem
wikipedia: Wikipedia Tennis ball theorem, Tennis ball theorem (statement). Also Wikidata Q55634934

History

2026-10-26: add by m2/dev

numerical integration CXG779KVTN

URI	`m2://inv/CXG779KVTN`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Numerical integration 7HYF6YG0RS

Mentions

wikidata: Wikidata Q753445, numerical integration (unknown). Also EoM Integration,_numerical, MathWorld NumericalIntegration
wikipedia: Wikipedia Numerical integration, Numerical integration (definition). Also Wikidata Q753445

History

2026-10-26: add by m2/dev

CXGC988PKQ CXGC988PKQ

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

Mentions

napkin: napkin tex/alg-NT/frobenius.tex#proof-1 (proof). In RZP28ERRZV, proof, section 13.1

History

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

CXGG3XA7PF CXGG3XA7PF

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

Mentions

arxiv: arXiv 2609.37252#MZD0 (statement). In E3EK0ESPA7/e1, theorem 2.4

History

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

Intersections and unions of varieties CXGG7DSCY3

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

Mentions

napkin: napkin tex/alg-geom/affine-var.tex#thm:many_aff_variety, Intersections and unions of varieties (statement). In RZP28ERRZV, theorem, section 19.4

History

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

GEVP CXGP9BTV7S

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

Mentions

wikipedia: Wikipedia Eigendecomposition of a matrix#9EXH, GEVP (unknown)

History

2026-11-02: add by m2/dev

Formulation CXGSSFM501

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

Mentions

wikipedia: Wikipedia Reed–Solomon error correction#8ZH7, Formulation (definition)

History

2026-11-02: add by m2/dev

Dual probability zero-chain CXGZ2CR2VH

URI	`m2://inv/CXGZ2CR2VH`
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.30877#T1JX, Dual probability zero-chain (statement). In QKNE21ABF3/e1, lemma 5

History

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

Generalized theorem CXHCT59JAA

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

Mentions

wikipedia: Wikipedia Kleene's recursion theorem#0OLF, Generalized theorem (statement)

History

2026-11-02: add by m2/dev

CXHE24JDPK CXHE24JDPK

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

Mentions

napkin: napkin tex/rep-theory/semisimple.tex#definition-3 (definition). In RZP28ERRZV, definition, section 81.5

History

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

CXHE3CEV9Z CXHE3CEV9Z

URI	`m2://inv/CXHE3CEV9Z`
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#47SA (statement). In CTAS41TRM2/e1, lemma 4.2

History

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

Davenport--Erd\H{o}s--LeVeque CXHEW7W84H

URI	`m2://inv/CXHEW7W84H`
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.21899#2IJF, Davenport--Erd\H{o}s--LeVeque (statement). In YRN5P43B2N/e1, theorem 4.2

History

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

CXHG6PM4XE CXHG6PM4XE

URI	`m2://inv/CXHG6PM4XE`
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.22345#OTCI (statement). In 7JATJ4VG9G/e1, lemma 9.5

History

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

Louis Witten CXHGKVYT6K

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#SXZL, Louis Witten (unknown)

History

2026-11-02: add by m2/dev

CXHTQXWRJC CXHTQXWRJC

URI	`m2://inv/CXHTQXWRJC`
Kind	definition
Layer	research
MSC	05-XX, 46-XX, 47-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 1711.00219#7VNQ (definition). In 7V3HG30ZGW/e1, definition 6.10

History

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

CXJ3B70QQ0 CXJ3B70QQ0

URI	`m2://inv/CXJ3B70QQ0`
Kind	example
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.01737#43R0 (example). In M4JGP708F4/e1, example 3.17

History

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

retraction CXJ70FV4MC

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

Mentions

hott_book: hott_book index/3.6/retraction, retraction (concept). In N54F33XE07, index, section 3.6

History

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

CXJ7G8E6S1 CXJ7G8E6S1

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

Mentions

arxiv: arXiv 2609.36089#AFB3 (statement). In AK4F10SNC0/e1, lemma 3.1

History

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

Uniform convexity CXJ820A58H

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

Mentions

arxiv: arXiv 2610.00453#01IU, Uniform convexity (statement). In ESPJMBH2R2/e1, corollary 4.6

History

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

CXJ899S1K8 CXJ899S1K8

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

Mentions

arxiv: arXiv 2610.15887#347H (problem). In 87QYNZZ67Z/e1, problem 12.1

History

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

Beam and Warming scheme CXJE8WPY6N

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

Mentions

wikipedia: Wikipedia Beam and Warming scheme, Beam and Warming scheme (definition). Also Wikidata Q18391261

History

2026-11-02: add by m2/dev

CXJGYJPERV CXJGYJPERV

URI	`m2://inv/CXJGYJPERV`
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.37026#BLY5 (statement). In QGZPH9W8GY/e1, lemma A.5

History

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

CXJPM2Z6C8 CXJPM2Z6C8

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

Mentions

arxiv: arXiv 2610.14741#T33V (statement). In RK1VPWWX9E/e1, lemma 5.3

History

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

CXJVMJCEPX CXJVMJCEPX

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

Mentions

arxiv: arXiv 2610.00789#W1B6 (definition). In 4WPYBTARS2/e1, definition 2.21

History

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

CXJYN81ETG CXJYN81ETG

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

Mentions

austin_ula: austin_ula src/section6-4.xml#ula-preview-6-4 (exercise). In 649HGZKE96, exploration, section 6.4.1

History

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

CXK050CP44 CXK050CP44

URI	`m2://inv/CXK050CP44`
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.07451#0RYZ (statement). In P7KT88N75Q/e1, lemma 3.3

History

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

Overlap odds CXK0H7WCKE

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

Mentions

arxiv: arXiv 2609.22301#ZUBD, Overlap odds (statement)

History

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

Properties CXK1EGX0D2

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

Mentions

wikipedia: Wikipedia Clopen set#UOIC, Properties (statement)

History

2026-11-02: add by m2/dev

Probability distribution of extreme points of a Wiener stochastic process CXK74J6GK0

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

Mentions

wikipedia: Wikipedia Probability distribution of extreme points of a Wiener stochastic process, Probability distribution of extreme points of a Wiener stochastic process (definition). Also Wikidata Q28032952

History

2026-11-02: add by m2/dev

Spectral gap of the core heat bath CXKA7W52MV

URI	`m2://inv/CXKA7W52MV`
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.10474#3XGY, Spectral gap of the core heat bath (statement). In MB29RAAQMG/e1, theorem 6.1

History

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

CXKYYDJAJ8 CXKYYDJAJ8

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

Mentions

arxiv: arXiv 2207.12181#D3H1 (statement). In FSD8NE3XSR/e1, lemma 7.20

History

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

CXKZZWERHK CXKZZWERHK

URI	`m2://inv/CXKZZWERHK`
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#VNNT (statement). In 4WPYBTARS2/e1, theorem 4.25

History

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

CXM2BV019W CXM2BV019W

URI	`m2://inv/CXM2BV019W`
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 2510.12502#D15B (statement). In 3A4K47Y9F2/e1, lemma 4.35

History

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

CXM6NQSYPW CXM6NQSYPW

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

Mentions

open_logic: open_logic content/many-valued-logic/three-valued-logics/multiple-designation.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 42.6

History

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

inductive argument CXMF6Y8F34

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

Mentions

wikipedia: Wikipedia Glossary of logic#FFR4, inductive argument (definition)

History

2026-11-02: add by m2/dev

Deduction, Induction, and Hypothesis (1878) CXMK26JB77

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

Mentions

wikipedia: Wikipedia Abductive reasoning#FT8W, Deduction, Induction, and Hypothesis (1878) (statement)

History

2026-11-02: add by m2/dev

CXMVZ7XD97 CXMVZ7XD97

URI	`m2://inv/CXMVZ7XD97`
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 2610.16731#TKVT (definition). In D68KBZQ4Q6/e1, definition 5.4

History

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

CXMYBNWX03 CXMYBNWX03

URI	`m2://inv/CXMYBNWX03`
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#HRMW (statement). In 1QSCT53ZED/e1, lemma 2.18

History

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

Riesz space CXMZWGD7S6

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

Mentions

wikipedia: Wikipedia List of vector spaces in mathematics#08FI, Riesz space (definition)

History

2026-11-02: add by m2/dev

Sapir; Auinger--Dolinka--Volkov CXN23YFG9T

URI	`m2://inv/CXN23YFG9T`
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.27641#W64P, Sapir; Auinger--Dolinka--Volkov (statement)

History

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

CXNBCZAVAV CXNBCZAVAV

URI	`m2://inv/CXNBCZAVAV`
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.15720#FGBY (statement). In VNN52G3BRE/e1, proposition 4.6

History

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

Generalizations CXNPXY7NEJ

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

Mentions

wikipedia: Wikipedia Superperfect number#I0L9, Generalizations (statement)

History

2026-11-02: add by m2/dev

Kimberling CXNQW8H3BC

URI	`m2://inv/CXNQW8H3BC`
Kind	conjecture
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.05776#75SX, Kimberling (conjecture). In AFSG70BF7S/e1, conjecture 1

History

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

ViSta, The Visual Statistics system CXP23KW7AF

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

Mentions

wikipedia: Wikipedia ViSta, The Visual Statistics system, ViSta, The Visual Statistics system (definition). Also Wikidata Q7924314

History

2026-11-02: add by m2/dev

Almost everywhere CXP2CE88JS

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

Mentions

wikipedia: Wikipedia List of integration and measure theory topics#SIW6, Almost everywhere (definition)

History

2026-11-02: add by m2/dev

Properties CXP4H2V25J

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

Mentions

wikipedia: Wikipedia Chi distribution#LHHL, Properties (statement)

History

2026-11-02: add by m2/dev

Gain graph CXP6YVBAPK

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

Mentions

wikipedia: Wikipedia Gain graph, Gain graph (definition). Also Wikidata Q5517214

History

2026-11-02: add by m2/dev

\textbf{Boundary layer only on the left edge CXP9S6144E

URI	`m2://inv/CXP9S6144E`
Kind	example
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.29185#HUVK, \textbf{Boundary layer only on the left edge (example)

History

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

Examples CXPASNQ6XW

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

Mentions

wikipedia: Wikipedia Ethnomathematics#42KU, Examples (example)

History

2026-11-02: add by m2/dev

Convergence CXPMQKCF4S

URI	`m2://inv/CXPMQKCF4S`
Kind	statement
Layer	research
MSC	14-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.10821#ZUB3, Convergence (statement). In RWNP4FEE65/e1, proposition 3.7

History

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

Omnitruncated 5-cell honeycomb CXPQVER3QZ

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#F888, Omnitruncated 5-cell honeycomb (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#KPS4, Omnitruncated 5-cell honeycomb (definition)

History

2026-11-02: add by m2/dev

CXPX4C1MA3 CXPX4C1MA3

URI	`m2://inv/CXPX4C1MA3`
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.16886#EBQA (statement). In Y8QQAH7VCF/e1, lemma 2.3

History

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

Gompertz distribution CXQ160DPRE

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

Mentions

wikipedia: Wikipedia List of probability distributions#XQBY, Gompertz distribution (definition)

History

2026-11-02: add by m2/dev

Lemma 1 CXQ70EPV8F

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

Mentions

wikipedia: Wikipedia MMH-Badger MAC#WAW7, Lemma 1 (statement)

History

2026-11-02: add by m2/dev

Optimal control CXQ7E0ERAH

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

Mentions

wikipedia: Wikipedia Optimal control, Optimal control (definition). Also Wikidata Q1971426

History

2026-11-02: add by m2/dev

Examples CXQ9FF3RDE

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

Mentions

wikipedia: Wikipedia Quasisymmetric map#J1AT, Examples (example)

History

2026-11-02: add by m2/dev

liar paradox CXQB1BW5G5

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

Mentions

wikidata: Wikidata Q33387, liar paradox (unknown). Also nLab liar paradox
wikipedia: Wikipedia Liar paradox, Liar paradox (statement). Also Wikidata Q33387

History

2026-10-26: add by m2/dev

CXQBHGK582 CXQBHGK582

URI	`m2://inv/CXQBHGK582`
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.28454#GWTH (statement)

History

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

Spectral theorem and Rayleigh quotient CXQKGXKD3H

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

Mentions

wikipedia: Wikipedia Spectral theory#I2KD, Spectral theorem and Rayleigh quotient (statement)

History

2026-11-02: add by m2/dev

Type II block normal form CXQQSQ23GK

URI	`m2://inv/CXQQSQ23GK`
Kind	statement
Layer	research
MSC	16-XX, 35-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 2609.26055#P0LJ, Type II block normal form (statement)

History

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

CXQXNE2KP2 CXQXNE2KP2

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#example-19 (example). In E9HS8K3A52, example, section 7.5

History

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

Samuel Gitler Hammer CXQZA5EDGT

URI	`m2://inv/CXQZA5EDGT`
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 Q7411491, Samuel Gitler Hammer (unknown). Also nLab Samuel Gitler

History

2026-10-26: add by m2/dev

First-order $D_{\h_k}$ lower bound CXR8WJ3K8Y

URI	`m2://inv/CXR8WJ3K8Y`
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.10875#Q3FA, First-order $D_{\h_k}$ lower bound (statement). In N91F15MHW1/e1, lemma 8

History

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

Ceva's theorem CXR9XXRJR5

URI	`m2://inv/CXR9XXRJR5`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Ceva's theorem 0KN93VDSXA

Mentions

mathlib_100: mathlib_100 61, Theorem of Ceva (statement). Also Mathlib Affine.Triangle.prod_dist_div_dist_eq_one_of_mem_line_of_mem_line
mathlib_1000: mathlib_1000 Q213603, Ceva's theorem (statement). Also Mathlib Affine.Triangle.prod_dist_div_dist_eq_one_of_mem_line_of_mem_line, Wikidata Q213603
thousand_plus: thousand_plus Q213603, Ceva's theorem (statement). Also Mathlib Affine.Triangle.prod_dist_div_dist_eq_one_of_mem_line_of_mem_line, Wikidata Q213603, Wikipedia Ceva's theorem
wikidata: Wikidata Q213603, Ceva's theorem (statement). Also MathWorld CevasTheorem, ProofWiki Ceva's_Theorem
wikipedia: Wikipedia Ceva's theorem, Ceva's theorem (statement). Also Wikidata Q213603

History

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

Foundations of statistics CXRCV4HWWV

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

Mentions

wikipedia: Wikipedia List of statistics articles#QPYV, Foundations of statistics (definition)

History

2026-11-02: add by m2/dev

snub cubical graph CXRMTFR6VM

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

Mentions

wikidata: Wikidata Q3115464, snub cubical graph (unknown). Also House of Graphs 1323, MathWorld SnubCubicalGraph

History

2026-10-26: add by m2/dev

CXRR5JREXC CXRR5JREXC

URI	`m2://inv/CXRR5JREXC`
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.36456#7BW2 (statement). In E3MBNAPCQG/e1, lemma 4.1

History

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

Napkin folding problem CXRW7DEMGJ

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

Mentions

wikipedia: Wikipedia Napkin folding problem, Napkin folding problem (problem). Also Wikidata Q4183841

History

2026-11-02: add by m2/dev

positive element CXSCDKC0DD

URI	`m2://inv/CXSCDKC0DD`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Positive operator 77020CY5ZW

Mentions

wikidata: Wikidata Q2627013, positive element (unknown). Also MathWorld PositiveElement, nLab positive operator
wikipedia: Wikipedia Positive operator, Positive operator (definition). Also Wikidata Q2627013

History

2026-10-26: add by m2/dev

H\"{o}lder estimates CXSD455KW8

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

Mentions

arxiv: arXiv 2610.12430#GE0E, H\"{o}lder estimates (statement). In VGKCBWQ65N/e1, theorem 1.2

History

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

CXSGSK9AMX CXSGSK9AMX

URI	`m2://inv/CXSGSK9AMX`
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 2204.13401#24J7 (statement). In B8MJT0GGW8/e1, proposition 4.25

History

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

Recursion CXSJ3P6E56

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#KL4V, Recursion (definition)

History

2026-11-02: add by m2/dev

CXSQJMY7TF CXSQJMY7TF

URI	`m2://inv/CXSQJMY7TF`
Kind	definition
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.39347#92FV (definition). In KBBA2FKDBH/e1, definition 5.1

History

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

Ramsey property CXSRHKYH9A

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

Mentions

wikipedia: Wikipedia Structural Ramsey theory#WZOQ, Ramsey property (unknown)

History

2026-11-02: add by m2/dev

CXSSR4QNWD CXSSR4QNWD

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

Mentions

arxiv: arXiv 2609.25449#QXRK (definition). In 9JHMTYGWFQ/e1, definition 2.5

History

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

quotient dif\/feology CXSV94ZJ1M

URI	`m2://inv/CXSV94ZJ1M`
Kind	definition
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 1408.1555#ZORN, quotient dif\/feology (definition). In S1F2QW24YW/e1, definition 2.7

History

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

Theorem CXSX342ERE

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

Mentions

wikipedia: Wikipedia Runge's theorem#5K54, Theorem (statement)

History

2026-11-02: add by m2/dev

CXT4DW1PJZ CXT4DW1PJZ

URI	`m2://inv/CXT4DW1PJZ`
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 2605.16669#KP1P (statement). In 1463YCCRP5/e1, corollary 3.8

History

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

CXTD0G2PV8 CXTD0G2PV8

URI	`m2://inv/CXTD0G2PV8`
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 2501.12834#4LTS (statement). In 25JX9GN5TE/e1, theorem 5

History

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

Example CXTDBVEVJW

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

Mentions

wikipedia: Wikipedia Homogeneous space#COL4, Example (example)

History

2026-11-02: add by m2/dev

False authority CXTE3WG0AH

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

Mentions

wikipedia: Wikipedia List of fallacies#CAW5, False authority (definition)

History

2026-11-02: add by m2/dev

Frequency envelope CXTNDAHE52

URI	`m2://inv/CXTNDAHE52`
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.02721#70Q0, Frequency envelope (statement). In XXFYVDVPPE/e1, proposition 2.14

History

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

column space CXTXCP738A

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

Mentions

austin_ula: austin_ula index/3.5.3/column-space, column space (concept). In 649HGZKE96, index, section 3.5.3

History

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

Thue–Morse sequence CXTYW3VJTY

URI	`m2://inv/CXTYW3VJTY`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Thue–Morse sequence 7JZVT385PC

Mentions

wikidata: Wikidata Q1477120, Thue–Morse sequence (object). Also MathWorld Thue-MorseSequence, OEIS A010060
wikipedia: Wikipedia Thue–Morse sequence, Thue–Morse sequence (definition). Also Wikidata Q1477120

History

2026-10-26: add by m2/dev

CXV4VX0TX7 CXV4VX0TX7

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

Mentions

arxiv: arXiv 2302.06336#D6A7 (statement). In CCRSWBXWXW/e1, lemma 6.2

History

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

CXV6A8MNP7 CXV6A8MNP7

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

Mentions

lebl_ra: lebl_ra ch-der.tex#exercise-14 (exercise). In E59CDZA4DP, exercise, section 3.2.6

History

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

CXV6XFZNQ1 CXV6XFZNQ1

URI	`m2://inv/CXV6XFZNQ1`
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 2510.07095#MRNF (statement). In J9GHVHV5RB/e1, proposition 2

History

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

CXVDWP34XK CXVDWP34XK

URI	`m2://inv/CXVDWP34XK`
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.11829#960T (statement). In 76DK6SPN88/e1, theorem 1.1

History

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

CXVG89Z4CG CXVG89Z4CG

URI	`m2://inv/CXVG89Z4CG`
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 2610.13505#GX5O (definition). In 6Z1DDCYCQ8/e1, definition 21

History

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

Membrane curvature CXVG9Q6ED7

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

Mentions

wikipedia: Wikipedia Membrane curvature, Membrane curvature (definition). Also Wikidata Q6815124

History

2026-11-02: add by m2/dev

CXVKPKQ69T CXVKPKQ69T

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

Mentions

arxiv: arXiv 2609.20458#6B0W (statement)

History

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

Nicolai A. Vasiliev CXVMBN9V32

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

Mentions

wikipedia: Wikipedia Nicolai A. Vasiliev, Nicolai A. Vasiliev (topic). Also Wikidata Q4104666

History

2026-11-02: add by m2/dev

Local attachment principle CXVQPQZNMW

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

Mentions

arxiv: arXiv 2609.28160#F6TV, Local attachment principle (statement)

History

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

Giovanni Lodovico Longo CXVTKHHQWF

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

Mentions

wikipedia: Wikipedia Giovanni Lodovico Longo, Giovanni Lodovico Longo (topic). Also Wikidata Q18945447

History

2026-11-02: add by m2/dev

CXVXK36CJG CXVXK36CJG

URI	`m2://inv/CXVXK36CJG`
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.02751#7J4A (statement). In MWGXPXF3BW/e1, theorem 4

History

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

CXW5N5V4AE CXW5N5V4AE

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

Mentions

arxiv: arXiv 2504.00267#V8B1 (example). In 38XJWDZ2PH/e1, example 3.9

History

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

Sylow theorems CXW6Q67Q74

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

Mentions

wikipedia: Wikipedia List of group theory topics#QAJT, Sylow theorems (statement)
wikipedia: Wikipedia List of mathematical proofs#BKUH, Sylow theorems (statement)

History

2026-11-02: add by m2/dev

The statement CXW725RBXB

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

Mentions

wikipedia: Wikipedia Markov brothers' inequality#J70W, The statement (statement)

History

2026-11-02: add by m2/dev

CXWA0G2CPV CXWA0G2CPV

URI	`m2://inv/CXWA0G2CPV`
Kind	statement
Layer	research
MSC	49-XX, 51-XX, 52-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.13950#T98Z (statement). In 8E5S3VJ8P4/e1, theorem 1

History

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

characteristic subgroup CXWF6HV31A

URI	`m2://inv/CXWF6HV31A`
Kind	definition
Layer	textbook
Sources	1
Outcome	deferred (the item has its own article, page 7198)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of group theory#KB1O, characteristic subgroup (definition)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

Zonoid CXWHJQE2K0

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

Mentions

wikipedia: Wikipedia Zonoid, Zonoid (definition). Also Wikidata Q131417845

History

2026-11-02: add by m2/dev

Example CXWMD4TP3F

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

Mentions

wikipedia: Wikipedia Formal grammar#RS1W, Example (example)

History

2026-11-02: add by m2/dev

Optimal secondary index CXWP9XAEPY

URI	`m2://inv/CXWP9XAEPY`
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.22345#TAO1, Optimal secondary index (statement)

History

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

Algorithm CXWQW86FV8

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

Mentions

wikipedia: Wikipedia Symbolic Cholesky decomposition#V73W, Algorithm (definition)

History

2026-11-02: add by m2/dev

Theresa Utlaut CXWTEBBQNS

URI	`m2://inv/CXWTEBBQNS`
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#Z7P1, Theresa Utlaut (topic)

History

2026-11-02: add by m2/dev

Damien Gaboriau CXX5HKQ36Q

URI	`m2://inv/CXX5HKQ36Q`
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#4SW9, Damien Gaboriau (unknown)

History

2026-11-02: add by m2/dev

CXX77HB4CR CXX77HB4CR

URI	`m2://inv/CXX77HB4CR`
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.12295#S17V (statement). In 6DZPR52HRP/e1, lemma 4.23

History

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

Township 2, Harper County, Kansas CXXAJRG6CA

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

Mentions

wikipedia: Wikipedia List of places with numeric names#9S0F, Township 2, Harper County, Kansas (unknown)

History

2026-11-02: add by m2/dev

graph power CXXDTBCNNB

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

Mentions

wikidata: Wikidata Q5597091, graph power (unknown). Also MathWorld GraphPower
wikipedia: Wikipedia Graph power, Graph power (definition). Also Wikidata Q5597091

History

2026-10-26: add by m2/dev

CXXJFQJBEX CXXJFQJBEX

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

Mentions

arxiv: arXiv 2610.06338#SJTK (statement). In F1CYVYK7YB/e1, theorem 9.12

History

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

CXXP2WHDRS CXXP2WHDRS

URI	`m2://inv/CXXP2WHDRS`
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.09810#FVMF (statement). In B6PCH930FV/e1, theorem 1

History

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

Examples CXXQKTJK3T

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

Mentions

wikipedia: Wikipedia Skeleton (category theory)#2WLR, Examples (example)

History

2026-11-02: add by m2/dev

Roko's basilisk CXXWYHGXAM

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

Mentions

wikipedia: Wikipedia Roko's basilisk, Roko's basilisk (definition). Also Wikidata Q21564971

History

2026-11-02: add by m2/dev

Covariance asymptotics CXXYR7XAMC

URI	`m2://inv/CXXYR7XAMC`
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.06372#VZZ7, Covariance asymptotics (statement). In G3E1P350Z6/e1, theorem 2.2

History

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

CXY2YPQAY3 CXY2YPQAY3

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

Mentions

arxiv: arXiv 2609.33590#WK29 (definition). In WRE0P7V6Z3/e1, definition D.10

History

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

CXY9M46G3P CXY9M46G3P

URI	`m2://inv/CXY9M46G3P`
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.33557#8QJK (statement). In 95YZVAPGJA/e1, lemma 6.3

History

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

CXYC3AQ1PN CXYC3AQ1PN

URI	`m2://inv/CXYC3AQ1PN`
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.26713#DEV9 (definition)

History

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

CXYTRNBR2W CXYTRNBR2W

URI	`m2://inv/CXYTRNBR2W`
Kind	definition
Layer	research
MSC	26-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 2411.16022#2HOO (definition). In QG9ATXTKJ6/e1, definition 2.19

History

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

univalence axiom CXYV4XNYG4

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

Mentions

hott_book: hott_book index/7/univalence-axiom, univalence axiom (concept). In N54F33XE07, index, section 7

History

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

CXYYGAK5NE CXYYGAK5NE

URI	`m2://inv/CXYYGAK5NE`
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 2404.14312#SG37 (statement). In SEPBZN2DRH/e1, theorem 2

History

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

Definitions CXZA9K0WBB

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

Mentions

wikipedia: Wikipedia Ample line bundle#4X24, Definitions (definition)

History

2026-11-02: add by m2/dev

cap product CXZB4J2GYP

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#AMES, cap product (definition)

History

2026-11-02: add by m2/dev

Riemann sum, middle CXZKCXBQB1

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

Mentions

active_calculus: active_calculus index/4.2.3/riemann-sum-middle, Riemann sum, middle (concept). In 907G4C4EJ1, index, section 4.2.3

History

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

Robert Edmund O'Malley CXZNSK49AC

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

Mentions

wikipedia: Wikipedia Robert Edmund O'Malley, Robert Edmund O'Malley (topic). Also Wikidata Q7343963

History

2026-11-02: add by m2/dev