Inventory rows XB

Abu'l-Hasan ibn Ali al-Qalasadi XB02B5PBNT

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

Mentions

wikipedia: Wikipedia Abu'l-Hasan ibn Ali al-Qalasadi, Abu'l-Hasan ibn Ali al-Qalasadi (topic). Also Wikidata Q2462319

History

2026-11-02: add by m2/dev

tensor singular value decomposition: t-SVD XB07GW15TT

URI	`m2://inv/XB07GW15TT`
Kind	definition
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 2505.04063#UT3C, tensor singular value decomposition: t-SVD (definition). In TFH7T63DX9/e1, definition 1

History

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

Auxiliary space complexity XB09GJTJ79

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

Mentions

wikipedia: Wikipedia Space complexity#M3WA, Auxiliary space complexity (unknown)

History

2026-11-02: add by m2/dev

XB0D2V7PXF XB0D2V7PXF

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

History

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

XB0EZNAHWT XB0EZNAHWT

URI	`m2://inv/XB0EZNAHWT`
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.11082#HND7 (statement). In GFPFFN0BXV/e1, corollary 2

History

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

XB0GQVH596 XB0GQVH596

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

Mentions

arxiv: arXiv 2610.05327#EHD6 (statement). In ZD7BWDKT84/e1, lemma 8.6

History

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

XB0KHRV5JB XB0KHRV5JB

URI	`m2://inv/XB0KHRV5JB`
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 2609.21191#77OZ (definition)

History

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

Albert R. Meyer XB0MG8S1YC

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#EGA5, Albert R. Meyer (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#IOT8, Albert R. Meyer (unknown)

History

2026-11-02: add by m2/dev

XB0MJNFZ39 XB0MJNFZ39

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

Mentions

arxiv: arXiv 2610.16010#6QY3 (problem). In AQJXKF6WZP/e1, problem D

History

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

Arithmetic twists XB0WCC7DD5

URI	`m2://inv/XB0WCC7DD5`
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.26318#3I85, Arithmetic twists (statement)

History

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

XB0X97YS9W XB0X97YS9W

URI	`m2://inv/XB0X97YS9W`
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.03081#A9W7 (statement). In TX0H26X4VX/e1, lemma 2.5

History

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

Monotonicity XB16Y9BKG2

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

Mentions

arxiv: arXiv 2609.40252#GYTS, Monotonicity (statement). In 7MVPNFPRKB/e1, proposition 10.6

History

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

XB1994K8G9 XB1994K8G9

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-12 (exercise). In E59CDZA4DP, exercise, section 1.2.4

History

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

XB1ER6KQ4D XB1ER6KQ4D

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

Mentions

austin_ula: austin_ula src/exercises/exercises6-1.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 6.1

History

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

Montonen–Olive duality XB1ESCFEX4

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

Mentions

wikipedia: Wikipedia List of dualities#CW9P, Montonen–Olive duality (unknown)
wikipedia: Wikipedia List of string theory topics#VFFX, Montonen–Olive duality (unknown)

History

2026-11-02: add by m2/dev

Destructive dilemma XB1G63JR9A

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

Mentions

wikipedia: Wikipedia Destructive dilemma#L413, Destructive dilemma (statement)

History

2026-11-02: add by m2/dev

Formula for the -adic valuation of integers XB1KN850NX

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

Mentions

wikipedia: Wikipedia P-adic valuation#IUKY, Formula for the -adic valuation of integers (statement)

History

2026-11-02: add by m2/dev

XB1PAKZB73 XB1PAKZB73

URI	`m2://inv/XB1PAKZB73`
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.22952#ACV0 (statement)

History

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

Exact endpoint-potential identity XB22J6AJSG

URI	`m2://inv/XB22J6AJSG`
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.24568#UNGU, Exact endpoint-potential identity (statement)

History

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

XB25JAPXPB XB25JAPXPB

URI	`m2://inv/XB25JAPXPB`
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.25896#YAAU (statement)

History

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

Definition XB26H85CDN

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

Mentions

wikipedia: Wikipedia Subhamiltonian graph#3OPO, Definition (definition)

History

2026-11-02: add by m2/dev

XB2DR79WX8 XB2DR79WX8

URI	`m2://inv/XB2DR79WX8`
Kind	statement
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 2609.39254#UZRU (statement). In A59MZ9H284/e1, theorem 4.6

History

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

XB2DVR8RWS XB2DVR8RWS

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

Mentions

arxiv: arXiv 2609.18777#UKJQ (definition). In TFZDPHDF7V/e1, definition 2.1

History

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

Ovoid XB2FE88ANY

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

Mentions

wikipedia: Wikipedia Ovoid (projective geometry), Ovoid (definition). Also Wikidata Q7114196

History

2026-11-02: add by m2/dev

Direct Anonymous Attestation XB2Q2RRSKJ

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

Mentions

wikipedia: Wikipedia Direct Anonymous Attestation, Direct Anonymous Attestation (definition). Also Wikidata Q3708936

History

2026-11-02: add by m2/dev

Lars-Erik Persson XB2VK86G0G

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

Mentions

wikipedia: Wikipedia Lars-Erik Persson, Lars-Erik Persson (topic). Also Wikidata Q19974621

History

2026-11-02: add by m2/dev

Parallel postulate XB2VKQHKBH

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

Mentions

wikipedia: Wikipedia List of axioms#I6CA, Parallel postulate (definition)

History

2026-11-02: add by m2/dev

XB2W074RR2 XB2W074RR2

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

Mentions

napkin: napkin tex/H113/grp-intro.tex#exercise-4 (exercise). In RZP28ERRZV, exercise, section 2.5

History

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

medial pentagonal hexecontahedron XB2WA98GC5

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

Mentions

wikidata: Wikidata Q6806072, medial pentagonal hexecontahedron (unknown). Also MathWorld MedialPentagonalHexecontahedron
wikipedia: Wikipedia Medial pentagonal hexecontahedron, Medial pentagonal hexecontahedron (object). Also Wikidata Q6806072

History

2026-10-26: add by m2/dev

Semisimple Lie algebra XB2WR1KNCM

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

Mentions

wikipedia: Wikipedia List of Lie groups topics#QQL2, Semisimple Lie algebra (definition)

History

2026-11-02: add by m2/dev

XB3AJZSDRN XB3AJZSDRN

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

Mentions

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

History

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

XB3BPMV750 XB3BPMV750

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

Mentions

arxiv: arXiv 2205.15365#1O17 (unknown). In R2XC1SC9NZ/e1, unknown 26

History

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

Properties and applications XB3C165A44

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

Mentions

wikipedia: Wikipedia Diagonal subgroup#68PP, Properties and applications (statement)

History

2026-11-02: add by m2/dev

XB3F1M6HHF XB3F1M6HHF

URI	`m2://inv/XB3F1M6HHF`
Kind	example
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 2403.02207#EO65 (example). In 1T3ZYPQZF0/e1, example 5.3

History

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

XB3G2PH1SK XB3G2PH1SK

URI	`m2://inv/XB3G2PH1SK`
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#I3N5 (statement). In BDN507RN7J/e1, proposition 3.3.9

History

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

expectation XB3KRP18RZ

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

Mentions

applied_combinatorics: applied_combinatorics index/10.4/expectation, expectation (concept). In QKM9DD2H56, index, section 10.4

History

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

Warren Siegel XB3PV67S1R

URI	`m2://inv/XB3PV67S1R`
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 Q2549788, Warren Siegel (unknown). Also nLab Warren Siegel

History

2026-10-26: add by m2/dev

set XB3VTH8AS6

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

Mentions

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

History

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

Ewan Clague XB3WKN4W2M

URI	`m2://inv/XB3WKN4W2M`
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#5T99, Ewan Clague (topic)

History

2026-11-02: add by m2/dev

XB3XWG2JR7 XB3XWG2JR7

URI	`m2://inv/XB3XWG2JR7`
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.23810#SK1S (statement)

History

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

Total variation distance XB4390S1QT

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

Mentions

wikipedia: Wikipedia List of statistics articles#9KWJ, Total variation distance (definition)

History

2026-11-02: add by m2/dev

Combination of coordinate faces XB4C1GB2E0

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

Mentions

arxiv: arXiv 2609.39700#QZ8K, Combination of coordinate faces (statement). In E7W2HDNEKJ/e1, lemma 7.34

History

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

XB4XD9Y5WQ XB4XD9Y5WQ

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

Mentions

arxiv: arXiv 0808.1331#XQU3 (statement). In RB2B1N73P0/e1, theorem 4.2

History

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

Statistics Greenland XB51PF827K

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

Mentions

wikipedia: Wikipedia Statistics Greenland, Statistics Greenland (definition). Also Wikidata Q5560904

History

2026-11-02: add by m2/dev

XB56DK6ASM XB56DK6ASM

URI	`m2://inv/XB56DK6ASM`
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 2509.21444#32GS (statement). In CTVPA2FQT1/e1, theorem 5.2

History

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

Modulation derivatives XB5B6TQM2R

URI	`m2://inv/XB5B6TQM2R`
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.00241#LO48, Modulation derivatives (statement). In VBRQTN2RXN/e1, corollary 3.5

History

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

XB5P1QYF3F XB5P1QYF3F

URI	`m2://inv/XB5P1QYF3F`
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.21668#JQSQ (statement)

History

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

Del XB5PSGM3N0

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#YPPK, Del (definition)

History

2026-11-02: add by m2/dev

Source Ensemble XB5TPVV7EM

URI	`m2://inv/XB5TPVV7EM`
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.12357#L6TR, Source Ensemble (definition). In 1F26AF81XP/e1, definition 7.1

History

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

Mental Calculation World Cup XB5W12NEQ8

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#K3Z7, Mental Calculation World Cup (definition)

History

2026-11-02: add by m2/dev

Stunted projective space XB5XEVHN04

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

Mentions

wikipedia: Wikipedia Stunted projective space, Stunted projective space (definition). Also Wikidata Q7628804

History

2026-11-02: add by m2/dev

Robert L. Santos XB5XW3TY6R

URI	`m2://inv/XB5XW3TY6R`
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#FKJT, Robert L. Santos (topic)

History

2026-11-02: add by m2/dev

XB69HBT67E XB69HBT67E

URI	`m2://inv/XB69HBT67E`
Kind	example
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.22909#HJCS (example)

History

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

Varnavides argument XB6EQD1QAQ

URI	`m2://inv/XB6EQD1QAQ`
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 1806.05002#TVEH, Varnavides argument (statement). In JBAQ7DTW7B/e1, proposition 8.1

History

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

XB6G7DTYK9 XB6G7DTYK9

URI	`m2://inv/XB6G7DTYK9`
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 2610.16779#AJHR (statement). In 1R7H0ZAHWA/e1, lemma 2.5

History

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

XB6HWSKWQS XB6HWSKWQS

URI	`m2://inv/XB6HWSKWQS`
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.16505#Y7P2 (statement). In P9V43TXCJ3/e1, lemma 4.5

History

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

rhomboid XB6KM41W3A

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

Mentions

wikidata: Wikidata Q10364247, rhomboid (unknown). Also MathWorld Rhomboid

History

2026-10-26: add by m2/dev

XB6QNV64D7 XB6QNV64D7

URI	`m2://inv/XB6QNV64D7`
Kind	example
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.00512#HFWP (example). In RB5QBG3MJY/e1, example 5.6

History

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

First-order law XB6RXM2J81

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

Mentions

arxiv: arXiv 2610.03823#BQZA, First-order law (statement). In 3RQERTJKSF/e1, corollary 2

History

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

Doubling inequality XB6WEXREA6

URI	`m2://inv/XB6WEXREA6`
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.23006#GPG0, Doubling inequality (statement)

History

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

XB748KKQDD XB748KKQDD

URI	`m2://inv/XB748KKQDD`
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 2304.02722#5EPX (statement). In AH7D55D3WV/e1, proposition 11.3

History

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

Jackknife (statistics) XB7SG0BFEH

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

Mentions

wikipedia: Wikipedia List of statistics articles#1KZY, Jackknife (statistics) (definition)

History

2026-11-02: add by m2/dev

Basic properties XB83M3FG0D

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

Mentions

wikipedia: Wikipedia Local cohomology#PDA1, Basic properties (statement)

History

2026-11-02: add by m2/dev

XB86VP5KMH XB86VP5KMH

URI	`m2://inv/XB86VP5KMH`
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#37DR (statement). In A89G9GMPC9/e1, corollary 4.3

History

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

mass gap XB899T8ANG

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

Mentions

wikidata: Wikidata Q5357201, mass gap (unknown). Also nLab mass gap

History

2026-10-26: add by m2/dev

XB8B4ET50F XB8B4ET50F

URI	`m2://inv/XB8B4ET50F`
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.23093#GTS7 (statement)

History

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

McXtrace XB8BQP4J7J

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#XN6Y, McXtrace (definition)

History

2026-11-02: add by m2/dev

XB8NWY2AHD XB8NWY2AHD

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

Mentions

arxiv: arXiv 2609.21860#QRDK (statement)

History

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

XB95ECJW6E XB95ECJW6E

URI	`m2://inv/XB95ECJW6E`
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 2608.24599#3WW2 (statement). In VG8QFWTT8S/e1, lemma 2.1

History

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

Thurston elliptization conjecture XB98GF3Q1H

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

Mentions

wikipedia: Wikipedia Thurston elliptization conjecture, Thurston elliptization conjecture (statement). Also Wikidata Q13605872

History

2026-11-02: add by m2/dev

XB9H278XSC XB9H278XSC

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

Mentions

arxiv: arXiv 2609.26713#6K5M (statement)

History

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

Ramanujan's congruences XB9H3A017R

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

Mentions

wikipedia: Wikipedia Ramanujan's congruences, Ramanujan's congruences (definition). Also Wikidata Q7288989

History

2026-11-02: add by m2/dev

XB9NDJ1F86 XB9NDJ1F86

URI	`m2://inv/XB9NDJ1F86`
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 2206.13822#3Y8Q (statement). In R9D4FQR3TA/e1, lemma 1

History

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

Herman and Li XB9NQ3GJWN

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

Mentions

arxiv: arXiv 2609.22560#7LVL, Herman and Li (statement)

History

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

Newey–West estimator XB9XH5CS4A

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

Mentions

wikipedia: Wikipedia List of statistics articles#33O4, Newey–West estimator (definition)

History

2026-11-02: add by m2/dev

XBA1XQGHBB XBA1XQGHBB

URI	`m2://inv/XBA1XQGHBB`
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.06529#2GBI (statement). In JFQY4CYHKP/e1, proposition 2.4

History

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

XBA4MSYM8Z XBA4MSYM8Z

URI	`m2://inv/XBA4MSYM8Z`
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.33068#5SVD (statement). In V9Z9Z0V5Y0/e1, theorem 3

History

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

Definition XBA5HFRRQQ

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

Mentions

wikipedia: Wikipedia Split-complex number#BU5R, Definition (definition)

History

2026-11-02: add by m2/dev

Sicherman dice XBA6DC6KKM

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

Mentions

wikidata: Wikidata Q630168, Sicherman dice (unknown). Also MathWorld SichermanDice
wikipedia: Wikipedia Sicherman dice, Sicherman dice (definition). Also Wikidata Q630168

History

2026-10-26: add by m2/dev

Definition XBAGD6TD2G

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

Mentions

wikipedia: Wikipedia Offset filtration#I9U3, Definition (definition)

History

2026-11-02: add by m2/dev

Gordon Walter Semenoff XBAHMCMJG4

URI	`m2://inv/XBAHMCMJG4`
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 Q5585965, Gordon Walter Semenoff (unknown). Also nLab Gordon Semenoff

History

2026-10-26: add by m2/dev

XBAS74TGS3 XBAS74TGS3

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

Mentions

arxiv: arXiv 2204.13401#SRU1 (statement). In B8MJT0GGW8/e1, lemma 4.6

History

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

XBASRKS9M4 XBASRKS9M4

URI	`m2://inv/XBASRKS9M4`
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.37237#48ZF (statement). In GBY82BZCNA/e1, proposition 4.2

History

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

Properties XBATDHWS8Z

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

Mentions

wikipedia: Wikipedia Amenable group#P9V8, Properties (statement)

History

2026-11-02: add by m2/dev

José F. Escobar XBAVJ365SZ

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

Mentions

wikipedia: Wikipedia José F. Escobar, José F. Escobar (topic). Also Wikidata Q5939624

History

2026-11-02: add by m2/dev

XBAX427CF7 XBAX427CF7

URI	`m2://inv/XBAX427CF7`
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#6OQW (statement). In RT27S2YZKJ/e1, proposition 3

History

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

XBBAKG2PQT XBBAKG2PQT

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

Mentions

arxiv: arXiv 2610.20899#M8SC (statement). In BSMDFADA39/e1, lemma 2.10

History

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

Example XBBCA0Z2E7

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

Mentions

wikipedia: Wikipedia Quadratic reciprocity#QQAT, Example (example)

History

2026-11-02: add by m2/dev

A plain-language consequence of the theorem XBBWX1MN46

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

Mentions

wikipedia: Wikipedia De Finetti's theorem#HLBA, A plain-language consequence of the theorem (statement)

History

2026-11-02: add by m2/dev

XBC472MGMC XBC472MGMC

URI	`m2://inv/XBC472MGMC`
Kind	statement
Layer	research
MSC	05-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 2411.00562#S2WO (statement). In 99CQPHSSYF/e1, lemma \zarabicsection.\zarabicthrm

History

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

XBCEGWQ8D6 XBCEGWQ8D6

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#proof-17 (proof). In E59CDZA4DP, proof, section 4.4.1

History

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

Nonperturbative shortcuts in rotation-equivariant RKHS XBCJ34GFKF

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

Mentions

arxiv: arXiv 2610.10875#H8TX, Nonperturbative shortcuts in rotation-equivariant RKHS (statement). In N91F15MHW1/e1, proposition 7

History

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

Frank Farris XBCK54Z2E4

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

Mentions

wikipedia: Wikipedia Frank Farris, Frank Farris (topic). Also Wikidata Q85011017

History

2026-11-02: add by m2/dev

Example 3 XBCKAMV96V

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

Mentions

wikipedia: Wikipedia Fibonacci sequence#JAEH, Example 3 (example)

History

2026-11-02: add by m2/dev

Package deal XBCNVDTK8H

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

Mentions

wikipedia: Wikipedia List of fallacies#ARUJ, Package deal (definition)

History

2026-11-02: add by m2/dev

XBCQV3S5GR XBCQV3S5GR

URI	`m2://inv/XBCQV3S5GR`
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.24878#GDYX (statement)

History

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

Gauss's law for magnetism XBCRMAHK3V

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

Mentions

wikidata: Wikidata Q1195250, Gauss's law for magnetism (statement). Also ProofWiki Maxwell's_Equations/Gauss's_Law_for_Magnetism
wikipedia: Wikipedia Gauss's law for magnetism, Gauss's law for magnetism (statement). Also Wikidata Q1195250

History

2026-10-26: add by m2/dev

Tracking-error bound XBCXNR2BBX

URI	`m2://inv/XBCXNR2BBX`
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.05520#UCIX, Tracking-error bound (statement). In WM1JMPW48K/e1, proposition 3

History

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

XBD2Q39858 XBD2Q39858

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

Mentions

arxiv: arXiv 2610.15416#42AS (statement). In W9JJQYHQ7J/e1, lemma 2

History

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

sqb2: XBD3KE0KWW

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#8RL7, sqb2: (definition)

History

2026-11-02: add by m2/dev

XBD7S1CPQ8 XBD7S1CPQ8

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

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/composition-representable.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 29.8

History

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

Implementation XBDHW3ZK9F

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

Mentions

wikipedia: Wikipedia Abstract machine#1NEF, Implementation (definition)

History

2026-11-02: add by m2/dev

Lucien Szpiro XBE5ZFP8T1

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

Mentions

wikipedia: Wikipedia Lucien Szpiro, Lucien Szpiro (topic). Also Wikidata Q376433

History

2026-11-02: add by m2/dev

cohomological dimension XBE6DGE7FD

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

Mentions

wikidata: Wikidata Q5141396, cohomological dimension (unknown). Also nLab cohomological dimension
wikipedia: Wikipedia Cohomological dimension, Cohomological dimension (definition). Also Wikidata Q5141396

History

2026-10-26: add by m2/dev

Plimpton 322 XBEHVE3MM5

URI	`m2://inv/XBEHVE3MM5`
Kind	definition
Layer	textbook
Sources	2
Outcome	out_of_scope (a book, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q1470425, Plimpton 322 (unknown). Also ProofWiki Book:Tablet/Plimpton_322
wikipedia: Wikipedia Plimpton 322, Plimpton 322 (definition). Also Wikidata Q1470425

History

2026-10-26: add by m2/dev

XBEPP4CYG0 XBEPP4CYG0

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

Mentions

austin_ula: austin_ula src/exercises/exercises7-4.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 7.4

History

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

XBESNWCR1C XBESNWCR1C

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

Mentions

arxiv: arXiv 2610.16081#4FO5 (statement). In RS6WWZKMT6/e1, lemma 2.6

History

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

Generalizability theory XBETHAHH4V

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

Mentions

wikipedia: Wikipedia List of statistics articles#CB1N, Generalizability theory (definition)

History

2026-11-02: add by m2/dev

XBEX96MS4Z XBEX96MS4Z

URI	`m2://inv/XBEX96MS4Z`
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.21732#7C9X (statement). In 6DJDRXDQNB/e1, theorem A.1

History

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

XBEXGZKBVR XBEXGZKBVR

URI	`m2://inv/XBEXGZKBVR`
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.28265#CX65 (statement)

History

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

The degree-five anticanonical metric XBEXXBT8SB

URI	`m2://inv/XBEXXBT8SB`
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 2609.22832#YQ7R, The degree-five anticanonical metric (statement)

History

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

Krishnamurthi Ramasubramanian XBEZH8G835

URI	`m2://inv/XBEZH8G835`
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#JZ8L, Krishnamurthi Ramasubramanian (unknown)

History

2026-11-02: add by m2/dev

XBF0ETP4ES XBF0ETP4ES

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

Mentions

lebl_ra: lebl_ra ch-vol1-intro.tex#example-2 (example). In E59CDZA4DP, example, section 11.9.2

History

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

Edward Burger XBF2K9JPCQ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#8PUL, Edward Burger (topic)

History

2026-11-02: add by m2/dev

Separating axis theorem XBF5HDDP6B

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

Mentions

wikipedia: Wikipedia List of convexity topics#4EQG, Separating axis theorem (statement)

History

2026-11-02: add by m2/dev

propagation across the logarithmic bridges XBFG6M7E0G

URI	`m2://inv/XBFG6M7E0G`
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.22413#NDLN, propagation across the logarithmic bridges (statement)

History

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

XBFJ0WM8FZ XBFJ0WM8FZ

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

Mentions

arxiv: arXiv 2610.21475#KWWR (statement). In TTRSZVT4VX/e1, theorem 2.8

History

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

Algebraic varieties: irreducibility, dimension and degree XBFNGM6K0K

URI	`m2://inv/XBFNGM6K0K`
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.08610#RYTJ, Algebraic varieties: irreducibility, dimension and degree (definition). In CB2JWNS1E9/e1, definition A.1

History

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

XBFX9EG6A4 XBFX9EG6A4

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

Mentions

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

History

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

binary operation XBG0DXBAPN

URI	`m2://inv/XBG0DXBAPN`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Binary operation 0580ZJSA3Q

Mentions

wikidata: Wikidata Q164307, binary operation (unknown). Also EoM Binary_operation, MathWorld BinaryOperation
wikipedia: Wikipedia Binary operation, Binary operation (definition). Also Wikidata Q164307

History

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

association scheme XBG305EFDC

URI	`m2://inv/XBG305EFDC`
Kind	topic
Layer	textbook
Sources	2
Outcome	open
Node	Association scheme C338GKB4VJ

Mentions

wikidata: Wikidata Q4810150, association scheme (unknown). Also EoM Association_scheme
wikipedia: Wikipedia Association scheme, Association scheme (topic). Also Wikidata Q4810150

History

2026-10-26: add by m2/dev

de Moivre's formula XBG390VY47

URI	`m2://inv/XBG390VY47`
Kind	statement
Layer	textbook
MSC	30-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	de Moivre's formula 03MTBVG3VE

Mentions

mathlib_100: mathlib_100 17, De Moivre’s Formula (statement). Also Mathlib Complex.cos_add_sin_mul_I_pow
mathlib_1000: mathlib_1000 Q190556, De Moivre's theorem (statement). Also Mathlib Complex.cos_add_sin_mul_I_pow, Wikidata Q190556
thousand_plus: thousand_plus Q190556, De Moivre's theorem (statement). Also Mathlib Complex.cos_add_sin_mul_I_pow, Wikidata Q190556, Wikipedia De Moivre's formula
wikidata: Wikidata Q190556, de Moivre's formula (statement). Also MathWorld deMoivresIdentity, ProofWiki De_Moivre's_Formula
wikipedia: Wikipedia De Moivre's formula, De Moivre's formula (statement). Also Wikidata Q190556

History

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

XBGBQ076SR XBGBQ076SR

URI	`m2://inv/XBGBQ076SR`
Kind	example
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#P2Z5 (example). In RW315W172S/e1, example 2.4

History

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

XBGM11AHQE XBGM11AHQE

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

Mentions

arxiv: arXiv 2609.39317#L3KV (statement). In QM1T8JDK4A/e1, fact 6.15

History

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

Quintuple product identity XBGWR3JRGB

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

Mentions

wikipedia: Wikipedia Quintuple product identity, Quintuple product identity (statement). Also Wikidata Q7272511

History

2026-11-02: add by m2/dev

Properties XBHF6M4JAT

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

Mentions

wikipedia: Wikipedia Context-free language#H6AK, Properties (statement)

History

2026-11-02: add by m2/dev

XBHG01F6JX XBHG01F6JX

URI	`m2://inv/XBHG01F6JX`
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.16010#STL2 (statement). In AQJXKF6WZP/e1, lemma 2.1

History

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

XBHJBQXHSS XBHJBQXHSS

URI	`m2://inv/XBHJBQXHSS`
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.14154#OWIK (statement). In 8X6PXX2TRA/e1, theorem 6.11

History

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

Prametric XBHKQDX4BK

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

Mentions

wikipedia: Wikipedia Metric space#I83E, Prametric (unknown)

History

2026-11-02: add by m2/dev

Charles Sanders Peirce bibliography XBHRT8QSB4

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

Mentions

wikipedia: Wikipedia Charles Sanders Peirce bibliography, Charles Sanders Peirce bibliography (definition). Also Wikidata Q490299

History

2026-11-02: add by m2/dev

XBHSBV01N1 XBHSBV01N1

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

Mentions

arxiv: arXiv 2405.02275#92MQ (definition). In 1QXCNGRWV1/e1, definition 2.10

History

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

(1,−1)-matrix XBHSBVADQX

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

Mentions

wikidata: Wikidata Q43217162, (1,−1)-matrix (unknown). Also MathWorld -11-Matrix

History

2026-10-26: add by m2/dev

Invariance of domain XBHSM4AGXJ

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

Mentions

wikipedia: Wikipedia Open and closed maps#MHNQ, Invariance of domain (statement)

History

2026-11-02: add by m2/dev

Algorithm XBHWW1Z38F

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

Mentions

wikipedia: Wikipedia Pollard's rho algorithm for logarithms#84PR, Algorithm (definition)

History

2026-11-02: add by m2/dev

Jensen's formula XBHY0GWPZV

URI	`m2://inv/XBHY0GWPZV`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Jensen's formula 497K99BQ4Y

Mentions

wikidata: Wikidata Q1048466, Jensen's formula (statement). Also MathWorld JensensFormula
wikipedia: Wikipedia Jensen's formula, Jensen's formula (statement). Also Wikidata Q1048466

History

2026-10-26: add by m2/dev

Applications XBJ24Q3BBD

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

Mentions

wikipedia: Wikipedia Petersen's theorem#FIRL, Applications (example)

History

2026-11-02: add by m2/dev

XBJ26KMCGY XBJ26KMCGY

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

Mentions

napkin: napkin tex/alg-NT/finite-field.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 12.3

History

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

Product formula for bag-noninteracting fills XBJ2G6A6FM

URI	`m2://inv/XBJ2G6A6FM`
Kind	statement
Layer	research
MSC	05-XX, 14-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.19669#QWU1, Product formula for bag-noninteracting fills (statement). In 1QPAA94Q76/e1, theorem 26

History

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

XBJ5GYSE2C XBJ5GYSE2C

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#cor-3 (statement). In E59CDZA4DP, cor, section 1.6

History

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

Fourier extension operator XBJG0XPTKT

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

Mentions

wikipedia: Wikipedia Fourier extension operator, Fourier extension operator (definition). Also Wikidata Q135938243

History

2026-11-02: add by m2/dev

XBJR5XZBEG XBJR5XZBEG

URI	`m2://inv/XBJR5XZBEG`
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.01561#DEZ8 (statement). In W4G7BCHYEW/e1, lemma 4.5

History

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

XBJRG68XJ4 XBJRG68XJ4

URI	`m2://inv/XBJRG68XJ4`
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#I1XT (statement). In 30YQV8N04M/e1, lemma 2.4

History

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

Dominique Bakry XBJSE31VSD

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

Mentions

wikipedia: Wikipedia Dominique Bakry, Dominique Bakry (topic). Also Wikidata Q18600338

History

2026-11-02: add by m2/dev

XBK98PDFA7 XBK98PDFA7

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

Mentions

arxiv: arXiv 2610.07114#NH6Q (unknown). In HP3TM356J6/e1, unknown 1

History

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

XBKA0H1FZ8 XBKA0H1FZ8

URI	`m2://inv/XBKA0H1FZ8`
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 2402.00465#B83W (definition). In EKFTNPQC8D/e1, definition 2

History

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

Projection products XBKB3RH42Z

URI	`m2://inv/XBKB3RH42Z`
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#32E4, Projection products (statement). In WBXAW9G4JB/e1, lemma C.4

History

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

Binary GCD algorithm XBKBFM4S85

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

Mentions

wikipedia: Wikipedia List of algorithms#TTH2, Binary GCD algorithm (definition)

History

2026-11-02: add by m2/dev

Power closed XBKEH1CQZK

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

Mentions

wikipedia: Wikipedia Power closed, Power closed (definition). Also Wikidata Q7236497

History

2026-11-02: add by m2/dev

Inellipse XBKKPKJP7Q

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

Mentions

wikipedia: Wikipedia Inellipse, Inellipse (definition). Also Wikidata Q60731343

History

2026-11-02: add by m2/dev

Turing Lecture XBKMVGA1RJ

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

Mentions

wikipedia: Wikipedia List of things named after Alan Turing#KOMK, Turing Lecture (unknown)

History

2026-11-02: add by m2/dev

Mitchell H. Gail XBKSZKRCPY

URI	`m2://inv/XBKSZKRCPY`
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#PHTV, Mitchell H. Gail (topic)

History

2026-11-02: add by m2/dev

XBM1MSTKXB XBM1MSTKXB

URI	`m2://inv/XBM1MSTKXB`
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.17677#2FTU (statement). In 5E9G06XJKC/e1, lemma G.6

History

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

Alexits, György XBMA1ETBZR

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

Mentions

wikipedia: Wikipedia List of Hungarian mathematicians#TL56, Alexits, György (topic)

History

2026-11-02: add by m2/dev

XBMA9GPGSN XBMA9GPGSN

URI	`m2://inv/XBMA9GPGSN`
Kind	statement
Layer	research
MSC	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 2610.19455#NGZ5 (statement). In CBF6TQS4DW/e1, proposition 6.3

History

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

Shift--Extension Cancellation XBMCJ8AKHE

URI	`m2://inv/XBMCJ8AKHE`
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.21131#2EAD, Shift--Extension Cancellation (statement). In CPYWHRTPKC/e1, lemma 2.25

History

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

XBMHQVCVVC XBMHQVCVVC

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-27 (exercise). In QKM9DD2H56, exercise, section 5

History

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

Loess curve XBMKAPR1AE

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#YVD2, Loess curve (definition)
wikipedia: Wikipedia List of curves#CYNV, Loess curve (definition)

History

2026-11-02: add by m2/dev

XBMKHKNVAE XBMKHKNVAE

URI	`m2://inv/XBMKHKNVAE`
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.08424#WBWN (statement). In BVD2HAAKD5/e1, lemma 3.5

History

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

Ecological correlation XBMN9KV2W5

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

Mentions

wikipedia: Wikipedia Ecological correlation, Ecological correlation (definition). Also Wikidata Q5333224

History

2026-11-02: add by m2/dev

H-coloring XBMSR1GJWT

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#ZYSM, H-coloring (definition)

History

2026-11-02: add by m2/dev

discrete logarithm XBMWDZWFMB

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

Mentions

wikipedia: Wikipedia List of unsolved problems in computer science#J4PQ, discrete logarithm (conjecture)

History

2026-11-02: add by m2/dev

Simultaneous norm and trace formulas XBN47AC5HK

URI	`m2://inv/XBN47AC5HK`
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#6JS2, Simultaneous norm and trace formulas (statement). In 7NS75J7HAM/e1, lemma 9.13

History

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

XBNDRD0Z7Q XBNDRD0Z7Q

URI	`m2://inv/XBNDRD0Z7Q`
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.06669#UCSZ (statement). In YXD3950ZXR/e1, lemma 4.1

History

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

XBNEA2EYN6 XBNEA2EYN6

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

Mentions

lebl_scv: lebl_scv scv.tex#defn:domainofhol (definition). In VNMV985MXX, defn, section 2.1

History

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

Dirichlet integral XBNF4KG0RK

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

Mentions

wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#6OEQ, Dirichlet integral (definition)

History

2026-11-02: add by m2/dev

Test category XBNRM94J27

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

Mentions

wikipedia: Wikipedia Pursuing Stacks#QOIU, Test category (unknown)

History

2026-11-02: add by m2/dev

XBNZE3759C XBNZE3759C

URI	`m2://inv/XBNZE3759C`
Kind	definition
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 2409.20170#KISJ (definition). In QXJP79APHN/e1, definition 2.5

History

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

Properties XBP25Y5493

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

Mentions

wikipedia: Wikipedia Circle of antisimilitude#61VT, Properties (statement)

History

2026-11-02: add by m2/dev

XBP46065H9 XBP46065H9

URI	`m2://inv/XBP46065H9`
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 2202.07274#616Q (statement). In V5WGBGKYXN/e1, corollary 2.3.1

History

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

Formal definitions XBPF170RMM

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

Mentions

wikipedia: Wikipedia Global field#K09R, Formal definitions (definition)

History

2026-11-02: add by m2/dev

Gabor limit XBPGA23ZF4

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

Mentions

wikipedia: Wikipedia Uncertainty principle#MZB3, Gabor limit (unknown)

History

2026-11-02: add by m2/dev

Yuri Prokhorov XBPPFR4H5Y

URI	`m2://inv/XBPPFR4H5Y`
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#36NM, Yuri Prokhorov (topic)

History

2026-11-02: add by m2/dev

Definition XBPYR9GD4Z

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

Mentions

wikipedia: Wikipedia Discrete Fourier transform#96M7, Definition (definition)

History

2026-11-02: add by m2/dev

XBQ4QD0MQ8 XBQ4QD0MQ8

URI	`m2://inv/XBQ4QD0MQ8`
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.03612#ZPPP (statement). In REDG6QVHM3/e1, proposition 4.6

History

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

Counterexamples in Probability and Statistics XBQ5PZ6WSZ

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

Mentions

wikipedia: Wikipedia Counterexamples in Probability and Statistics, Counterexamples in Probability and Statistics (definition). Also Wikidata Q124844082

History

2026-11-02: add by m2/dev

XBQCJHHNN6 XBQCJHHNN6

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

Mentions

arxiv: arXiv 1508.01731#7C7F (example). In PKJFZEY8ZV/e1, example 4.3

History

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

Barnes interpolation XBQRWAZ7WH

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

Mentions

wikipedia: Wikipedia List of statistics articles#5RNQ, Barnes interpolation (definition)

History

2026-11-02: add by m2/dev

XBQV0F7ZHH XBQV0F7ZHH

URI	`m2://inv/XBQV0F7ZHH`
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.00241#N9TJ (statement). In VBRQTN2RXN/e1, lemma 4.2

History

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

Catalan's triangle XBQWBC60Z2

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

Mentions

wikidata: Wikidata Q5051208, Catalan's triangle (unknown). Also MathWorld CatalansTriangle, OEIS A009766
wikipedia: Wikipedia Catalan's triangle, Catalan's triangle (definition). Also Wikidata Q5051208

History

2026-10-26: add by m2/dev

Plots of $\PrPf(\Xcal)$ are smooth and measurable XBQWBEHNGJ

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

Mentions

arxiv: arXiv 2609.26270#268D, Plots of $\PrPf(\Xcal)$ are smooth and measurable (statement)

History

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

Metabolic control analysis XBR5HYFR1B

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

Mentions

wikipedia: Wikipedia Metabolic control analysis, Metabolic control analysis (definition). Also Wikidata Q502671

History

2026-11-02: add by m2/dev

uniqueness of integral curves XBR9Z2CTHA

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

Mentions

mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > uniqueness of integral curves, uniqueness of integral curves (unknown). Also Mathlib isMIntegralCurveOn_Ioo_eqOn_of_contMDiff_boundaryless

History

2026-10-26: add by m2/dev

XBRBEMDW2M XBRBEMDW2M

URI	`m2://inv/XBRBEMDW2M`
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.21399#QGJE (statement)

History

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

XBREQ7DTN6 XBREQ7DTN6

URI	`m2://inv/XBREQ7DTN6`
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.31102#QUG6 (definition). In 7CADATJMAA/e1, definition 3.1

History

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

Definition XBRHR8EC4F

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

Mentions

wikipedia: Wikipedia Yamabe invariant#PHKX, Definition (definition)

History

2026-11-02: add by m2/dev

XBRQZMD74P XBRQZMD74P

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

Mentions

napkin: napkin tex/topology/metric-top.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 100.3

History

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

Definition XBRYH64D1B

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

Mentions

wikipedia: Wikipedia Compactly generated group#TEPQ, Definition (definition)

History

2026-11-02: add by m2/dev

Statement XBRZ363286

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

Mentions

wikipedia: Wikipedia Theorem on friends and strangers#64CK, Statement (statement)

History

2026-11-02: add by m2/dev

Chris Stevens XBS3RVBZ6Q

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

Mentions

wikipedia: Wikipedia Chris Stevens (mathematician), Chris Stevens (topic). Also Wikidata Q19564440

History

2026-11-02: add by m2/dev

XBS5M3N0K4 XBS5M3N0K4

URI	`m2://inv/XBS5M3N0K4`
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.08226#W1H2 (statement). In V6EPE8XHAD/e1, lemma 6.6

History

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

Disturbance-budget CBF-QP filter XBS88G91BP

URI	`m2://inv/XBS88G91BP`
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.28364#Q0HK, Disturbance-budget CBF-QP filter (statement)

History

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

Carsten Niebuhr XBS8P3DT4K

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

Mentions

wikipedia: Wikipedia Carsten Niebuhr, Carsten Niebuhr (topic). Also Wikidata Q57420

History

2026-11-02: add by m2/dev

Ralph Palmer Agnew XBSDB8Z2RA

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

Mentions

wikipedia: Wikipedia Ralph Palmer Agnew, Ralph Palmer Agnew (topic). Also Wikidata Q7287943

History

2026-11-02: add by m2/dev

XBSENVCSCA XBSENVCSCA

URI	`m2://inv/XBSENVCSCA`
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.32439#Z1K3 (statement). In GD8D1YH7K4/e1, theorem 2.9

History

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

XBSV6KFSVZ XBSV6KFSVZ

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

Mentions

arxiv: arXiv 2609.20119#9C4S (definition)

History

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

category of schemes XBT1R26QN3

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

Mentions

wikidata: Wikidata Q91791375, category of schemes (definition). Also ProofWiki Definition:Category_of_Schemes

History

2026-10-26: add by m2/dev

XBTAY7TPH9 XBTAY7TPH9

URI	`m2://inv/XBTAY7TPH9`
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 2610.11902#FSB5 (statement). In K66QKM4N5E/e1, corollary 3.5

History

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

Higgs mechanism XBTHFMCBGY

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

Mentions

wikipedia: Wikipedia Higgs mechanism, Higgs mechanism (definition). Also Wikidata Q747702

History

2026-11-02: add by m2/dev

XBTKYGA6BN XBTKYGA6BN

URI	`m2://inv/XBTKYGA6BN`
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.07673#7J9W (example). In 37B1MPV8GX/e1, example 3.7

History

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

Populus XBTP7AP35X

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

Mentions

wikipedia: Wikipedia List of polling organizations#QF00, Populus (unknown)

History

2026-11-02: add by m2/dev

XBV5BVS7VW XBV5BVS7VW

URI	`m2://inv/XBV5BVS7VW`
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.07673#PGYE (statement). In 37B1MPV8GX/e1, theorem 7.4

History

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

XBV8NVZ953 XBV8NVZ953

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

Mentions

arxiv: arXiv 2609.33531#SWRX (definition). In HNMJEAR2ER/e1, definition 3.5

History

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

XBVDAFR2RF XBVDAFR2RF

URI	`m2://inv/XBVDAFR2RF`
Kind	statement
Layer	research
Sources	1
Outcome	record (an item of a paper that no node asks 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#6OW0 (statement). In 4SZNPS3Z00/e1, lemma 16

History

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

XBVE5BJZ5J XBVE5BJZ5J

URI	`m2://inv/XBVE5BJZ5J`
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#GNUF (statement). In RW315W172S/e1, lemma 3.6

History

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

XBVG36D8RM XBVG36D8RM

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

Mentions

arxiv: arXiv 1707.06795#WXXM (statement). In 32MMSEVHYN/e1, theorem 2.19

History

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

Growth rate of a Yule process; Sec. III.7, Theorem 1 XBVPAFK81S

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

Mentions

arxiv: arXiv 2609.30098#Q124, Growth rate of a Yule process; Sec. III.7, Theorem 1 (statement)

History

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

XBVPRG5GKB XBVPRG5GKB

URI	`m2://inv/XBVPRG5GKB`
Kind	definition
Layer	research
MSC	01-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.10591#XQGH (definition). In FTEA0TM35J/e1, definition 2.8

History

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

Theorem XBVQ5Q28JT

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

Mentions

wikipedia: Wikipedia Dual system#M9HS, Theorem (statement)

History

2026-11-02: add by m2/dev

Soliton resolution for general initial data XBVQKJ705V

URI	`m2://inv/XBVQKJ705V`
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.00770#0XHH, Soliton resolution for general initial data (statement). In AYGRJSRG1M/e1, theorem

History

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

Calligra Words - Formula editor XBVR4F9K2B

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#7M0J, Calligra Words - Formula editor (unknown)

History

2026-11-02: add by m2/dev

XBVTHYP1A6 XBVTHYP1A6

URI	`m2://inv/XBVTHYP1A6`
Kind	statement
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 2610.07718#FG7T (statement). In CEKW9CNVVW/e1, proposition 2.7

History

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

XBW91V0297 XBW91V0297

URI	`m2://inv/XBW91V0297`
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 0902.4887#WCIG (statement). In MYQ05J9R20/e1, proposition 2.1

History

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

XBW9BVT41C XBW9BVT41C

URI	`m2://inv/XBW9BVT41C`
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.31537#AA0C (statement). In MNYPK3W135/e1, theorem 2.1

History

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

Theorem XBWBHEZQWP

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

Mentions

wikipedia: Wikipedia Laguerre plane#0OO5, Theorem (statement)

History

2026-11-02: add by m2/dev

Fourier Series XBWD8G2Y2E

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

Mentions

mathlib_100: mathlib_100 76, Fourier Series (statement). Also Mathlib fourierCoeff, Mathlib hasSum_fourier_series_L2

History

2026-10-26: add by m2/dev

argon-36 XBWH5GDT10

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

Mentions

wikidata: Wikidata Q2019992, argon-36 (definition). Also ProofWiki Definition:Argon/36

History

2026-10-26: add by m2/dev

*{Theorem 1.1 XBWVBMRX70

URI	`m2://inv/XBWVBMRX70`
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.30575#32YW, *{Theorem 1.1 (statement). In 6WFFY0QM27/e1, theorem 4.1

History

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

Picking a basis for linear maps XBX6X2JWMJ

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

Mentions

napkin: napkin tex/linalg/vector-space.tex#thm:linear_map_basis, Picking a basis for linear maps (statement). In RZP28ERRZV, theorem, section 62.7

History

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

Romane Clark XBXA7743MC

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

Mentions

wikipedia: Wikipedia Romane Clark, Romane Clark (topic). Also Wikidata Q109905432

History

2026-11-02: add by m2/dev

Addition chain XBXD3J9Y34

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#V3K2, Addition chain (definition)

History

2026-11-02: add by m2/dev

Generic XBXGX94PP0

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

Mentions

arxiv: arXiv 2610.07341#80U2, Generic (definition). In 6KFS1X0MZR/e1, definition 3

History

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

2,147,483,647 XBXJXXT3NJ

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

Mentions

wikipedia: Wikipedia 2,147,483,647, 2,147,483,647 (definition). Also Wikidata Q773522

History

2026-11-02: add by m2/dev

XBXKE9416J XBXKE9416J

URI	`m2://inv/XBXKE9416J`
Kind	statement
Layer	research
MSC	03-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.22317#0374 (statement). In 2W5Z97BBW4/e1, proposition 2.34

History

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

Heine–Borel theorem XBXQS34AZ1

URI	`m2://inv/XBXQS34AZ1`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	6
Outcome	node (a node has the same Wikidata item as the row)
Node	Heine–Borel theorem 07PFYV65MB

Mentions

mathlib_1000: mathlib_1000 Q253214, Heine–Borel theorem (statement). Also Mathlib Metric.isCompact_iff_isClosed_bounded, Mathlib FiniteDimensional.proper, Wikidata Q253214
mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > Heine-Borel theorem (finite-dimensional normed spaces are proper), Heine-Borel theorem (finite-dimensional normed spaces are proper) (unknown). Also Mathlib FiniteDimensional.proper
mathlib_overview: mathlib_overview Topology > Metric spaces > Heine-Borel theorem (proper metric space version), Heine-Borel theorem (proper metric space version) (unknown). Also Mathlib Metric.isCompact_iff_isClosed_bounded
mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Topology of R > compact subsets of $\R$, compact subsets of $\R$ (unknown). Also Mathlib Metric.isCompact_iff_isClosed_bounded
mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > Heine-Borel theorem (closed bounded subsets are compact in finite dimension), Heine-Borel theorem (closed bounded subsets are compact in finite dimension) (unknown). Also Mathlib FiniteDimensional.proper
thousand_plus: thousand_plus Q253214, Heine–Borel theorem (statement). Also Mathlib Metric.isCompact_iff_isClosed_bounded, Mathlib FiniteDimensional.proper, Wikidata Q253214, Wikipedia Heine–Borel theorem
wikidata: Wikidata Q253214, Heine–Borel theorem (statement). Also EoM Borel-Lebesgue_covering_theorem, Mathlib Metric.isCompact_iff_isClosed_bounded, MathWorld Heine-BorelTheorem, ProofWiki Heine-Borel_Theorem
wikipedia: Wikipedia Heine–Borel theorem, Heine–Borel theorem (statement). Also Wikidata Q253214

History

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

Support vector machine XBXVVTMRFM

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

Mentions

wikipedia: Wikipedia Support vector machine, Support vector machine (definition). Also Wikidata Q282453

History

2026-11-02: add by m2/dev

XBXXWVNSSQ XBXXWVNSSQ

URI	`m2://inv/XBXXWVNSSQ`
Kind	example
Layer	research
MSC	05-XX, 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 2306.12846#PEG6 (example). In D6XA7JXZF3/e1, example 5.5

History

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

Statement of the theorem XBXXY35R7J

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

Mentions

wikipedia: Wikipedia Moreau's theorem#3AR4, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

XBY31DRFK4 XBY31DRFK4

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

Mentions

arxiv: arXiv 2610.02751#AAET (statement). In MWGXPXF3BW/e1, lemma 28

History

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

XBY3FD2EX2 XBY3FD2EX2

URI	`m2://inv/XBY3FD2EX2`
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.14458#M8FK (statement). In WJ76MVYAZQ/e1, proposition 3.19

History

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

George F. Simmons XBYDYH6CTN

URI	`m2://inv/XBYDYH6CTN`
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 Q28656567, George F. Simmons (unknown). Also ProofWiki Mathematician:George_Finlay_Simmons
wikipedia: Wikipedia George F. Simmons, George F. Simmons (topic). Also Wikidata Q28656567

History

2026-10-26: add by m2/dev

A priori estimates under the Lyapunov decomposition XBYQYTND5D

URI	`m2://inv/XBYQYTND5D`
Kind	statement
Layer	research
MSC	35-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.20998#WWO8, A priori estimates under the Lyapunov decomposition (statement)

History

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

Thomas H. Brylawski XBYR9CJ2SD

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

Mentions

wikipedia: Wikipedia Thomas H. Brylawski, Thomas H. Brylawski (topic). Also Wikidata Q73429129

History

2026-11-02: add by m2/dev

Fractional passthrough XBYRS6F2PZ

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

Mentions

arxiv: arXiv 2609.37368#GCY8, Fractional passthrough (statement). In FRMCKEGVJZ/e1, theorem 9

History

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

XBZ54F72BS XBZ54F72BS

URI	`m2://inv/XBZ54F72BS`
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.21752#CLZ5 (statement). In E4DJTPKHAX/e1, proposition 3.4

History

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

XBZ8H1QW4W XBZ8H1QW4W

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

Mentions

lebl_ra: lebl_ra ch-der.tex#exercise-36 (exercise). In E59CDZA4DP, exercise, section 3.4.2

History

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

XBZC2M6RBX XBZC2M6RBX

URI	`m2://inv/XBZC2M6RBX`
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 2405.05684#9UFJ (statement). In 1PR73ECTZB/e1, lemma 9

History

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

Putting the overlaps back XBZG5PRTC8

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

Mentions

arxiv: arXiv 2609.25120#S8XR, Putting the overlaps back (statement)

History

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

XBZSQ2J0TQ XBZSQ2J0TQ

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

Mentions

open_logic: open_logic content/normal-modal-logic/completeness/modalities-ccs.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 51.4

History

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

Toppenish XBZXJV5CG7

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#7DY1, Toppenish (unknown)

History

2026-11-02: add by m2/dev