Inventory rows TH

monoidal category TH09X4AY00

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

Mentions

wikipedia: Wikipedia Glossary of category theory#MUQ6, monoidal category (definition)

History

2026-11-02: add by m2/dev

Special cases TH0A5PVDM3

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

Mentions

wikipedia: Wikipedia Infinitesimal strain theory#YFZW, Special cases (statement)

History

2026-11-02: add by m2/dev

TH0J9QT4F8 TH0J9QT4F8

URI	`m2://inv/TH0J9QT4F8`
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.35361#WO9C (statement). In E4PGMSEQTS/e1, lemma 2.3

History

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

Jia Rongqing TH0KY8NC51

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#PEQY, Jia Rongqing (unknown)

History

2026-11-02: add by m2/dev

Diagonal bisector TH0SJTTV90

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

Mentions

wikipedia: Wikipedia Bisection#MPXU, Diagonal bisector (unknown)

History

2026-11-02: add by m2/dev

Basic properties TH144MRZDE

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

Mentions

wikipedia: Wikipedia Conditional expectation#RZIA, Basic properties (statement)

History

2026-11-02: add by m2/dev

TH14T85PFS TH14T85PFS

URI	`m2://inv/TH14T85PFS`
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.15525#YNWO (statement). In EFDRME13PT/e1, lemma 4.3

History

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

TH14YJ86DN TH14YJ86DN

URI	`m2://inv/TH14YJ86DN`
Kind	statement
Layer	research
MSC	14-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 2610.13100#BUCX (statement). In CC6S1HVK0T/e1, corollary 5.6

History

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

TH15QQK93Q TH15QQK93Q

URI	`m2://inv/TH15QQK93Q`
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.01737#MIAF (statement). In M4JGP708F4/e1, lemma 3.31

History

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

Simone Warzel TH1BM9AJT0

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

Mentions

wikipedia: Wikipedia Simone Warzel, Simone Warzel (topic). Also Wikidata Q30501728

History

2026-11-02: add by m2/dev

zonotope TH1D60KQQJ

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

Mentions

wikidata: Wikidata Q22893904, zonotope (unknown). Also MathWorld Zonotope
wikipedia: Wikipedia Zonotope, Zonotope (definition). Also Wikidata Q22893904

History

2026-10-26: add by m2/dev

Italian Naval Enigma machine TH1EB3AVZ3

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

Mentions

wikipedia: Wikipedia Cryptanalysis of the Enigma#IQE6, Italian Naval Enigma machine (unknown)

History

2026-11-02: add by m2/dev

Definition TH1FNC8NFF

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

Mentions

wikipedia: Wikipedia Compact quasi-Newton representation#2GHY, Definition (definition)

History

2026-11-02: add by m2/dev

Slim lattice TH1HQXVRN1

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

Mentions

wikipedia: Wikipedia Slim lattice, Slim lattice (definition). Also Wikidata Q28456232

History

2026-11-02: add by m2/dev

TH1QFKHDW7 TH1QFKHDW7

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

Mentions

arxiv: arXiv 2609.20522#GQIH (statement)

History

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

TH20Q8DKTX TH20Q8DKTX

URI	`m2://inv/TH20Q8DKTX`
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.28649#L454 (statement)

History

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

TH270R4M8B TH270R4M8B

URI	`m2://inv/TH270R4M8B`
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.16785#E556 (statement). In SXQQZ2MYKV/e1, theorem 10

History

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

TH299DP8S6 TH299DP8S6

URI	`m2://inv/TH299DP8S6`
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 1909.03896#9VH4 (statement). In CX9RVPQVBM/e1, theorem 19

History

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

Bhargava--Shankar--Tsimerman TH2AY7XPYT

URI	`m2://inv/TH2AY7XPYT`
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.33027#OG2M, Bhargava--Shankar--Tsimerman (statement). In E2AF84709B/e1, proposition 3

History

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

TH2F85KPBZ TH2F85KPBZ

URI	`m2://inv/TH2F85KPBZ`
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 2610.18016#KCDY (statement). In V5PVKDKGGG/e1, corollary 8.9

History

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

Asymptotic independence of crossing counts TH2JQ28B3J

URI	`m2://inv/TH2JQ28B3J`
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.21268#1VI1, Asymptotic independence of crossing counts (statement). In 9W2YX5X4AX/e1, proposition 5.1

History

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

p-adic analysis TH2QAYAXQD

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#BVD9, p-adic analysis (definition)

History

2026-11-02: add by m2/dev

TH2VKD64ZR TH2VKD64ZR

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

Mentions

arxiv: arXiv 2609.24023#GBQ3 (statement)

History

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

Tarski–Seidenberg theorem TH2ZHYJJ7H

URI	`m2://inv/TH2ZHYJJ7H`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Tarski–Seidenberg theorem 3W5JGDZAN0

Mentions

wikidata: Wikidata Q16705451, Tarski–Seidenberg theorem (statement). Also MathWorld TarskisTheorem, nLab Tarski-Seidenberg theorem
wikipedia: Wikipedia Tarski–Seidenberg theorem, Tarski–Seidenberg theorem (statement). Also Wikidata Q16705451

History

2026-10-26: add by m2/dev

Stable and tempered stable distributions with volatility clustering – financial applications TH35EKD9PG

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

Mentions

wikipedia: Wikipedia List of statistics articles#KP03, Stable and tempered stable distributions with volatility clustering – financial applications (definition)

History

2026-11-02: add by m2/dev

TH37A751WE TH37A751WE

URI	`m2://inv/TH37A751WE`
Kind	example
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.18106#LYOM (example). In VZDPG7NJCX/e1, example 1

History

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

Complete valued field TH3MG5RQFM

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

Mentions

wikipedia: Wikipedia Valuation (algebra)#S60I, Complete valued field (unknown)

History

2026-11-02: add by m2/dev

Polynomial pullback TH3P2Z6HNK

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

Mentions

arxiv: arXiv 2610.14044#CLPB, Polynomial pullback (statement). In 5452SJRWDT/e1, proposition 6.3

History

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

TH3VRJ12SZ TH3VRJ12SZ

URI	`m2://inv/TH3VRJ12SZ`
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 2508.17135#4SUV (definition). In 74MXJ2RX4B/e1, definition 2.7

History

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

Properties TH3XCD9NPY

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

Mentions

wikipedia: Wikipedia Triaugmented triangular prism#217G, Properties (statement)

History

2026-11-02: add by m2/dev

TH3XRAMJNP TH3XRAMJNP

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

History

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

Dual of BCH is an independent source TH407QCDCG

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

Mentions

wikipedia: Wikipedia Dual of BCH is an independent source, Dual of BCH is an independent source (definition). Also Wikidata Q5310224

History

2026-11-02: add by m2/dev

Generalizations TH46BCCRPD

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

Mentions

wikipedia: Wikipedia Representer theorem#O07F, Generalizations (statement)

History

2026-11-02: add by m2/dev

Ellen Gethner TH47CZ18J5

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

Mentions

wikipedia: Wikipedia Ellen Gethner, Ellen Gethner (topic). Also Wikidata Q62993776

History

2026-11-02: add by m2/dev

TH49PVDK84 TH49PVDK84

URI	`m2://inv/TH49PVDK84`
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.20165#DFFC (statement). In QTD3BP5GA0/e1, lemma 3.7

History

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

Formal statement TH4G0VCGNM

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

Mentions

wikipedia: Wikipedia Gibbard's theorem#XWC3, Formal statement (statement)

History

2026-11-02: add by m2/dev

KPSS test TH4K4X3KG0

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

Mentions

wikipedia: Wikipedia List of statistics articles#DLBJ, KPSS test (definition)

History

2026-11-02: add by m2/dev

Squeeze theorem TH4NQ5TRKN

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#Y2SN, Squeeze theorem (statement)

History

2026-11-02: add by m2/dev

Rauzy fractal TH4S0H0BE1

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

Mentions

wikipedia: Wikipedia Rauzy fractal, Rauzy fractal (definition). Also Wikidata Q3080267

History

2026-11-02: add by m2/dev

TH54F4TX88 TH54F4TX88

URI	`m2://inv/TH54F4TX88`
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 2609.25957#3QN5 (statement)

History

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

Apostrophus TH55REXKMN

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

Mentions

wikipedia: Wikipedia Roman numerals#TV9R, Apostrophus (unknown)

History

2026-11-02: add by m2/dev

Inverse-square laws TH56M6HB7Z

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

Mentions

wikipedia: Wikipedia Divergence theorem#6N0H, Inverse-square laws (statement)

History

2026-11-02: add by m2/dev

Projection of a quantitative tail-measure bound TH58YBZMK6

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

Mentions

arxiv: arXiv 2609.29658#35QO, Projection of a quantitative tail-measure bound (statement)

History

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

American Statistical Association TH5FRGHH7Y

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

Mentions

wikipedia: Wikipedia American Statistical Association, American Statistical Association (topic). Also Wikidata Q467040

History

2026-11-02: add by m2/dev

Example TH5PZ4VRVH

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

Mentions

wikipedia: Wikipedia Conductor–discriminant formula#6KEB, Example (example)

History

2026-11-02: add by m2/dev

Freddy Delbaen TH63BSK6P2

URI	`m2://inv/TH63BSK6P2`
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#URL2, Freddy Delbaen (topic)

History

2026-11-02: add by m2/dev

Ralph Greenberg TH64HKYHF8

URI	`m2://inv/TH64HKYHF8`
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#1PS0, Ralph Greenberg (topic)

History

2026-11-02: add by m2/dev

binomial coefficient TH6F05MCH2

URI	`m2://inv/TH6F05MCH2`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Binomial coefficient 092GEF38YD

Mentions

wikidata: Wikidata Q209875, binomial coefficient (definition). Also EoM Binomial_coefficients, MathWorld BinomialCoefficient, OEIS A073354, ProofWiki Definition:Binomial_Coefficient
wikipedia: Wikipedia Binomial coefficient, Binomial coefficient (definition). Also Wikidata Q209875

History

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

The level costs a factor $\alpha^{-s^{\ast}}$ TH6JKKCEB6

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

Mentions

arxiv: arXiv 2609.27766#1D9A, The level costs a factor $\alpha^{-s^{\ast}}$ (statement)

History

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

TH6KMGMXW3 TH6KMGMXW3

URI	`m2://inv/TH6KMGMXW3`
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 2506.09840#CVPF (statement). In Y7TWHSF2HC/e1, proposition 3.2

History

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

Lindbladian TH6MWV083R

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

Mentions

wikipedia: Wikipedia Lindbladian, Lindbladian (definition). Also Wikidata Q4476520

History

2026-11-02: add by m2/dev

TH6NKVP8MS TH6NKVP8MS

URI	`m2://inv/TH6NKVP8MS`
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 0904.0817#PXN1 (statement). In 569FZDANV3/e1, lemma 2.6

History

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

Rotational–vibrational coupling TH6SEWFKEG

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

Mentions

wikipedia: Wikipedia Rotational–vibrational coupling, Rotational–vibrational coupling (definition). Also Wikidata Q7370329

History

2026-11-02: add by m2/dev

Excitation accounting TH6V9STE13

URI	`m2://inv/TH6V9STE13`
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.22564#HODJ, Excitation accounting (statement)

History

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

TH6ZPR2GKF TH6ZPR2GKF

URI	`m2://inv/TH6ZPR2GKF`
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#I3SY (statement). In RT27S2YZKJ/e1, proposition 5

History

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

TH709VSKDZ TH709VSKDZ

URI	`m2://inv/TH709VSKDZ`
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 2603.11432#F423 (definition). In 9PGSPHDKR2/e1, definition 1.1

History

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

Witt group TH72K736CR

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

Mentions

wikipedia: Wikipedia List of things named after Ernst Witt#NQZW, Witt group (definition)

History

2026-11-02: add by m2/dev

Schrödinger picture TH74MTF3H1

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#MNCZ, Schrödinger picture (definition)

History

2026-11-02: add by m2/dev

Business analytics TH76TQS0Z8

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

Mentions

wikipedia: Wikipedia List of fields of application of statistics#JMBD, Business analytics (definition)

History

2026-11-02: add by m2/dev

Unique Readability TH7DFVF90Z

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/unique-readability.tex#prop-1, Unique Readability (statement). In PKGMM3P5QY, prop, section 22.2

History

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

TH7DRMY1MK TH7DRMY1MK

URI	`m2://inv/TH7DRMY1MK`
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 2603.26376#RTWP (statement). In PJAT9YDX7Y/e1, lemma 5.5

History

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

Gambler's fallacy TH7ETX386J

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

Mentions

wikipedia: Wikipedia List of fallacies#MMRL, Gambler's fallacy (definition)

History

2026-11-02: add by m2/dev

Examples TH7JJJMPWB

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

Mentions

wikipedia: Wikipedia Field norm#XWKR, Examples (example)

History

2026-11-02: add by m2/dev

TH7KYF4RYG TH7KYF4RYG

URI	`m2://inv/TH7KYF4RYG`
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 2601.15010#KFMR (statement). In K3WJ6ZN184/e1, lemma A.14

History

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

almost-alternating knot TH7PG64B0W

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

Mentions

wikidata: Wikidata Q96741348, almost-alternating knot (unknown). Also MathWorld AlmostAlternatingKnot

History

2026-10-26: add by m2/dev

Exponential relaxation and vacuum-layer sharpening TH7QN28JEA

URI	`m2://inv/TH7QN28JEA`
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.04894#NGCM, Exponential relaxation and vacuum-layer sharpening (statement). In AZZ35SDENN/e1, theorem 2.3

History

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

Ruth Aaronson Bari TH7SBXVCB7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#14C9, Ruth Aaronson Bari (topic)

History

2026-11-02: add by m2/dev

TH7SKX8QAM TH7SKX8QAM

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

Mentions

arxiv: arXiv 2610.10558#C41Q (statement). In GYSF9JXQCH/e1, lemma 3.8

History

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

Rope-burning puzzle TH7SN5Z8D2

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

Mentions

wikipedia: Wikipedia Rope-burning puzzle, Rope-burning puzzle (problem). Also Wikidata Q107740093

History

2026-11-02: add by m2/dev

TH7ZC1594S TH7ZC1594S

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

Mentions

arxiv: arXiv 2610.08638#P28D (statement). In 113VZ5XX7J/e1, proposition 4.2

History

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

TH80NHSVGZ TH80NHSVGZ

URI	`m2://inv/TH80NHSVGZ`
Kind	statement
Layer	research
MSC	20-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.06699#72PQ (statement). In GXHKRV5BPY/e1, corollary 3.26

History

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

TH8211KK6Z TH8211KK6Z

URI	`m2://inv/TH8211KK6Z`
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.25524#CGS7 (statement)

History

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

Local Dirac-discriminant rigidity TH8CJFFHRA

URI	`m2://inv/TH8CJFFHRA`
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.20197#IP8V, Local Dirac-discriminant rigidity (statement)

History

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

Properties TH8KZEQ6XT

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

Mentions

wikipedia: Wikipedia Fréchet algebra#BLWY, Properties (statement)

History

2026-11-02: add by m2/dev

TH8MXS54GK TH8MXS54GK

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

Mentions

arxiv: arXiv 2308.05715#DY7N (definition). In FC0SB9JFWH/e1, definition 4.6

History

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

TH8N6JXW1Y TH8N6JXW1Y

URI	`m2://inv/TH8N6JXW1Y`
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.02642#H3DL (statement). In VMWV58VWKN/e1, proposition 4.9

History

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

TH9D4K1ZW6 TH9D4K1ZW6

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

Mentions

arxiv: arXiv 2610.05232#NN44 (statement). In DA3VN96YX2/e1, corollary 2.5

History

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

interval, arithmetic TH9ZHTBP8G

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

Mentions

hott_book: hott_book index/B.6/interval-arithmetic, interval, arithmetic (concept). In N54F33XE07, index, section B.6

History

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

Exponential diophantine equation THA2C242W7

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

Mentions

wikipedia: Wikipedia List of exponential topics#PUZQ, Exponential diophantine equation (definition)

History

2026-11-02: add by m2/dev

Shparlinski, 2019 THA2YZZZ26

URI	`m2://inv/THA2YZZZ26`
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.35950#SIPI, Shparlinski, 2019 (statement). In BZN1G5W5FX/e1, theorem 7.3

History

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

Contraction from a Gaussian convolution THA430DDHJ

URI	`m2://inv/THA430DDHJ`
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#W22D, Contraction from a Gaussian convolution (statement). In 9YAE8FNQST/e1, lemma 16.4

History

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

Examples THAHRNJAAC

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

Mentions

wikipedia: Wikipedia Existential fallacy#F29G, Examples (example)

History

2026-11-02: add by m2/dev

Superegg THAP7QN9DX

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

Mentions

wikipedia: Wikipedia List of surfaces#FE63, Superegg (definition)

History

2026-11-02: add by m2/dev

Banach–Steinhaus theorem THASMC8EHQ

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

Mentions

wikipedia: Wikipedia List of theorems#3J0Z, Banach–Steinhaus theorem (statement)

History

2026-11-02: add by m2/dev

THAVWNW3RG THAVWNW3RG

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

Mentions

arxiv: arXiv 2610.08873#38EF (statement). In 7WMNVJBAVR/e1, corollary 5.10

History

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

Properties THAWEF9VGH

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

Mentions

wikipedia: Wikipedia Information content#E6RF, Properties (statement)

History

2026-11-02: add by m2/dev

Twisted Edwards curve THB072VJEF

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

Mentions

wikipedia: Wikipedia Twisted Edwards curve, Twisted Edwards curve (definition). Also Wikidata Q7858515

History

2026-11-02: add by m2/dev

THBCAH2VWV THBCAH2VWV

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

Mentions

arxiv: arXiv 2609.25167#D1BN (statement)

History

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

THBCZDR2KJ THBCZDR2KJ

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

Mentions

arxiv: arXiv 2609.27931#4LM6 (statement)

History

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

FWL theorem THBKJVZK7H

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

Mentions

wikipedia: Wikipedia List of theorems#S5SB, FWL theorem (statement)

History

2026-11-02: add by m2/dev

Heinz-Dieter Ebbinghaus THBMBXXR9R

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

Mentions

wikipedia: Wikipedia List of German mathematicians#10I5, Heinz-Dieter Ebbinghaus (topic)

History

2026-11-02: add by m2/dev

Warsaw circle THBP37ZPPZ

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

Mentions

wikipedia: Wikipedia List of topologies#MEUQ, Warsaw circle (topic)

History

2026-11-02: add by m2/dev

SMSG (School Mathematics Study Group) axioms THBT7ZQAH1

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

Mentions

wikipedia: Wikipedia Foundations of geometry#J54P, SMSG (School Mathematics Study Group) axioms (statement)

History

2026-11-02: add by m2/dev

THBWGGA3MQ THBWGGA3MQ

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

Mentions

arxiv: arXiv 2609.29877#KWF0 (statement)

History

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

THC9Z0FW3T THC9Z0FW3T

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

Mentions

open_logic: open_logic content/incompleteness/theories-computability/extensions-of-q-not-decidable.tex#lem-1 (statement). In PKGMM3P5QY, lem, section 30.8

History

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

Lagrangian (mechanics) THCA3MBQCS

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

Mentions

wikipedia: Wikipedia Lagrangian mechanics#I16M, Lagrangian (mechanics) (unknown)

History

2026-11-02: add by m2/dev

Factorisation in $\Z[\pi]$ THCAMVP97G

URI	`m2://inv/THCAMVP97G`
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.07905#XCYM, Factorisation in $\Z[\pi]$ (statement). In 88GEN3Z5VG/e1, lemma 8.12

History

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

Formal fallacy THCFGB2B88

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

Mentions

wikipedia: Wikipedia Formal fallacy, Formal fallacy (definition). Also Wikidata Q962165

History

2026-11-02: add by m2/dev

THCFR5BMWT THCFR5BMWT

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

Mentions

arxiv: arXiv 2609.28794#SA0J (definition)

History

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

sequential compactness is equivalent to compactness (Bolzano-Weierstrass) THCWH0XV61

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

Mentions

mathlib_overview: mathlib_overview Topology > Metric spaces > sequential compactness is equivalent to compactness (Bolzano-Weierstrass), sequential compactness is equivalent to compactness (Bolzano-Weierstrass) (unknown). Also Mathlib isCompact_iff_isSeqCompact
mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > sequential compactness is equivalent to compactness (Bolzano-Weierstrass), sequential compactness is equivalent to compactness (Bolzano-Weierstrass) (unknown). Also Mathlib isCompact_iff_isSeqCompact

History

2026-10-26: add by m2/dev

Taivo Arak THD3DD3NKM

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

Mentions

wikipedia: Wikipedia Taivo Arak, Taivo Arak (topic). Also Wikidata Q23645127

History

2026-11-02: add by m2/dev

THD3WEDNCF THD3WEDNCF

URI	`m2://inv/THD3WEDNCF`
Kind	definition
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 2610.20376#FRRS (definition). In DGTCGQX6YZ/e1, definition 2.7

History

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

THD49F5734 THD49F5734

URI	`m2://inv/THD49F5734`
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.15881#WJLL (statement). In RK0JCSYK33/e1, theorem C

History

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

THD60F693G THD60F693G

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

Mentions

arxiv: arXiv 2609.29489#1IQ0 (statement)

History

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

Greg Moore THD8FPTZJB

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#N1O9, Greg Moore (unknown)

History

2026-11-02: add by m2/dev

Finite-height prefix-sum tail THDAETQC21

URI	`m2://inv/THDAETQC21`
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.37164#FNRB, Finite-height prefix-sum tail (statement). In B2PG75FSQJ/e1, lemma 6.7

History

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

J. W. Hopkins THDH5ES8YZ

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

Mentions

wikipedia: Wikipedia J. W. Hopkins, J. W. Hopkins (topic). Also Wikidata Q135917607

History

2026-11-02: add by m2/dev

Essential extension THE0XB8CB6

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

Mentions

wikipedia: Wikipedia Essential extension, Essential extension (definition). Also Wikidata Q2563809

History

2026-11-02: add by m2/dev

Milnor invariants THE2JS5ZES

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

Mentions

wikipedia: Wikipedia Link group#6OF4, Milnor invariants (unknown)

History

2026-11-02: add by m2/dev

Examples THE2P4S864

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

Mentions

wikipedia: Wikipedia Superfunction#OCQY, Examples (example)

History

2026-11-02: add by m2/dev

American Mathematical Society THEE4R0ATH

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

Mentions

wikipedia: Wikipedia List of mathematical societies#MF0T, American Mathematical Society (topic)

History

2026-11-02: add by m2/dev

THEHV00TZX THEHV00TZX

URI	`m2://inv/THEHV00TZX`
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 2305.13184#WI7P (statement). In SKYG9GMA96/e1, lemma 3.4

History

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

Maurizio Cornalba THEQW3Z2H7

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

Mentions

wikipedia: Wikipedia Maurizio Cornalba, Maurizio Cornalba (topic). Also Wikidata Q15456146

History

2026-11-02: add by m2/dev

Verification for MFOSLS THF6WT7Y95

URI	`m2://inv/THF6WT7Y95`
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.05767#7HGB, Verification for MFOSLS (statement). In BG6MTYCXWS/e1, proposition 4.11

History

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

THFC13CHHZ THFC13CHHZ

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

Mentions

hott_book: hott_book setmath.tex#proof-28 (proof). In N54F33XE07, proof, section C.3

History

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

THFH2R7CS2 THFH2R7CS2

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

Mentions

arxiv: arXiv 2610.04709#WXVM (definition). In 9J260W15RY/e1, definition 1

History

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

THFQACASC0 THFQACASC0

URI	`m2://inv/THFQACASC0`
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 2508.02432#8O43 (example). In B366ACYB37/e1, example 3.4

History

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

THFW97YJDY THFW97YJDY

URI	`m2://inv/THFW97YJDY`
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 2512.22986#8G01 (statement). In GFP8TEKFBC/e1, lemma 3

History

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

Precise statement THFX5KQS5G

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

Mentions

wikipedia: Wikipedia Graph removal lemma#3CR3, Precise statement (statement)

History

2026-11-02: add by m2/dev

THG1ETT7NV THG1ETT7NV

URI	`m2://inv/THG1ETT7NV`
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.10325#W3CR (statement). In 66CDJ94PGW/e1, proposition 5.1

History

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

THG1ZME6CB THG1ZME6CB

URI	`m2://inv/THG1ZME6CB`
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.32374#LD6X (statement). In 96D6N9AXQM/e1, theorem 4.6

History

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

THG2T2DQFH THG2T2DQFH

URI	`m2://inv/THG2T2DQFH`
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.23238#PDNL (statement)

History

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

Examples THG77Z8W4H

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

Mentions

wikipedia: Wikipedia Characteristic polynomial#L7T1, Examples (example)

History

2026-11-02: add by m2/dev

Fundamenta Mathematicae THG7BH9766

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

Mentions

wikipedia: Wikipedia Fundamenta Mathematicae, Fundamenta Mathematicae (definition). Also Wikidata Q771148

History

2026-11-02: add by m2/dev

522 (number) THG8PF4YN4

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

Mentions

wikipedia: Wikipedia 500 (number)#7AXS, 522 (number) (unknown)

History

2026-11-02: add by m2/dev

THGJB4V0ZQ THGJB4V0ZQ

URI	`m2://inv/THGJB4V0ZQ`
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.02579#NIGO (statement). In CBTJDYHH34/e1, lemma 15

History

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

Quartile coefficient of dispersion THGTY2S0K6

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

Mentions

wikipedia: Wikipedia Quartile coefficient of dispersion, Quartile coefficient of dispersion (definition). Also Wikidata Q7269372
wikipedia: Wikipedia Quartile coefficient of dispersion#80QP, QCD (definition)

History

2026-11-02: add by m2/dev

Formal Definitions THGX60KFW1

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

Mentions

wikipedia: Wikipedia Correlation clustering#ZOWY, Formal Definitions (definition)

History

2026-11-02: add by m2/dev

Finiteness of marked Mori fiber spaces THGYA10XTM

URI	`m2://inv/THGYA10XTM`
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.33679#YTWD, Finiteness of marked Mori fiber spaces (statement). In 3N9E9T6AF5/e1, theorem 1.2

History

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

Propagation of uncertainty THH33YCT0Y

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

Mentions

wikipedia: Wikipedia List of statistics articles#4TKM, Propagation of uncertainty (definition)

History

2026-11-02: add by m2/dev

Fundamental weights for $\SL_{4}(\C)/B$, $\PP^{3}$ and $\Gr(2,4)$ THHDWJA7BE

URI	`m2://inv/THHDWJA7BE`
Kind	example
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.21914#A2ZI, Fundamental weights for $\SL_{4}(\C)/B$, $\PP^{3}$ and $\Gr(2,4)$ (example)

History

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

Marchenko–Pastur distribution THHR4Q605A

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

Mentions

wikipedia: Wikipedia Marchenko–Pastur distribution, Marchenko–Pastur distribution (definition). Also Wikidata Q6756972

History

2026-11-02: add by m2/dev

Formal definition THHRK1K1M6

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

Mentions

wikipedia: Wikipedia Shehu transform#MY8C, Formal definition (definition)

History

2026-11-02: add by m2/dev

THHYCDZBPX THHYCDZBPX

URI	`m2://inv/THHYCDZBPX`
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.22752#KOVC (statement)

History

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

THJ0XFT7ZG THJ0XFT7ZG

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

Mentions

arxiv: arXiv 2609.20805#Y1PC (statement)

History

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

THJ5E0KGRC THJ5E0KGRC

URI	`m2://inv/THJ5E0KGRC`
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#9YYH (statement). In ER5EH4W919/e1, lemma 9.3

History

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

THJ8N7SA3R THJ8N7SA3R

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

Mentions

arxiv: arXiv 2610.16475#C1B5 (definition). In FM9SKN560Q/e1, definition 3.7

History

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

THJA98VRVB THJA98VRVB

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

Mentions

arxiv: arXiv 2609.34382#2OE4 (statement). In MEF2VCAYXS/e1, theorem 1.1

History

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

Carol Joyce Blumberg THJCB5YZXQ

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

Mentions

wikipedia: Wikipedia Carol Joyce Blumberg, Carol Joyce Blumberg (topic). Also Wikidata Q58009631

History

2026-11-02: add by m2/dev

Hofstadter Q sequence THJGWVQRZB

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

Mentions

wikipedia: Wikipedia Hofstadter sequence#JB7W, Hofstadter Q sequence (unknown)

History

2026-11-02: add by m2/dev

Additional conditions for the full divisor operator THJNRWXGAM

URI	`m2://inv/THJNRWXGAM`
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.03520#D1VT, Additional conditions for the full divisor operator (statement). In CSRZ9CWK69/e1, proposition 9.15

History

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

THJY4XTFHB THJY4XTFHB

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

Mentions

arxiv: arXiv 2609.20042#W1QN (statement)

History

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

Dyer THJZWMGTSV

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

Mentions

arxiv: arXiv 2609.27253#FN3X, Dyer (conjecture)

History

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

Pentomino puzzle THK29WNXMJ

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

Mentions

wikipedia: Wikipedia Pentomino#9NBX, Pentomino puzzle (unknown)

History

2026-11-02: add by m2/dev

THK47JBWV6 THK47JBWV6

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

Mentions

arxiv: arXiv 2102.12931#N81V (statement). In PQHTR84RAJ/e1, lemma 3.6

History

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

THK7BCV7VN THK7BCV7VN

URI	`m2://inv/THK7BCV7VN`
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 2609.25703#26E5 (definition)

History

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

THK84XGK3C THK84XGK3C

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

Mentions

arxiv: arXiv 2610.10930#22OC (definition). In HX63A1PH1W/e1, definition 7.7

History

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

per capita growth rate THK8D5J4SG

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

Mentions

active_calculus: active_calculus index/7.6.2/per-capita-growth-rate, per capita growth rate (concept). In 907G4C4EJ1, index, section 7.6.2

History

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

THKB0B80K6 THKB0B80K6

URI	`m2://inv/THKB0B80K6`
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.10576#KBJI (statement). In N3ZA5MDZBW/e1, lemma 8

History

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

THKDTACF4R THKDTACF4R

URI	`m2://inv/THKDTACF4R`
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.23237#TPLS (statement)

History

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

reflex angle THKDZDMM1V

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

Mentions

wikidata: Wikidata Q10396169, reflex angle (unknown). Also MathWorld ReflexAngle

History

2026-10-26: add by m2/dev

Erlang C formula THKH3FYAJ1

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

Mentions

wikipedia: Wikipedia Erlang (unit)#FQN2, Erlang C formula (statement)

History

2026-11-02: add by m2/dev

THKJ4CC2MA THKJ4CC2MA

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

Mentions

arxiv: arXiv 2609.26366#2D3V (definition)

History

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

Nuclear potential energy THKJB4493G

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

Mentions

wikipedia: Wikipedia Potential energy#ROP3, Nuclear potential energy (unknown)

History

2026-11-02: add by m2/dev

Tricomi–Carlitz polynomials THKYD3K1GF

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

Mentions

wikipedia: Wikipedia Tricomi–Carlitz polynomials, Tricomi–Carlitz polynomials (definition). Also Wikidata Q7841288

History

2026-11-02: add by m2/dev

THM0F23XEJ THM0F23XEJ

URI	`m2://inv/THM0F23XEJ`
Kind	statement
Layer	research
MSC	16-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 2512.16003#0P4P (statement). In BJGS6ZCQ12/e1, proposition 8.4

History

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

THM5WZHX84 THM5WZHX84

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

Mentions

arxiv: arXiv 2610.09422#SBLL (statement). In MS7M2BJS9X/e1, lemma 6.4

History

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

Uniqueness of flat tangent cones THMDR5A4P9

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

Mentions

arxiv: arXiv 2610.09596#19C4, Uniqueness of flat tangent cones (statement). In HXFA55BREZ/e1, corollary 1.18

History

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

Pseudocomplement THME5Z6FF1

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

Mentions

wikipedia: Wikipedia Pseudocomplement, Pseudocomplement (definition). Also Wikidata Q18345290

History

2026-11-02: add by m2/dev

derived stack THMERW8KAZ

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

Mentions

wikidata: Wikidata Q16937241, derived stack (unknown). Also nLab derived stack
wikipedia: Wikipedia Derived stack, Derived stack (definition). Also Wikidata Q16937241

History

2026-10-26: add by m2/dev

Examples THMSTDE7FN

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

Mentions

wikipedia: Wikipedia Geodesic bicombing#PI4E, Examples (example)

History

2026-11-02: add by m2/dev

Definition THMXDANVM1

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

Mentions

wikipedia: Wikipedia Exponential factorial#BXOT, Definition (definition)

History

2026-11-02: add by m2/dev

Lie conformal algebra THMYPRVM5S

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

Mentions

wikipedia: Wikipedia Lie conformal algebra, Lie conformal algebra (definition). Also Wikidata Q6543817

History

2026-11-02: add by m2/dev

Information geometry THMZKQNKDW

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#7BGR, Information geometry (definition)

History

2026-11-02: add by m2/dev

THN4AP7YXT THN4AP7YXT

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

Mentions

arxiv: arXiv 2610.16554#F17Y (statement). In GWNT8HEZG1/e1, theorem 4.40

History

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

THN7GTHBNM THN7GTHBNM

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

Mentions

arxiv: arXiv 2204.04317#TYLQ (statement). In 49V3ANDZTY/e1, theorem 3.3

History

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

Statement of the theorem THNJ3V2CVN

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

Mentions

wikipedia: Wikipedia Hasse–Arf theorem#CJIB, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

THNP1ZPQKD THNP1ZPQKD

URI	`m2://inv/THNP1ZPQKD`
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.13723#YET5 (statement). In HPBCRT0Z0V/e1, theorem 6

History

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

Properties THNYXRM9VN

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

Mentions

wikipedia: Wikipedia Fibred category#F7FT, Properties (statement)

History

2026-11-02: add by m2/dev

THP37Q3ZNN THP37Q3ZNN

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

Mentions

austin_ula: austin_ula src/exercises/exercises7-1.xml#exercise-9 (exercise). In 649HGZKE96, exercise, section 7.1

History

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

Salstat THP7MYM1Q6

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

Mentions

wikipedia: Wikipedia List of statistical software#5R30, Salstat (unknown)

History

2026-11-02: add by m2/dev

Diodorus Cronus THPHZEVGPV

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

Mentions

wikipedia: Wikipedia List of logicians#I4I2, Diodorus Cronus (topic)

History

2026-11-02: add by m2/dev

THPJ7DD26R THPJ7DD26R

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

Mentions

arxiv: arXiv 2609.38742#B08V (statement). In TSXBJB0EXK/e1, proposition 6.2

History

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

THPPS4XN3A THPPS4XN3A

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

Mentions

arxiv: arXiv 2610.11800#OV1G (example). In 8TSZ2E32K3/e1, example 3

History

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

Structural properties of the habitat-conforming operator THPSGHHM7X

URI	`m2://inv/THPSGHHM7X`
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.29524#B2ZY, Structural properties of the habitat-conforming operator (statement)

History

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

THPSXRR4WK THPSXRR4WK

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

Mentions

napkin: napkin tex/diffgeo/stokes.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 46.6

History

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

Borel set THPTM2KK38

URI	`m2://inv/THPTM2KK38`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Borel sigma-algebra 0WQXY32Q8D

Mentions

wikidata: Wikidata Q21086747, Borel set (definition). Also EoM Borel_set, MathWorld BorelSet, nLab Borel subset, ProofWiki Definition:Borel_Sigma-Algebra/Borel_Set
wikipedia: Wikipedia Borel set, Borel set (definition). Also Wikidata Q21086747

History

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

Inference pairs in $C$ THQ4DZQESY

URI	`m2://inv/THQ4DZQESY`
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 2609.26776#DCYD, Inference pairs in $C$ (example)

History

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

THQACX9TF2 THQACX9TF2

URI	`m2://inv/THQACX9TF2`
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.23526#VGYQ (statement)

History

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

Open mapping theorems THQE8AC37T

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

Mentions

wikipedia: Wikipedia Almost open map#NT3J, Open mapping theorems (statement)

History

2026-11-02: add by m2/dev

Bickley–Naylor functions THQQ6EG7TX

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

Mentions

wikipedia: Wikipedia Bickley–Naylor functions, Bickley–Naylor functions (definition). Also Wikidata Q30593198

History

2026-11-02: add by m2/dev

THQQXSCYJ5 THQQXSCYJ5

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

Mentions

arxiv: arXiv 2609.33263#2IQX (statement). In 6S5EH3388Z/e1, lemma 2.8

History

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

Irreducible element THQT64XPDP

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

Mentions

wikipedia: Wikipedia List of order theory topics#0ZY5, Irreducible element (unknown)

History

2026-11-02: add by m2/dev

THQW0ZHQB0 THQW0ZHQB0

URI	`m2://inv/THQW0ZHQB0`
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#DWX1 (statement). In E7W2HDNEKJ/e1, theorem 5.43

History

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

Lorenzo Pareschi THQXG04MYM

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

Mentions

wikipedia: Wikipedia Lorenzo Pareschi, Lorenzo Pareschi (topic). Also Wikidata Q21542368

History

2026-11-02: add by m2/dev

Alastair Denniston THQY7V3PJ3

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

Mentions

wikipedia: Wikipedia Alastair Denniston, Alastair Denniston (topic). Also Wikidata Q833564

History

2026-11-02: add by m2/dev

THQYRB8P19 THQYRB8P19

URI	`m2://inv/THQYRB8P19`
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 2609.20678#FK9O (statement)

History

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

Global optimization THRAQ25N71

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#R9DR, Global optimization (topic)

History

2026-11-02: add by m2/dev

THRF832Z6R THRF832Z6R

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

Mentions

arxiv: arXiv 2610.06683#O3VM (statement). In NH7VBYH6PH/e1, theorem 1.2

History

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

Long line (topology) THRPFRS5XA

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

Mentions

wikipedia: Wikipedia List of general topology topics#5WLC, Long line (topology) (definition)
wikipedia: Wikipedia List of topologies#DG2K, Long line (topology) (definition)
wikipedia: Wikipedia List of topologies#LPKM, Long line (topology) (definition)

History

2026-11-02: add by m2/dev

THRPJE5D25 THRPJE5D25

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

Mentions

napkin: napkin tex/set-theory/cardinal.tex#proof-1 (proof). In RZP28ERRZV, proof, section 89.3

History

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

The graded character algebra THRRW5HG2W

URI	`m2://inv/THRRW5HG2W`
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.04189#KGG6, The graded character algebra (statement). In 1KRZ5ACTKE/e1, theorem 4.4

History

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

Definition THRVHTY563

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

Mentions

wikipedia: Wikipedia Family-wise error rate#J0NN, Definition (definition)

History

2026-11-02: add by m2/dev

Löb's theorem THRYPHPG48

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#AJOQ, Löb's theorem (statement)

History

2026-11-02: add by m2/dev

Automated planning and scheduling THS050GSZ4

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

Mentions

wikipedia: Wikipedia Automated planning and scheduling, Automated planning and scheduling (topic). Also Wikidata Q2631895

History

2026-11-02: add by m2/dev

THS15P86AW THS15P86AW

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-5 (exercise). In E59CDZA4DP, exercise, section 6.1.1

History

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

Definition THS2FB0Y2T

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

Mentions

wikipedia: Wikipedia De Sitter space#9ZHP, Definition (definition)

History

2026-11-02: add by m2/dev

Ieke Moerdijk THS5YHF6P3

URI	`m2://inv/THS5YHF6P3`
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 Q167048, Ieke Moerdijk (unknown). Also nLab Ieke Moerdijk
wikipedia: Wikipedia Ieke Moerdijk, Ieke Moerdijk (topic). Also Wikidata Q167048

History

2026-10-26: add by m2/dev

Non-smoothable manifold THS63J6ATY

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

Mentions

wikipedia: Wikipedia Differentiable manifold#0BAY, Non-smoothable manifold (unknown)

History

2026-11-02: add by m2/dev

Xuejia Lai THSP3DXXMX

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

Mentions

wikipedia: Wikipedia Xuejia Lai, Xuejia Lai (topic). Also Wikidata Q3571074

History

2026-11-02: add by m2/dev

Definitions THSQVAG541

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

Mentions

wikipedia: Wikipedia Alpha recursion theory#AVYB, Definitions (definition)

History

2026-11-02: add by m2/dev

tolerant THT051G2B1

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

Mentions

wikipedia: Wikipedia Glossary of logic#B34E, tolerant (definition)

History

2026-11-02: add by m2/dev

Without any loss of generality THTSK53FPY

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#3S3Q, Without any loss of generality (definition)

History

2026-11-02: add by m2/dev

THTYMEVYT6 THTYMEVYT6

URI	`m2://inv/THTYMEVYT6`
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 2207.07461#BYEK (statement). In GAG532VMPF/e1, lemma 3.3.7

History

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

Arithmetic mean THV1KH6JVN

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#WCEL, Arithmetic mean (definition)

History

2026-11-02: add by m2/dev

THV278WYDT THV278WYDT

URI	`m2://inv/THV278WYDT`
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 2209.01576#1UU3 (statement). In EF0X4TKTR4/e1, proposition 2.8

History

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

THV766A15B THV766A15B

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

Mentions

arxiv: arXiv 2609.21528#QCGV (statement)

History

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

Negeri Sembilan THVD9Y9WC0

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

Mentions

wikipedia: Wikipedia List of places with numeric names#9Q9P, Negeri Sembilan (unknown)

History

2026-11-02: add by m2/dev

Hadamard three-circle theorem THVRW69DJ8

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

Mentions

wikipedia: Wikipedia List of complex analysis topics#8LJZ, Hadamard three-circle theorem (statement)

History

2026-11-02: add by m2/dev

THVXSXXCCQ THVXSXXCCQ

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#lemma:contint (statement). In E59CDZA4DP, lemma, section 8.2.3

History

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

Free-standing Mathematics Qualifications THW6CSZ3J3

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

Mentions

wikipedia: Wikipedia Free-standing Mathematics Qualifications, Free-standing Mathematics Qualifications (definition). Also Wikidata Q5499627

History

2026-11-02: add by m2/dev

promonoidal category THW6VWBRJN

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

Mentions

wikidata: Wikidata Q107469099, promonoidal category (unknown). Also nLab promonoidal category

History

2026-10-26: add by m2/dev

Definition THWT17RX80

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

Mentions

wikipedia: Wikipedia Entropy (information theory)#O5TQ, Definition (definition)

History

2026-11-02: add by m2/dev

Attalus of Rhodes THWWXTYYES

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#04E9, Attalus of Rhodes (unknown)

History

2026-11-02: add by m2/dev

Cutler's bar notation THWYEW7J0B

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

Mentions

wikipedia: Wikipedia Cutler's bar notation, Cutler's bar notation (definition). Also Wikidata Q5196865

History

2026-11-02: add by m2/dev

THX08RXGBP THX08RXGBP

URI	`m2://inv/THX08RXGBP`
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 2610.08885#BUGO (statement). In B4RHB3CF12/e1, corollary 1.2

History

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

THX4KNJKF9 THX4KNJKF9

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

History

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

Infinitesimal THXCT62S6F

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

Mentions

wikipedia: Wikipedia List of calculus topics#08LA, Infinitesimal (definition)
wikipedia: Wikipedia List of calculus topics#Y0QN, Infinitesimal (definition)

History

2026-11-02: add by m2/dev

reflective subcategory THXDPC501D

URI	`m2://inv/THXDPC501D`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Reflective subcategory FC7VB4WSG0

Mentions

wikidata: Wikidata Q6101219, reflective subcategory (unknown). Also nLab reflective subcategory
wikipedia: Wikipedia Reflective subcategory, Reflective subcategory (definition). Also Wikidata Q6101219

History

2026-10-26: add by m2/dev

THXFQHKJME THXFQHKJME

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

Mentions

arxiv: arXiv 2610.10804#A8AS (definition). In 6M5WR7KB80/e1, definition 3.3

History

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

Final value theorem THXPJQATAB

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

Mentions

mathlib_1000: mathlib_1000 Q4272645, Final value theorem (statement). Also Wikidata Q4272645
thousand_plus: thousand_plus Q4272645, Final value theorem (statement). Also Wikidata Q4272645, Wikipedia Final value theorem
wikipedia: Wikipedia Final value theorem, Final value theorem (statement). Also Wikidata Q4272645

History

2026-10-26: add by m2/dev

THXQ696FEW THXQ696FEW

URI	`m2://inv/THXQ696FEW`
Kind	statement
Layer	research
MSC	03-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 2602.15812#R01O (statement). In GAAZD3SGPN/e1, proposition

History

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

THXWBQ06P3 THXWBQ06P3

URI	`m2://inv/THXWBQ06P3`
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.12357#4QO6 (statement). In 1F26AF81XP/e1, theorem 1.12

History

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

tangent THXZVAXNRY

URI	`m2://inv/THXZVAXNRY`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Tangent line 01R1HW3Y42

Mentions

wikidata: Wikidata Q1129196, tangent (definition). Also EoM Tangent, MathWorld Tangent, ProofWiki Definition:Tangent_Function
wikidata: Wikidata Q131251, tangent (unknown). Also MathWorld Tangent
wikipedia: Wikipedia Tangent, Tangent (definition). Also Wikidata Q131251

History

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

Trikonic THY0A24AMC

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

Mentions

wikipedia: Wikipedia Trikonic, Trikonic (definition). Also Wikidata Q7841966

History

2026-11-02: add by m2/dev

Coercivity THY2CG1YVW

URI	`m2://inv/THY2CG1YVW`
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 2609.30049#MFOK, Coercivity (definition)

History

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

Frequency domain THY4ABWXX9

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

Mentions

wikipedia: Wikipedia List of statistics articles#ZIEE, Frequency domain (definition)

History

2026-11-02: add by m2/dev

THY4Z47RK9 THY4Z47RK9

URI	`m2://inv/THY4Z47RK9`
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 1607.01095#NTMS (statement). In W3T1ZAT3GC/e1, theorem 3.10

History

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

Theorem 1 (Hoffman) THY5HX4BBF

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

Mentions

wikipedia: Wikipedia Multiple zeta function#25DM, Theorem 1 (Hoffman) (statement)

History

2026-11-02: add by m2/dev

THYCPSTRRD THYCPSTRRD

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

Mentions

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

History

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

THYJRFNYQK THYJRFNYQK

URI	`m2://inv/THYJRFNYQK`
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.14837#WP9J (statement). In J4P6HXMJCH/e1, corollary 5.3

History

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

Global convergence with three HVPs THYKF0FY9Y

URI	`m2://inv/THYKF0FY9Y`
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.06557#M33E, Global convergence with three HVPs (statement). In VV5CH6Y31D/e1, theorem 3.4

History

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

THZ1HDA0HK THZ1HDA0HK

URI	`m2://inv/THZ1HDA0HK`
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 2504.00267#J1IS (statement). In 38XJWDZ2PH/e1, theorem 3.22

History

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

Selection theorem THZ6C7XAKA

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

Mentions

wikipedia: Wikipedia Selection theorem, Selection theorem (statement). Also Wikidata Q104841440

History

2026-11-02: add by m2/dev

THZ8XYGB46 THZ8XYGB46

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

Mentions

arxiv: arXiv 2610.03373#X8D2 (statement). In ZA7DBT3NWR/e1, theorem 3.16

History

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

Convex optimization THZBGP3N3R

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

Mentions

wikipedia: Wikipedia List of convexity topics#RI1C, Convex optimization (topic)

History

2026-11-02: add by m2/dev

Great rhombihexacron THZG7GH414

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

Mentions

wikipedia: Wikipedia Great rhombihexacron, Great rhombihexacron (object). Also Wikidata Q5600387

History

2026-11-02: add by m2/dev

THZH1TX4EK THZH1TX4EK

URI	`m2://inv/THZH1TX4EK`
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.17477#QTKS (statement). In 3A92NCWYN3/e1, corollary 2

History

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

Unsolved! THZMTXQYEC

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

Mentions

wikipedia: Wikipedia Unsolved!, Unsolved! (definition). Also Wikidata Q124302083

History

2026-11-02: add by m2/dev

Ogden's lemma THZR56QSWJ

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

Mentions

wikipedia: Wikipedia Ogden's lemma, Ogden's lemma (statement). Also Wikidata Q1855893

History

2026-11-02: add by m2/dev

Combinatorics, Probability and Computing THZWJKCXVV

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

Mentions

wikipedia: Wikipedia Combinatorics, Probability and Computing, Combinatorics, Probability and Computing (definition). Also Wikidata Q15759553

History

2026-11-02: add by m2/dev