Inventory rows SS

Levitzky's theorem SS009HPFA1

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#69RF, Levitzky's theorem (statement)

History

2026-11-02: add by m2/dev

SS00A55HX5 SS00A55HX5

URI	`m2://inv/SS00A55HX5`
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.19283#KJOL (statement). In 28BAGZRCKG/e1, theorem 7.1

History

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

Canonical cover SS00E2GE9N

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

Mentions

arxiv: arXiv 2609.26196#JYB4, Canonical cover (statement)

History

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

SS03QXFT7Z SS03QXFT7Z

URI	`m2://inv/SS03QXFT7Z`
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.03208#6QFE (statement). In A3CMP0TJK2/e1, corollary 4.4

History

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

Theoretical definition SS09W7PHWM

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

Mentions

wikipedia: Wikipedia Theoretical definition, Theoretical definition (definition). Also Wikidata Q7782363

History

2026-11-02: add by m2/dev

Arithmetical hierarchy SS0BES7AYZ

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#YZD9, Arithmetical hierarchy (definition)

History

2026-11-02: add by m2/dev

transitivity, of $\leq$ for reals SS0DSYJMD3

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

Mentions

hott_book: hott_book index/B.2.1/transitivity-of-leq-for-reals, transitivity, of $\leq$ for reals (concept). In N54F33XE07, index, section B.2.1

History

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

SS0FDR9MWM SS0FDR9MWM

URI	`m2://inv/SS0FDR9MWM`
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 2403.15255#Q65Y (statement). In G691MXMYW0/e1, corollary 3.23

History

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

Algebraic properties SS0FKTS01F

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

Mentions

wikipedia: Wikipedia Germ (mathematics)#2Z5T, Algebraic properties (statement)

History

2026-11-02: add by m2/dev

The analytic entrance SS0Q1E8YE3

URI	`m2://inv/SS0Q1E8YE3`
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 2609.25762#S0AG, The analytic entrance (statement)

History

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

Average Area Asymptotics in $n$ SS0TH4DK7R

URI	`m2://inv/SS0TH4DK7R`
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.07671#OG2F, Average Area Asymptotics in $n$ (statement). In XHHBGCVG90/e1, corollary 5.3.2

History

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

Vertex SS0TY7GE6V

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3JIT, Vertex (definition)

History

2026-11-02: add by m2/dev

Notation SS113P2YKC

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

Mentions

wikipedia: Wikipedia Counterexamples in Topology#WP59, Notation (definition)

History

2026-11-02: add by m2/dev

SS147V1KJB SS147V1KJB

URI	`m2://inv/SS147V1KJB`
Kind	statement
Layer	research
MSC	20-XX, 22-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 2609.32916#UYSZ (statement). In G1RP4JY5PE/e1, lemma 5.4.4

History

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

SS14WW9MGJ SS14WW9MGJ

URI	`m2://inv/SS14WW9MGJ`
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 2208.07784#HZ56 (statement). In X0GJCD9768/e1, lemma 2.2

History

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

Matplotlib SS1A6WGMVM

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#DIB1, Matplotlib (unknown)
wikipedia: Wikipedia List of open-source software for mathematics#VMQC, Matplotlib (unknown)

History

2026-11-02: add by m2/dev

SS1B7WTFPC SS1B7WTFPC

URI	`m2://inv/SS1B7WTFPC`
Kind	definition
Layer	research
MSC	05-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 2609.20678#WN8N (definition)

History

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

F. Riesz theorem SS1HCA1X5P

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

Mentions

wikipedia: Wikipedia F. Riesz's theorem#2YHN, F. Riesz theorem (statement)

History

2026-11-02: add by m2/dev

SS1JAQC3QB SS1JAQC3QB

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

Mentions

arxiv: arXiv 2609.29432#9AXL (statement)

History

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

centered nonagonal number SS1TK5Y6CH

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

Mentions

wikidata: Wikidata Q1587799, centered nonagonal number (object). Also OEIS A060544
wikipedia: Wikipedia Centered nonagonal number, Centered nonagonal number (definition). Also Wikidata Q1587799

History

2026-10-26: add by m2/dev

rose SS1TVN41AF

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

Mentions

wikidata: Wikidata Q1155211, rose (concept). Also MathWorld RoseCurve
wikipedia: Wikipedia Rose (mathematics), Rose (definition). Also Wikidata Q1155211

History

2026-10-26: add by m2/dev

SS1V3BQ54A SS1V3BQ54A

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

Mentions

arxiv: arXiv 2610.07240#THTJ (statement). In D0F1GK5AHW/e1, theorem A.3

History

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

SS25AY15P5 SS25AY15P5

URI	`m2://inv/SS25AY15P5`
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 2610.01087#BRE8 (statement). In 7QXAZXGNPQ/e1, proposition 7.8

History

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

Second-coordinate positivity SS2CMJHYAM

URI	`m2://inv/SS2CMJHYAM`
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.33360#K95G, Second-coordinate positivity (statement). In GH6FSDK4YB/e1, corollary 4.2

History

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

Neil Hindman SS2D5Y1J07

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#OBNS, Neil Hindman (topic)

History

2026-11-02: add by m2/dev

With respect to SS2F0GTCM7

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#VFS3, With respect to (definition)

History

2026-11-02: add by m2/dev

Convex hull algorithms SS2MXJTVB9

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

Mentions

wikipedia: Wikipedia Convex hull algorithms, Convex hull algorithms (definition). Also Wikidata Q5166520

History

2026-11-02: add by m2/dev

Smooth Localization Lemma in $L^{p,1}$ SS2QVAG1FR

URI	`m2://inv/SS2QVAG1FR`
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 2407.20385#WS66, Smooth Localization Lemma in $L^{p,1}$ (statement). In PZRSZ19KAH/e1, lemma 4.3

History

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

SS3J7V8RQW SS3J7V8RQW

URI	`m2://inv/SS3J7V8RQW`
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.10469#N9C4 (statement). In Q39BEKW6D9/e1, proposition A.3

History

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

Definitions SS3KHW0THZ

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

Mentions

wikipedia: Wikipedia Projective module#RDFY, Definitions (definition)

History

2026-11-02: add by m2/dev

zero-counting error to a certified product tail SS3PB9500F

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

Mentions

arxiv: arXiv 2609.27962#Z1T6, zero-counting error to a certified product tail (statement)

History

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

SS3SNF8DC6 SS3SNF8DC6

URI	`m2://inv/SS3SNF8DC6`
Kind	statement
Layer	research
MSC	11-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.31249#ILCK (statement). In RAVR2W9S0B/e1, lemma 6.2

History

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

SS42112X4Y SS42112X4Y

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

Mentions

arxiv: arXiv 2609.35095#YABR (statement). In MM3XTWS35F/e1, theorem 3.4

History

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

SS42Y7665A SS42Y7665A

URI	`m2://inv/SS42Y7665A`
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.25038#3GOA (statement)

History

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

Theorem SS43D9861E

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

Mentions

wikipedia: Wikipedia Schur's lemma#N08U, Theorem (statement)

History

2026-11-02: add by m2/dev

SS46EGHE41 SS46EGHE41

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

Mentions

arxiv: arXiv 2609.22924#K8MO (statement)

History

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

Bernold Fiedler SS4A0A3C7R

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

Mentions

wikipedia: Wikipedia Bernold Fiedler, Bernold Fiedler (topic). Also Wikidata Q826685

History

2026-11-02: add by m2/dev

SS4FVK3ABD SS4FVK3ABD

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

Mentions

arxiv: arXiv 2609.25739#4IHC (statement)

History

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

product rule SS4GF21965

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

Mentions

wikipedia: Wikipedia Glossary of calculus#IQNF, product rule (definition)

History

2026-11-02: add by m2/dev

Definition SS4PRVVS5G

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

Mentions

wikipedia: Wikipedia Weakly measurable function#OM3L, Definition (definition)

History

2026-11-02: add by m2/dev

Amir Dembo SS4QR4H3MH

URI	`m2://inv/SS4QR4H3MH`
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#1QN8, Amir Dembo (topic)

History

2026-11-02: add by m2/dev

Alexander Postnikov SS4RVXR29V

URI	`m2://inv/SS4RVXR29V`
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#M6BD, Alexander Postnikov (unknown)

History

2026-11-02: add by m2/dev

Binomial complexity SS4SX0D969

URI	`m2://inv/SS4SX0D969`
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.36389#HUF6, Binomial complexity (definition). In N1S169J2MV/e1, definition 9

History

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

SS507T6XGR SS507T6XGR

URI	`m2://inv/SS507T6XGR`
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#GNRH (statement). In RK1VPWWX9E/e1, lemma 2.6

History

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

Statement SS56ND1Z19

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

Mentions

wikipedia: Wikipedia Anne's theorem#NTU2, Statement (statement)

History

2026-11-02: add by m2/dev

SS5DJ8WQMQ SS5DJ8WQMQ

URI	`m2://inv/SS5DJ8WQMQ`
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.11395#4IJG (statement). In T3W7SMWQ73/e1, lemma 27

History

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

Examples SS5H53MQH9

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

Mentions

wikipedia: Wikipedia Variation of parameters#Z9LA, Examples (example)

History

2026-11-02: add by m2/dev

Vortex flux SS5XXJ7P4M

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

Mentions

wikipedia: Wikipedia Vorticity#JRKC, Vortex flux (unknown)

History

2026-11-02: add by m2/dev

Decay for linear and power relaxation SS5YGR8Y05

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

Mentions

arxiv: arXiv 2610.15528#OIKI, Decay for linear and power relaxation (statement). In G9GEE64N32/e1, corollary 2.11

History

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

$\Gamma$ is well defined SS61BGAXP3

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

Mentions

arxiv: arXiv 2609.20478#6SNP, $\Gamma$ is well defined (statement)

History

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

SS61NFKRFG SS61NFKRFG

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

Mentions

arxiv: arXiv 2410.01436#3S8N (proof). In FE59Q5BHKZ/e1, proof

History

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

SS62EEMZ4C SS62EEMZ4C

URI	`m2://inv/SS62EEMZ4C`
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.07963#OPIG (statement). In HAGJKEZ1CK/e1, proposition 2.4

History

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

Definition SS63N31M7K

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

Mentions

wikipedia: Wikipedia Stationary increments#55BV, Definition (definition)

History

2026-11-02: add by m2/dev

Concentrating trajectories SS64GDBEM9

URI	`m2://inv/SS64GDBEM9`
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.24930#KPGK, Concentrating trajectories (statement)

History

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

Michael J. Hopkins SS64MAA92G

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

Mentions

wikipedia: Wikipedia Michael J. Hopkins, Michael J. Hopkins (topic). Also Wikidata Q1927987

History

2026-11-02: add by m2/dev

fibration SS6YNBHXHH

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#LZV6, fibration (definition)

History

2026-11-02: add by m2/dev

Applications SS78AGQMR6

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

Mentions

wikipedia: Wikipedia Perles configuration#3ZWA, Applications (example)

History

2026-11-02: add by m2/dev

Skein SS78JQ9AAJ

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

Mentions

wikipedia: Wikipedia Skein (graph theory), Skein (definition). Also Wikidata Q138632190

History

2026-11-02: add by m2/dev

SS78XXWS92 SS78XXWS92

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#proof-9 (proof). In E59CDZA4DP, proof, section 5.2

History

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

SS7J41K2PN SS7J41K2PN

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

Mentions

arxiv: arXiv 2610.13076#MLQO (definition). In K7GJA4WGV7/e1, definition 2.2

History

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

SS7JYAXFG2 SS7JYAXFG2

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

Mentions

arxiv: arXiv 2610.10558#Y00B (problem). In GYSF9JXQCH/e1, problem 2

History

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

transgression SS7NV1YK33

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#VUUZ, transgression (definition)

History

2026-11-02: add by m2/dev

Definition SS7NVKSEY9

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

Mentions

wikipedia: Wikipedia Spectrum (functional analysis)#O8H8, Definition (definition)

History

2026-11-02: add by m2/dev

Supercritical sharpness for random currents SS7RKCDV4Y

URI	`m2://inv/SS7RKCDV4Y`
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.20583#GHX5, Supercritical sharpness for random currents (statement). In 5YEEPDPAQE/e1, theorem 1.1

History

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

Special cases SS7YA1R60W

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

Mentions

wikipedia: Wikipedia Gauss–Bonnet theorem#UC39, Special cases (statement)

History

2026-11-02: add by m2/dev

Modus ponens SS84Q4AYZW

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/axioms-rules-propositional.tex#defn-2, Modus ponens (definition). In PKGMM3P5QY, defn, section 8.1

History

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

Rational point SS86GBSFGF

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

Mentions

wikipedia: Wikipedia List of mathematical properties of points#7QEI, Rational point (definition)

History

2026-11-02: add by m2/dev

Turing machine examples SS8A8ZY1P0

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

Mentions

wikipedia: Wikipedia Turing machine examples, Turing machine examples (definition). Also Wikidata Q7854963

History

2026-11-02: add by m2/dev

SS8F66H3GW SS8F66H3GW

URI	`m2://inv/SS8F66H3GW`
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 2609.29111#5FL8 (problem)

History

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

Observable variable SS8H6792FE

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

Mentions

wikipedia: Wikipedia List of statistics articles#T39G, Observable variable (definition)

History

2026-11-02: add by m2/dev

SS8MM0WHNJ SS8MM0WHNJ

URI	`m2://inv/SS8MM0WHNJ`
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.07890#NHW3 (statement). In 6F3GSDT2V1/e1, lemma 3.10

History

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

Corollary SS8V1PXBK4

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

Mentions

wikipedia: Wikipedia Sub-Gaussian distribution#GMMY, Corollary (statement)

History

2026-11-02: add by m2/dev

SS8WTP31YS SS8WTP31YS

URI	`m2://inv/SS8WTP31YS`
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 2210.02261#YCVU (statement). In TT74R659T0/e1, lemma 0.12

History

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

weak equivalence, of precategories SS92ZN5F75

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

Mentions

hott_book: hott_book index/2.9/weak-equivalence-of-precategories, weak equivalence, of precategories (concept). In N54F33XE07, index, section 2.9

History

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

Nekrasov matrix SS96GJJ9HR

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

Mentions

wikipedia: Wikipedia Nekrasov matrix, Nekrasov matrix (definition). Also Wikidata Q65117177

History

2026-11-02: add by m2/dev

Initialization law and moment existence SS9DT8V1MQ

URI	`m2://inv/SS9DT8V1MQ`
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 2610.04357#Z9FR, Initialization law and moment existence (example). In 6FY8BVP1F3/e1, example B.6

History

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

Quantitative clock estimate SS9DWP5C64

URI	`m2://inv/SS9DWP5C64`
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 2610.03811#6IVY, Quantitative clock estimate (statement). In DHQWFJW02X/e1, lemma 4.2

History

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

SS9E2K17BY SS9E2K17BY

URI	`m2://inv/SS9E2K17BY`
Kind	statement
Layer	research
MSC	35-XX, 49-XX, 53-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.11677#XNXA (statement). In 4R7HZD14M6/e1, lemma 4.2

History

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

SS9HX0FTQF SS9HX0FTQF

URI	`m2://inv/SS9HX0FTQF`
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.20087#BBI3 (statement). In ZRE2WQR5XA/e1, proposition III.10

History

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

Log-rank conjecture SS9MBDCY0N

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

Mentions

wikipedia: Wikipedia List of unsolved problems in computer science#VDYD, Log-rank conjecture (conjecture)

History

2026-11-02: add by m2/dev

SS9MXV0K21 SS9MXV0K21

URI	`m2://inv/SS9MXV0K21`
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.02669#E4ZT (statement). In NSBSWH6XB4/e1, lemma 4.6

History

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

functional SS9WF8KHH5

URI	`m2://inv/SS9WF8KHH5`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Functional 1EQM0DJ4NC

Mentions

wikidata: Wikidata Q579600, functional (unknown). Also EoM Functional, MathWorld Functional
wikipedia: Wikipedia Functional (mathematics), Functional (definition). Also Wikidata Q579600

History

2026-10-26: add by m2/dev

J. V. Uspensky SS9X8VYT5S

URI	`m2://inv/SS9X8VYT5S`
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#ZIQI, J. V. Uspensky (topic)

History

2026-11-02: add by m2/dev

SSAEM4VC6P SSAEM4VC6P

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#exercise-11 (exercise). In E59CDZA4DP, exercise, section 8.1.4

History

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

Wiggling and flipping equivalent frames SSANJRMY31

URI	`m2://inv/SSANJRMY31`
Kind	definition
Layer	research
MSC	46-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 1204.5958#Z80K, Wiggling and flipping equivalent frames (definition). In XYCBKM4WKY/e1, definition 67

History

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

discrete, space SSAQ5VPMSG

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

Mentions

hott_book: hott_book index/u1.u7/discrete-space, discrete, space (concept). In N54F33XE07, index, section u1.u7

History

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

stable SSAR2RPGZG

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#1HL1, stable (definition)

History

2026-11-02: add by m2/dev

Index of combinatorics articles SSAV2K79GP

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

Mentions

wikipedia: Wikipedia Index of combinatorics articles, Index of combinatorics articles (topic). Also Wikidata Q17003192

History

2026-11-02: add by m2/dev

SSB7C7ADCZ SSB7C7ADCZ

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

Mentions

austin_ula: austin_ula src/exercises/exercises2-3.xml#exercise-10 (exercise). In 649HGZKE96, exercise, section 2.3

History

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

E. J. Lowe SSB9M56WAB

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

Mentions

wikipedia: Wikipedia E. J. Lowe (philosopher), E. J. Lowe (topic). Also Wikidata Q3742339

History

2026-11-02: add by m2/dev

SSBAYR1TF5 SSBAYR1TF5

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

Mentions

lebl_diffyqs: lebl_diffyqs ap-linear-algebra.tex#exercise-49 (exercise). In E9HS8K3A52, exercise, section 2.4.3

History

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

SSBG1GXA95 SSBG1GXA95

URI	`m2://inv/SSBG1GXA95`
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.15674#S8YN (statement). In JCTZTK951T/e1, theorem 1.4

History

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

Adrian Mathias SSBHEB79WP

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

Mentions

wikipedia: Wikipedia Adrian Mathias, Adrian Mathias (topic). Also Wikidata Q84727471

History

2026-11-02: add by m2/dev

Properties SSBVG9W8Q9

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

Mentions

wikipedia: Wikipedia Almost simple group#SPCH, Properties (statement)

History

2026-11-02: add by m2/dev

SSC1BTZ5PT SSC1BTZ5PT

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

Mentions

arxiv: arXiv 2610.19787#MEMZ (statement). In A4VP56CT7B/e1, theorem 1.3

History

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

Robert Morris SSC1Q2DHB9

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

Mentions

wikipedia: Wikipedia Robert Morris (cryptographer), Robert Morris (topic). Also Wikidata Q1304547

History

2026-11-02: add by m2/dev

series SSC68YW75Y

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

Mentions

wikipedia: Wikipedia Glossary of calculus#YXBZ, series (definition)

History

2026-11-02: add by m2/dev

Generalizations SSC9KJ8D3Q

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

Mentions

wikipedia: Wikipedia Detrended fluctuation analysis#LAK3, Generalizations (statement)

History

2026-11-02: add by m2/dev

Convexity and order monotonicity of the PCRB distortion SSC9WQTG2T

URI	`m2://inv/SSC9WQTG2T`
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.36143#FXUW, Convexity and order monotonicity of the PCRB distortion (statement). In 6T2TWKQMJ8/e1, lemma 4

History

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

SSCARR5RJ2 SSCARR5RJ2

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

Mentions

arxiv: arXiv 2609.24614#5WEM (statement)

History

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

Examples SSCD4SPZF4

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

Mentions

wikipedia: Wikipedia Fibration of simplicial sets#VX6K, Examples (example)

History

2026-11-02: add by m2/dev

Humbert surface SSCKKGYRY0

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

Mentions

wikipedia: Wikipedia Humbert surface, Humbert surface (definition). Also Wikidata Q5939950

History

2026-11-02: add by m2/dev

Definition SSCPXHH2GM

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

Mentions

wikipedia: Wikipedia Reynolds operator#9YU6, Definition (definition)

History

2026-11-02: add by m2/dev

LPPL from clustering along a path SSCVJKMJSV

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

Mentions

arxiv: arXiv 2609.31858#RNC8, LPPL from clustering along a path (statement). In QV16PHDXKJ/e1, theorem 4.10

History

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

SSCW7HZ84J SSCW7HZ84J

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

Mentions

napkin: napkin tex/alg-NT/galois.tex#example-9 (example). In RZP28ERRZV, example, section 14.5

History

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

SSD1FV0EM9 SSD1FV0EM9

URI	`m2://inv/SSD1FV0EM9`
Kind	statement
Layer	research
MSC	14-XX, 30-XX, 32-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.04314#BPEY (statement). In AKWTE0M6PE/e1, corollary 7

History

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

SSD2APYWNA SSD2APYWNA

URI	`m2://inv/SSD2APYWNA`
Kind	statement
Layer	research
MSC	11-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.03499#Z5YE (statement). In NAE99N03W3/e1, proposition 5.1

History

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

Word problem for groups SSD5B1H9VV

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

Mentions

wikipedia: Wikipedia List of group theory topics#GELT, Word problem for groups (problem)
wikipedia: Wikipedia List of mathematical logic topics#XK8Q, Word problem for groups (problem)
wikipedia: Wikipedia List of computability and complexity topics#M1J5, Word problem for groups (problem)

History

2026-11-02: add by m2/dev

Properties SSD810VDH9

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

Mentions

wikipedia: Wikipedia Shape#QQTV, Properties (statement)

History

2026-11-02: add by m2/dev

SSD8S52GVF SSD8S52GVF

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-6 (exercise). In P1C114YBXG, problem, section D

History

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

SSDDG1W0YN SSDDG1W0YN

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/InfiniteSets.tex#prob:someInfiniteSets (exercise). In P1C114YBXG, problem, section D

History

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

SSDGYXFYFP SSDGYXFYFP

URI	`m2://inv/SSDGYXFYFP`
Kind	statement
Layer	research
MSC	35-XX, 49-XX, 62-XX, 65-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.35574#LISN (statement). In 3Q70DMD7Z7/e1, theorem

History

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

Theorem SSDVG3EZC8

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

Mentions

wikipedia: Wikipedia Envelope (category theory)#OYNT, Theorem (statement)

History

2026-11-02: add by m2/dev

SSDYKFQQKS SSDYKFQQKS

URI	`m2://inv/SSDYKFQQKS`
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#G6F2 (statement). In RTE2C0PH4S/e1, theorem 5.2

History

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

prime number SSDZJGY7BC

URI	`m2://inv/SSDZJGY7BC`
Kind	definition
Layer	textbook
MSC	11A41
Sources	2
Outcome	node (a node has the same name as the row)
Node	Prime number 01826KMG2H

Mentions

wikidata: Wikidata Q49008, prime number (topic). Also EoM Prime_number, Mathlib Nat.Prime, MathWorld PrimeNumber, nLab prime number, OEIS A000040, ProofWiki Definition:Prime_Number
wikipedia: Wikipedia Prime number, Prime number (definition). Also Wikidata Q49008

History

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

SSE2TPF6WE SSE2TPF6WE

URI	`m2://inv/SSE2TPF6WE`
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.05184#DF9V (statement). In JK425E1F77/e1, proposition 4.3

History

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

Ramanujan's master theorem SSE57E5053

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

Mentions

wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#7XKJ, Ramanujan's master theorem (statement)

History

2026-11-02: add by m2/dev

SSE59HT2KJ SSE59HT2KJ

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

Mentions

arxiv: arXiv 2610.10804#8BEC (statement). In 6M5WR7KB80/e1, proposition 2.4

History

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

Maria Hasse SSEBYVQ6Y3

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

Mentions

wikipedia: Wikipedia Maria Hasse, Maria Hasse (topic). Also Wikidata Q6479279

History

2026-11-02: add by m2/dev

Nontrivial implies existence of good scale SSEDDZC890

URI	`m2://inv/SSEDDZC890`
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#QFA3, Nontrivial implies existence of good scale (statement). In 95YZVAPGJA/e1, lemma 5.3

History

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

WebAssembly SSF15C14EX

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

Mentions

wikidata: Wikidata Q20155677, WebAssembly (unknown). Also nLab WebAssembly

History

2026-10-26: add by m2/dev

Elementary arithmetic SSF6G3CYKF

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

Mentions

wikipedia: Wikipedia Elementary arithmetic, Elementary arithmetic (definition). Also Wikidata Q7214750

History

2026-11-02: add by m2/dev

Geometry & Topology SSFQYJZ57Y

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

Mentions

wikipedia: Wikipedia Geometry & Topology, Geometry & Topology (definition). Also Wikidata Q5535513

History

2026-11-02: add by m2/dev

Bell's theorem SSFTR914QD

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

Mentions

wikipedia: Wikipedia Einstein–Podolsky–Rosen paradox#C41M, Bell's theorem (statement)

History

2026-11-02: add by m2/dev

Examples SSGBFB3AZG

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

Mentions

wikipedia: Wikipedia Axiom independence#A4OT, Examples (example)

History

2026-11-02: add by m2/dev

SSGJD8RW2E SSGJD8RW2E

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

Mentions

arxiv: arXiv 2610.18094#1CGR (statement). In AYANBEWSFH/e1, proposition 2.2

History

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

Lebedev–Milin inequality SSGTCTXEV7

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

Mentions

wikipedia: Wikipedia Lebedev–Milin inequality, Lebedev–Milin inequality (statement). Also Wikidata Q6511269

History

2026-11-02: add by m2/dev

Apache OpenOffice Math SSGYX2ABXY

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#TAI8, Apache OpenOffice Math (unknown)

History

2026-11-02: add by m2/dev

Stabilization of the adaptive parameters SSHAM6V4NJ

URI	`m2://inv/SSHAM6V4NJ`
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.33206#GAER, Stabilization of the adaptive parameters (statement). In VRPEECJF2P/e1, lemma 4

History

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

SSHGG146KA SSHGG146KA

URI	`m2://inv/SSHGG146KA`
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 2301.04933#EKBZ (example). In Q70CTMCJTP/e1, example 5.10

History

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

SSHS7NHTDY SSHS7NHTDY

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

History

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

304 (Number) SSHZTTQAG9

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

Mentions

wikipedia: Wikipedia 300 (number)#J1L1, 304 (Number) (unknown)

History

2026-11-02: add by m2/dev

SSJ072AQS1 SSJ072AQS1

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

Mentions

open_logic: open_logic content/set-theory/ord-arithmetic/addition.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 71.8

History

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

SSJ7111CJJ SSJ7111CJJ

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

Mentions

arxiv: arXiv 2609.28357#228C (definition)

History

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

SSJ8GAA6MS SSJ8GAA6MS

URI	`m2://inv/SSJ8GAA6MS`
Kind	conjecture
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.19088#874X (conjecture). In 90QTB4CC31/e1, conjecture 3.36

History

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

Generalizations SSJHM3J09V

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

Mentions

wikipedia: Wikipedia Symmetric derivative#I2K0, Generalizations (statement)

History

2026-11-02: add by m2/dev

oriented graph SSJN5DYMP5

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

Mentions

wikidata: Wikidata Q94250127, oriented graph (unknown). Also MathWorld OrientedGraph, nLab oriented graph

History

2026-10-26: add by m2/dev

SSJSY4WR5T SSJSY4WR5T

URI	`m2://inv/SSJSY4WR5T`
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.18033#GF30 (statement). In 59VRB6Y27N/e1, proposition 2.3

History

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

Heritability SSJT13MPP4

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

Mentions

wikipedia: Wikipedia Heritability, Heritability (definition). Also Wikidata Q1503548

History

2026-11-02: add by m2/dev

SSJTJ3KAZX SSJTJ3KAZX

URI	`m2://inv/SSJTJ3KAZX`
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.20316#JG71 (statement). In YRJS76169Z/e1, lemma 4.15

History

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

Clebsch invariant SSJV6KX84A

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#PYVU, Clebsch invariant (definition)

History

2026-11-02: add by m2/dev

90 Degrees East SSJZYVM443

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

Mentions

wikipedia: Wikipedia List of places with numeric names#COCQ, 90 Degrees East (unknown)

History

2026-11-02: add by m2/dev

Implementations SSK4W3R7Q6

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

Mentions

wikipedia: Wikipedia Format-preserving encryption#TFDH, Implementations (definition)

History

2026-11-02: add by m2/dev

SSK5A9HSN4 SSK5A9HSN4

URI	`m2://inv/SSK5A9HSN4`
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 2511.05069#LGJH (statement). In SFQBJBTW8K/e1, proposition 4.1

History

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

Up tack SSK6ZA8NS6

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

Mentions

wikipedia: Wikipedia Up tack, Up tack (definition). Also Wikidata Q3594846

History

2026-11-02: add by m2/dev

SSKAGV20KW SSKAGV20KW

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

Mentions

arxiv: arXiv 2610.04046#1EQN (definition). In 3THDT8WNF7/e1, definition 7

History

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

Liñán's equation SSKC933AA8

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

Mentions

wikipedia: Wikipedia Liñán's equation, Liñán's equation (definition). Also Wikidata Q60791883

History

2026-11-02: add by m2/dev

SSKF6MYER2 SSKF6MYER2

URI	`m2://inv/SSKF6MYER2`
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.25823#CHSB (statement)

History

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

Hodge diamond SSKFV9WF6A

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

Mentions

wikipedia: Wikipedia List of things named after W. V. D. Hodge#EQ0F, Hodge diamond (definition)

History

2026-11-02: add by m2/dev

SSKGEY3CQ2 SSKGEY3CQ2

URI	`m2://inv/SSKGEY3CQ2`
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.21723#8VLR (statement)

History

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

Number SSKPV9PWZF

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

Mentions

wikipedia: Wikipedia List of group theory topics#2BGW, Number (definition)

History

2026-11-02: add by m2/dev

Kustaanheimo–Stiefel regularization SSKQXJJ41Y

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

Mentions

wikipedia: Wikipedia Kustaanheimo–Stiefel regularization, Kustaanheimo–Stiefel regularization (definition). Also Wikidata Q141244843

History

2026-11-02: add by m2/dev

SSKVMS2X2B SSKVMS2X2B

URI	`m2://inv/SSKVMS2X2B`
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 2609.33250#T9PM (statement). In JCTD510XJ0/e1, proposition 4.1

History

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

SSM33MWBFC SSM33MWBFC

URI	`m2://inv/SSM33MWBFC`
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.17100#KAD8 (statement). In 4TSS52DMB2/e1, corollary 5.2

History

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

József Kürschák SSM8DPG8H7

URI	`m2://inv/SSM8DPG8H7`
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#N53C, József Kürschák (topic)

History

2026-11-02: add by m2/dev

Examples SSMRYTGF0C

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

Mentions

wikipedia: Wikipedia Algebraic element#4HW4, Examples (example)

History

2026-11-02: add by m2/dev

Peter Slodowy SSMY0Y1DZ1

URI	`m2://inv/SSMY0Y1DZ1`
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 Q103352, Peter Slodowy (unknown). Also nLab Peter Slodowy
wikipedia: Wikipedia Peter Slodowy, Peter Slodowy (topic). Also Wikidata Q103352

History

2026-10-26: add by m2/dev

Statistical Office of the Republic of Serbia SSNB5DPBAV

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

Mentions

wikipedia: Wikipedia Statistical Office of the Republic of Serbia, Statistical Office of the Republic of Serbia (definition). Also Wikidata Q20435862

History

2026-11-02: add by m2/dev

Definition SSNBRGJ15D

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

Mentions

wikipedia: Wikipedia Descendant tree (group theory)#ZKBM, Definition (definition)

History

2026-11-02: add by m2/dev

Formulations SSNQHHGYF1

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

Mentions

wikipedia: Wikipedia Rational singularity#824K, Formulations (definition)

History

2026-11-02: add by m2/dev

Terminal morphisms. SSNRZFVBZ2

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

Mentions

wikipedia: Wikipedia Adjoint functors#CS23, Terminal morphisms. (definition)

History

2026-11-02: add by m2/dev

Ernst Peschl SSNSRCAJ29

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

Mentions

wikipedia: Wikipedia Ernst Peschl, Ernst Peschl (topic). Also Wikidata Q103198

History

2026-11-02: add by m2/dev

SSNVTCAKMX SSNVTCAKMX

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

Mentions

napkin: napkin tex/H113/quotient.tex#problem-6 (exercise). In RZP28ERRZV, problem, section 3.6

History

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

SSP0NQTCSH SSP0NQTCSH

URI	`m2://inv/SSP0NQTCSH`
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#C4KO (statement). In 3A4K47Y9F2/e1, theorem 4.9

History

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

SSP20NXFG5 SSP20NXFG5

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

Mentions

arxiv: arXiv 2610.01208#MECN (definition). In 317GZJ38HS/e1, definition 5.6

History

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

Poisson sampling SSP2SAQZ0T

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

Mentions

wikipedia: Wikipedia List of statistics articles#LFIL, Poisson sampling (definition)

History

2026-11-02: add by m2/dev

SSP2VT50K3 SSP2VT50K3

URI	`m2://inv/SSP2VT50K3`
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#RZVE (statement). In A1GWWGRXPA/e1, proposition 3.16

History

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

Tacnode SSP5FSRJYB

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

Mentions

wikipedia: Wikipedia List of curves topics#BVFY, Tacnode (definition)

History

2026-11-02: add by m2/dev

critical number SSP6Y5NPQF

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

Mentions

active_calculus: active_calculus index/3.3.2/critical-number, critical number (concept). In 907G4C4EJ1, index, section 3.3.2

History

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

Penalty method SSP84NGJYJ

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

Mentions

wikipedia: Wikipedia Penalty method, Penalty method (definition). Also Wikidata Q3411771

History

2026-11-02: add by m2/dev

SSP8XXT9J4 SSP8XXT9J4

URI	`m2://inv/SSP8XXT9J4`
Kind	statement
Layer	research
MSC	05-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 2310.17520#KNHY (statement). In 93AJXFH963/e1, theorem 1

History

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

SSPP492V4S SSPP492V4S

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

Mentions

wikipedia: Wikipedia Map folding#WP52 (problem)

History

2026-11-02: add by m2/dev

Implementation SSPXEMJ3SZ

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

Mentions

wikipedia: Wikipedia Uniformization (probability theory)#BKQ2, Implementation (definition)

History

2026-11-02: add by m2/dev

Morley centers SSQ3R3JEHR

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

Mentions

wikipedia: Wikipedia Morley centers, Morley centers (definition). Also Wikidata Q17077753

History

2026-11-02: add by m2/dev

Quadratic prediction detects the greatest experiment SSQ3RZBZGW

URI	`m2://inv/SSQ3RZBZGW`
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#TNRP, Quadratic prediction detects the greatest experiment (statement). In 9YAE8FNQST/e1, theorem 29.3

History

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

SSQ71M6H51 SSQ71M6H51

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

Mentions

arxiv: arXiv 2610.18929#HTZL (statement). In ZRJ2DZT6P1/e1, proposition 5.4

History

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

SSQ8YPCKZ0 SSQ8YPCKZ0

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

Mentions

arxiv: arXiv 2610.12736#JDQ1 (statement). In 5350Q52F6P/e1, lemma 10.4

History

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

Albert Lautman SSQ90CJQGK

URI	`m2://inv/SSQ90CJQGK`
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 Q327198, Albert Lautman (unknown). Also nLab Albert Lautman

History

2026-10-26: add by m2/dev

Hard fork SSQBYPNYNK

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

Mentions

wikipedia: Wikipedia Fork (blockchain)#0L6F, Hard fork (unknown)

History

2026-11-02: add by m2/dev

SSQHK0K6Y3 SSQHK0K6Y3

URI	`m2://inv/SSQHK0K6Y3`
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#CEFO (statement). In V42PPD7SWH/e1, lemma 1.1

History

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

Convex concentration for independent blocks SSQM6RNF67

URI	`m2://inv/SSQM6RNF67`
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.05498#702E, Convex concentration for independent blocks (statement). In TJT32RQ9GC/e1, lemma 2.1

History

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

Second-order co-occurrence pointwise mutual information SSQVSC2ZRQ

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

Mentions

wikipedia: Wikipedia Second-order co-occurrence pointwise mutual information, Second-order co-occurrence pointwise mutual information (definition). Also Wikidata Q17145932

History

2026-11-02: add by m2/dev

Integral of inverse functions SSR273FRKK

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

Mentions

wikipedia: Wikipedia Integral of inverse functions, Integral of inverse functions (definition). Also Wikidata Q15622331

History

2026-11-02: add by m2/dev

SSR4XRXJMP SSR4XRXJMP

URI	`m2://inv/SSR4XRXJMP`
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.16554#TUJI (statement). In GWNT8HEZG1/e1, lemma 4.20

History

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

SSR5CR6PBP SSR5CR6PBP

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

Mentions

arxiv: arXiv 2610.16877#XFO5 (statement). In YY4KFNMPC0/e1, theorem 1.6

History

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

SSRCGH2AEV SSRCGH2AEV

URI	`m2://inv/SSRCGH2AEV`
Kind	definition
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#MYA7 (definition). In A1GWWGRXPA/e1, definition 3.25

History

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

Radio-frequency engineering SSRJQR8973

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

Mentions

wikipedia: Wikipedia Radio-frequency engineering, Radio-frequency engineering (definition). Also Wikidata Q1363977

History

2026-11-02: add by m2/dev

residue SSRM1672Q8

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#RN5G, residue (definition)

History

2026-11-02: add by m2/dev

Subcode distances SSRQH5Z203

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

Mentions

arxiv: arXiv 2610.03460#08Q2, Subcode distances (definition). In 54HWP298DG/e1, definition 3

History

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

SSRRKEA0HZ SSRRKEA0HZ

URI	`m2://inv/SSRRKEA0HZ`
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.11481#EEX4 (statement). In 8XHK5ZCX7H/e1, theorem 3.1

History

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

Computably inseparable SSRVGHP7Y5

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

Mentions

wikipedia: Wikipedia Computably inseparable, Computably inseparable (definition). Also Wikidata Q7303355

History

2026-11-02: add by m2/dev

Presymplectic form SSS2DCW3X2

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

Mentions

wikipedia: Wikipedia Presymplectic form, Presymplectic form (object). Also Wikidata Q16996070

History

2026-11-02: add by m2/dev

SSS72T1D29 SSS72T1D29

URI	`m2://inv/SSS72T1D29`
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.24078#5Z9S (statement)

History

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

Properties SSSDNY8BZH

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

Mentions

wikipedia: Wikipedia Singular distribution#GBC4, Properties (statement)

History

2026-11-02: add by m2/dev

XLispStat SSSE7M8NQX

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

Mentions

wikipedia: Wikipedia XLispStat, XLispStat (definition). Also Wikidata Q3570412

History

2026-11-02: add by m2/dev

SSSEKQ5DY1 SSSEKQ5DY1

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

Mentions

hott_book: hott_book basics.tex#thm:path-prod (statement). In N54F33XE07, thm, section 1.6

History

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

Trisected perimeter point SSSM3NJGJR

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

Mentions

wikipedia: Wikipedia List of triangle topics#N68K, Trisected perimeter point (definition)

History

2026-11-02: add by m2/dev

Substructure SSSSFN28YC

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

Mentions

wikipedia: Wikipedia Substructure (mathematics), Substructure (definition). Also Wikidata Q859254

History

2026-11-02: add by m2/dev

Time Cube SSSVY0AP6K

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

Mentions

wikipedia: Wikipedia Time Cube, Time Cube (definition). Also Wikidata Q7804964

History

2026-11-02: add by m2/dev

The theorem SSSVY7VC4Q

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

Mentions

wikipedia: Wikipedia Atkinson's theorem#QC4R, The theorem (statement)

History

2026-11-02: add by m2/dev

SST1KW21R5 SST1KW21R5

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

Mentions

arxiv: arXiv 2610.14060#V104 (statement). In X47RYAZF8P/e1, corollary 3.11

History

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

perspective SST605ESKR

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

Mentions

wikidata: Wikidata Q2252759, perspective (unknown). Also MathWorld PerspectiveTriangles
wikipedia: Wikipedia Perspective (geometry), Perspective (definition). Also Wikidata Q2252759

History

2026-10-26: add by m2/dev

simple $k$-sorted relation SSTAZTTXG9

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

Mentions

arxiv: arXiv 2610.12484#UPKU, simple $k$-sorted relation (definition). In GW23NX78SB/e1, definition 2.17

History

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

SSTRN6KBPQ SSTRN6KBPQ

URI	`m2://inv/SSTRN6KBPQ`
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.01888#8C9R (statement). In A89G9GMPC9/e1, lemma 2.4

History

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

Josef Stoer SSTTRE6XW4

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

Mentions

wikipedia: Wikipedia List of German mathematicians#6HMR, Josef Stoer (topic)

History

2026-11-02: add by m2/dev

Sankey diagram SSTVCPVK60

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

Mentions

wikipedia: Wikipedia List of graphical methods#0XP3, Sankey diagram (unknown)
wikipedia: Wikipedia List of graphical methods#ZBLE, Sankey diagram (unknown)

History

2026-11-02: add by m2/dev

SSV19B3CM4 SSV19B3CM4

URI	`m2://inv/SSV19B3CM4`
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.31274#MXMI (statement). In RK0ZMDJ23T/e1, lemma 2.3.8

History

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

multiplication, of ordinal numbers SSV5P9RQ3M

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

Mentions

hott_book: hott_book index/C.5/multiplication-of-ordinal-numbers, multiplication, of ordinal numbers (concept). In N54F33XE07, index, section C.5

History

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

Norms as stationary coefficients SSVDQTBFBC

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

Mentions

arxiv: arXiv 2609.30301#JCLY, Norms as stationary coefficients (statement). In 7NS75J7HAM/e1, lemma 8.3

History

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

Estimation theory SSVDS62NKQ

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

Mentions

wikipedia: Wikipedia Estimation theory, Estimation theory (topic). Also Wikidata Q1376021

History

2026-11-02: add by m2/dev

SSVGE4RZC5 SSVGE4RZC5

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

Mentions

arxiv: arXiv 2103.08272#NGMD (problem). In H72E12TYHA/e1, problem 1.5

History

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

SSVQP9JW2B SSVQP9JW2B

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

Mentions

arxiv: arXiv math/0312342#3RCX (statement). In K811ERNKV5/e1, theorem B.2

History

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

Uniqueness for $L^\infty$ conductivities when $n=1$, $s=1/2$ SSVVP99M5W

URI	`m2://inv/SSVVP99M5W`
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.17524#VH0O, Uniqueness for $L^\infty$ conductivities when $n=1$, $s=1/2$ (statement). In MKA4QH9VRE/e1, theorem 2.4

History

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

Condorcet loser criterion SSW2SMRN1A

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

Mentions

wikipedia: Wikipedia Condorcet loser criterion, Condorcet loser criterion (statement). Also Wikidata Q5159350

History

2026-11-02: add by m2/dev

Jordan's inequality SSW3BFRG2E

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

Mentions

wikidata: Wikidata Q1703592, Jordan's inequality (statement). Also MathWorld JordansInequality
wikipedia: Wikipedia Jordan's inequality, Jordan's inequality (statement). Also Wikidata Q1703592

History

2026-10-26: add by m2/dev

Operations on distributions SSW5VGN4E4

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

Mentions

wikipedia: Wikipedia Distribution (mathematical analysis)#1YG1, Operations on distributions (unknown)

History

2026-11-02: add by m2/dev

SSW6483JFF SSW6483JFF

URI	`m2://inv/SSW6483JFF`
Kind	problem
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.00247#G55R (problem). In ZAM4S2XS9F/e1, problem C.2

History

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

Young tableau SSW6N4NZJQ

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

Mentions

wikipedia: Wikipedia List of representation theory topics#0YOP, Young tableau (definition)

History

2026-11-02: add by m2/dev

SSW7972WKM SSW7972WKM

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

Mentions

arxiv: arXiv 2609.36045#38JL (conjecture). In F0E8YBV0Z0/e1, conjecture 1.7

History

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

SSW9MNFZCZ SSW9MNFZCZ

URI	`m2://inv/SSW9MNFZCZ`
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.15472#OM22 (statement). In 5Z3FH46YSY/e1, proposition 4.13

History

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

Edge-matching puzzle SSWAS0VD6E

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#01N9, Edge-matching puzzle (problem)

History

2026-11-02: add by m2/dev

Variety (group theory) SSWBMK5Z43

URI	`m2://inv/SSWBMK5Z43`
Kind	definition
Layer	textbook
MSC	08Bxx
Sources	2
Outcome	open
Node	Variety of algebras AJNZJD8442

Mentions

wikidata: Wikidata Q137314701, Variety (group theory) (unknown). Also MathWorld Variety
wikidata: Wikidata Q3502010, variety (universal algebra) (topic). Also MathWorld Variety, nLab variety of algebras
wikipedia: Wikipedia Variety (universal algebra), Variety (definition). Also Wikidata Q3502010

History

2026-10-26: add by m2/dev

Robert König SSWDPRZTYK

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

Mentions

wikipedia: Wikipedia Robert König, Robert König (topic). Also Wikidata Q1799076

History

2026-11-02: add by m2/dev

SSWRYDCNEG SSWRYDCNEG

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

Mentions

arxiv: arXiv 2609.23872#FCPK (statement)

History

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

Properties SSWTRWB0SB

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

Mentions

wikipedia: Wikipedia Grigorchuk group#ZGDL, Properties (statement)

History

2026-11-02: add by m2/dev

SSWVG9A86E SSWVG9A86E

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#prop:supinfseq (statement). In E59CDZA4DP, prop, section 10.1.1

History

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

Stable Rank Lifting SSWYGDGKNG

URI	`m2://inv/SSWYGDGKNG`
Kind	problem
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.39855#DPGR, Stable Rank Lifting (problem). In E1KFX0NW51/e1, problem 1.3

History

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

Victor V. Batyrev SSX0G3VEM7

URI	`m2://inv/SSX0G3VEM7`
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#DAQF, Victor V. Batyrev (topic)

History

2026-11-02: add by m2/dev

SSX4AV0JFP SSX4AV0JFP

URI	`m2://inv/SSX4AV0JFP`
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.21472#EMFZ (statement)

History

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

Spectral theorem for $\LL^+$ SSX5KVY2R2

URI	`m2://inv/SSX5KVY2R2`
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.12326#57DF, Spectral theorem for $\LL^+$ (statement). In 9S7HGSEX6Q/e1, corollary 3.14

History

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

Properties SSX6GE88SS

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

Mentions

wikipedia: Wikipedia Dihedral group#SV9G, Properties (statement)

History

2026-11-02: add by m2/dev

Lower bound for the chain with decreasing slopes SSX80NSCNJ

URI	`m2://inv/SSX80NSCNJ`
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.21461#C7P3, Lower bound for the chain with decreasing slopes (statement). In DWQANBV7B7/e1, theorem 4.8

History

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

Ilse Fischer SSXBE5SZS8

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

Mentions

wikipedia: Wikipedia Ilse Fischer, Ilse Fischer (topic). Also Wikidata Q1620503

History

2026-11-02: add by m2/dev

analytic continuation SSXDRFYW1H

URI	`m2://inv/SSXDRFYW1H`
Kind	definition
Layer	textbook
MSC	74F15
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Analytic continuation 0M3YQJ81NB

Mentions

wikidata: Wikidata Q485287, analytic continuation (topic). Also MathWorld AnalyticContinuation, nLab analytic continuation, ProofWiki Definition:Analytic_Continuation
wikipedia: Wikipedia Analytic continuation, Analytic continuation (definition). Also Wikidata Q485287

History

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

Robert Lazarsfeld SSXQ7K0JQ0

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

Mentions

wikipedia: Wikipedia Robert Lazarsfeld, Robert Lazarsfeld (topic). Also Wikidata Q2157991

History

2026-11-02: add by m2/dev

SSXQ8MHCK8 SSXQ8MHCK8

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

Mentions

arxiv: arXiv 2609.22924#RA1K (statement)

History

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

generalized eigenspaces SSXSE3YY7R

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

Mentions

mathlib_undergrad: mathlib_undergrad Linear algebra > Structure theory of endomorphisms > generalized eigenspaces, generalized eigenspaces (unknown). Also Mathlib Module.End.genEigenspace

History

2026-10-26: add by m2/dev

Thomas von Randow SSY3DQCBNN

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

Mentions

wikipedia: Wikipedia Thomas von Randow, Thomas von Randow (topic). Also Wikidata Q109776

History

2026-11-02: add by m2/dev

3D outgoing branch decoupling SSYDZHW6YY

URI	`m2://inv/SSYDZHW6YY`
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.24962#AMT0, 3D outgoing branch decoupling (statement)

History

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

First axiom SSYND2WCKT

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

Mentions

wikipedia: Wikipedia Probability axioms#54PH, First axiom (statement)

History

2026-11-02: add by m2/dev

SSYNHTH32V SSYNHTH32V

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

Mentions

arxiv: arXiv 2610.01932#WI2G (definition). In XDKWW6NR0K/e1, definition 7.10

History

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

Symmetry SSYSV3QP4Q

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

Mentions

wikipedia: Wikipedia Octagonal prism#M8O8, Symmetry (statement)

History

2026-11-02: add by m2/dev

SSYY9FKA8Q SSYY9FKA8Q

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

Mentions

arxiv: arXiv 2609.37520#8NN2 (statement). In BDN507RN7J/e1, proposition 3.2.24

History

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

SSZ5W4G8M1 SSZ5W4G8M1

URI	`m2://inv/SSZ5W4G8M1`
Kind	definition
Layer	research
MSC	19-XX, 46-XX, 47-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.17060#WG88 (definition). In 5KR3MHYVV6/e1, definition 2.2

History

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

SSZ77279Z8 SSZ77279Z8

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

Mentions

arxiv: arXiv 2610.13680#53W8 (unknown). In QNBFHFZ3H0/e1, unknown 46

History

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

SSZ8SVE67F SSZ8SVE67F

URI	`m2://inv/SSZ8SVE67F`
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#FLHG (statement). In CTAS41TRM2/e1, corollary 3.2

History

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

Finite-dimensional reduction SSZBAZTQH8

URI	`m2://inv/SSZBAZTQH8`
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 2609.25915#Q7XA, Finite-dimensional reduction (statement)

History

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

SSZDJR1702 SSZDJR1702

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

Mentions

arxiv: arXiv 2204.01073#MZK4 (definition). In W4TYN4PGE8/e1, definition 3.29

History

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

Voronoi diagram SSZEJGGVJH

URI	`m2://inv/SSZEJGGVJH`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Voronoi diagram QDNEBBVZ84

Mentions

wikidata: Wikidata Q757267, Voronoi diagram (unknown). Also MathWorld VoronoiDiagram
wikipedia: Wikipedia Voronoi diagram, Voronoi diagram (definition). Also Wikidata Q757267

History

2026-10-26: add by m2/dev

Affine solution-factor bound SSZES2MWCN

URI	`m2://inv/SSZES2MWCN`
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.25380#73HP, Affine solution-factor bound (statement)

History

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

Examples SSZFQX43HC

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

Mentions

wikipedia: Wikipedia Apollonian network#USI2, Examples (example)

History

2026-11-02: add by m2/dev

SSZMP5GVN8 SSZMP5GVN8

URI	`m2://inv/SSZMP5GVN8`
Kind	statement
Layer	research
MSC	11-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 2606.22882#9J2V (statement). In YNE0Q2X61Y/e1, lemma 3.3

History

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

Fourier series of locally integrable periodic real-valued functions SSZRE93J5P

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

Mentions

mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Fourier analysis > Fourier series of locally integrable periodic real-valued functions, Fourier series of locally integrable periodic real-valued functions (unknown). Also Mathlib fourierBasis
mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > example, the Hilbert basis of trigonometric polynomials, example, the Hilbert basis of trigonometric polynomials (unknown). Also Mathlib fourierBasis

History

2026-10-26: add by m2/dev

Definitions SSZTEMDDBE

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

Mentions

wikipedia: Wikipedia Strongly connected component#D1MM, Definitions (definition)

History

2026-11-02: add by m2/dev

C. Møller SSZWBGQKAX

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#W32V, C. Møller (unknown)

History

2026-11-02: add by m2/dev