Inventory rows WS

\probname{Clique WS00ARE8HV

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

Mentions

arxiv: arXiv 2609.38436#K8BS, \probname{Clique (problem). In 702AF3E4AF/e1, problem 5.1

History

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

Henry Landau WS00RH9A2C

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

Mentions

wikipedia: Wikipedia Henry Landau, Henry Landau (topic). Also Wikidata Q5724615

History

2026-11-02: add by m2/dev

WS015DT39C WS015DT39C

URI	`m2://inv/WS015DT39C`
Kind	problem
Layer	research
MSC	05-XX, 30-XX, 32-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.35102#10IB (problem). In XK6H7F2F13/e1, problem 6

History

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

Orthogonality WS0863JFBD

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

Mentions

wikipedia: Wikipedia Orthogonality (mathematics), Orthogonality (definition). Also Wikidata Q114044192

History

2026-11-02: add by m2/dev

Reflection positivity WS0GWNEGSH

URI	`m2://inv/WS0GWNEGSH`
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.29671#V0YM, Reflection positivity (statement)

History

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

Linguistic variable (fuzzy logic) WS0P3RND5R

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

Mentions

wikipedia: Wikipedia Fuzzy logic#9TP3, Linguistic variable (fuzzy logic) (unknown)

History

2026-11-02: add by m2/dev

Ambient leaf slack WS0QDFNBS5

URI	`m2://inv/WS0QDFNBS5`
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.31811#K05N, Ambient leaf slack (statement). In A8ZBZW9RNA/e1, lemma 5.7

History

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

WS0VGZP2KX WS0VGZP2KX

URI	`m2://inv/WS0VGZP2KX`
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#WCS9 (definition). In N1S169J2MV/e1, definition 5

History

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

WS18EDWS17 WS18EDWS17

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

Mentions

arxiv: arXiv 2206.11797#OQJM (statement). In 8SJWWZN4FH/e1, theorem 4.3

History

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

WS18HYAQYV WS18HYAQYV

URI	`m2://inv/WS18HYAQYV`
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 2111.08123#XGFR (statement). In TAAB0QAKAG/e1, lemma 8.1

History

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

WS1BNRK6YM WS1BNRK6YM

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

Mentions

arxiv: arXiv 2409.00806#SZKX (statement). In SBN06J39DG/e1, lemma 3.4

History

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

WS1BWQBQJZ WS1BWQBQJZ

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#problem-2 (exercise). In P1C114YBXG, problem, section 1

History

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

WS1EFK47T9 WS1EFK47T9

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

Mentions

arxiv: arXiv 2609.26269#BGKL (statement)

History

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

WS1F8EWVM2 WS1F8EWVM2

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

Mentions

arxiv: arXiv 2609.30664#N1HZ (statement). In ZZGDNKDVJW/e1, lemma A.4

History

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

Post's lattice WS1V62H23R

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

Mentions

wikipedia: Wikipedia Post's lattice, Post's lattice (definition). Also Wikidata Q11837622

History

2026-11-02: add by m2/dev

Stochastic approximation WS2KBPZM1P

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

Mentions

wikipedia: Wikipedia List of statistics articles#1JD3, Stochastic approximation (definition)

History

2026-11-02: add by m2/dev

Complex convexity WS2Q20EQX1

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

Mentions

wikipedia: Wikipedia Complex convexity, Complex convexity (definition). Also Wikidata Q5156575

History

2026-11-02: add by m2/dev

Tropical cryptography WS2WRQQWW2

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

Mentions

wikipedia: Wikipedia Tropical cryptography, Tropical cryptography (definition). Also Wikidata Q55636233

History

2026-11-02: add by m2/dev

Thomas Streicher WS324GPWCD

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

Mentions

wikipedia: Wikipedia List of German mathematicians#UP95, Thomas Streicher (unknown)

History

2026-11-02: add by m2/dev

WS34SH3KJ2 WS34SH3KJ2

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

Mentions

arxiv: arXiv 2610.08599#D88X (example). In DST9FWMHT6/e1, example 3.17

History

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

Comparator-KL monotonicity of the feasibility correction WS3BV9H04J

URI	`m2://inv/WS3BV9H04J`
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.20187#U3ZV, Comparator-KL monotonicity of the feasibility correction (statement). In N280AVNNBY/e1, lemma B.4

History

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

Examples WS3SDYWMH7

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

Mentions

wikipedia: Wikipedia Basic feasible solution#O0XK, Examples (example)

History

2026-11-02: add by m2/dev

WS4KSTXX1C WS4KSTXX1C

URI	`m2://inv/WS4KSTXX1C`
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#XT66 (statement). In 7QXAZXGNPQ/e1, theorem 7.5

History

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

WS554CDCKY WS554CDCKY

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

Mentions

arxiv: arXiv 2610.12479#24M1 (statement). In WE001PR75Z/e1, proposition 3

History

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

Poincaré algebra WS5C99TCX1

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

Mentions

wikipedia: Wikipedia List of things named after Henri Poincaré#D8C3, Poincaré algebra (definition)

History

2026-11-02: add by m2/dev

diffraction WS5CB3S3WG

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

Mentions

wikidata: Wikidata Q133900, diffraction (unknown). Also EoM Diffraction,_mathematical_theory_of
wikipedia: Wikipedia Diffraction, Diffraction (definition). Also Wikidata Q133900

History

2026-10-26: add by m2/dev

Open coloring axiom WS5FS9KM7G

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

Mentions

wikipedia: Wikipedia List of statements independent of ZFC#QN3D, Open coloring axiom (statement)

History

2026-11-02: add by m2/dev

orthogonality WS5HJ57ZW3

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

Mentions

mathlib_undergrad: mathlib_undergrad Linear algebra > Duality > orthogonality, orthogonality (unknown). Also Mathlib Submodule.dualAnnihilator

History

2026-10-26: add by m2/dev

WS5HSB7G1N WS5HSB7G1N

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

Mentions

napkin: napkin tex/rep-theory/characters.tex#prob:second_orthog (exercise). In RZP28ERRZV, sproblem, section 79.4

History

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

WS5M059E27 WS5M059E27

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

Mentions

arxiv: arXiv 2610.19273#FQQZ (definition). In T3BY4TXYT4/e1, definition 3.1

History

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

Properties WS5M597M7D

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

Mentions

wikipedia: Wikipedia Homoclinic orbit#PC6N, Properties (statement)

History

2026-11-02: add by m2/dev

WS645NNE6T WS645NNE6T

URI	`m2://inv/WS645NNE6T`
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.09561#FPPE (statement). In WDV5E2CVTR/e1, corollary 7.8

History

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

WS6C8DFN8P WS6C8DFN8P

URI	`m2://inv/WS6C8DFN8P`
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.14135#OCOB (statement). In C304J64Q79/e1, lemma 2.1

History

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

loop, $n$- WS6JTRBQ5C

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

Mentions

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

History

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

WS6MSPWWP3 WS6MSPWWP3

URI	`m2://inv/WS6MSPWWP3`
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 2609.20798#UW15 (statement)

History

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

WS6NNE04ZH WS6NNE04ZH

URI	`m2://inv/WS6NNE04ZH`
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.24065#BIL3 (statement)

History

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

WS6NV98XD6 WS6NV98XD6

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

Mentions

arxiv: arXiv 2609.20522#ZH43 (statement)

History

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

Pre-feedback resolvent, spectrum, and input coefficients WS6VBPQR2G

URI	`m2://inv/WS6VBPQR2G`
Kind	statement
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#R8HS, Pre-feedback resolvent, spectrum, and input coefficients (statement). In QVFHS1C9BW/e1, lemma \thethrm

History

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

WS6XC535ZY WS6XC535ZY

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-6 (exercise). In P1C114YBXG, exercise, section 1.1

History

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

WS6Z8AB661 WS6Z8AB661

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

Mentions

arxiv: arXiv 2610.13745#1GQY (statement). In CFJH0Q39FZ/e1, corollary 4.13

History

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

WS76V9S45S WS76V9S45S

URI	`m2://inv/WS76V9S45S`
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.36423#QQN1 (statement). In Q5Z178SAHP/e1, corollary 7.3

History

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

Ω-automaton WS77J72G2N

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

Mentions

wikipedia: Wikipedia Ω-automaton, Ω-automaton (definition). Also Wikidata Q291256

History

2026-11-02: add by m2/dev

WS780VFSXB WS780VFSXB

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

Mentions

arxiv: arXiv 2308.05066#JIAN (unknown). In 1QSCT53ZED/e1, unknown 11.3

History

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

characteristic polynomial WS7BDNVZDP

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

Mentions

austin_ula: austin_ula index/4.2.2/characteristic-polynomial, characteristic polynomial (concept). In 649HGZKE96, index, section 4.2.2

History

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

Church–Rosser theorem WS7ERC9Y8N

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

Mentions

wikipedia: Wikipedia List of theorems#CKZV, Church–Rosser theorem (statement)

History

2026-11-02: add by m2/dev

WS7H3J7QTX WS7H3J7QTX

URI	`m2://inv/WS7H3J7QTX`
Kind	statement
Layer	research
MSC	16-XX, 19-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.23527#T7RQ (statement)

History

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

WS7H922K3Y WS7H922K3Y

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

Mentions

arxiv: arXiv 2609.26386#0947 (definition)

History

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

WS7SYE57TP WS7SYE57TP

URI	`m2://inv/WS7SYE57TP`
Kind	statement
Layer	research
MSC	16-XX, 20-XX, 22-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.11800#0FW8 (statement). In 8TSZ2E32K3/e1, lemma 3.1

History

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

Compound of five great rhombihexahedra WS87ZDZ0XH

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#GVW3, Compound of five great rhombihexahedra (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#OUH9, Compound of five great rhombihexahedra (definition)

History

2026-11-02: add by m2/dev

WS89GYE9YM WS89GYE9YM

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

Mentions

arxiv: arXiv 2610.09596#JLP2 (statement). In HXFA55BREZ/e1, lemma 2.17

History

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

WS89R8ZT4V WS89R8ZT4V

URI	`m2://inv/WS89R8ZT4V`
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 2211.14214#LOP7 (statement). In SY85Y9E45A/e1, theorem 13

History

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

WS8BP5GZRG WS8BP5GZRG

URI	`m2://inv/WS8BP5GZRG`
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.36412#437O (statement). In 6HKGGCMBCK/e1, lemma 6.4

History

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

Lawrence Lin WS8BR6JEED

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

Mentions

wikipedia: Wikipedia Lawrence Lin, Lawrence Lin (topic). Also Wikidata Q102215882

History

2026-11-02: add by m2/dev

Pair areas WS8HJQ2PHM

URI	`m2://inv/WS8HJQ2PHM`
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.04271#EQHA, Pair areas (statement). In WBXAW9G4JB/e1, theorem 5.1

History

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

WS8P3XBD9G WS8P3XBD9G

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

Mentions

arxiv: arXiv 2610.12295#HJ4G (statement). In 6DZPR52HRP/e1, lemma 4.9

History

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

Set-theoretic topology WS8PA1B6PA

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

Mentions

wikipedia: Wikipedia List of topology topics#FFE8, Set-theoretic topology (definition)

History

2026-11-02: add by m2/dev

WS8S31TA5N WS8S31TA5N

URI	`m2://inv/WS8S31TA5N`
Kind	conjecture
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.34339#40T5 (conjecture). In 9WFSTGMQ4E/e1, conjecture 6.3

History

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

WS907HD9GS WS907HD9GS

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

Mentions

arxiv: arXiv 2301.04933#5J14 (definition). In Q70CTMCJTP/e1, definition 4.4

History

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

WS90XE4SQ3 WS90XE4SQ3

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

Mentions

arxiv: arXiv 2610.03619#HECN (definition). In 7SRERSS1PF/e1, definition 5.1

History

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

Applications WS952SH9WN

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

Mentions

wikipedia: Wikipedia A/B testing#7YML, Applications (example)

History

2026-11-02: add by m2/dev

Partition-linking graph WS9C6QFXSZ

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

Mentions

arxiv: arXiv 2609.39269#5L2C, Partition-linking graph (definition). In HS4X20TX33/e1, definition 0.41

History

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

WS9EJDX8T4 WS9EJDX8T4

URI	`m2://inv/WS9EJDX8T4`
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.30165#7IA9 (statement)

History

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

WS9J13VK5H WS9J13VK5H

URI	`m2://inv/WS9J13VK5H`
Kind	statement
Layer	research
MSC	05-XX, 37-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 2601.04559#DC7E (statement). In WWMHZKWZSM/e1, proposition 12

History

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

Normal mode WS9JR99RH3

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

Mentions

wikipedia: Wikipedia Normal mode, Normal mode (definition). Also Wikidata Q900488

History

2026-11-02: add by m2/dev

Nodal analysis WS9RJ45SFT

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

Mentions

wikipedia: Wikipedia Nodal analysis, Nodal analysis (definition). Also Wikidata Q1203451

History

2026-11-02: add by m2/dev

Survival analysis WSA45RCMEC

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

Mentions

wikipedia: Wikipedia Survival analysis, Survival analysis (topic). Also Wikidata Q543310

History

2026-11-02: add by m2/dev

Reduced hypergraph WSAA0CHNZD

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

Mentions

wikipedia: Wikipedia Hypergraph#JEQK, Reduced hypergraph (unknown)

History

2026-11-02: add by m2/dev

WSAAS81ZJF WSAAS81ZJF

URI	`m2://inv/WSAAS81ZJF`
Kind	statement
Layer	research
MSC	19-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 2610.19791#IAVK (statement). In AVDB4KJ6XB/e1, proposition 5.2

History

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

homotopy equivalence WSAKRF0VK5

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

Mentions

wikidata: Wikidata Q1626409, homotopy equivalence (unknown). Also MathWorld HomotopyEquivalence, nLab homotopy equivalence

History

2026-10-26: add by m2/dev

PLplot WSARFS0JA5

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#5VEP, PLplot (unknown)

History

2026-11-02: add by m2/dev

rotation of $\psi$ WSAYF2DKRY

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

Mentions

arxiv: arXiv 2609.39511#BPOJ, rotation of $\psi$ (statement). In 6W9H24A378/e1, lemma 5

History

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

Second Hardy–Littlewood conjecture WSB1M07R24

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

Mentions

wikipedia: Wikipedia Second Hardy–Littlewood conjecture#DS7R, Second Hardy–Littlewood conjecture (statement)

History

2026-11-02: add by m2/dev

WSB1XQ9DY9 WSB1XQ9DY9

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

Mentions

arxiv: arXiv 2609.21552#GOTG (statement)

History

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

WSB3MK1CM2 WSB3MK1CM2

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

Mentions

arxiv: arXiv 2609.31783#E0C8 (definition). In CGNVT4C47F/e1, definition 4.1

History

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

WSB770KSBD WSB770KSBD

URI	`m2://inv/WSB770KSBD`
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.20510#LYD4 (statement). In 24KCRT4VT2/e1, proposition 1

History

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

WSB7QY6CJ7 WSB7QY6CJ7

URI	`m2://inv/WSB7QY6CJ7`
Kind	statement
Layer	research
MSC	30-XX, 32-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.30067#60IA (statement)

History

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

Rational agent WSBRB63V3X

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

Mentions

wikipedia: Wikipedia Rational agent, Rational agent (definition). Also Wikidata Q2666479

History

2026-11-02: add by m2/dev

WSBTQYWM9J WSBTQYWM9J

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/introduction.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 50.4

History

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

Significance arithmetic WSBZ0JMG9W

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

Mentions

wikipedia: Wikipedia Significant figures#7GS1, Significance arithmetic (unknown)

History

2026-11-02: add by m2/dev

Bender's method WSCCFS19RQ

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

Mentions

wikipedia: Wikipedia Bender's method, Bender's method (definition). Also Wikidata Q4887036

History

2026-11-02: add by m2/dev

WSCCMY9635 WSCCMY9635

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

Mentions

arxiv: arXiv 2610.03688#30PE (statement). In HMWJQY9NAP/e1, lemma 3.5

History

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

WSCETV7RCT WSCETV7RCT

URI	`m2://inv/WSCETV7RCT`
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 2511.12649#ZZPE (statement). In RT27S2YZKJ/e1, lemma 1

History

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

Michael Aizenman WSCG5SC97M

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#IL10, Michael Aizenman (topic)

History

2026-11-02: add by m2/dev

Steffensen's method WSCKC5Z3DA

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

Mentions

wikipedia: Wikipedia Steffensen's method, Steffensen's method (definition). Also Wikidata Q7606635

History

2026-11-02: add by m2/dev

WSCMFTD5K4 WSCMFTD5K4

URI	`m2://inv/WSCMFTD5K4`
Kind	statement
Layer	research
MSC	19-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.36823#75OT (statement). In 55WT8DME6Y/e1, theorem 2.6

History

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

WSCMPDNWSE WSCMPDNWSE

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

Mentions

arxiv: arXiv 2609.35467#2GTY (statement). In FK89DQ9J4S/e1, corollary 5.13

History

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

Finite atomic distributions WSD1WFPETV

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

Mentions

arxiv: arXiv 2610.07285#2D64, Finite atomic distributions (definition). In S284XRA4WK/e1, definition 2.2

History

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

Hausdorff dimension WSD25EP7CE

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

Mentions

wikipedia: Wikipedia List of things named after Felix Hausdorff#TN5K, Hausdorff dimension (definition)

History

2026-11-02: add by m2/dev

Algebraic tangle WSD77Y0VDC

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

Mentions

wikipedia: Wikipedia List of knot theory topics#H0CF, Algebraic tangle (definition)

History

2026-11-02: add by m2/dev

WSD79DDMRF WSD79DDMRF

URI	`m2://inv/WSD79DDMRF`
Kind	conjecture
Layer	research
MSC	14-XX, 20-XX, 22-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.23884#QYJH (conjecture)

History

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

Lambek–Moser theorem WSDCPWB43Z

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

Mentions

mathlib_1000: mathlib_1000 Q6481192, Lambek–Moser theorem (statement). Also Wikidata Q6481192
thousand_plus: thousand_plus Q6481192, Lambek–Moser theorem (statement). Also Wikidata Q6481192, Wikipedia Lambek–Moser theorem
wikipedia: Wikipedia Lambek–Moser theorem, Lambek–Moser theorem (statement). Also Wikidata Q6481192

History

2026-10-26: add by m2/dev

Henri Poincaré Prize WSDG108PKN

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

Mentions

wikipedia: Wikipedia Henri Poincaré Prize, Henri Poincaré Prize (definition). Also Wikidata Q1605690

History

2026-11-02: add by m2/dev

Vincent's theorem: Continued fractions version (1834 and 1836) WSDGJ9KQ88

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

Mentions

wikipedia: Wikipedia Vincent's theorem#NV3T, Vincent's theorem: Continued fractions version (1834 and 1836) (statement)

History

2026-11-02: add by m2/dev

Properties WSDH4AHW2E

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

Mentions

wikipedia: Wikipedia Flip graph#BF6C, Properties (statement)

History

2026-11-02: add by m2/dev

Example WSDM0A4PEW

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

Mentions

wikipedia: Wikipedia Skein (graph theory)#9SVU, Example (example)

History

2026-11-02: add by m2/dev

WSDM5FFEFX WSDM5FFEFX

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

Mentions

arxiv: arXiv 2610.03756#HJ9X (statement). In 2381M4GBTT/e1, lemma 6.1

History

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

WSDTVRGSR0 WSDTVRGSR0

URI	`m2://inv/WSDTVRGSR0`
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 0809.4587#4NQ2 (statement). In KQ8JPHDKKE/e1, proposition 9.3.2

History

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

Comparison profiles WSDYTF3HS8

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

Mentions

arxiv: arXiv 2610.05164#2OVQ, Comparison profiles (definition). In JY6RYSNXMJ/e1, definition 10

History

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

The fair share sequence WSE0KYT096

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

Mentions

wikipedia: Wikipedia Thue–Morse sequence#91VI, The fair share sequence (unknown)

History

2026-11-02: add by m2/dev

Fuzzy set operations WSE253RXT0

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

Mentions

wikipedia: Wikipedia Fuzzy set operations, Fuzzy set operations (definition). Also Wikidata Q5511133

History

2026-11-02: add by m2/dev

Expected-energy shape and fourth moment WSE2W7BECM

URI	`m2://inv/WSE2W7BECM`
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.33154#0JTE, Expected-energy shape and fourth moment (statement). In N28DEYRBW7/e1, lemma G.1

History

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

WSE676HMNP WSE676HMNP

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

Mentions

arxiv: arXiv 2609.25111#TLWX (definition)

History

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

Definition WSEFDY5QH7

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

Mentions

wikipedia: Wikipedia First law of thermodynamics#GFBR, Definition (definition)

History

2026-11-02: add by m2/dev

WSEGENXYGQ WSEGENXYGQ

URI	`m2://inv/WSEGENXYGQ`
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.37739#NKWH (statement). In F5XF5VXTXY/e1, lemma 6.8

History

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

WSEQMGBQCX WSEQMGBQCX

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

Mentions

arxiv: arXiv 2610.16606#5244 (statement). In A798V7TX99/e1, lemma 5.19

History

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

Examples WSF5VSV400

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

Mentions

wikipedia: Wikipedia Dimension (graph theory)#6N64, Examples (example)

History

2026-11-02: add by m2/dev

WSFCGPZNDZ WSFCGPZNDZ

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

Mentions

napkin: napkin tex/alg-geom/proj-var.tex#definition-6 (definition). In RZP28ERRZV, definition, section 23.3

History

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

Examples WSFE3SCDT9

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

Mentions

wikipedia: Wikipedia Perseus (geometer)#F32L, Examples (example)

History

2026-11-02: add by m2/dev

WSFEXJBF48 WSFEXJBF48

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

Mentions

arxiv: arXiv 1903.07030#C73O (statement). In 9H45HQE7AZ/e1, theorem 5.5

History

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

Edward Fulton Denison WSFP9PY1R3

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

Mentions

wikipedia: Wikipedia Edward Fulton Denison, Edward Fulton Denison (topic). Also Wikidata Q4158058

History

2026-11-02: add by m2/dev

WSFY1MQY63 WSFY1MQY63

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

Mentions

arxiv: arXiv 2609.25539#6P0X (statement)

History

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

predicate functor WSFYXEGYCJ

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

Mentions

wikipedia: Wikipedia Glossary of logic#EOIF, predicate functor (definition)

History

2026-11-02: add by m2/dev

Raymond Frank Vozzo WSG56NM2RB

URI	`m2://inv/WSG56NM2RB`
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 Q102353436, Raymond Frank Vozzo (unknown). Also nLab Raymond Vozzo

History

2026-10-26: add by m2/dev

China Girls Mathematical Olympiad WSG7SSSVFE

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#PX89, China Girls Mathematical Olympiad (unknown)

History

2026-11-02: add by m2/dev

Kepler problem WSGB0H69V5

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

Mentions

wikipedia: Wikipedia Kepler problem, Kepler problem (problem). Also Wikidata Q2564682

History

2026-11-02: add by m2/dev

WSGCKEQQ5W WSGCKEQQ5W

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-17 (exercise). In Y91XFCEVHQ, exercise, section 1.4

History

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

Knot theory WSGR2YQKDQ

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#HVLX, Knot theory (definition)

History

2026-11-02: add by m2/dev

WSGW2BSCTE WSGW2BSCTE

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

Mentions

napkin: napkin tex/alg-NT/artin.tex#ques-2 (exercise). In RZP28ERRZV, ques, section 8.7

History

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

WSGXNSS17A WSGXNSS17A

URI	`m2://inv/WSGXNSS17A`
Kind	definition
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 2601.22681#DDTT (definition). In 68VEQQX68G/e1, definition 1.18

History

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

Zeldovich pancake WSGYFYP006

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

Mentions

wikipedia: Wikipedia Zeldovich pancake, Zeldovich pancake (definition). Also Wikidata Q3006333

History

2026-11-02: add by m2/dev

WSH3W5ENT4 WSH3W5ENT4

URI	`m2://inv/WSH3W5ENT4`
Kind	example
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.11276#6OTU (example). In KMTQRFFYZY/e1, example 4.2

History

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

coplanarity WSH4BGYWTK

URI	`m2://inv/WSH4BGYWTK`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Coplanarity 4TWY53TBKK

Mentions

wikidata: Wikidata Q543533, coplanarity (unknown). Also MathWorld Coplanar
wikipedia: Wikipedia Coplanarity, Coplanarity (definition). Also Wikidata Q543533

History

2026-10-26: add by m2/dev

Arrow-Lind theorem WSHBCZ7K5Y

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

Mentions

wikipedia: Wikipedia List of theorems#FLU1, Arrow-Lind theorem (statement)

History

2026-11-02: add by m2/dev

Low-density parity-check code WSHBGZV67N

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

Mentions

wikipedia: Wikipedia Low-density parity-check code, Low-density parity-check code (definition). Also Wikidata Q187444

History

2026-11-02: add by m2/dev

Eighty Eight, Kentucky WSHBSG09FP

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

Mentions

wikipedia: Wikipedia List of places with numeric names#OCN8, Eighty Eight, Kentucky (unknown)

History

2026-11-02: add by m2/dev

WSHDJHA31F WSHDJHA31F

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

Mentions

arxiv: arXiv 2610.02042#V8Z1 (statement). In P3HWTYFDBX/e1, proposition 6.12

History

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

Roger Steare WSHQ29CJHT

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

Mentions

wikipedia: Wikipedia Roger Steare, Roger Steare (topic). Also Wikidata Q7358949

History

2026-11-02: add by m2/dev

Standard pass@$1$ lower bound WSJ3WGJD35

URI	`m2://inv/WSJ3WGJD35`
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 2609.33291#UTCJ, Standard pass@$1$ lower bound (statement). In HQN1Y9RP53/e1, theorem 2.3

History

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

WSJ800NFTJ WSJ800NFTJ

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

Mentions

arxiv: arXiv 2610.05396#7UG2 (definition). In WMVRX5GV9P/e1, definition 2.5

History

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

Seventy-Six, Missouri WSJF8NZ292

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

Mentions

wikipedia: Wikipedia List of places with numeric names#1XET, Seventy-Six, Missouri (unknown)

History

2026-11-02: add by m2/dev

Coding gain WSJGP49PSD

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#NI3G, Coding gain (unknown)

History

2026-11-02: add by m2/dev

WSJGTMMASA WSJGTMMASA

URI	`m2://inv/WSJGTMMASA`
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 2609.36884#Y4S5 (statement). In Z7E16PFFCP/e1, proposition 2.14

History

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

Multiplier theorem WSK4BB54XS

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

Mentions

wikipedia: Wikipedia Singular integral operators of convolution type#7GLB, Multiplier theorem (statement)

History

2026-11-02: add by m2/dev

Example WSK681W01N

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

Mentions

wikipedia: Wikipedia Freivalds' algorithm#2EY2, Example (example)

History

2026-11-02: add by m2/dev

WSK79Q64Z8 WSK79Q64Z8

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

Mentions

arxiv: arXiv 2610.09084#EZTZ (statement). In F5VT2K2QYX/e1, lemma 26

History

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

John Irwin Hutchinson WSK94R7DY6

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

Mentions

wikipedia: Wikipedia John Irwin Hutchinson, John Irwin Hutchinson (topic). Also Wikidata Q6240890

History

2026-11-02: add by m2/dev

WSKDZG4EZP WSKDZG4EZP

URI	`m2://inv/WSKDZG4EZP`
Kind	statement
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#MSQT (statement). In GW23NX78SB/e1, lemma 4.43

History

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

WSKEB5AC6J WSKEB5AC6J

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

Mentions

arxiv: arXiv 2610.21092#BUOX (statement). In AGJE43FTF8/e1, proposition 4.18

History

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

WSKF6W0EHZ WSKF6W0EHZ

URI	`m2://inv/WSKF6W0EHZ`
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.20656#2DH9 (statement)

History

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

Cynthia Clark WSKS73HHAN

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#4DAE, Cynthia Clark (topic)

History

2026-11-02: add by m2/dev

Exponential type WSKTCN7TQ9

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

Mentions

wikipedia: Wikipedia Exponential type, Exponential type (definition). Also Wikidata Q5421531

History

2026-11-02: add by m2/dev

WSKWM886BE WSKWM886BE

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

Mentions

arxiv: arXiv 2401.00191#E7MD (definition). In ZMH2KJDAWJ/e1, definition 2.10

History

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

Distance geometry WSM07YGMH1

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

Mentions

wikipedia: Wikipedia Distance geometry, Distance geometry (topic). Also Wikidata Q2088417

History

2026-11-02: add by m2/dev

mathematical notation WSM834HHPJ

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

Mentions

wikidata: Wikidata Q1140046, mathematical notation (unknown). Also MathWorld Notation
wikipedia: Wikipedia Mathematical notation, Mathematical notation (definition). Also Wikidata Q1140046

History

2026-10-26: add by m2/dev

Canonical commutation relation WSMAF1PGNM

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#LTFJ, Canonical commutation relation (definition)

History

2026-11-02: add by m2/dev

path, induction based WSMC5BJN18

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

Mentions

hott_book: hott_book index/A.12.1/path-induction-based, path, induction based (concept). In N54F33XE07, index, section A.12.1

History

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

WSMMPZP0T3 WSMMPZP0T3

URI	`m2://inv/WSMMPZP0T3`
Kind	statement
Layer	research
MSC	11-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.18503#LFMV (statement). In RW315W172S/e1, proposition 5.1

History

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

WSMRYKWW32 WSMRYKWW32

URI	`m2://inv/WSMRYKWW32`
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 1509.00950#2NKW (statement). In MDZFW5GACV/e1, theorem 1.8

History

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

WSMT0PTGXN WSMT0PTGXN

URI	`m2://inv/WSMT0PTGXN`
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.23279#5TGU (statement)

History

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

Construction WSN14BNT18

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

Mentions

wikipedia: Wikipedia Regular icosahedron#827T, Construction (definition)

History

2026-11-02: add by m2/dev

Enumeration WSN1H42S9C

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

Mentions

wikipedia: Wikipedia Uniform 4-polytope#LRES, Enumeration (definition)

History

2026-11-02: add by m2/dev

Mark Kac WSN4XP1FMM

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

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#YDI8, Mark Kac (topic)

History

2026-11-02: add by m2/dev

Admissible block lengths WSN51B5WK4

URI	`m2://inv/WSN51B5WK4`
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.09341#30IQ, Admissible block lengths (statement). In DSXBMRYE0V/e1, theorem 4.1

History

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

Richard Bamler WSNBA52875

URI	`m2://inv/WSNBA52875`
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#MPHZ, Richard Bamler (unknown)

History

2026-11-02: add by m2/dev

Hodge diamond WSNDQTC9ZD

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

Mentions

wikipedia: Wikipedia Homological mirror symmetry#B1O2, Hodge diamond (unknown)

History

2026-11-02: add by m2/dev

product, of (pre)categories WSNFPZ0JZQ

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

Mentions

hott_book: hott_book index/2.5/product-of-pre-categories, product, of (pre)categories (concept). In N54F33XE07, index, section 2.5

History

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

WSNMA19GMF WSNMA19GMF

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

Mentions

active_calculus: active_calculus source/activities/act-2-2-1.xml#act-2-2-1 (exercise). In 907G4C4EJ1, activity, section 2.2.2

History

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

Boundary element method WSNP58Q9X8

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

Mentions

wikipedia: Wikipedia Boundary element method, Boundary element method (definition). Also Wikidata Q1935004

History

2026-11-02: add by m2/dev

limit, of a Cauchy approximation WSNZ814B3T

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

Mentions

hott_book: hott_book index/B.5/limit-of-a-cauchy-approximation, limit, of a Cauchy approximation (concept). In N54F33XE07, index, section B.5

History

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

WSP9HCY0QX WSP9HCY0QX

URI	`m2://inv/WSP9HCY0QX`
Kind	definition
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.04835#NC85 (definition). In P6PHR4W23S/e1, definition 2.2

History

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

WSPD5F4DMX WSPD5F4DMX

URI	`m2://inv/WSPD5F4DMX`
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 2305.10921#12GT (statement). In PD5PJ0EYG6/e1, proposition 5.2

History

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

Definitions WSPJFZ2EMQ

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

Mentions

wikipedia: Wikipedia Curve of constant width#5NXH, Definitions (definition)

History

2026-11-02: add by m2/dev

WSPP7DVA39 WSPP7DVA39

URI	`m2://inv/WSPP7DVA39`
Kind	statement
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.27366#B4Q1 (statement)

History

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

WSPPFTEH22 WSPPFTEH22

URI	`m2://inv/WSPPFTEH22`
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.19251#TQ06 (statement). In CSW6NG0FRN/e1, lemma 2.8

History

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

Terminal digit preference WSPS36FPEC

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

Mentions

wikipedia: Wikipedia Terminal digit preference, Terminal digit preference (definition). Also Wikidata Q108913324

History

2026-11-02: add by m2/dev

$\Zc2$-cohomology of $\RP^n$ WSQ2P03ZH8

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

Mentions

napkin: napkin tex/homology/cohomology.tex#problem-1, $\Zc2$-cohomology of $\RP^n$ (exercise). In RZP28ERRZV, problem, section 51.8

History

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

Michael Christ WSQAZJHY6Q

URI	`m2://inv/WSQAZJHY6Q`
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#IPXS, Michael Christ (topic)

History

2026-11-02: add by m2/dev

Formal definition WSQBD0TJGJ

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

Mentions

wikipedia: Wikipedia Connection (vector bundle)#O8S1, Formal definition (definition)

History

2026-11-02: add by m2/dev

Special functions WSQBXYGAWQ

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

Mentions

wikipedia: Wikipedia List of types of functions#AZE3, Special functions (definition)

History

2026-11-02: add by m2/dev

Omega process WSQCZ569MH

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#CDDR, Omega process (definition)

History

2026-11-02: add by m2/dev

swampland WSQFG21DD4

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

Mentions

wikidata: Wikidata Q7653378, swampland (unknown). Also nLab swampland

History

2026-10-26: add by m2/dev

WSQKF741GX WSQKF741GX

URI	`m2://inv/WSQKF741GX`
Kind	definition
Layer	research
MSC	05-XX, 30-XX, 32-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.35102#W8E4 (definition). In XK6H7F2F13/e1, definition 5.1

History

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

John Steggall WSQXB4DPEW

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

Mentions

wikipedia: Wikipedia John Steggall, John Steggall (topic). Also Wikidata Q37737959

History

2026-11-02: add by m2/dev

WSQZJ4CCGJ WSQZJ4CCGJ

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

Mentions

arxiv: arXiv 2610.21866#9Q74 (statement). In Q3NMYW8ANH/e1, lemma 2.4

History

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

WSR2V9PXP4 WSR2V9PXP4

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#prop:uniformconvbounded (statement). In E59CDZA4DP, prop, section 1.2.1

History

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

WSR6KKJ0B2 WSR6KKJ0B2

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

Mentions

arxiv: arXiv 2610.08594#I3D8 (statement). In FEE70SSD96/e1, corollary 5.10

History

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

Elizabeth Stasny WSRB692QRH

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#6F50, Elizabeth Stasny (unknown)

History

2026-11-02: add by m2/dev

Hilbert system WSRMKGBYT9

URI	`m2://inv/WSRMKGBYT9`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Hilbert system 1MGMQX43B8

Mentions

wikidata: Wikidata Q910361, Hilbert system (unknown). Also nLab Hilbert system
wikipedia: Wikipedia Hilbert system, Hilbert system (definition). Also Wikidata Q910361

History

2026-10-26: add by m2/dev

Generalization WSRY85HJR4

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

Mentions

wikipedia: Wikipedia Rolle's theorem#81NO, Generalization (statement)

History

2026-11-02: add by m2/dev

The star with three leaves WSS4B71749

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

Mentions

arxiv: arXiv 2610.10993#MIDV, The star with three leaves (statement). In 1JCPN0K7DB/e1, corollary 5.5

History

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

or, exclusive WSSFR08CNM

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

Mentions

applied_combinatorics: applied_combinatorics index/B.2.1/or-exclusive, or, exclusive (concept). In QKM9DD2H56, index, section B.2.1

History

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

WSSNMHSDM3 WSSNMHSDM3

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

Mentions

arxiv: arXiv 2609.26127#7FET (statement)

History

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

Willard L. Miranker WSSQKSR40F

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

Mentions

wikipedia: Wikipedia Willard L. Miranker, Willard L. Miranker (topic). Also Wikidata Q8003444

History

2026-11-02: add by m2/dev

Clausius–Duhem inequality in terms of specific internal energy WSSWA021Z7

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

Mentions

wikipedia: Wikipedia Clausius–Duhem inequality#7QRP, Clausius–Duhem inequality in terms of specific internal energy (statement)

History

2026-11-02: add by m2/dev

Lists of mathematics topics WSSZGZ41N8

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics, Lists of mathematics topics (topic). Also Wikidata Q3240104

History

2026-11-02: add by m2/dev

WST117AH8T WST117AH8T

URI	`m2://inv/WST117AH8T`
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.11383#7CQX (statement). In DJBZ3V8SQ6/e1, lemma 2.8

History

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

WST5C0G05H WST5C0G05H

URI	`m2://inv/WST5C0G05H`
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.14249#4CL6 (statement). In B6P8PG8R8T/e1, proposition 2.4

History

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

Uncertainty principles WST66ET64P

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

Mentions

wikipedia: Wikipedia Discrete Fourier transform#CK97, Uncertainty principles (statement)

History

2026-11-02: add by m2/dev

Preclosure operator WSTASQS5YG

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

Mentions

wikipedia: Wikipedia Preclosure operator, Preclosure operator (definition). Also Wikidata Q7239555

History

2026-11-02: add by m2/dev

strict transform WSTERYXDS1

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#2P5X, strict transform (definition)

History

2026-11-02: add by m2/dev

WSTP4DPC69 WSTP4DPC69

URI	`m2://inv/WSTP4DPC69`
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#MGO7 (statement). In KWB9M5YH9G/e1, proposition 9.4

History

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

linear differential systems WSTVJ3GYZR

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

Mentions

mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential equations > linear differential systems, linear differential systems (unknown)

History

2026-10-26: add by m2/dev

WSV4ZR6460 WSV4ZR6460

URI	`m2://inv/WSV4ZR6460`
Kind	definition
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 2305.10921#J2CO (definition). In PD5PJ0EYG6/e1, definition 2.6

History

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

WSV6M86JVB WSV6M86JVB

URI	`m2://inv/WSV6M86JVB`
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 math/0301148#W6SC (statement). In 5RE15848Z0/e1, theorem 0.9

History

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

WSV6RJEMQF WSV6RJEMQF

URI	`m2://inv/WSV6RJEMQF`
Kind	definition
Layer	research
MSC	17-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.18512#FALB (definition). In 11JNM66Z09/e1, definition

History

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

GPT-5.5 WSV7APQQRF

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

Mentions

wikipedia: Wikipedia List of mathematical discoveries by artificial intelligence#I7HA, GPT-5.5 (unknown)

History

2026-11-02: add by m2/dev

WSV7MEAK2E WSV7MEAK2E

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

Mentions

arxiv: arXiv 2609.36045#31C5 (statement). In F0E8YBV0Z0/e1, theorem 4.1

History

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

Diophantine dimension WSV8EAN4KK

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

Mentions

wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#G1XI, Diophantine dimension (definition)

History

2026-11-02: add by m2/dev

Nedda Friberti WSVKEKW1GT

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

Mentions

wikipedia: Wikipedia Nedda Friberti, Nedda Friberti (topic). Also Wikidata Q119675395

History

2026-11-02: add by m2/dev

extreme point WSVPS1D5ZF

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

Mentions

mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Convexity > extreme point, extreme point (unknown). Also Mathlib Set.extremePoints

History

2026-10-26: add by m2/dev

Definition WSVRNYKQR7

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

Mentions

wikipedia: Wikipedia Phasor#G476, Definition (definition)

History

2026-11-02: add by m2/dev

Peter Constantin WSVRS0KG1K

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

Mentions

wikipedia: Wikipedia Peter Constantin, Peter Constantin (topic). Also Wikidata Q1447880

History

2026-11-02: add by m2/dev

WSVSJYP86T WSVSJYP86T

URI	`m2://inv/WSVSJYP86T`
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 2112.05010#V24X (statement). In 4SZNPS3Z00/e1, proposition J.2

History

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

Vito Volterra WSVVWFADS0

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#DETT, Vito Volterra (unknown)
wikipedia: Wikipedia List of Italian mathematicians#L1JF, Vito Volterra (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2Y2Z, Vito Volterra (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#J6NX, Vito Volterra (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OMXO, Vito Volterra (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OOD0, Vito Volterra (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P4K9, Vito Volterra (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YP1U, Vito Volterra (unknown)

History

2026-11-02: add by m2/dev

WSVXVMYCY9 WSVXVMYCY9

URI	`m2://inv/WSVXVMYCY9`
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.04675#5OR3 (statement). In RDXNFF2CZP/e1, lemma 24

History

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

Applications WSVXY280DH

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

Mentions

wikipedia: Wikipedia Grinberg's theorem#FBYU, Applications (example)

History

2026-11-02: add by m2/dev

Definition WSW1CP2HQ2

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

Mentions

wikipedia: Wikipedia Sensitivity and specificity#U68B, Definition (definition)

History

2026-11-02: add by m2/dev

Definition WSW1D4AMEJ

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

Mentions

wikipedia: Wikipedia Filter on a set#B3VS, Definition (definition)

History

2026-11-02: add by m2/dev

To ti esti WSW1K51BPE

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

Mentions

wikipedia: Wikipedia Haecceity#U1C3, To ti esti (unknown)

History

2026-11-02: add by m2/dev

Alberto Cattaneo WSWA8TSEBA

URI	`m2://inv/WSWA8TSEBA`
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 Q15435245, Alberto Cattaneo (unknown). Also nLab Alberto Cattaneo
wikipedia: Wikipedia Alberto Cattaneo, Alberto Cattaneo (topic). Also Wikidata Q15435245

History

2026-10-26: add by m2/dev

Theorem WSWDX35BVY

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

Mentions

wikipedia: Wikipedia Paley–Zygmund inequality#SU0Y, Theorem (statement)

History

2026-11-02: add by m2/dev

WSWHFGD0NH WSWHFGD0NH

URI	`m2://inv/WSWHFGD0NH`
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#DLEU (statement). In BFV19FC2G7/e1, theorem 5.1

History

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

Zdeněk Frolík WSWKEJHFAE

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#PJR2, Zdeněk Frolík (topic)

History

2026-11-02: add by m2/dev

WSWQ9SV36D WSWQ9SV36D

URI	`m2://inv/WSWQ9SV36D`
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 2403.08723#R8ZF (statement). In HGE2NCQW29/e1, lemma 6.1

History

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

Weak residual WSWR74WTR7

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

Mentions

arxiv: arXiv 2609.32107#5IAJ, Weak residual (statement). In F11G5M3JA5/e1, lemma 4.3

History

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

WSWY64JFS0 WSWY64JFS0

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

Mentions

arxiv: arXiv 2609.22847#7NDD (definition)

History

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

Feichtinger's algebra WSWZB8QHGQ

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

Mentions

wikipedia: Wikipedia Modulation space#L04A, Feichtinger's algebra (unknown)

History

2026-11-02: add by m2/dev

Centering matrix WSWZZBH0TM

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

Mentions

wikipedia: Wikipedia Centering matrix, Centering matrix (definition). Also Wikidata Q5060045

History

2026-11-02: add by m2/dev

Bang's theorem WSX6M7CR29

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

Mentions

wikipedia: Wikipedia List of theorems#K3NQ, Bang's theorem (problem)

History

2026-11-02: add by m2/dev

WSXE8E8NJX WSXE8E8NJX

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

Mentions

arxiv: arXiv 2602.07485#5MOP (statement). In 8KAC1E81JQ/e1, theorem 9

History

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

Guido Kings WSXK0V0ZCE

URI	`m2://inv/WSXK0V0ZCE`
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#HTLR, Guido Kings (topic)

History

2026-11-02: add by m2/dev

MHD sensor WSXMJMZR0F

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

Mentions

wikipedia: Wikipedia Magnetohydrodynamics#2SWB, MHD sensor (unknown)

History

2026-11-02: add by m2/dev

WSXR932QAQ WSXR932QAQ

URI	`m2://inv/WSXR932QAQ`
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.13833#A20P (statement). In VD4JP4HVBX/e1, proposition 6.22

History

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

WSXRHHDMJM WSXRHHDMJM

URI	`m2://inv/WSXRHHDMJM`
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.34168#5KHO (statement). In 30YQV8N04M/e1, lemma 3.4

History

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

Formula for Pk(x, a) WSY55DDPY8

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

Mentions

wikipedia: Wikipedia Meissel–Lehmer algorithm#YE8W, Formula for Pk(x, a) (statement)

History

2026-11-02: add by m2/dev

Definition WSY8EKZF36

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

Mentions

wikipedia: Wikipedia Löwenheim number#W59H, Definition (definition)

History

2026-11-02: add by m2/dev

WSY8JTG7JX WSY8JTG7JX

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

Mentions

napkin: napkin tex/diffgeo/multivar.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 45.4

History

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

WSYTFHZWST WSYTFHZWST

URI	`m2://inv/WSYTFHZWST`
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#HIQV (statement). In ZRJ2DZT6P1/e1, corollary 6.9

History

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

WSYWBQ1MM9 WSYWBQ1MM9

URI	`m2://inv/WSYWBQ1MM9`
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.11336#56NG (statement). In X1R1GDAJ0Y/e1, corollary 2.6

History

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

WSZ13V8Q9M WSZ13V8Q9M

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

Mentions

arxiv: arXiv 2610.15974#9BLK (statement). In 61ZHQ7BTKP/e1, corollary 4.2

History

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

Peter C. Fishburn WSZ21R0XZQ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#TDG7, Peter C. Fishburn (topic)

History

2026-11-02: add by m2/dev

Henry Frederick Baker WSZ544AS9Z

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

Mentions

wikipedia: Wikipedia List of geometers#86Q6, Henry Frederick Baker (topic)

History

2026-11-02: add by m2/dev

WSZE66NQCN WSZE66NQCN

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#exercise-8 (exercise). In E59CDZA4DP, exercise, section 5.1.6

History

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

QTA for finite posets WSZEVZ46X2

URI	`m2://inv/WSZEVZ46X2`
Kind	statement
Layer	research
MSC	54-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.15099#367Z, QTA for finite posets (statement). In PF5JJ9DS8Q/e1, theorem 6.1.1

History

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

WSZHRH74CJ WSZHRH74CJ

URI	`m2://inv/WSZHRH74CJ`
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.10221#R86P (statement). In 9Z5M655EPV/e1, theorem 5.7

History

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

Definition WSZN86XZCJ

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

Mentions

wikipedia: Wikipedia Minimum-distance estimation#EDB4, Definition (definition)

History

2026-11-02: add by m2/dev

WSZS57EET6 WSZS57EET6

URI	`m2://inv/WSZS57EET6`
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 2502.16151#S9PN (statement). In CFCTBV1Z93/e1, proposition 4.2

History

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

Theorem WSZTFWQEQF

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

Mentions

wikipedia: Wikipedia Metrizable topological vector space#5U41, Theorem (statement)

History

2026-11-02: add by m2/dev