Inventory rows CY

Bound state CY024VESZH

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#P3FW, Bound state (definition)

History

2026-11-02: add by m2/dev

Field overgroups not containing $\PGL(2,q)$ CY02XV2DE5

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

Mentions

arxiv: arXiv 2610.15340#9VMI, Field overgroups not containing $\PGL(2,q)$ (statement). In 9NVKKW8HDH/e1, theorem 2.24

History

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

Symmetry CY04TWRB89

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

Mentions

wikipedia: Wikipedia 5-cube#3QRP, Symmetry (statement)

History

2026-11-02: add by m2/dev

Markov's inequality CY079369NE

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#JOTQ, Markov's inequality (statement)

History

2026-11-02: add by m2/dev

CY0B4FWGD5 CY0B4FWGD5

URI	`m2://inv/CY0B4FWGD5`
Kind	example
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#2QR1 (example). In F1CYVYK7YB/e1, example 3.3

History

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

Formulation CY0DCZ6WB8

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

Mentions

wikipedia: Wikipedia Holm–Bonferroni method#1Q71, Formulation (definition)

History

2026-11-02: add by m2/dev

natural language CY0GHZ5BY6

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

Mentions

wikidata: Wikidata Q33742, natural language (definition). Also ProofWiki Definition:Natural_Language
wikipedia: Wikipedia Natural language, Natural language (definition). Also Wikidata Q33742

History

2026-10-26: add by m2/dev

CY0MP3Z25V CY0MP3Z25V

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

Mentions

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

History

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

Genus stability criterion CY16NJMKRR

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

Mentions

arxiv: arXiv 2610.05652#V92N, Genus stability criterion (statement). In 8BNPFYQDQX/e1, theorem 2.10

History

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

CY1836H3P1 CY1836H3P1

URI	`m2://inv/CY1836H3P1`
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.31127#RPD3 (statement). In NS3RZ26JC7/e1, lemma 13

History

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

Liouville's theorem CY1NC0XH71

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

Mentions

wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#GZTT, Liouville's theorem (definition)

History

2026-11-02: add by m2/dev

CY20HC68VC CY20HC68VC

URI	`m2://inv/CY20HC68VC`
Kind	statement
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#ZYY4 (statement). In CBSA058Y53/e1, theorem

History

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

CY21KDXEPV CY21KDXEPV

URI	`m2://inv/CY21KDXEPV`
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 2203.10220#LV8U (statement). In FX2SD1GFHT/e1, lemma 2

History

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

Challenging CY247QMJ02

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

Mentions

lebl_ra: lebl_ra ch-seq-funcs.tex#exercise-28, Challenging (exercise). In E59CDZA4DP, exercise, section 9.2.5

History

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

Square pyramid CY259FXKKB

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#1YZ8, Square pyramid (definition)

History

2026-11-02: add by m2/dev

CY26E98BAC CY26E98BAC

URI	`m2://inv/CY26E98BAC`
Kind	statement
Layer	research
MSC	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 2610.09599#V2HT (statement). In 4JYGH9XNA9/e1, lemma 4.4

History

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

CY284D4X4W CY284D4X4W

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

Mentions

arxiv: arXiv 2610.10736#G380 (statement). In NCYKB4QG5P/e1, proposition 6.7

History

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

CY2DMJA06Y CY2DMJA06Y

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IntroCardinality.tex#theorem-3 (statement). In P1C114YBXG, theorem, section D

History

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

Symmetry CY2HWR4TZ3

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

Mentions

wikipedia: Wikipedia Pentadecagon#QOWP, Symmetry (statement)

History

2026-11-02: add by m2/dev

Shawn Holley CY2JT9BDBX

URI	`m2://inv/CY2JT9BDBX`
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#D3ET, Shawn Holley (unknown)

History

2026-11-02: add by m2/dev

Winsorizing CY2KFY0RD5

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

Mentions

wikipedia: Wikipedia Winsorizing, Winsorizing (definition). Also Wikidata Q4020443

History

2026-11-02: add by m2/dev

EXPTIME CY2MZYK046

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

Mentions

wikipedia: Wikipedia EXPTIME, EXPTIME (definition). Also Wikidata Q1276570

History

2026-11-02: add by m2/dev

CY2WMFYA0B CY2WMFYA0B

URI	`m2://inv/CY2WMFYA0B`
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#YOWN (statement). In D1DFM4WYEW/e1, lemma 7.2

History

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

Uniform frontier split CY34M29T09

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

Mentions

arxiv: arXiv 2610.01843#B4PB, Uniform frontier split (statement). In EDG9ZFDSWK/e1, lemma B.2

History

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

CY36HQD331 CY36HQD331

URI	`m2://inv/CY36HQD331`
Kind	definition
Layer	research
MSC	26-XX, 30-XX, 32-XX, 35-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 2505.04593#79EE (definition). In PEXJPV3NP8/e1, definition 5.2

History

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

Properties CY3DC2J7DQ

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

Mentions

wikipedia: Wikipedia Square-integrable function#XEO7, Properties (statement)

History

2026-11-02: add by m2/dev

Applications CY3SMVR3XR

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

Mentions

wikipedia: Wikipedia Low-density parity-check code#TEMP, Applications (example)

History

2026-11-02: add by m2/dev

CY3YB13Q66 CY3YB13Q66

URI	`m2://inv/CY3YB13Q66`
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.01915#U9KC (statement). In 6HJQXZS0A6/e1, theorem 1.25

History

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

Jacobi zeta function CY3Z4JV6BR

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

Mentions

wikidata: Wikidata Q6119653, Jacobi zeta function (unknown). Also MathWorld JacobiZetaFunction
wikipedia: Wikipedia Jacobi zeta function, Jacobi zeta function (definition). Also Wikidata Q6119653

History

2026-10-26: add by m2/dev

CY44HE8R4X CY44HE8R4X

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

Mentions

arxiv: arXiv 2311.16252#DPG6 (definition). In 8AHN9GSRMR/e1, definition 2.1

History

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

Pearson distribution CY4A13HECA

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

Mentions

wikipedia: Wikipedia List of statistics articles#ACG6, Pearson distribution (definition)

History

2026-11-02: add by m2/dev

CY4B4PQRR1 CY4B4PQRR1

URI	`m2://inv/CY4B4PQRR1`
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.02912#RGL0 (statement). In 2GP3PK3A0C/e1, lemma 4

History

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

CY4E392HGF CY4E392HGF

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

Mentions

arxiv: arXiv 2609.39615#QPMF (problem). In RNXRAZYR3S/e1, problem 6.2

History

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

Belinfante–Rosenfeld stress–energy tensor CY4KS94Q5A

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

Mentions

wikipedia: Wikipedia Belinfante–Rosenfeld stress–energy tensor, Belinfante–Rosenfeld stress–energy tensor (definition). Also Wikidata Q4882924

History

2026-11-02: add by m2/dev

order CY4PGESYVN

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#7S6L, order (definition)

History

2026-11-02: add by m2/dev

Convergence of the lumped nodal measures CY4T34TZM1

URI	`m2://inv/CY4T34TZM1`
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 2610.05313#6E4Q, Convergence of the lumped nodal measures (statement). In 8XPN1A2GR0/e1, lemma 5.1

History

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

fusion category CY4XCKZMMY

URI	`m2://inv/CY4XCKZMMY`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Fusion category D7NA6T33A7

Mentions

wikidata: Wikidata Q30672665, fusion category (unknown). Also nLab fusion category
wikipedia: Wikipedia Fusion category, Fusion category (definition). Also Wikidata Q30672665

History

2026-10-26: add by m2/dev

CY4YNRPH8K CY4YNRPH8K

URI	`m2://inv/CY4YNRPH8K`
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.06810#MV9P (statement). In 1NY2SA03XF/e1, lemma 2.8

History

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

Mu Sigma Rho CY51YCGA7X

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

Mentions

wikipedia: Wikipedia List of academic statistical associations#JNDC, Mu Sigma Rho (definition)

History

2026-11-02: add by m2/dev

Moser regularization CY52AAD7Z0

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

Mentions

wikipedia: Wikipedia Moser regularization, Moser regularization (definition). Also Wikidata Q141244844

History

2026-11-02: add by m2/dev

CY53TWEK7F CY53TWEK7F

URI	`m2://inv/CY53TWEK7F`
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.08288#E38T (statement). In CHVWYJM7RM/e1, lemma 4.2

History

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

Momentum mapping format CY590MCN4E

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

Mentions

wikipedia: Wikipedia Momentum mapping format, Momentum mapping format (definition). Also Wikidata Q127388877

History

2026-11-02: add by m2/dev

Fractal set CY59PJM5XF

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

Mentions

wikipedia: Wikipedia List of types of sets#3Y5U, Fractal set (definition)

History

2026-11-02: add by m2/dev

Applications CY5W91KNCX

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

Mentions

wikipedia: Wikipedia Per Enflo#0IC4, Applications (example)

History

2026-11-02: add by m2/dev

CY5XZKN79D CY5XZKN79D

URI	`m2://inv/CY5XZKN79D`
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.12105#TJXB (statement). In 289HM2RXT3/e1, proposition 3.1

History

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

Positive-definite operator CY62FNW4YF

URI	`m2://inv/CY62FNW4YF`
Kind	definition
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.14906#WH48, Positive-definite operator (definition). In 1F8ENX770M/e1, definition 2.3

History

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

CY66YQ2ZKT CY66YQ2ZKT

URI	`m2://inv/CY66YQ2ZKT`
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 2110.12380#1MIU (statement). In M6MQPEDQ8N/e1, theorem 5.4

History

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

CY6DSJ5B87 CY6DSJ5B87

URI	`m2://inv/CY6DSJ5B87`
Kind	statement
Layer	research
MSC	05-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 2610.09900#L2LW (statement). In ATSYBWEMMP/e1, lemma 5.9

History

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

CY6E88BHTW CY6E88BHTW

URI	`m2://inv/CY6E88BHTW`
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 math/0003117#2BR3 (definition). In WD2NCBV9F0/e1, definition 4.4

History

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

Neural network CY6JW762Y1

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

Mentions

wikipedia: Wikipedia Neural network (biology), Neural network (definition). Also Wikidata Q124619446

History

2026-11-02: add by m2/dev

Stopped sub-Gaussian martingale inequality CY6K7PG81W

URI	`m2://inv/CY6K7PG81W`
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.38659#DRQ8, Stopped sub-Gaussian martingale inequality (statement). In DCJ23ZYXGK/e1, lemma E.1

History

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

symmetry CY6S491ATK

URI	`m2://inv/CY6S491ATK`
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 2610.19214#1L7Z, symmetry (statement). In WZPD7TNNY9/e1, lemma 3.4

History

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

related rates CY74CGX7SV

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

Mentions

wikidata: Wikidata Q12244048, related rates (unknown). Also MathWorld RelatedRatesProblem
wikipedia: Wikipedia Related rates, Related rates (definition). Also Wikidata Q12244048

History

2026-10-26: add by m2/dev

CY7A63J0W5 CY7A63J0W5

URI	`m2://inv/CY7A63J0W5`
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.36717#CSBR (statement). In 69FBWG9P3B/e1, proposition 3.7

History

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

Examples CY7BE05FMK

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

Mentions

wikipedia: Wikipedia Ordered vector space#QB6D, Examples (example)

History

2026-11-02: add by m2/dev

Maryam Mirzakhani CY7CQEBGM4

URI	`m2://inv/CY7CQEBGM4`
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 Q1771279, Maryam Mirzakhani (unknown). Also nLab Maryam Mirzakhani, ProofWiki Mathematician:Maryam_Mirzakhani
wikipedia: Wikipedia Maryam Mirzakhani, Maryam Mirzakhani (topic). Also Wikidata Q1771279

History

2026-10-26: add by m2/dev

CY7J70EXX8 CY7J70EXX8

URI	`m2://inv/CY7J70EXX8`
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#FG2K (statement). In M0SQY5EZN5/e1, lemma 4.2.8

History

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

Ramanathan Gnanadesikan CY7KY0ZX48

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

Mentions

wikipedia: Wikipedia Ramanathan Gnanadesikan, Ramanathan Gnanadesikan (topic). Also Wikidata Q7288924

History

2026-11-02: add by m2/dev

Statement of the lemma CY7SJQFPEQ

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

Mentions

wikipedia: Wikipedia Mazur's lemma#MIMQ, Statement of the lemma (statement)

History

2026-11-02: add by m2/dev

nth root CY806KDHQ1

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

Mentions

wikipedia: Wikipedia List of polynomial topics#S6RC, nth root (definition)

History

2026-11-02: add by m2/dev

Hardy–Littlewood tauberian theorem CY84SJX1VY

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

Mentions

wikipedia: Wikipedia List of theorems#WVSY, Hardy–Littlewood tauberian theorem (statement)

History

2026-11-02: add by m2/dev

CY84WXZK1C CY84WXZK1C

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-70 (proof). In VNMV985MXX, proof, section 6.2

History

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

CY8BEQEJDM CY8BEQEJDM

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

Mentions

arxiv: arXiv 2609.20513#6HK6 (statement)

History

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

transcendental curve CY8C6XRYA2

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

Mentions

wikidata: Wikidata Q3314668, transcendental curve (unknown). Also EoM Transcendental_curve, MathWorld TranscendentalCurve
wikipedia: Wikipedia Transcendental curve, Transcendental curve (definition). Also Wikidata Q3314668

History

2026-10-26: add by m2/dev

CY8E5ZAN98 CY8E5ZAN98

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

Mentions

arxiv: arXiv 2609.29489#GZEH (statement)

History

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

Blankenship–Oporowski conjecture CY8FS3P47P

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#4KM6, Blankenship–Oporowski conjecture (definition)

History

2026-11-02: add by m2/dev

CY8H34948S CY8H34948S

URI	`m2://inv/CY8H34948S`
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.04172#6W61 (statement). In 9Q1D1NMTTS/e1, lemma 17

History

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

model theory CY8VVT9CJB

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

Mentions

wikipedia: Wikipedia Glossary of logic#TAX4, model theory (definition)

History

2026-11-02: add by m2/dev

derivative of the inverse of a function CY8WAB7N9A

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

Mentions

mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Differentiability > derivative of the inverse of a function, derivative of the inverse of a function (unknown). Also Mathlib HasStrictDerivAt.of_local_left_inverse

History

2026-10-26: add by m2/dev

CY8WQZSK8T CY8WQZSK8T

URI	`m2://inv/CY8WQZSK8T`
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.00786#0VE8 (statement). In XKEE0DK6N3/e1, theorem 1.3

History

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

CY91DFGTZM CY91DFGTZM

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

Mentions

arxiv: arXiv 2610.19357#ETIC (statement). In RGXQ50RWXV/e1, corollary 4.2

History

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

CY992ZS758 CY992ZS758

URI	`m2://inv/CY992ZS758`
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.19260#UJZF (statement). In PWXT7J9JX3/e1, proposition 7.3

History

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

path connectedness CY99NM59T8

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

Mentions

mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > path connectedness, path connectedness (unknown). Also Mathlib IsPathConnected

History

2026-10-26: add by m2/dev

Johannes Kepler CY9FC4R595

URI	`m2://inv/CY9FC4R595`
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 Q8963, Johannes Kepler (unknown). Also nLab Johannes Kepler, ProofWiki Mathematician:Johannes_Kepler
wikipedia: Wikipedia Johannes Kepler, Johannes Kepler (topic). Also Wikidata Q8963

History

2026-10-26: add by m2/dev

Cyclic normal form theorem CY9SDVMYBD

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

Mentions

arxiv: arXiv 2610.17608#VIMX, Cyclic normal form theorem (statement). In VAGWC38NSF/e1, theorem 1.2

History

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

Nina Uraltseva CYA1X6EPSF

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

Mentions

wikipedia: Wikipedia Nina Uraltseva, Nina Uraltseva (topic). Also Wikidata Q1341219

History

2026-11-02: add by m2/dev

CYA99C2V3A CYA99C2V3A

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

Mentions

austin_ula: austin_ula src/section7-2.xml#activity-1 (exercise). In 649HGZKE96, activity, section 7.2.2

History

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

Analytical solutions to inverse kinematics problems CYACBDP5ES

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

Mentions

wikipedia: Wikipedia Inverse kinematics#ENO6, Analytical solutions to inverse kinematics problems (unknown)

History

2026-11-02: add by m2/dev

CYAJAFZJ72 CYAJAFZJ72

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

Mentions

arxiv: arXiv 2609.25468#VLJF (statement)

History

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

CYAJPE889Z CYAJPE889Z

URI	`m2://inv/CYAJPE889Z`
Kind	definition
Layer	research
MSC	16-XX, 18-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.21507#60YZ (definition). In 879ZDHVK7N/e1, definition 2.7

History

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

Properties of the pruned tree construction CYAM0KHHPE

URI	`m2://inv/CYAM0KHHPE`
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.10840#ZIH9, Properties of the pruned tree construction (statement). In JSJQEPY71E/e1, lemma 3.1

History

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

Properties CYAM75WZA3

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

Mentions

wikipedia: Wikipedia Concave function#T86L, Properties (statement)

History

2026-11-02: add by m2/dev

Implementations CYAQ10MP3R

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

Mentions

wikipedia: Wikipedia Iteration#425K, Implementations (definition)

History

2026-11-02: add by m2/dev

CYATWW2WF9 CYATWW2WF9

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

Mentions

arxiv: arXiv 2609.28518#228V (statement)

History

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

Theory of Probability and Its Applications CYAW5QBYWC

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

Mentions

wikipedia: Wikipedia List of probability journals#NR4J, Theory of Probability and Its Applications (unknown)

History

2026-11-02: add by m2/dev

Fleetwood, William CYAY11KKYY

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

Mentions

wikipedia: Wikipedia List of statisticians#3KUI, Fleetwood, William (unknown)

History

2026-11-02: add by m2/dev

CYAZZMJEZJ CYAZZMJEZJ

URI	`m2://inv/CYAZZMJEZJ`
Kind	example
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.10745#V6F8 (example). In 5MJ4NJ5ZCV/e1, example 3.3

History

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

Average-key distortion-freeness can be highly detectable CYB1JABAE8

URI	`m2://inv/CYB1JABAE8`
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.05712#BI5Z, Average-key distortion-freeness can be highly detectable (statement). In 44Q2H3DWNW/e1, proposition 4

History

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

CYB33ANTE0 CYB33ANTE0

URI	`m2://inv/CYB33ANTE0`
Kind	statement
Layer	research
MSC	19-XX, 20-XX, 22-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.14278#TEDX (statement). In RTE2C0PH4S/e1, proposition 3.1

History

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

Proposition 12 CYB6K00W9S

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

Mentions

wikipedia: Wikipedia Method of exhaustion#QG1B, Proposition 12 (statement)

History

2026-11-02: add by m2/dev

CYB7B1HASP CYB7B1HASP

URI	`m2://inv/CYB7B1HASP`
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.15723#82FS (statement). In A3KXZ2GBHN/e1, lemma 2

History

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

CYBQ62XY3G CYBQ62XY3G

URI	`m2://inv/CYBQ62XY3G`
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 2609.21915#UWT0 (statement)

History

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

CYBWF9APEB CYBWF9APEB

URI	`m2://inv/CYBWF9APEB`
Kind	example
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#PYD4 (example). In F8RC6AENB0/e1, example 3.3

History

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

Thomas W. Tucker CYC00SVT8R

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

Mentions

wikipedia: Wikipedia Thomas W. Tucker, Thomas W. Tucker (topic). Also Wikidata Q18394252

History

2026-11-02: add by m2/dev

Quantity CYC1CT74QY

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

Mentions

wikipedia: Wikipedia Quantity, Quantity (definition). Also Wikidata Q309314

History

2026-11-02: add by m2/dev

Testing the hypothesis CYC2EDYWM5

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

Mentions

wikipedia: Wikipedia Random walk hypothesis#4IBF, Testing the hypothesis (statement)

History

2026-11-02: add by m2/dev

CYC2YPHBEK CYC2YPHBEK

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 19.4

History

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

Lehmer code CYC39SCKFV

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

Mentions

wikipedia: Wikipedia Lehmer code, Lehmer code (definition). Also Wikidata Q2981462

History

2026-11-02: add by m2/dev

CYC6HT6QXH CYC6HT6QXH

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

Mentions

arxiv: arXiv 2609.24701#UXNI (statement)

History

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

Statements CYC7RVWG1M

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

Mentions

wikipedia: Wikipedia Inverse function theorem#I3Q9, Statements (statement)

History

2026-11-02: add by m2/dev

CYCA1GRHJF CYCA1GRHJF

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

Mentions

arxiv: arXiv 2609.32345#6UWI (statement). In 99HHD5MJME/e1, lemma 1

History

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

Fröberg conjecture CYCASN4NPP

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

Mentions

wikipedia: Wikipedia Fröberg conjecture, Fröberg conjecture (conjecture). Also Wikidata Q5506744

History

2026-11-02: add by m2/dev

Hard discrepancy at a near-endpoint Gaussian scale CYCB5CW0FT

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

Mentions

arxiv: arXiv 2609.38228#6WDC, Hard discrepancy at a near-endpoint Gaussian scale (statement). In 9YAE8FNQST/e1, theorem 3.14

History

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

Dirichlet boundary conditions CYCCAMQEMR

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

Mentions

lebl_diffyqs: lebl_diffyqs index/3.1.1/dirichlet-boundary-conditions, Dirichlet boundary conditions (concept). In E9HS8K3A52, index, section 3.1.1

History

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

CYCEFVWJTB CYCEFVWJTB

URI	`m2://inv/CYCEFVWJTB`
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.25167#SZTW (statement)

History

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

Symmetry CYCF0Q99N6

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

Mentions

wikipedia: Wikipedia Regular polygon#61P0, Symmetry (statement)

History

2026-11-02: add by m2/dev

CYCS035KV2 CYCS035KV2

URI	`m2://inv/CYCS035KV2`
Kind	statement
Layer	research
MSC	05-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.18239#UI5Y (statement). In C60WZ6WQSY/e1, theorem 1.2

History

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

Parallel Postulate and Euclid's Axioms CYCV65FVWM

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

Mentions

wikipedia: Wikipedia Axiom independence#9CWN, Parallel Postulate and Euclid's Axioms (statement)

History

2026-11-02: add by m2/dev

CYCWES61YQ CYCWES61YQ

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

Mentions

arxiv: arXiv 2311.16252#Y3IZ (statement). In 8AHN9GSRMR/e1, proposition B.2

History

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

Moritz Pasch CYCXC3RPYP

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

Mentions

wikipedia: Wikipedia List of German mathematicians#7VA6, Moritz Pasch (topic)

History

2026-11-02: add by m2/dev

CYD2H0NN9S CYD2H0NN9S

URI	`m2://inv/CYD2H0NN9S`
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.13103#56CH (statement). In GG2ZZV6KEQ/e1, lemma 4.1

History

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

Giovanni Battista Guccia CYD7X56JJ6

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

Mentions

wikipedia: Wikipedia Giovanni Battista Guccia, Giovanni Battista Guccia (topic). Also Wikidata Q3107071

History

2026-11-02: add by m2/dev

CYDDFXYVEM CYDDFXYVEM

URI	`m2://inv/CYDDFXYVEM`
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.12912#U00L (statement). In PDKBKKJ4BV/e1, theorem 6.5

History

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

CYDRG87SPV CYDRG87SPV

URI	`m2://inv/CYDRG87SPV`
Kind	statement
Layer	research
MSC	13-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.10925#QHEJ (statement). In 9604WYX0BW/e1, theorem B

History

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

Delaunay refinement CYDVBRDYVR

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

Mentions

wikipedia: Wikipedia Delaunay refinement, Delaunay refinement (definition). Also Wikidata Q105742691

History

2026-11-02: add by m2/dev

Gerald Sacks CYE44XJ1KR

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

Mentions

wikipedia: Wikipedia Gerald Sacks, Gerald Sacks (topic). Also Wikidata Q1509840

History

2026-11-02: add by m2/dev

CYE6QTVAT9 CYE6QTVAT9

URI	`m2://inv/CYE6QTVAT9`
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.16059#3OBM (statement). In 51W7AECQDA/e1, lemma 2.2

History

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

Laplace operator CYECH7ST27

URI	`m2://inv/CYECH7ST27`
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 2204.07227#C2UV, Laplace operator (example). In R85Z7ZZGBC/e1, example 5.1

History

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

Robinson projection CYED3M2AXY

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

Mentions

wikidata: Wikidata Q963903, Robinson projection (unknown). Also MathWorld RobinsonProjection

History

2026-10-26: add by m2/dev

Stokes parameters CYEJ1GG67N

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

Mentions

wikipedia: Wikipedia Stokes parameters, Stokes parameters (definition). Also Wikidata Q1192058

History

2026-11-02: add by m2/dev

CYEN0E0H0T CYEN0E0H0T

URI	`m2://inv/CYEN0E0H0T`
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.19945#P9AC (statement)

History

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

Sheaf (mathematics) CYESEA9C1F

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#27RI, Sheaf (mathematics) (definition)

History

2026-11-02: add by m2/dev

Statement CYEZB6HYN7

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

Mentions

wikipedia: Wikipedia Fubini's theorem on differentiation#WZFK, Statement (statement)

History

2026-11-02: add by m2/dev

Multiplicative number theory CYF0QP49DW

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#A45Z, Multiplicative number theory (definition)

History

2026-11-02: add by m2/dev

Compound of three triangular antiprisms CYF1G429JM

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

Mentions

wikipedia: Wikipedia Prismatic compound of antiprisms#BAOI, Compound of three triangular antiprisms (unknown)

History

2026-11-02: add by m2/dev

CYF1K1F7HV CYF1K1F7HV

URI	`m2://inv/CYF1K1F7HV`
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.20801#287Z (statement). In A1GWWGRXPA/e1, corollary 5.14

History

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

Touchard polynomials CYF5QBQACW

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

Mentions

wikipedia: Wikipedia List of polynomial topics#YV6Y, Touchard polynomials (definition)

History

2026-11-02: add by m2/dev

Theorem CYFBHPB173

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

Mentions

wikipedia: Wikipedia Finite intersection property#QR8R, Theorem (statement)

History

2026-11-02: add by m2/dev

Circular ensemble CYFE81Q3HR

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

Mentions

wikipedia: Wikipedia Circular ensemble, Circular ensemble (definition). Also Wikidata Q5121662

History

2026-11-02: add by m2/dev

CYFFK47XTJ CYFFK47XTJ

URI	`m2://inv/CYFFK47XTJ`
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.33451#6RP2 (statement). In HGP7BN6QFD/e1, proposition 1

History

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

CYFH875WY1 CYFH875WY1

URI	`m2://inv/CYFH875WY1`
Kind	example
Layer	research
MSC	17-XX, 57-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.10262#RETD (example). In MVSGDTN2PB/e1, example 4.24

History

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

Herzberg, Agnes M. CYFJK9AAVN

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

Mentions

wikipedia: Wikipedia List of statisticians#H3JC, Herzberg, Agnes M. (unknown)

History

2026-11-02: add by m2/dev

CYG21XY8G2 CYG21XY8G2

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

Mentions

arxiv: arXiv 2610.13670#F9SL (statement). In 4PGTZ19B26/e1, lemma 3.9

History

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

gradient CYG2974G2J

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

Mentions

wikipedia: Wikipedia Glossary of calculus#76FQ, gradient (definition)

History

2026-11-02: add by m2/dev

CYG3D6WEQG CYG3D6WEQG

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

Mentions

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

History

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

Fisher information metric CYG68XKVA0

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

Mentions

wikipedia: Wikipedia List of statistics articles#XMPY, Fisher information metric (definition)

History

2026-11-02: add by m2/dev

CYGA59S9BT CYGA59S9BT

URI	`m2://inv/CYGA59S9BT`
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 2309.01359#LIXU (statement). In BFV19FC2G7/e1, proposition 1.8

History

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

Topological K-theory CYGG704S34

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

Mentions

wikipedia: Wikipedia List of topology topics#9DB1, Topological K-theory (topic)

History

2026-11-02: add by m2/dev

CYGGT8P0YJ CYGGT8P0YJ

URI	`m2://inv/CYGGT8P0YJ`
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 2312.06473#E196 (statement). In P1MYSYHSGX/e1, lemma 2.13

History

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

Snowflake CYH7B6FA3P

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

Mentions

wikipedia: Wikipedia Snowflake (software), Snowflake (definition). Also Wikidata Q114880973

History

2026-11-02: add by m2/dev

CYHGA3QP8B CYHGA3QP8B

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

Mentions

arxiv: arXiv 2610.13953#OQQD (statement). In D8258MF12E/e1, proposition 3.2

History

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

CYHHA0QWR6 CYHHA0QWR6

URI	`m2://inv/CYHHA0QWR6`
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.20126#ODHV (statement). In KVXDWX9B11/e1, corollary A.1

History

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

Lemma CYHPKV2GV4

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

Mentions

wikipedia: Wikipedia Dual of BCH is an independent source#VKYN, Lemma (statement)

History

2026-11-02: add by m2/dev

Discriminant of cyclotomic field CYHRQ42CSS

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

Mentions

napkin: napkin tex/alg-NT/discriminant.tex#prob:discrim_cyclotomic_field, Discriminant of cyclotomic field (exercise). In RZP28ERRZV, sproblem, section 11

History

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

Subrahmanyan Chandrasekhar CYHSH5FG3J

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JI59, Subrahmanyan Chandrasekhar (topic)

History

2026-11-02: add by m2/dev

Weyl chamber CYJ2YB3FG5

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

Mentions

wikipedia: Wikipedia List of things named after Hermann Weyl#PX1R, Weyl chamber (definition)

History

2026-11-02: add by m2/dev

Naum Vilenkin CYJ7YBH7YF

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#E3ZU, Naum Vilenkin (unknown)

History

2026-11-02: add by m2/dev

Kerby simple difference formula CYJ849XWYR

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

Mentions

wikipedia: Wikipedia Rank correlation#SH4Z, Kerby simple difference formula (statement)

History

2026-11-02: add by m2/dev

Quenched Berry--Esseen theorem CYJN88KHF2

URI	`m2://inv/CYJN88KHF2`
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.40096#WE6X, Quenched Berry--Esseen theorem (statement). In XFE35F9NEV/e1, theorem 4

History

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

Iteration CYJPF8NMJ5

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

Mentions

wikipedia: Wikipedia Iteration, Iteration (definition). Also Wikidata Q651022

History

2026-11-02: add by m2/dev

Applications CYJQHT16CH

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

Mentions

wikipedia: Wikipedia Discrete element method#YTIP, Applications (example)

History

2026-11-02: add by m2/dev

CYJXR399R8 CYJXR399R8

URI	`m2://inv/CYJXR399R8`
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 2105.03715#YLKL (statement). In H3FWT3Z0J4/e1, theorem 7

History

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

CYJZJV182R CYJZJV182R

URI	`m2://inv/CYJZJV182R`
Kind	statement
Layer	research
MSC	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.21892#4G10 (statement)

History

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

Friedman number CYK045W2HR

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

Mentions

wikidata: Wikidata Q2300333, Friedman number (object). Also OEIS A036057
wikipedia: Wikipedia Friedman number, Friedman number (definition). Also Wikidata Q2300333

History

2026-10-26: add by m2/dev

Survival under random matchings CYK13RAP2P

URI	`m2://inv/CYK13RAP2P`
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.11997#R09Q, Survival under random matchings (statement). In REVYK9ZEP2/e1, lemma 7

History

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

Positive harmonic function CYKFW2R7QJ

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

Mentions

wikipedia: Wikipedia Positive harmonic function, Positive harmonic function (definition). Also Wikidata Q7233271

History

2026-11-02: add by m2/dev

Coefficient-to-diamond conversion CYKKK8M80G

URI	`m2://inv/CYKKK8M80G`
Kind	statement
Layer	research
MSC	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 2610.00448#UGPC, Coefficient-to-diamond conversion (statement). In N06J7GC05Q/e1, proposition A.2

History

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

CYKNDWNBQK CYKNDWNBQK

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

Mentions

arxiv: arXiv 2610.15416#OF40 (statement). In W9JJQYHQ7J/e1, lemma 3

History

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

Gaetan Borot CYKXC981P7

URI	`m2://inv/CYKXC981P7`
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 Q85050415, Gaetan Borot (unknown). Also nLab Gaëtan Borot

History

2026-10-26: add by m2/dev

CYM11YFZ11 CYM11YFZ11

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

Mentions

arxiv: arXiv 2609.30482#85UP (statement). In KWB9M5YH9G/e1, proposition 2.3

History

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

Fine uniform space CYM15Z2QX1

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

Mentions

wikipedia: Wikipedia Uniformizable space#ZXO4, Fine uniform space (unknown)

History

2026-11-02: add by m2/dev

convergent, sequence in a metric space CYM50G8PCE

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

Mentions

lebl_ra: lebl_ra index/4.3.1/convergent-sequence-in-a-metric-space, convergent, sequence in a metric space (concept). In E59CDZA4DP, index, section 4.3.1

History

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

LF-space CYM67WAHEG

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

Mentions

wikipedia: Wikipedia LF-space, LF-space (definition). Also Wikidata Q158565

History

2026-11-02: add by m2/dev

Tiling with rectangles CYM6MPYYY4

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

Mentions

wikipedia: Wikipedia Tiling with rectangles, Tiling with rectangles (definition). Also Wikidata Q7802164

History

2026-11-02: add by m2/dev

extensional logic CYM81XCZE7

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

Mentions

wikipedia: Wikipedia Glossary of logic#USJF, extensional logic (definition)

History

2026-11-02: add by m2/dev

Definition CYM9QB9XXM

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

Mentions

wikipedia: Wikipedia McCay cubic#NMZY, Definition (definition)

History

2026-11-02: add by m2/dev

recurrence equation, linear CYMB21Z9PW

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

Mentions

applied_combinatorics: applied_combinatorics index/9.2/recurrence-equation-linear, recurrence equation, linear (concept). In QKM9DD2H56, index, section 9.2

History

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

Exact Brownian-clock recursion CYMEEZ5VP6

URI	`m2://inv/CYMEEZ5VP6`
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.02531#43IT, Exact Brownian-clock recursion (statement). In 44EQ0MZE8G/e1, proposition 4.1

History

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

Properties CYMHGXP6Y2

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

Mentions

wikipedia: Wikipedia Invariant basis number#1KMQ, Properties (statement)

History

2026-11-02: add by m2/dev

asymptotic equivalence CYMK2P8T6Y

URI	`m2://inv/CYMK2P8T6Y`
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 2210.06147#BQTM, asymptotic equivalence (statement). In 94RBNQA07A/e1, theorem 5.6

History

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

isomorphic CYMKEC43A7

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

Mentions

wikipedia: Wikipedia Glossary of category theory#YWYT, isomorphic (definition)

History

2026-11-02: add by m2/dev

CYMPXXSV7Q CYMPXXSV7Q

URI	`m2://inv/CYMPXXSV7Q`
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.08288#97R7 (statement). In CHVWYJM7RM/e1, proposition B.9

History

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

Remark CYMQ303P5Y

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

Mentions

wikipedia: Wikipedia Poincaré lemma#1JWL, Remark (unknown)

History

2026-11-02: add by m2/dev

CYMQHHENY8 CYMQHHENY8

URI	`m2://inv/CYMQHHENY8`
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 2609.32077#GW97 (definition). In WYXQDSQR9B/e1, definition 1.9

History

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

Uniformity in the torus size CYMWRH96BN

URI	`m2://inv/CYMWRH96BN`
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#ZR5T, Uniformity in the torus size (statement)

History

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

CYMWYNQ7Y0 CYMWYNQ7Y0

URI	`m2://inv/CYMWYNQ7Y0`
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.18740#HBU0 (statement). In 82815Z5JR7/e1, theorem 3

History

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

CYMY144QAA CYMY144QAA

URI	`m2://inv/CYMY144QAA`
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 2203.06854#1GYY (statement). In 7NE5NVT9KH/e1, lemma 3.2

History

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

CYN09N41WP CYN09N41WP

URI	`m2://inv/CYN09N41WP`
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 2309.15424#207I (statement). In NXYZ1EAWKN/e1, theorem 3.3

History

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

CYN1BD0X9C CYN1BD0X9C

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

Mentions

arxiv: arXiv 2609.27518#26WD (statement)

History

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

General definition CYN1BH3TWY

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

Mentions

wikipedia: Wikipedia Weight function#KKXF, General definition (definition)

History

2026-11-02: add by m2/dev

Homotopy invariant CYN1C66F6S

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

Mentions

wikipedia: Wikipedia Homotopy#3Z2M, Homotopy invariant (unknown)

History

2026-11-02: add by m2/dev

CYN7A1X3VE CYN7A1X3VE

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

Mentions

napkin: napkin tex/alg-geom/bezout.tex#proof-4 (proof). In RZP28ERRZV, proof, section 20.3

History

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

Example 4 CYN7W5SXZB

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

Mentions

wikipedia: Wikipedia Fibonacci sequence#6J9Z, Example 4 (example)

History

2026-11-02: add by m2/dev

Parity of a permutation CYN8KC0C88

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

Mentions

wikipedia: Wikipedia List of permutation topics#KUK0, Parity of a permutation (definition)

History

2026-11-02: add by m2/dev

Commutativity CYNB17577C

URI	`m2://inv/CYNB17577C`
Kind	statement
Layer	research
MSC	81-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.06742#KTPS, Commutativity (statement). In 24FJ7C8WPN/e1, proposition 3

History

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

CYNCB4ED48 CYNCB4ED48

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

Mentions

arxiv: arXiv 2609.01324#41A0 (statement). In XKXG49TNXH/e1, theorem 1.3

History

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

CYNK1225MP CYNK1225MP

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#thm:contrapos (statement). In P1C114YBXG, theorem, section D

History

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

Applications CYNN20X1TN

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

Mentions

wikipedia: Wikipedia Medial graph#5MO8, Applications (example)

History

2026-11-02: add by m2/dev

Incompatible-properties argument CYNZ1D3WQ0

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

Mentions

wikipedia: Wikipedia Incompatible-properties argument, Incompatible-properties argument (definition). Also Wikidata Q7919015

History

2026-11-02: add by m2/dev

triangle CYNZS0TJRN

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

Mentions

wikidata: Wikidata Q19821, triangle (definition). Also MathWorld Triangle, ProofWiki Definition:Triangle_(Geometry)
wikipedia: Wikipedia Triangle, Triangle (definition). Also Wikidata Q19821

History

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

CYP0CT1108 CYP0CT1108

URI	`m2://inv/CYP0CT1108`
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 2202.02160#04SQ (statement). In Y3WQP6A5F6/e1, theorem 5

History

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

CYP1S11S37 CYP1S11S37

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

Mentions

arxiv: arXiv 2609.32233#OCNA (statement). In V42PPD7SWH/e1, lemma 6.14

History

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

Mahler volume CYP5JTKHRG

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

Mentions

wikipedia: Wikipedia List of convexity topics#K65W, Mahler volume (definition)

History

2026-11-02: add by m2/dev

CYP67N96D2 CYP67N96D2

URI	`m2://inv/CYP67N96D2`
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.28411#U8TD (statement)

History

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

Set cover problem CYP7VSJ29D

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

Mentions

wikipedia: Wikipedia Set cover problem, Set cover problem (problem). Also Wikidata Q1192100

History

2026-11-02: add by m2/dev

CYPA2T9AQA CYPA2T9AQA

URI	`m2://inv/CYPA2T9AQA`
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.05327#M9SD (statement). In ZD7BWDKT84/e1, lemma 9.3

History

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

Size of the mousetrap CYPBYBW924

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

Mentions

napkin: napkin tex/alg-NT/classgrp.tex#lemma-3, Size of the mousetrap (statement). In RZP28ERRZV, lemma, section 9.5

History

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

Descartes's theorem CYPHWWNW2C

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

Mentions

wikipedia: Wikipedia List of theorems#VC70, Descartes's theorem (statement)

History

2026-11-02: add by m2/dev

CYPKQ6S25P CYPKQ6S25P

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

Mentions

arxiv: arXiv 2609.39700#PYKP (statement). In E7W2HDNEKJ/e1, theorem 7.21

History

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

finite group CYPKRWB4TE

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

Mentions

wikipedia: Wikipedia Glossary of group theory#L34J, finite group (definition)

History

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

Algorithm CYPKYJ3SZX

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

Mentions

wikipedia: Wikipedia Secant method#W9AK, Algorithm (definition)

History

2026-11-02: add by m2/dev

Euler's theorem in geometry CYPYS19JH4

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

Mentions

wikipedia: Wikipedia List of triangle topics#MXM6, Euler's theorem in geometry (statement)
wikipedia: Wikipedia List of inequalities#W4QX, Euler's theorem in geometry (statement)

History

2026-11-02: add by m2/dev

Chart evaluation CYQFJNSDR1

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

Mentions

arxiv: arXiv 2609.28220#XBOS, Chart evaluation (statement)

History

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

Hamiltonian simulation CYQPEDERRQ

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

Mentions

wikipedia: Wikipedia Hamiltonian simulation, Hamiltonian simulation (definition). Also Wikidata Q65067297

History

2026-11-02: add by m2/dev

Jacobi sum CYQPR97W4S

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

Mentions

wikipedia: Wikipedia Jacobi sum, Jacobi sum (definition). Also Wikidata Q6119648

History

2026-11-02: add by m2/dev

exact norm identity CYR2PXXPRB

URI	`m2://inv/CYR2PXXPRB`
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 2610.08016#USZA, exact norm identity (statement). In YR3CSTYEJW/e1, lemma 8.1

History

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

Irwin Molasky CYR6Z7VTFY

URI	`m2://inv/CYR6Z7VTFY`
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#KQRL, Irwin Molasky (unknown)

History

2026-11-02: add by m2/dev

CYR70C4ZKR CYR70C4ZKR

URI	`m2://inv/CYR70C4ZKR`
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 2609.30961#GRIQ (statement). In FFG2DDWEVB/e1, proposition 6.2

History

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

Lemma 1 CYR9Q0JMQS

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

Mentions

wikipedia: Wikipedia Proofs of Fermat's little theorem#FP81, Lemma 1 (statement)

History

2026-11-02: add by m2/dev

Giuseppe Bagnera CYRB3JEFN0

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#K21F, Giuseppe Bagnera (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HAZ8, Giuseppe Bagnera (topic)

History

2026-11-02: add by m2/dev

CYRD2N90RG CYRD2N90RG

URI	`m2://inv/CYRD2N90RG`
Kind	example
Layer	research
MSC	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 2609.01473#E79P (example). In ABS9M47F4K/e1, example 3.5

History

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

Coordinate-volume loss CYRE885KB0

URI	`m2://inv/CYRE885KB0`
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.05498#5EQT, Coordinate-volume loss (definition). In TJT32RQ9GC/e1, definition 6.8

History

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

Second-order collision data CYRKW4ND65

URI	`m2://inv/CYRKW4ND65`
Kind	statement
Layer	research
MSC	05-XX, 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.22465#JV2V, Second-order collision data (statement)

History

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

Hom CYRV6YVC3B

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#RT7S, Hom (definition)

History

2026-11-02: add by m2/dev

cofinality CYRW1XXWG6

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

Mentions

wikipedia: Wikipedia Glossary of set theory#08RI, cofinality (definition)

History

2026-11-02: add by m2/dev

CYRY6X3J5G CYRY6X3J5G

URI	`m2://inv/CYRY6X3J5G`
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.10365#X7PK (statement). In PRVQPSBVHK/e1, proposition 17

History

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

CYS58Y8R6G CYS58Y8R6G

URI	`m2://inv/CYS58Y8R6G`
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.05829#43TD (statement). In ZH9NNSEKMD/e1, lemma 3.1

History

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

Tarski–Kuratowski algorithm CYSAZMM750

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

Mentions

wikipedia: Wikipedia List of things named after Alfred Tarski#CXB6, Tarski–Kuratowski algorithm (definition)
wikipedia: Wikipedia List of things named after Kazimierz Kuratowski#TNPN, Tarski–Kuratowski algorithm (definition)

History

2026-11-02: add by m2/dev

Examples CYSMN91EKR

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

Mentions

wikipedia: Wikipedia Paving matroid#OVLU, Examples (example)

History

2026-11-02: add by m2/dev

Quillen–Suslin theorem CYSNF7R5WE

URI	`m2://inv/CYSNF7R5WE`
Kind	statement
Layer	textbook
MSC	16-XX
Sources	4
Outcome	open
Node	Quillen–Suslin theorem 7N50GA46W1

Mentions

mathlib_1000: mathlib_1000 Q7272004, Quillen–Suslin theorem (statement). Also Wikidata Q7272004
thousand_plus: thousand_plus Q7272004, Quillen–Suslin theorem (statement). Also Wikidata Q7272004, Wikipedia Quillen–Suslin theorem
wikidata: Wikidata Q7272004, Quillen–Suslin theorem (statement). Also MathWorld SerresProblem
wikipedia: Wikipedia Quillen–Suslin theorem, Quillen–Suslin theorem (statement). Also Wikidata Q7272004

History

2026-10-26: add by m2/dev

Artificial neural networks CYSZFNGPQZ

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

Mentions

wikipedia: Wikipedia List of genetic algorithm applications#GUOU, Artificial neural networks (definition)

History

2026-11-02: add by m2/dev

Antonia's Line CYTJMGSQSD

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

Mentions

wikipedia: Wikipedia List of films about mathematicians#KAON, Antonia's Line (unknown)

History

2026-11-02: add by m2/dev

CYTN7EKM9Q CYTN7EKM9Q

URI	`m2://inv/CYTN7EKM9Q`
Kind	statement
Layer	research
MSC	05-XX, 60-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.10481#ZKHV (statement). In ETV3D93XYD/e1, corollary 2

History

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

Marked-coordinate symmetry reduction CYTNZK433X

URI	`m2://inv/CYTNZK433X`
Kind	statement
Layer	research
MSC	11-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 2501.09848#L43P, Marked-coordinate symmetry reduction (statement). In HF7YNMW39N/e1, proposition 13.3

History

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

CYTWXME0M5 CYTWXME0M5

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

History

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

Thermal radiation CYTXXG9F1A

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

Mentions

wikipedia: Wikipedia Thermal radiation, Thermal radiation (definition). Also Wikidata Q192593

History

2026-11-02: add by m2/dev

Wiener–Khinchin theorem CYTYMW0F8K

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

Mentions

wikipedia: Wikipedia Autocorrelation#MB40, Wiener–Khinchin theorem (statement)

History

2026-11-02: add by m2/dev

CYV2N048S3 CYV2N048S3

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

Mentions

arxiv: arXiv 2011.06637#TXZW (example). In KFCJ5CFP3G/e1, example 5.4

History

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

Definition CYV3CPZYH2

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

Mentions

wikipedia: Wikipedia Jacobi symbol#ZAJT, Definition (definition)

History

2026-11-02: add by m2/dev

Tangent cone CYV8BPDK90

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

Mentions

arxiv: arXiv 2609.25987#R4YG, Tangent cone (definition)

History

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

CYVDWJD9Q9 CYVDWJD9Q9

URI	`m2://inv/CYVDWJD9Q9`
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.09078#5QPJ (statement). In B4GK8NEZM9/e1, lemma 2.1

History

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

pico CYVQEKF1AT

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

Mentions

wikidata: Wikidata Q154341, pico (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/pico-

History

2026-10-26: add by m2/dev

Great cubicuboctahedron CYW0J49PE4

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#BHQH, Great cubicuboctahedron (object)

History

2026-11-02: add by m2/dev

Growing Query Degree CYW6DFKQY7

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

Mentions

arxiv: arXiv 2610.02407#PN56, Growing Query Degree (statement). In ZZER8ZBSCR/e1, corollary 5.15

History

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

CYWMN02J7E CYWMN02J7E

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

Mentions

arxiv: arXiv 2610.03814#G0RH (statement). In STPNP83RJS/e1, lemma 4.2

History

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

Generalized Afriat theorem CYWQST5FGK

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

Mentions

arxiv: arXiv 2610.20542#RU8J, Generalized Afriat theorem (statement). In 8PZXZ8Y9FK/e1, corollary B

History

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

Admissible design CYWSK2AKSN

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

Mentions

arxiv: arXiv 2610.08764#3E4V, Admissible design (definition). In QVFHS1C9BW/e1, definition \thethrm

History

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

CYWSYHBGCC CYWSYHBGCC

URI	`m2://inv/CYWSYHBGCC`
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.14374#YOJC (statement). In YPTC532FEG/e1, lemma 19

History

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

CYX7RBGSKB CYX7RBGSKB

URI	`m2://inv/CYX7RBGSKB`
Kind	statement
Layer	research
MSC	11-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.21717#QTNK (statement). In CE603VK92S/e1, corollary 2.3

History

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

CYX9CEN1JF CYX9CEN1JF

URI	`m2://inv/CYX9CEN1JF`
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.07092#VVQE (statement). In JWNYJVH8XG/e1, corollary 4.4

History

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

Definition CYXEQTFXD3

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

Mentions

wikipedia: Wikipedia Montel space#E6T5, Definition (definition)

History

2026-11-02: add by m2/dev

truncation, propositional CYXVATMJK4

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

Mentions

hott_book: hott_book index/9.7/truncation-propositional, truncation, propositional (concept). In N54F33XE07, index, section 9.7

History

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

Yuri I. Manin CYXWJW25CH

URI	`m2://inv/CYXWJW25CH`
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#01EF, Yuri I. Manin (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#1CJ8, Yuri I. Manin (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#EXAT, Yuri I. Manin (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#K2OA, Yuri I. Manin (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WHZX, Yuri I. Manin (topic)

History

2026-11-02: add by m2/dev

Second Lemma CYXZQ5PNHQ

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

Mentions

wikipedia: Wikipedia Sprague–Grundy theorem#OOW2, Second Lemma (statement)

History

2026-11-02: add by m2/dev

Greek alphabetic numerals CYY0ENS9W7

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

Mentions

wikidata: Wikidata Q108645, Greek alphabetic numerals (definition). Also MathWorld GreekNumerals, ProofWiki Definition:Greek_Numerals
wikipedia: Wikipedia Greek numerals, Greek numerals (definition). Also Wikidata Q108645

History

2026-10-26: add by m2/dev

CYY3EH1WRE CYY3EH1WRE

URI	`m2://inv/CYY3EH1WRE`
Kind	statement
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.09133#A5LO (statement). In E7BPGPP9Z5/e1, theorem 6.6

History

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

CYYATF9XXN CYYATF9XXN

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

Mentions

napkin: napkin tex/alg-geom/localization.tex#example-12 (example). In RZP28ERRZV, example, section 21.6

History

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

CYYBCVECQR CYYBCVECQR

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

Mentions

arxiv: arXiv 2610.20316#Z1F5 (definition). In YRJS76169Z/e1, definition 3.4

History

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

CYYKEHPK1B CYYKEHPK1B

URI	`m2://inv/CYYKEHPK1B`
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 2605.17484#MFW9 (statement). In 5E9GMPKEEP/e1, proposition 3.3

History

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

CYYKK1GAYA CYYKK1GAYA

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

Mentions

arxiv: arXiv 2610.14236#LYNA (statement). In XEQD21EBTT/e1, proposition 5.1

History

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

John Collins CYYW3JY80M

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

Mentions

wikipedia: Wikipedia John Collins (mathematician), John Collins (topic). Also Wikidata Q1279339

History

2026-11-02: add by m2/dev

Dipole moments of molecules CYYXDCBJ7M

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

Mentions

wikipedia: Wikipedia Electric dipole moment#G1SD, Dipole moments of molecules (unknown)

History

2026-11-02: add by m2/dev

transitive CYYZ05BYT0

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#4H16, transitive (definition)

History

2026-11-02: add by m2/dev

CYZ00658AZ CYZ00658AZ

URI	`m2://inv/CYZ00658AZ`
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 1311.6044#Y371 (statement). In W4FFB6SVZD/e1, lemma 4.1

History

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

CYZ2APXSN0 CYZ2APXSN0

URI	`m2://inv/CYZ2APXSN0`
Kind	definition
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.35625#KHG7 (definition). In 7N144YJM0R/e1, definition 1

History

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

Larsen's alternative, with the needed proof CYZ5R1PEHP

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

Mentions

arxiv: arXiv 2610.04099#58U1, Larsen's alternative, with the needed proof (statement). In QPJ6FWG5HD/e1, theorem 2.28

History

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

Regular category CYZAQDHGGH

URI	`m2://inv/CYZAQDHGGH`
Kind	definition
Layer	research
MSC	18-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 2610.10930#NSTZ, Regular category (definition). In HX63A1PH1W/e1, definition 6.25

History

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

CYZD5VVNBQ CYZD5VVNBQ

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

Mentions

arxiv: arXiv 2610.11847#942A (statement). In MP2YM69XW8/e1, lemma 2

History

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

CYZK3Y0PV7 CYZK3Y0PV7

URI	`m2://inv/CYZK3Y0PV7`
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.30519#WYX8 (statement). In GQQZNRYK15/e1, proposition 3.7

History

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

CYZSABCV8G CYZSABCV8G

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

Mentions

arxiv: arXiv 2404.06445#GW0N (statement). In 12JKZ8EN52/e1, theorem 1.9

History

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

Reachability under $\mu$ CYZY7R7XYZ

URI	`m2://inv/CYZY7R7XYZ`
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.14988#1QTE, Reachability under $\mu$ (statement). In B29M4E6KGC/e1, lemma J.1

History

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