Inventory rows FX

Ludmil Katzarkov FX01RQCRM3

URI	`m2://inv/FX01RQCRM3`
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 Q1873902, Ludmil Katzarkov (unknown). Also nLab Ludmil Katzarkov

History

2026-10-26: add by m2/dev

Batched Laplace sampling from selected samples FX02DSNA99

URI	`m2://inv/FX02DSNA99`
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.14615#IJXX, Batched Laplace sampling from selected samples (statement). In 7D5MMP8XB5/e1, corollary 2.17

History

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

Survival curve FX05VT4WWJ

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

Mentions

wikipedia: Wikipedia Survival analysis#41WT, Survival curve (unknown)

History

2026-11-02: add by m2/dev

FX09YKFZZG FX09YKFZZG

URI	`m2://inv/FX09YKFZZG`
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 2011.14561#RTHI (statement). In V2XJJJX1Z8/e1, theorem 3.8

History

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

FX0E2PKXHP FX0E2PKXHP

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

Mentions

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

History

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

Compact embedding FX0S3X6ZGX

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

Mentions

arxiv: arXiv 2610.01501#CSC0, Compact embedding (statement). In 8Q2PXZDGB5/e1, lemma 4.4

History

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

Cyclomatic number FX0X3NT2JH

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

Mentions

arxiv: arXiv 2610.08583#BTXW, Cyclomatic number (definition). In 5EKTECQ2P1/e1, definition 2.9

History

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

Roland P. Falkner FX12ZMCFDD

URI	`m2://inv/FX12ZMCFDD`
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#WHCL, Roland P. Falkner (topic)

History

2026-11-02: add by m2/dev

William Martin Boyce FX15BC47BQ

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

Mentions

wikipedia: Wikipedia William Martin Boyce, William Martin Boyce (topic). Also Wikidata Q102128796

History

2026-11-02: add by m2/dev

FX19KEZXFB FX19KEZXFB

URI	`m2://inv/FX19KEZXFB`
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.28509#9SPY (statement)

History

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

FX1KY128QQ FX1KY128QQ

URI	`m2://inv/FX1KY128QQ`
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 2406.06548#2LQ7 (statement). In SCC2N3WNYE/e1, theorem 2.1

History

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

Planimeter FX1M6BVBA2

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

Mentions

wikipedia: Wikipedia Planimeter, Planimeter (definition). Also Wikidata Q626974

History

2026-11-02: add by m2/dev

Conditional CLT FX1NY833JV

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

Mentions

arxiv: arXiv 2610.10873#ARCO, Conditional CLT (statement). In AYG8HYGW6V/e1, lemma G.10

History

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

FX1PF7GFR7 FX1PF7GFR7

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

Mentions

arxiv: arXiv 2609.31278#4RIT (statement). In KEP21CZFV9/e1, lemma #1

History

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

FX1SJ7FC2G FX1SJ7FC2G

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

Mentions

arxiv: arXiv 2610.18847#9HN4 (statement). In DZ12XTTJSM/e1, lemma 3.7

History

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

Andreas Floer FX1SST0J19

URI	`m2://inv/FX1SST0J19`
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#MA1C, Andreas Floer (topic)
wikipedia: Wikipedia List of German mathematicians#2IDV, Andreas Floer (topic)

History

2026-11-02: add by m2/dev

FX1ZN7P87F FX1ZN7P87F

URI	`m2://inv/FX1ZN7P87F`
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.13076#DFMD (statement). In K7GJA4WGV7/e1, theorem 2.2

History

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

Leaf vertex FX24047CC7

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

Mentions

wikipedia: Wikipedia Vertex (graph theory)#1QT7, Leaf vertex (unknown)

History

2026-11-02: add by m2/dev

FX24VGFR9E FX24VGFR9E

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

Mentions

arxiv: arXiv 2609.38228#T16T (statement). In 9YAE8FNQST/e1, theorem 27.9

History

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

Signs of terms in $\partial$ FX2AFBGV4A

URI	`m2://inv/FX2AFBGV4A`
Kind	definition
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 2610.14502#HQWT, Signs of terms in $\partial$ (definition). In 6BVBMTYXNZ/e1, definition 3.4

History

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

FX2D3HVK3D FX2D3HVK3D

URI	`m2://inv/FX2D3HVK3D`
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.35542#LFXM (statement). In ATVC0HYDKD/e1, lemma 2.3

History

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

Properties FX2J07YZGB

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

Mentions

wikipedia: Wikipedia Ideal quotient#BRLL, Properties (statement)

History

2026-11-02: add by m2/dev

SI derived unit FX2NNR5R31

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

Mentions

wikidata: Wikidata Q208469, SI derived unit (definition). Also ProofWiki Definition:SI_Units/Derived

History

2026-10-26: add by m2/dev

confidence interval (CI) FX2T1JZ729

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#BYG3, confidence interval (CI) (definition)

History

2026-11-02: add by m2/dev

FX35ZBKT55 FX35ZBKT55

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/CountableSets.tex#thm:union of countable sets (statement). In P1C114YBXG, theorem, section 1

History

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

FX38HK6EK0 FX38HK6EK0

URI	`m2://inv/FX38HK6EK0`
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.22909#H5OX (statement)

History

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

FX3CXMBTER FX3CXMBTER

URI	`m2://inv/FX3CXMBTER`
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.30203#1SOK (statement)

History

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

Decipher FX3NCS3174

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

Mentions

wikipedia: Wikipedia List of telecommunications encryption terms#4MBD, Decipher (unknown)

History

2026-11-02: add by m2/dev

PMAC FX3NT25R57

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

Mentions

wikipedia: Wikipedia PMAC (cryptography), PMAC (definition). Also Wikidata Q7119717

History

2026-11-02: add by m2/dev

FX45MRGVGT FX45MRGVGT

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-trees.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 5.2

History

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

operator algebra FX49PNKK2M

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

Mentions

wikidata: Wikidata Q1892554, operator algebra (unknown). Also nLab operator algebra
wikipedia: Wikipedia Operator algebra, Operator algebra (topic). Also Wikidata Q1892554

History

2026-10-26: add by m2/dev

Finite-basis transfer FX4AR8DGDP

URI	`m2://inv/FX4AR8DGDP`
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#0CIR, Finite-basis transfer (statement). In E7W2HDNEKJ/e1, theorem 4.19

History

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

Example FX4CD1ZQ2W

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

Mentions

wikipedia: Wikipedia Simplex algorithm#PSA7, Example (example)

History

2026-11-02: add by m2/dev

708 (number) FX4T7K29FQ

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

Mentions

wikipedia: Wikipedia 700 (number)#0GL1, 708 (number) (unknown)

History

2026-11-02: add by m2/dev

Andrea R. Nahmod FX4TQK51B0

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

Mentions

wikipedia: Wikipedia Andrea R. Nahmod, Andrea R. Nahmod (topic). Also Wikidata Q19520518

History

2026-11-02: add by m2/dev

The bound can fail completely FX54KRSGA1

URI	`m2://inv/FX54KRSGA1`
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.05558#132F, The bound can fail completely (example). In VBS62KXK7J/e1, example 3

History

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

Volume estimate FX55MEVVAS

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

Mentions

arxiv: arXiv 2610.19273#JVF6, Volume estimate (statement). In T3BY4TXYT4/e1, theorem 4.3

History

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

FX5CCT55N3 FX5CCT55N3

URI	`m2://inv/FX5CCT55N3`
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.06724#M5LJ (statement). In W5XG3PGVF1/e1, corollary C.25

History

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

FX5F81MJMQ FX5F81MJMQ

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#fsqueeze:cor (statement). In E59CDZA4DP, cor, section 2.1.3

History

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

Feodor Theilheimer FX5G0SDB7Z

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

Mentions

wikipedia: Wikipedia Feodor Theilheimer, Feodor Theilheimer (topic). Also Wikidata Q37725486

History

2026-11-02: add by m2/dev

FX5HM8BGQ4 FX5HM8BGQ4

URI	`m2://inv/FX5HM8BGQ4`
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.05442#AVJW (statement). In WEPE51JCHZ/e1, corollary 9.2

History

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

bow ties FX5PBHYTF9

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

Mentions

levin_dmoi: levin_dmoi index/2.1/bow-ties, bow ties (concept). In Y91XFCEVHQ, index, section 2.1

History

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

free variable FX5QCSM48P

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

Mentions

wikipedia: Wikipedia Glossary of logic#NGLE, free variable (definition)

History

2026-11-02: add by m2/dev

Odd homology truncation FX5QZ6KABR

URI	`m2://inv/FX5QZ6KABR`
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 2609.35325#QHWS, Odd homology truncation (statement). In GHT5WXFA4E/e1, theorem 5.2

History

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

Functional data analysis FX5WE091RZ

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

Mentions

wikipedia: Wikipedia Functional data analysis, Functional data analysis (topic). Also Wikidata Q5508814

History

2026-11-02: add by m2/dev

Weighted sample FX5WS8J9B0

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

Mentions

wikipedia: Wikipedia List of statistics articles#HPV0, Weighted sample (definition)

History

2026-11-02: add by m2/dev

subquotient FX65HRDSQQ

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

Mentions

wikipedia: Wikipedia Glossary of category theory#B6QH, subquotient (definition)

History

2026-11-02: add by m2/dev

FX66BJ7SWB FX66BJ7SWB

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

Mentions

napkin: napkin tex/alg-NT/classgrp.tex#problem-5 (exercise). In RZP28ERRZV, problem, section 9.9.3

History

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

Olinthus Gregory FX6847CDC5

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

Mentions

wikipedia: Wikipedia Olinthus Gregory, Olinthus Gregory (topic). Also Wikidata Q3710265

History

2026-11-02: add by m2/dev

s-polarized FX68CM415J

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

Mentions

wikipedia: Wikipedia Polarization (waves)#3DAQ, s-polarized (definition)
wikipedia: Wikipedia Polarization (waves)#XOGH, p-polarized (definition)

History

2026-11-02: add by m2/dev

Theorem FX6995ZBK8

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

Mentions

wikipedia: Wikipedia Field arithmetic#4O0L, Theorem (statement)

History

2026-11-02: add by m2/dev

FX6F052MBQ FX6F052MBQ

URI	`m2://inv/FX6F052MBQ`
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.01368#5CVO (statement). In 4ER0Z2TGN8/e1, lemma 2

History

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

Data quality assurance FX6GZR8PEG

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

Mentions

wikipedia: Wikipedia List of statistics articles#M0CD, Data quality assurance (definition)

History

2026-11-02: add by m2/dev

Legendre's criterion, Theorem 184 FX6M29Z52G

URI	`m2://inv/FX6M29Z52G`
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.23128#ZU2N, Legendre's criterion, Theorem 184 (statement)

History

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

Sergei Godunov FX6SWFSP39

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#UQV0, Sergei Godunov (topic)

History

2026-11-02: add by m2/dev

FX6Y2DF8SH FX6Y2DF8SH

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

Mentions

open_logic: open_logic content/set-theory/ordinals/opps.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 72.7

History

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

Nelson rules FX74FPES6Y

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

Mentions

wikipedia: Wikipedia Nelson rules, Nelson rules (definition). Also Wikidata Q12472814

History

2026-11-02: add by m2/dev

Definition FX7790ETTK

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

Mentions

wikipedia: Wikipedia Regular conditional probability#8LK6, Definition (definition)

History

2026-11-02: add by m2/dev

$\RR^n$ and $\CC^n$ are normed vector spaces FX7AJQ65JV

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

Mentions

napkin: napkin tex/linalg/inner-form.tex#example-3, $\RR^n$ and $\CC^n$ are normed vector spaces (example). In RZP28ERRZV, example, section 60.2

History

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

FX7CP22PMS FX7CP22PMS

URI	`m2://inv/FX7CP22PMS`
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.25703#X8XC (statement)

History

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

FX7HQN2ZGY FX7HQN2ZGY

URI	`m2://inv/FX7HQN2ZGY`
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.04772#C6BU (statement). In WW08CYN4D4/e1, corollary 1.2

History

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

Definition FX7KGE9GGJ

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

Mentions

wikipedia: Wikipedia Elias Bassalygo bound#ASJX, Definition (definition)

History

2026-11-02: add by m2/dev

regular hexagon FX7WSC3N8H

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

Mentions

wikidata: Wikidata Q4375918, regular hexagon (unknown). Also MathWorld RegularHexagon

History

2026-10-26: add by m2/dev

Bayesian Preference for Infinite Depth FX801HFPCP

URI	`m2://inv/FX801HFPCP`
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 2212.14457#0UJG, Bayesian Preference for Infinite Depth (statement). In PNRHHWGHM2/e1, corollary 4.12

History

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

FX82C2BD0P FX82C2BD0P

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

Mentions

arxiv: arXiv 2405.09294#XHC7 (statement). In 2WZQC0TKVK/e1, theorem 3.7

History

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

Cartan's equivalence method FX82XDPXSE

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

Mentions

wikipedia: Wikipedia List of things named after Élie Cartan#D9H1, Cartan's equivalence method (definition)

History

2026-11-02: add by m2/dev

Gustave Bertrand FX84MM627R

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

Mentions

wikipedia: Wikipedia Gustave Bertrand, Gustave Bertrand (topic). Also Wikidata Q5621276

History

2026-11-02: add by m2/dev

FX85MNEQ5N FX85MNEQ5N

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

Mentions

arxiv: arXiv 2610.13392#LVTS (statement). In 2FVND41HVS/e1, theorem 5.13

History

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

FX87AZ1YJP FX87AZ1YJP

URI	`m2://inv/FX87AZ1YJP`
Kind	statement
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.06081#N559 (statement). In 7Z3KQRFEVG/e1, lemma 7.1

History

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

FX8C7R29XV FX8C7R29XV

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

Mentions

arxiv: arXiv 2610.10925#N4XF (statement). In 9604WYX0BW/e1, proposition 6.3

History

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

Additive white Gaussian noise FX8DWN7S4B

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

Mentions

wikipedia: Wikipedia List of statistics articles#ZL8B, Additive white Gaussian noise (definition)

History

2026-11-02: add by m2/dev

FX8F6JP7N9 FX8F6JP7N9

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphs_color.ptx#proof-2 (proof). In QKM9DD2H56, proof, section 5.4.2

History

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

Multivariate zero-rate boundary FX8K7KPGWB

URI	`m2://inv/FX8K7KPGWB`
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.15549#02VH, Multivariate zero-rate boundary (statement). In S96K5CR1B7/e1, theorem 3

History

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

Exact verification through smaller block $128$ FX8XQDPXM9

URI	`m2://inv/FX8XQDPXM9`
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 2609.27153#EQFT, Exact verification through smaller block $128$ (statement)

History

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

Tree--graph bounds imply the cumulant hypothesis FX8Y89DAQB

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

Mentions

arxiv: arXiv 2610.04452#A1CY, Tree--graph bounds imply the cumulant hypothesis (statement). In ZV3ANMKJ0Y/e1, proposition 5.2

History

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

deflationism FX923ADTM4

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

Mentions

wikipedia: Wikipedia Glossary of logic#OW4S, deflationism (definition)

History

2026-11-02: add by m2/dev

Ehud de Shalit FX93CRV4H2

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

Mentions

wikipedia: Wikipedia Ehud de Shalit, Ehud de Shalit (topic). Also Wikidata Q16338390

History

2026-11-02: add by m2/dev

FX93G2K80Y FX93G2K80Y

URI	`m2://inv/FX93G2K80Y`
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 0904.0817#YH4D (definition). In 569FZDANV3/e1, definition 1.6

History

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

FX956QFRP8 FX956QFRP8

URI	`m2://inv/FX956QFRP8`
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 2609.24845#TDMI (example)

History

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

FX9CYJ8AAA FX9CYJ8AAA

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

Mentions

arxiv: arXiv 2210.02261#1TLS (statement). In TT74R659T0/e1, corollary 0.2

History

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

Yakov Sinai FX9HY965BN

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#FRGU, Yakov Sinai (topic)

History

2026-11-02: add by m2/dev

FX9P5PRC8G FX9P5PRC8G

URI	`m2://inv/FX9P5PRC8G`
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.33578#P22Q (statement). In 3XTDDKY6YE/e1, theorem 1.1

History

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

FX9XZJCEV8 FX9XZJCEV8

URI	`m2://inv/FX9XZJCEV8`
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 2610.16059#TI4E (definition). In 51W7AECQDA/e1, definition 6.1

History

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

FXA0786S0P FXA0786S0P

URI	`m2://inv/FXA0786S0P`
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 2610.04673#C5DG (statement). In KKC0CT44FJ/e1, proposition 3.2

History

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

FXA198S40Z FXA198S40Z

URI	`m2://inv/FXA198S40Z`
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.38194#18C5 (statement). In M9BZSET9ZV/e1, theorem 3.4

History

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

Topological Quantum Computing FXA60CD5MQ

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

Mentions

wikipedia: Wikipedia List of topology topics#WTUA, Topological Quantum Computing (definition)

History

2026-11-02: add by m2/dev

FXA7918NM9 FXA7918NM9

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

Mentions

arxiv: arXiv 0803.0074#SBJ4 (statement). In NWJEN5GWFV/e1, theorem 2.3

History

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

Hermann Schubert FXA8DE71BW

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

Mentions

wikipedia: Wikipedia Hermann Schubert, Hermann Schubert (topic). Also Wikidata Q68670

History

2026-11-02: add by m2/dev

FXA9FP7TYF FXA9FP7TYF

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

Mentions

arxiv: arXiv 2610.15593#3RAF (definition). In PREJREM4BB/e1, definition 2.6

History

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

FXAAPG2ZSM FXAAPG2ZSM

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

Mentions

arxiv: arXiv 2610.21017#2X2S (statement). In 8KKYZ4NKT2/e1, proposition 41

History

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

FXAE0NA52H FXAE0NA52H

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-127 (exercise). In VNMV985MXX, exercise, section 2.4

History

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

Borel–Weil–Bott theorem FXAESJS09S

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

Mentions

wikipedia: Wikipedia List of representation theory topics#5XMZ, Borel–Weil–Bott theorem (statement)

History

2026-11-02: add by m2/dev

Borok, Valentina Mikhailovna FXAG82B592

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

Mentions

wikipedia: Wikipedia List of Ukrainian mathematicians#DHTT, Borok, Valentina Mikhailovna (topic)

History

2026-11-02: add by m2/dev

Moncef Ben Salem FXAHEJQ8PE

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

Mentions

wikipedia: Wikipedia Moncef Ben Salem, Moncef Ben Salem (topic). Also Wikidata Q3320435

History

2026-11-02: add by m2/dev

FXAQC2GA77 FXAQC2GA77

URI	`m2://inv/FXAQC2GA77`
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#8YF6 (statement). In CEKW9CNVVW/e1, lemma 2.5

History

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

FXATPXGNB1 FXATPXGNB1

URI	`m2://inv/FXATPXGNB1`
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.07790#WOY4 (statement). In A5YJDDM0NX/e1, proposition 4.1

History

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

FXAWZFN0E0 FXAWZFN0E0

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

Mentions

arxiv: arXiv 2610.00789#PQ3G (statement). In 4WPYBTARS2/e1, corollary 4.22

History

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

Boolean expression FXB0NETRRR

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

Mentions

wikipedia: Wikipedia Boolean expression, Boolean expression (definition). Also Wikidata Q1979515

History

2026-11-02: add by m2/dev

Examples FXB47DJBJV

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

Mentions

wikipedia: Wikipedia Puppe sequence#4ACM, Examples (example)

History

2026-11-02: add by m2/dev

FXBESTEM12 FXBESTEM12

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

Mentions

arxiv: arXiv 2610.12736#EDLI (statement). In 5350Q52F6P/e1, proposition 4.3

History

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

Law of sines FXBH4N6ART

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

Mentions

wikipedia: Wikipedia Trigonometric functions#MSVQ, Law of sines (statement)

History

2026-11-02: add by m2/dev

FXBH4ZASJ5 FXBH4ZASJ5

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

Mentions

arxiv: arXiv 2609.24701#LQXM (statement)

History

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

FXBN43YCY9 FXBN43YCY9

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

Mentions

arxiv: arXiv 2108.09796#XGC5 (statement). In NAA7WFQN20/e1, lemma 3.7

History

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

Tatiana Roque FXBQ1WFQ3Z

URI	`m2://inv/FXBQ1WFQ3Z`
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#6V0Q, Tatiana Roque (topic)

History

2026-11-02: add by m2/dev

FXBTWAS8DX FXBTWAS8DX

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

Mentions

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

History

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

Math Prize for Girls FXBWD617PX

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

Mentions

wikipedia: Wikipedia List of mathematics competitions#9WGO, Math Prize for Girls (definition)

History

2026-11-02: add by m2/dev

Intentionality bias FXBYNP585M

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

Mentions

wikipedia: Wikipedia Intentionality bias, Intentionality bias (definition). Also Wikidata Q131198514

History

2026-11-02: add by m2/dev

Topological entropy FXCBSERSB1

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

Mentions

wikipedia: Wikipedia List of topology topics#X3D7, Topological entropy (definition)

History

2026-11-02: add by m2/dev

Xuejia Lai FXCJTCXF72

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

Mentions

wikipedia: Wikipedia List of cryptographers#F12E, Xuejia Lai (topic)

History

2026-11-02: add by m2/dev

H. Blasius FXCKRYKVBK

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

Mentions

wikipedia: Wikipedia List of eponyms of special functions#HODD, H. Blasius (unknown)

History

2026-11-02: add by m2/dev

FXCYF7SFRQ FXCYF7SFRQ

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

Mentions

arxiv: arXiv 2609.28011#UQ9Z (statement)

History

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

FXD08E5N70 FXD08E5N70

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

Mentions

arxiv: arXiv 2610.17045#2W3P (statement). In PA6JQDSKQT/e1, corollary E

History

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

FXD08SEXNY FXD08SEXNY

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

Mentions

austin_ula: austin_ula src/exercises/exercises2-5.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 2.5

History

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

Multicriteria classification FXD5ER4SBV

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

Mentions

wikipedia: Wikipedia Multicriteria classification, Multicriteria classification (definition). Also Wikidata Q6934618

History

2026-11-02: add by m2/dev

Reducing subspace FXDDJZ99KR

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

Mentions

wikipedia: Wikipedia Reducing subspace, Reducing subspace (definition). Also Wikidata Q109547081

History

2026-11-02: add by m2/dev

Power iteration FXDG6XR5V5

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

Mentions

wikipedia: Wikipedia Power iteration, Power iteration (definition). Also Wikidata Q1426504

History

2026-11-02: add by m2/dev

Uses FXDG9SAF37

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

Mentions

wikipedia: Wikipedia Rational consequence relation#9QGU, Uses (example)

History

2026-11-02: add by m2/dev

FXDT96W31V FXDT96W31V

URI	`m2://inv/FXDT96W31V`
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.31336#T76N (statement). In 70RV7J456D/e1, lemma 4

History

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

Examples FXDVGF3K4Z

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

Mentions

wikipedia: Wikipedia Linear map#0A90, Examples (example)

History

2026-11-02: add by m2/dev

FXDZ2F9CW2 FXDZ2F9CW2

URI	`m2://inv/FXDZ2F9CW2`
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.13898#8JP5 (statement). In 44EVK9BPC9/e1, proposition 2.6

History

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

FXE216Z5D1 FXE216Z5D1

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

Mentions

arxiv: arXiv 2610.17139#8764 (statement). In AQWX60Z563/e1, proposition A.1

History

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

FXE2DGTHS4 FXE2DGTHS4

URI	`m2://inv/FXE2DGTHS4`
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.12716#BQK4 (statement). In M6BCSQSM3R/e1, lemma 5

History

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

Elliptic recovery FXECZP8T5M

URI	`m2://inv/FXECZP8T5M`
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.34202#MPGV, Elliptic recovery (statement). In 57CRGWHT13/e1, lemma

History

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

Basic properties FXEG0G03WD

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

Mentions

wikipedia: Wikipedia Inner product space#SFQG, Basic properties (statement)

History

2026-11-02: add by m2/dev

Complementary sequences FXEGZGVDRN

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

Mentions

wikipedia: Wikipedia Complementary sequences, Complementary sequences (definition). Also Wikidata Q5156430

History

2026-11-02: add by m2/dev

FXEM819V5D FXEM819V5D

URI	`m2://inv/FXEM819V5D`
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.32176#6QCT (statement). In N9F5R2PV0E/e1, lemma 2.3

History

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

Stable ∞-category FXES9H3GS4

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

Mentions

wikipedia: Wikipedia Stable ∞-category, Stable ∞-category (definition). Also Wikidata Q17073594

History

2026-11-02: add by m2/dev

full FXEVJ983WM

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

Mentions

wikipedia: Wikipedia Glossary of category theory#2SF3, full (definition)

History

2026-11-02: add by m2/dev

Properties FXEWBEDXVV

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

Mentions

wikipedia: Wikipedia A-group#AMY2, Properties (statement)

History

2026-11-02: add by m2/dev

FXF0W6P7ER FXF0W6P7ER

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

Mentions

arxiv: arXiv 2609.20894#5QI6 (statement)

History

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

FXF60VNCJA FXF60VNCJA

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

Mentions

arxiv: arXiv 2505.05539#QW62 (statement). In 8SVVEVGMNE/e1, proposition 5.6

History

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

FXFCCGH7QT FXFCCGH7QT

URI	`m2://inv/FXFCCGH7QT`
Kind	statement
Layer	research
MSC	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.16339#62XU (statement). In ER5EH4W919/e1, lemma 2.1

History

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

FXFPH3TBCK FXFPH3TBCK

URI	`m2://inv/FXFPH3TBCK`
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.29918#BV3M (statement)

History

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

Francis Dominic Murnaghan FXG0MFRGQW

URI	`m2://inv/FXG0MFRGQW`
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#3PY3, Francis Dominic Murnaghan (topic)

History

2026-11-02: add by m2/dev

identity function FXG7EN69EV

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

Mentions

wikipedia: Wikipedia Glossary of calculus#E3TH, identity function (definition)

History

2026-11-02: add by m2/dev

Notation FXG7R1HDFX

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

Mentions

wikipedia: Wikipedia Inverse hyperbolic functions#PHQC, Notation (definition)

History

2026-11-02: add by m2/dev

Variable binding operation FXG9XZ3GFD

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

Mentions

wikipedia: Wikipedia Free variables and bound variables#I5SY, Variable binding operation (unknown)

History

2026-11-02: add by m2/dev

comparison test for improper integrals FXGEDS3869

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

Mentions

lebl_ra: lebl_ra index/8.5/comparison-test-for-improper-integrals, comparison test for improper integrals (concept). In E59CDZA4DP, index, section 8.5

History

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

General formula FXGFYXHSJT

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

Mentions

wikipedia: Wikipedia Backward differentiation formula#SAC0, General formula (statement)

History

2026-11-02: add by m2/dev

FXGQM77N2P FXGQM77N2P

URI	`m2://inv/FXGQM77N2P`
Kind	definition
Layer	research
MSC	18-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.16241#4YOA (definition). In WNDHZVY4WK/e1, definition 4.2

History

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

Example of a non-normal subgroup FXGSJHWBM8

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

Mentions

napkin: napkin tex/H113/quotient.tex#ex:dihedral_normal_subgroup, Example of a non-normal subgroup (example). In RZP28ERRZV, example, section 3.5

History

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

Model Systems FXGTR7H49S

URI	`m2://inv/FXGTR7H49S`
Kind	definition
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 2411.16655#5UYM, Model Systems (definition). In EJHAXRV685/e1, definition 1.1

History

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

FXGWRJ5XSB FXGWRJ5XSB

URI	`m2://inv/FXGWRJ5XSB`
Kind	statement
Layer	research
MSC	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 2610.07090#6NIF (statement). In GTTSG2A5QC/e1, theorem 2

History

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

Localization FXGZWTE2JF

URI	`m2://inv/FXGZWTE2JF`
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 2401.14638#1KO7, Localization (statement). In 2XC2MZFWPP/e1, lemma 3.9

History

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

Reinhardt cardinal FXHB7Q04M5

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

Mentions

wikipedia: Wikipedia List of incomplete proofs#XXMC, Reinhardt cardinal (definition)

History

2026-11-02: add by m2/dev

Jet bundle FXHD6EYX3V

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#61D4, Jet bundle (definition)

History

2026-11-02: add by m2/dev

Conditioned disjunction FXHR7QFBA8

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

Mentions

wikipedia: Wikipedia Conditioned disjunction, Conditioned disjunction (definition). Also Wikidata Q4477759

History

2026-11-02: add by m2/dev

FXHVB9A6M5 FXHVB9A6M5

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

Mentions

arxiv: arXiv 2610.21181#OJFI (example). In 3D0GJXDY11/e1, example 3.6

History

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

FXJ2HDA33H FXJ2HDA33H

URI	`m2://inv/FXJ2HDA33H`
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 1004.4564#HBGY (statement). In BZ54C9SKYS/e1, lemma 5.2

History

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

Kolmogorov backward equations (Markov Jump Processes) FXJ2W757YG

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

Mentions

wikipedia: Wikipedia Kolmogorov equations#MZHE, Kolmogorov backward equations (Markov Jump Processes) (unknown)

History

2026-11-02: add by m2/dev

Theodore Slaman FXJ73RAE2N

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

Mentions

wikipedia: Wikipedia Theodore Slaman, Theodore Slaman (topic). Also Wikidata Q1525383

History

2026-11-02: add by m2/dev

expressive completeness FXJ8P66TE3

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

Mentions

wikipedia: Wikipedia Glossary of logic#2UJI, expressive completeness (definition)

History

2026-11-02: add by m2/dev

Theorems FXJBWRHYNR

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

Mentions

wikipedia: Wikipedia Quasiperfect number#TBFD, Theorems (statement)

History

2026-11-02: add by m2/dev

reflective, subcategory FXJDQWHZZ7

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

Mentions

hott_book: hott_book index/6.3/reflective-subcategory, reflective, subcategory (concept). In N54F33XE07, index, section 6.3

History

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

FXJM1P3236 FXJM1P3236

URI	`m2://inv/FXJM1P3236`
Kind	problem
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.35323#EBMV (problem). In 5CKPXBWSCX/e1, problem 4.6

History

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

Heegner point FXJMJGZB7Z

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

Mentions

wikipedia: Wikipedia List of mathematical properties of points#YOLJ, Heegner point (definition)

History

2026-11-02: add by m2/dev

Geostrophic wind FXJPPNDTN9

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

Mentions

wikipedia: Wikipedia Geostrophic wind, Geostrophic wind (definition). Also Wikidata Q929043

History

2026-11-02: add by m2/dev

FXK2X8205B FXK2X8205B

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

Mentions

arxiv: arXiv 2610.09812#7KNG (statement). In NWWKD8YX57/e1, theorem 2.11

History

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

∞-Chern–Simons theory FXK3M140RR

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

Mentions

wikipedia: Wikipedia ∞-Chern–Simons theory, ∞-Chern–Simons theory (definition). Also Wikidata Q133216585

History

2026-11-02: add by m2/dev

Terminology FXK59MNAF0

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

Mentions

wikipedia: Wikipedia Jyā, koti-jyā and utkrama-jyā#8DY3, Terminology (definition)

History

2026-11-02: add by m2/dev

FXK62QT72X FXK62QT72X

URI	`m2://inv/FXK62QT72X`
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.14985#S4O1 (example). In DGXJW3SCBR/e1, example 57

History

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

Margaret P. Martin FXK8CMC4VQ

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

Mentions

wikipedia: Wikipedia Margaret P. Martin, Margaret P. Martin (topic). Also Wikidata Q43301818

History

2026-11-02: add by m2/dev

zero divisor FXKG2CEVF9

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#YLJF, zero divisor (definition)

History

2026-11-02: add by m2/dev

Hoeffding's lemma FXKH122QQZ

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

Mentions

wikipedia: Wikipedia Hoeffding's lemma, Hoeffding's lemma (statement). Also Wikidata Q5876398

History

2026-11-02: add by m2/dev

Globally asymptotically stable FXKHY74EXR

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

Mentions

wikipedia: Wikipedia Lyapunov function#DBK0, Globally asymptotically stable (unknown)

History

2026-11-02: add by m2/dev

Harriet Griffin FXKN4T1WNY

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

Mentions

wikipedia: Wikipedia Harriet Griffin, Harriet Griffin (topic). Also Wikidata Q102187339

History

2026-11-02: add by m2/dev

harmony FXKS4B0HTC

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

Mentions

wikipedia: Wikipedia Glossary of logic#2JXB, harmony (definition)

History

2026-11-02: add by m2/dev

Open mapping theorem FXKVEN694N

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

Mentions

wikipedia: Wikipedia Open mapping theorem (functional analysis)#7VW0, Open mapping theorem (statement)

History

2026-11-02: add by m2/dev

The local good filling FXM534HW54

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

Mentions

arxiv: arXiv 2407.02022#8TP0, The local good filling (statement). In RZDNWV9E29/e1, proposition 2.23

History

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

FXM6WE6XAJ FXM6WE6XAJ

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

Mentions

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

History

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

Resel FXMFH373NB

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#AZ75, Resel (unknown)

History

2026-11-02: add by m2/dev

Applications FXMHM6NTQ8

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

Mentions

wikipedia: Wikipedia Bispectrum#MG37, Applications (example)

History

2026-11-02: add by m2/dev

Subgame FXMNB3SSBC

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

Mentions

wikipedia: Wikipedia Subgame, Subgame (definition). Also Wikidata Q3965283

History

2026-11-02: add by m2/dev

FXMRDCA422 FXMRDCA422

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-conc.ptx#exercise-2 (exercise). In Y91XFCEVHQ, exercise, section 3.6

History

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

The convergence-group Schottky package FXN2DCJD00

URI	`m2://inv/FXN2DCJD00`
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.36098#YIPQ, The convergence-group Schottky package (statement). In NRP62VNE58/e1, lemma 8.1

History

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

Closed form at $\kappa_c$ FXN2S0WSKC

URI	`m2://inv/FXN2S0WSKC`
Kind	statement
Layer	research
MSC	37-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.09912#ZNS7, Closed form at $\kappa_c$ (statement). In 65TJENWK7X/e1, theorem 50

History

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

classical, analysis FXN67SQHFF

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

Mentions

hott_book: hott_book index/B/classical-analysis, classical, analysis (concept). In N54F33XE07, index, section B

History

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

FXN6E5CCEK FXN6E5CCEK

URI	`m2://inv/FXN6E5CCEK`
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 2404.18690#LTWV (statement). In MDCJJJRQ2X/e1, theorem 4.4

History

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

Juris Hartmanis FXN8GDW7TF

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#R55K, Juris Hartmanis (unknown)

History

2026-11-02: add by m2/dev

Uniform concentration over a searched subspace FXN8W160EG

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

Mentions

arxiv: arXiv 2609.37917#QGJ0, Uniform concentration over a searched subspace (statement). In YYN10BJG1Q/e1, theorem 1

History

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

Babylonian numerals FXNDR1RBZ0

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

Mentions

wikidata: Wikidata Q506274, Babylonian numerals (definition). Also MathWorld BabylonianNumerals, ProofWiki Definition:Babylonian_Number_System
wikipedia: Wikipedia Babylonian cuneiform numerals, Babylonian cuneiform numerals (definition). Also Wikidata Q506274

History

2026-10-26: add by m2/dev

Packing in a hypergraph FXNH6SZ3Y5

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

Mentions

wikipedia: Wikipedia Packing in a hypergraph, Packing in a hypergraph (definition). Also Wikidata Q7123028

History

2026-11-02: add by m2/dev

Malba Tahan FXNHDN2RKQ

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

Mentions

wikipedia: Wikipedia Júlio César de Mello e Souza#RA02, Malba Tahan (unknown)

History

2026-11-02: add by m2/dev

FXNNAQRE8B FXNNAQRE8B

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

Mentions

applied_combinatorics: applied_combinatorics source/s_recurrence_adv-ops.ptx#ex_recurrence_diffeq (example). In QKM9DD2H56, example, section 9.3

History

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

FXNNTXEPBB FXNNTXEPBB

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

Mentions

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

History

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

FXNR16DG3A FXNR16DG3A

URI	`m2://inv/FXNR16DG3A`
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.38014#UKF4 (statement). In F3X5W4E0AJ/e1, theorem 4.2

History

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

List of bitcoin forks FXNTXTK3SE

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

Mentions

wikipedia: Wikipedia List of bitcoin forks, List of bitcoin forks (topic). Also Wikidata Q29856564

History

2026-11-02: add by m2/dev

mathematics, constructive FXP1QAE7RA

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

Mentions

hott_book: hott_book index/A.9/mathematics-constructive, mathematics, constructive (concept). In N54F33XE07, index, section A.9

History

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

GenI process FXP8JFQ58R

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

Mentions

wikipedia: Wikipedia List of stochastic processes topics#PSSX, GenI process (unknown)

History

2026-11-02: add by m2/dev

superconcentrator FXPSARDMTG

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#H7Q3, superconcentrator (definition)

History

2026-11-02: add by m2/dev

FXPT8A7YMF FXPT8A7YMF

URI	`m2://inv/FXPT8A7YMF`
Kind	problem
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#0LT3 (problem). In 2381M4GBTT/e1, problem 13.2

History

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

first isodynamic center FXPTHZQTZM

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

Mentions

wikidata: Wikidata Q24818805, first isodynamic center (unknown). Also MathWorld FirstIsodynamicPoint

History

2026-10-26: add by m2/dev

End-to-end excess risk, linear crowd FXPWWY5784

URI	`m2://inv/FXPWWY5784`
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.04671#5M2X, End-to-end excess risk, linear crowd (statement). In BYP65TRGDT/e1, theorem 5.11

History

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

Paul the Persian FXQ3NY71KM

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

Mentions

wikipedia: Wikipedia Paul the Persian, Paul the Persian (topic). Also Wikidata Q4893253

History

2026-11-02: add by m2/dev

FXQBR3ZAM5 FXQBR3ZAM5

URI	`m2://inv/FXQBR3ZAM5`
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.08362#7A8Q (statement). In 7JHAD30NBB/e1, proposition 5.1

History

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

Yom Tov Lipman Lipkin FXQCAK5B9W

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#4XYQ, Yom Tov Lipman Lipkin (topic)

History

2026-11-02: add by m2/dev

Definition FXQGJ4QATF

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

Mentions

wikipedia: Wikipedia 3-dimensional matching#AQ7L, Definition (definition)

History

2026-11-02: add by m2/dev

FXQHH32PKY FXQHH32PKY

URI	`m2://inv/FXQHH32PKY`
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-28 (exercise). In QKM9DD2H56, exercise, section 5

History

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

Abundance conjecture FXQN22F8A1

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

Mentions

wikipedia: Wikipedia Abundance conjecture, Abundance conjecture (conjecture). Also Wikidata Q55642851

History

2026-11-02: add by m2/dev

Theorem 2.2(i FXQN7VP75T

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

Mentions

arxiv: arXiv 2610.07114#T3FS, Theorem 2.2(i (statement). In HP3TM356J6/e1, lemma 14

History

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

FXQRAPZ845 FXQRAPZ845

URI	`m2://inv/FXQRAPZ845`
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 2404.18690#RK0F (statement). In MDCJJJRQ2X/e1, proposition 3.7

History

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

Ibn al-Haytham FXQV4J15A6

URI	`m2://inv/FXQV4J15A6`
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 Q11104, Ibn al-Haytham (unknown). Also ProofWiki Mathematician:Abu_Ali_al-Hasan_ibn_al-Haytham
wikipedia: Wikipedia Ibn al-Haytham, Ibn al-Haytham (topic). Also Wikidata Q11104

History

2026-10-26: add by m2/dev

FXQVTJ39BF FXQVTJ39BF

URI	`m2://inv/FXQVTJ39BF`
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.22311#X9R8 (statement)

History

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

Karl Rubin FXQWRBV2PR

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#F0ZX, Karl Rubin (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#LJZJ, Karl Rubin (unknown)

History

2026-11-02: add by m2/dev

FXQZTVCRV0 FXQZTVCRV0

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

Mentions

arxiv: arXiv 2610.21627#D8RW (definition). In 4Z44S003HM/e1, definition 1

History

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

Phonetic algorithm FXR1M49NAB

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

Mentions

wikipedia: Wikipedia List of algorithms#0CWO, Phonetic algorithm (unknown)

History

2026-11-02: add by m2/dev

Generalizations FXRS29HZ8W

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

Mentions

wikipedia: Wikipedia Affine variety#S109, Generalizations (statement)

History

2026-11-02: add by m2/dev

FXRVMBZYYB FXRVMBZYYB

URI	`m2://inv/FXRVMBZYYB`
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 1006.4470#LZNC (statement). In ZSQ1Y0NAH3/e1, theorem 3.1

History

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

Lucien Godeaux FXS3ERFDYK

URI	`m2://inv/FXS3ERFDYK`
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#LQJD, Lucien Godeaux (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#S2AX, Lucien Godeaux (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#TKS6, Lucien Godeaux (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UNFD, Lucien Godeaux (topic)

History

2026-11-02: add by m2/dev

CCR and CAR algebras FXS6SPD78J

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

Mentions

wikipedia: Wikipedia CCR and CAR algebras, CCR and CAR algebras (definition). Also Wikidata Q1022829

History

2026-11-02: add by m2/dev

FXSHSN85E8 FXSHSN85E8

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

Mentions

arxiv: arXiv 2610.13792#TLYA (statement). In ZH0PFTZ12Y/e1, theorem C

History

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

Joseph Keller FXSKNTVB4G

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#LFFB, Joseph Keller (topic)

History

2026-11-02: add by m2/dev

FXSMA9N8GD FXSMA9N8GD

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

Mentions

arxiv: arXiv math/0512416#M7XK (statement). In WJD9YPGGYH/e1, lemma 8.5

History

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

Spectral radius of matrix $\boldsymbol{T}$ FXSSTBW4W3

URI	`m2://inv/FXSSTBW4W3`
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.30957#L6WB, Spectral radius of matrix $\boldsymbol{T}$ (statement). In P5YB6R0RK3/e1, proposition D.2

History

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

FXSVZYDFHE FXSVZYDFHE

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

Mentions

arxiv: arXiv 1503.05744#7W1I (statement). In 5XKHZKEGAF/e1, theorem 2.15

History

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

FXSWYCP7FV FXSWYCP7FV

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

Mentions

arxiv: arXiv 2603.29838#6RWR (statement). In KP0X1RKKKB/e1, proposition 3.4

History

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

FXSXEZ0J9P FXSXEZ0J9P

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

Mentions

arxiv: arXiv 2610.07963#K8PG (statement). In HAGJKEZ1CK/e1, lemma 6.2

History

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

FXT0YPB7F2 FXT0YPB7F2

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

Mentions

arxiv: arXiv 2610.21533#65CS (statement). In N3Z6JFEPCF/e1, lemma 4.4

History

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

FXT21CH0V6 FXT21CH0V6

URI	`m2://inv/FXT21CH0V6`
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 2303.14022#X4QD (statement). In NSYR6W27FP/e1, proposition 6.3

History

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

Lorentz reciprocal theorem FXT9C7BFF5

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

Mentions

wikipedia: Wikipedia Stokes flow#E78W, Lorentz reciprocal theorem (statement)

History

2026-11-02: add by m2/dev

Arun Ram FXTDG7KF8N

URI	`m2://inv/FXTDG7KF8N`
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 Q57295074, Arun Ram (unknown). Also nLab Arun Ram

History

2026-10-26: add by m2/dev

Administrative error FXTJQDRRFV

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

Mentions

wikipedia: Wikipedia Administrative error, Administrative error (definition). Also Wikidata Q4683576

History

2026-11-02: add by m2/dev

Enumeration FXTX8YVVZM

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

Mentions

wikipedia: Wikipedia Enumeration, Enumeration (definition). Also Wikidata Q2704791

History

2026-11-02: add by m2/dev

Algorithms FXV2TWSKZP

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

Mentions

wikipedia: Wikipedia List of mathematics books#MMBM, Algorithms (definition)

History

2026-11-02: add by m2/dev

Normally hyperbolic invariant manifold FXV4S56MQ3

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

Mentions

wikipedia: Wikipedia Normally hyperbolic invariant manifold, Normally hyperbolic invariant manifold (definition). Also Wikidata Q7051860

History

2026-11-02: add by m2/dev

normed space of bounded continuous functions FXV5BEAE11

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

Mentions

mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > normed space of bounded continuous functions, normed space of bounded continuous functions (unknown). Also Mathlib BoundedContinuousFunction.instNormedSpace

History

2026-10-26: add by m2/dev

Body heat FXV8NYNTYV

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#P6JS, Body heat (unknown)

History

2026-11-02: add by m2/dev

FXV9QE8RSD FXV9QE8RSD

URI	`m2://inv/FXV9QE8RSD`
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.23128#I0IU (statement)

History

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

Markus Fierz FXVFMSWRAR

URI	`m2://inv/FXVFMSWRAR`
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 Q124588, Markus Fierz (unknown). Also nLab Markus Fierz

History

2026-10-26: add by m2/dev

FXVP8Z770M FXVP8Z770M

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

Mentions

arxiv: arXiv 2609.21508#ADM5 (statement)

History

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

FXVT17N888 FXVT17N888

URI	`m2://inv/FXVT17N888`
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 2610.13888#51G7 (statement). In XJWYBPS14M/e1, lemma 4.1

History

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

Prewellordering property FXVWECN4X0

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

Mentions

wikipedia: Wikipedia Prewellordering#H3EP, Prewellordering property (statement)

History

2026-11-02: add by m2/dev

Examples FXVY8ECDCN

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

Mentions

wikipedia: Wikipedia Functional boxplot#6LRX, Examples (example)

History

2026-11-02: add by m2/dev

FXVZS320R4 FXVZS320R4

URI	`m2://inv/FXVZS320R4`
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.39505#YMT2 (statement). In WAXS6FS388/e1, lemma 2.9

History

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

Joseph Leo Doob FXW0MFQMAX

URI	`m2://inv/FXW0MFQMAX`
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#19TH, Joseph Leo Doob (topic)

History

2026-11-02: add by m2/dev

Multivariate Behavioral Research FXWAHGEQ7E

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

Mentions

wikipedia: Wikipedia List of statistics journals#IMYG, Multivariate Behavioral Research (definition)

History

2026-11-02: add by m2/dev

Matching geometric diamond lower bound FXWDYX3SF8

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

Mentions

arxiv: arXiv 2610.00448#G4IM, Matching geometric diamond lower bound (statement). In N06J7GC05Q/e1, corollary 6.7

History

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

introduction rule FXWKC4RGE0

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

Mentions

wikipedia: Wikipedia Glossary of logic#FUTD, introduction rule (definition)

History

2026-11-02: add by m2/dev

FXWKXFB8CS FXWKXFB8CS

URI	`m2://inv/FXWKXFB8CS`
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 2610.13699#SM1W (statement). In ZSMAQ666K7/e1, lemma 3

History

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

Monotonicity FXWP2PJ7DP

URI	`m2://inv/FXWP2PJ7DP`
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.20606#WTDY, Monotonicity (statement)

History

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

FXWYX95G80 FXWYX95G80

URI	`m2://inv/FXWYX95G80`
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.13295#EVRN (statement). In 8Q7QXTWD0S/e1, proposition 3.1

History

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

Common source bias FXX0SJQBJ6

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

Mentions

wikipedia: Wikipedia List of cognitive biases#XRIQ, Common source bias (unknown)

History

2026-11-02: add by m2/dev

Cantor tree FXX5EBG2NG

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

Mentions

wikipedia: Wikipedia List of topologies#3JG3, Cantor tree (definition)

History

2026-11-02: add by m2/dev

Coercivity below the level FXX9ZFH7QT

URI	`m2://inv/FXX9ZFH7QT`
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.02933#K6UC, Coercivity below the level (statement). In QSYZKPFRAN/e1, lemma 4.1

History

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

FXXDC2MYE0 FXXDC2MYE0

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#definition-1 (definition). In P1C114YBXG, definition, section K

History

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

FXXJA3FAZT FXXJA3FAZT

URI	`m2://inv/FXXJA3FAZT`
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.27800#X5SH (statement)

History

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

FXXT2GA0CG FXXT2GA0CG

URI	`m2://inv/FXXT2GA0CG`
Kind	definition
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 2110.08714#1JDM (definition). In A3RAXBSWA5/e1, definition 2.2

History

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

Alena Šolcová FXY0YM3DF6

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

Mentions

wikipedia: Wikipedia Alena Šolcová, Alena Šolcová (topic). Also Wikidata Q20428279

History

2026-11-02: add by m2/dev

FXY16A4VVQ FXY16A4VVQ

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-69 (exercise). In E59CDZA4DP, exercise, section 2.6.3

History

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

FXY693344V FXY693344V

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

Mentions

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

History

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

regular potentials FXY7AP6H98

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

Mentions

arxiv: arXiv 2610.08016#EZQN, regular potentials (statement). In YR3CSTYEJW/e1, corollary 2.9

History

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

antilogarithm FXYK0QE02Y

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

Mentions

wikidata: Wikidata Q577570, antilogarithm (unknown). Also MathWorld Antilogarithm

History

2026-10-26: add by m2/dev

Rainbow table FXYSXWSMYM

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

Mentions

wikipedia: Wikipedia Rainbow table, Rainbow table (definition). Also Wikidata Q1139146

History

2026-11-02: add by m2/dev

FXYWG105F7 FXYWG105F7

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

Mentions

arxiv: arXiv 2610.04124#HGVF (statement). In DB9WCCW840/e1, fact 0.7

History

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

Arnold's spectral sequence FXZ3FFHJ7K

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

Mentions

wikipedia: Wikipedia Arnold's spectral sequence, Arnold's spectral sequence (definition). Also Wikidata Q25099352

History

2026-11-02: add by m2/dev

Karl Reinhardt FXZCZSF12Z

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

Mentions

wikipedia: Wikipedia Karl Reinhardt (mathematician), Karl Reinhardt (topic). Also Wikidata Q101749

History

2026-11-02: add by m2/dev

Robert C. Griffiths FXZQKQJ7NT

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#X93K, Robert C. Griffiths (unknown)

History

2026-11-02: add by m2/dev