Inventory rows HZ

Non-examples HZ01F7VJ39

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

Mentions

wikipedia: Wikipedia Fully polynomial-time approximation scheme#GSS4, Non-examples (counterexample)

History

2026-11-02: add by m2/dev

Leonard Nelson HZ03RJPAW8

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

Mentions

wikipedia: Wikipedia List of German mathematicians#U6Z9, Leonard Nelson (unknown)

History

2026-11-02: add by m2/dev

Burmester's theory HZ06GN56Q3

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

Mentions

wikipedia: Wikipedia Burmester's theory, Burmester's theory (definition). Also Wikidata Q4999467

History

2026-11-02: add by m2/dev

Sy Friedman HZ09Q6NZFR

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#4BN2, Sy Friedman (topic)

History

2026-11-02: add by m2/dev

Ádám's conjecture HZ0AW9XKWB

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

Mentions

wikipedia: Wikipedia Circulant graph#MP86, Ádám's conjecture (statement)

History

2026-11-02: add by m2/dev

sphere packing HZ0BE4KNPA

URI	`m2://inv/HZ0BE4KNPA`
Kind	conjecture
Layer	textbook
Sources	2
Outcome	open
Node	Sphere packing HF32CBN5MA

Mentions

wikidata: Wikidata Q900117, sphere packing (unknown). Also MathWorld SpherePacking, nLab sphere packing
wikipedia: Wikipedia Sphere packing, Sphere packing (conjecture). Also Wikidata Q900117

History

2026-10-26: add by m2/dev

Definition HZ0KCPFEGG

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

Mentions

wikipedia: Wikipedia Noncentral chi distribution#IXN4, Definition (definition)

History

2026-11-02: add by m2/dev

Frédéric Marty HZ0P44JADK

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

Mentions

wikipedia: Wikipedia Frédéric Marty, Frédéric Marty (topic). Also Wikidata Q22692961

History

2026-11-02: add by m2/dev

HZ0Q14V6Z5 HZ0Q14V6Z5

URI	`m2://inv/HZ0Q14V6Z5`
Kind	example
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 2310.14879#3HNO (example). In 3VZ55B2N0D/e1, example 6.26

History

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

HZ0RKR161X HZ0RKR161X

URI	`m2://inv/HZ0RKR161X`
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.31289#24JC (statement). In CPDM7J0CC0/e1, theorem 4.3

History

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

Generalization HZ0RSYQYBJ

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

Mentions

wikipedia: Wikipedia Random Fibonacci sequence#9GD9, Generalization (statement)

History

2026-11-02: add by m2/dev

BV4.1 HZ10ATQQYB

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

Mentions

wikipedia: Wikipedia List of statistical software#A4YO, BV4.1 (definition)

History

2026-11-02: add by m2/dev

List of fractal topics HZ10H7Y9ZD

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#OUW8, List of fractal topics (topic)

History

2026-11-02: add by m2/dev

HZ11CSCXFQ HZ11CSCXFQ

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_gt-planar.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 5.3

History

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

Competing risk HZ1AXNPNBA

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

Mentions

wikipedia: Wikipedia Relative survival#3G90, Competing risk (unknown)

History

2026-11-02: add by m2/dev

Cauchy inequalities HZ1FRMSRY0

URI	`m2://inv/HZ1FRMSRY0`
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.29605#IMK3, Cauchy inequalities (statement)

History

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

HZ1G5FCGYE HZ1G5FCGYE

URI	`m2://inv/HZ1G5FCGYE`
Kind	statement
Layer	research
MSC	14-XX, 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.15434#PJR3 (statement). In PWF23QSGDX/e1, proposition 4.5

History

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

Bitensor HZ1QGQ5JYM

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

Mentions

wikipedia: Wikipedia Bitensor, Bitensor (definition). Also Wikidata Q133825775

History

2026-11-02: add by m2/dev

HZ28Z99Y5G HZ28Z99Y5G

URI	`m2://inv/HZ28Z99Y5G`
Kind	example
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.22657#IGCM (example)

History

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

Allison McCoy HZ2A2C79AN

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

Mentions

wikipedia: Wikipedia Allison McCoy, Allison McCoy (topic). Also Wikidata Q58132792

History

2026-11-02: add by m2/dev

Terminology HZ3391QYHJ

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

Mentions

wikipedia: Wikipedia Quintessence (physics)#7M0Y, Terminology (definition)

History

2026-11-02: add by m2/dev

HZ33FYQFKM HZ33FYQFKM

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

Mentions

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

History

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

Quantitative task-value comparison HZ35F6C79Y

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

Mentions

arxiv: arXiv 2609.33154#ZAWC, Quantitative task-value comparison (statement). In N28DEYRBW7/e1, theorem 3.1

History

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

Weak Harnack inequality - uniformly elliptic HZ3E5SQS6K

URI	`m2://inv/HZ3E5SQS6K`
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#LFCB, Weak Harnack inequality - uniformly elliptic (statement). In 2XC2MZFWPP/e1, lemma 3.12

History

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

HZ3G8HAVYV HZ3G8HAVYV

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

Mentions

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

History

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

Tasha Butts HZ3H98VX6D

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#ITEE, Tasha Butts (unknown)

History

2026-11-02: add by m2/dev

HZ3RJ9PVSQ HZ3RJ9PVSQ

URI	`m2://inv/HZ3RJ9PVSQ`
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.06033#B30S (statement). In Q1YDP67JQ4/e1, proposition 3.1

History

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

Chain map HZ3RWVC9SR

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

Mentions

wikipedia: Wikipedia Chain complex#YD3R, Chain map (unknown)

History

2026-11-02: add by m2/dev

HZ3XF34446 HZ3XF34446

URI	`m2://inv/HZ3XF34446`
Kind	example
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.06310#FZ4O (example). In WR5S1V9V8J/e1, example 2.1

History

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

Ivan Rival HZ3YE8JQZV

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

Mentions

wikipedia: Wikipedia Ivan Rival, Ivan Rival (topic). Also Wikidata Q6097339

History

2026-11-02: add by m2/dev

Comparison near $A_4$ HZ46GD2A68

URI	`m2://inv/HZ46GD2A68`
Kind	statement
Layer	research
MSC	11-XX, 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.37615#J3T9, Comparison near $A_4$ (statement). In T2B54J7121/e1, proposition 3.10

History

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

Nirvana fallacy HZ482M5ANQ

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

Mentions

wikipedia: Wikipedia List of fallacies#BE2B, Nirvana fallacy (definition)

History

2026-11-02: add by m2/dev

HZ4B1T4NGH HZ4B1T4NGH

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

Mentions

arxiv: arXiv 2610.09599#TSKH (statement). In 4JYGH9XNA9/e1, theorem 3.7

History

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

HZ4CNNGM2H HZ4CNNGM2H

URI	`m2://inv/HZ4CNNGM2H`
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.35245#XQXR (statement). In CV1VT7QSVN/e1, corollary 2.2

History

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

HZ4JEZPTX7 HZ4JEZPTX7

URI	`m2://inv/HZ4JEZPTX7`
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.26191#WLYY (statement)

History

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

Eigenvalues miss the transient HZ4JFPB0QB

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

Mentions

arxiv: arXiv 2610.01501#2I4I, Eigenvalues miss the transient (example). In 8Q2PXZDGB5/e1, example 3.3

History

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

HZ4P4AYHSD HZ4P4AYHSD

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

Mentions

napkin: napkin tex/alg-NT/ramification.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 18.1

History

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

Gilean McVean HZ4T682EET

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#TKSS, Gilean McVean (unknown)

History

2026-11-02: add by m2/dev

HZ5158TQYR HZ5158TQYR

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

Mentions

arxiv: arXiv 2609.23527#KKEO (statement)

History

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

HZ55ZPMPB5 HZ55ZPMPB5

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

Mentions

open_logic: open_logic content/model-theory/basics/partial-iso.tex#prop:qr-finite (statement). In PKGMM3P5QY, prop, section 46.5

History

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

HZ5950K73D HZ5950K73D

URI	`m2://inv/HZ5950K73D`
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.36334#K7RO (definition). In YVB70SBGN1/e1, definition

History

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

HZ5TAKV0B6 HZ5TAKV0B6

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

Mentions

arxiv: arXiv 2610.14435#Q9IY (example). In Y9FSN5BVNQ/e1, example 25

History

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

Hadamard transform HZ6EVNDTWB

URI	`m2://inv/HZ6EVNDTWB`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Walsh–Hadamard transform K784BA2WHV

Mentions

wikidata: Wikidata Q1014065, Hadamard transform (unknown). Also MathWorld HadamardTransform
wikipedia: Wikipedia Hadamard transform, Hadamard transform (definition). Also Wikidata Q1014065

History

2026-10-26: add by m2/dev

Fourier's law HZ6K9BQE6S

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

Mentions

wikipedia: Wikipedia Heat flux#JDUI, Fourier's law (statement)

History

2026-11-02: add by m2/dev

complex manifold HZ6KCXS6FK

URI	`m2://inv/HZ6KCXS6FK`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Complex manifold JSGWAN2RJV

Mentions

wikidata: Wikidata Q578874, complex manifold (unknown). Also EoM Complex_manifold, MathWorld ComplexManifold, nLab complex manifold
wikipedia: Wikipedia Complex manifold, Complex manifold (definition). Also Wikidata Q578874

History

2026-10-26: add by m2/dev

Albert G. Howson HZ6MTE8W39

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

Mentions

wikipedia: Wikipedia Albert G. Howson, Albert G. Howson (topic). Also Wikidata Q102183057

History

2026-11-02: add by m2/dev

HZ6RDN0DC6 HZ6RDN0DC6

URI	`m2://inv/HZ6RDN0DC6`
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.37967#VQWW (statement). In BR2E3CXQE0/e1, corollary 5

History

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

HZ6X0J2Z8G HZ6X0J2Z8G

URI	`m2://inv/HZ6X0J2Z8G`
Kind	unknown
Layer	research
MSC	03-XX, 26-XX, 46-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2610.12239#5AO7 (unknown). In CW9MNA6K58/e1, unknown 4.1

History

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

HZ71TWKM7N HZ71TWKM7N

URI	`m2://inv/HZ71TWKM7N`
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 2207.05628#M25F (statement). In 9JPKTEWW4W/e1, theorem 1.4

History

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

HZ71ZT65DB HZ71ZT65DB

URI	`m2://inv/HZ71ZT65DB`
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.17188#5FY9 (statement). In KP3ZYTMAN9/e1, theorem 2.6

History

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

Sparse prism systems HZ72A6TY1Z

URI	`m2://inv/HZ72A6TY1Z`
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.12014#H12E, Sparse prism systems (statement). In DR7BK4CQ0V/e1, corollary 3.17

History

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

HZ766PTWR6 HZ766PTWR6

URI	`m2://inv/HZ766PTWR6`
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 2312.01517#847N (statement). In 1H6HQSMYJW/e1, proposition 1

History

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

HZ77C4MAPD HZ77C4MAPD

URI	`m2://inv/HZ77C4MAPD`
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.18709#LRSM (statement). In K7VY50VFK6/e1, lemma 13.3

History

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

HZ7GJP47R5 HZ7GJP47R5

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

Mentions

arxiv: arXiv 2609.31274#EBAK (statement). In RK0ZMDJ23T/e1, lemma 1.2.12

History

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

HZ7J177X8T HZ7J177X8T

URI	`m2://inv/HZ7J177X8T`
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.09506#OU0H (statement). In AQC7E6RAT4/e1, theorem 1.5

History

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

elongated square bipyramid HZ7Q6XPQVN

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

Mentions

wikidata: Wikidata Q193591, elongated square bipyramid (object). Also MathWorld ElongatedSquareDipyramid
wikipedia: Wikipedia Elongated square bipyramid, Elongated square bipyramid (definition). Also Wikidata Q193591

History

2026-10-26: add by m2/dev

HZ7QR102Z6 HZ7QR102Z6

URI	`m2://inv/HZ7QR102Z6`
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.21036#6UBC (statement). In G0M4N3E0CG/e1, lemma 3.6

History

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

Rare relative innovations at the stationary unit root HZ7W4A4S5Q

URI	`m2://inv/HZ7W4A4S5Q`
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.19421#CRGE, Rare relative innovations at the stationary unit root (statement). In 3S1VFGYWQE/e1, lemma 21

History

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

Graph cut optimization HZ80Q3SVXK

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

Mentions

wikipedia: Wikipedia Graph cut optimization, Graph cut optimization (definition). Also Wikidata Q60321144

History

2026-11-02: add by m2/dev

analethic logic HZ82Z53A7A

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

Mentions

wikipedia: Wikipedia Glossary of logic#4DM9, analethic logic (definition)

History

2026-11-02: add by m2/dev

Example: HZ865QT58X

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

Mentions

wikipedia: Wikipedia Affine symmetric group#J6L0, Example: (example)

History

2026-11-02: add by m2/dev

Counterexamples in Probability HZ87D0EC8N

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

Mentions

wikipedia: Wikipedia Counterexamples in Probability, Counterexamples in Probability (definition). Also Wikidata Q130711029

History

2026-11-02: add by m2/dev

HZ8EYB0XMJ HZ8EYB0XMJ

URI	`m2://inv/HZ8EYB0XMJ`
Kind	example
Layer	research
MSC	37-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.19023#6WNW (example). In QFA8TMJPHZ/e1, example 4.5

History

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

Generalizations of class field theory HZ8RJS6EY1

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

Mentions

wikipedia: Wikipedia Class field theory#1W4T, Generalizations of class field theory (statement)

History

2026-11-02: add by m2/dev

Representation theory of SL2(R) HZ8T60V651

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

Mentions

wikipedia: Wikipedia Representation theory of SL2(R), Representation theory of SL2(R) (definition). Also Wikidata Q7314223

History

2026-11-02: add by m2/dev

Instantaneous density coercivity HZ949NQSEX

URI	`m2://inv/HZ949NQSEX`
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#ZHLX, Instantaneous density coercivity (statement). In AZZ35SDENN/e1, lemma 7.1

History

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

Desargues’s Theorem HZ995Y074C

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

Mentions

mathlib_100: mathlib_100 87, Desargues’s Theorem (statement)

History

2026-10-26: add by m2/dev

nim sum HZ99XTNBV1

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

Mentions

wikidata: Wikidata Q109368729, nim sum (unknown). Also MathWorld Nim-Sum

History

2026-10-26: add by m2/dev

HZ9KFE828B HZ9KFE828B

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

Mentions

arxiv: arXiv 2609.36088#YOXJ (statement). In QJD3MZMJHW/e1, theorem 4.1

History

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

Granville--Soundararajan HZ9N1A7TJY

URI	`m2://inv/HZ9N1A7TJY`
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 2610.00843#VADT, Granville--Soundararajan (statement). In 1K7M5TD0M2/e1, proposition 6.1

History

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

ISMN HZ9S246DR1

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#T6E2, ISMN (unknown)

History

2026-11-02: add by m2/dev

Dmitry Mirimanoff HZ9SAZ5NC9

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

Mentions

wikipedia: Wikipedia Dmitry Mirimanoff, Dmitry Mirimanoff (topic). Also Wikidata Q122301

History

2026-11-02: add by m2/dev

Demographics of Holyoke, Massachusetts HZ9ZX2E919

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

Mentions

wikipedia: Wikipedia Demographics of Holyoke, Massachusetts, Demographics of Holyoke, Massachusetts (definition). Also Wikidata Q85756335

History

2026-11-02: add by m2/dev

canonical HZA5HG3JFW

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#1GL5, canonical (definition)

History

2026-11-02: add by m2/dev

line coordinates HZACWT8Y8D

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#CJKR, line coordinates (definition)

History

2026-11-02: add by m2/dev

Jill Kinmont HZAKJSGDEF

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#Q8N0, Jill Kinmont (unknown)

History

2026-11-02: add by m2/dev

HZAR3QJRQ9 HZAR3QJRQ9

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

Mentions

arxiv: arXiv 2609.39330#1IEH (statement). In 7ZTJ23YG7A/e1, lemma 3.2

History

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

Reverse-delete algorithm HZASVADKKW

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

Mentions

wikipedia: Wikipedia Reverse-delete algorithm, Reverse-delete algorithm (definition). Also Wikidata Q4925151

History

2026-11-02: add by m2/dev

Martin Schlichenmaier HZAXR5J02E

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

Mentions

wikipedia: Wikipedia Martin Schlichenmaier, Martin Schlichenmaier (topic). Also Wikidata Q102234678

History

2026-11-02: add by m2/dev

HZB31QZQXV HZB31QZQXV

URI	`m2://inv/HZB31QZQXV`
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.21934#9WZM (statement). In YKD51BX3XB/e1, proposition 4.3

History

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

Extension HZBAPWYSGY

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

Mentions

wikipedia: Wikipedia Buchholz psi functions#9KN0, Extension (statement)

History

2026-11-02: add by m2/dev

Separation test HZBFNC5DWJ

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

Mentions

wikipedia: Wikipedia List of statistics articles#5G7G, Separation test (definition)

History

2026-11-02: add by m2/dev

HZBKC2FW01 HZBKC2FW01

URI	`m2://inv/HZBKC2FW01`
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 2609.20900#QHJU (definition)

History

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

HZBN71KQAJ HZBN71KQAJ

URI	`m2://inv/HZBN71KQAJ`
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 2601.10958#I3TF (statement). In 4W55AH5T6R/e1, lemma 1

History

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

HZBXWYADTY HZBXWYADTY

URI	`m2://inv/HZBXWYADTY`
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 2610.04214#3MKL (definition). In HWY7AQ4KT2/e1, definition 1.1

History

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

HZC6QM6H5P HZC6QM6H5P

URI	`m2://inv/HZC6QM6H5P`
Kind	statement
Layer	research
MSC	30-XX, 32-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.22288#PWFW (statement). In X38P26DK6S/e1, proposition 5.27

History

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

HZCEH35XJ6 HZCEH35XJ6

URI	`m2://inv/HZCEH35XJ6`
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.16875#2GD0 (statement). In KS30K5JXGB/e1, lemma B.6

History

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

HZCGSMG6BJ HZCGSMG6BJ

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-254 (exercise). In VNMV985MXX, exercise, section 5.1

History

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

increasing function HZCKAWM6XS

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

Mentions

wikidata: Wikidata Q3075182, increasing function (unknown). Also MathWorld NondecreasingFunction

History

2026-10-26: add by m2/dev

Theorem of the gnomon HZCRBTXY5V

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

Mentions

mathlib_1000: mathlib_1000 Q61163749, Theorem of the gnomon (statement). Also Wikidata Q61163749
thousand_plus: thousand_plus Q61163749, Theorem of the gnomon (statement). Also Wikidata Q61163749, Wikipedia Theorem of the gnomon
wikipedia: Wikipedia Theorem of the gnomon, Theorem of the gnomon (statement). Also Wikidata Q61163749

History

2026-10-26: add by m2/dev

() HZD40JHB8G

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

Mentions

wikipedia: Wikipedia Krein–Milman theorem#LT69, () (statement)

History

2026-11-02: add by m2/dev

HZD853PY04 HZD853PY04

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

Mentions

arxiv: arXiv 2610.15528#QC5F (statement). In G9GEE64N32/e1, lemma 6.2

History

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

Uncapacitated facility location problem HZD88D570E

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#YIHE, Uncapacitated facility location problem (definition)

History

2026-11-02: add by m2/dev

HZD93EQNKW HZD93EQNKW

URI	`m2://inv/HZD93EQNKW`
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.15340#LRT2 (statement). In 9NVKKW8HDH/e1, theorem 2.83

History

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

Properties HZDA2MG8MG

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

Mentions

wikipedia: Wikipedia Lissajous-toric knot#9JMM, Properties (statement)

History

2026-11-02: add by m2/dev

HZDCD74S3G HZDCD74S3G

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

Mentions

arxiv: arXiv 2609.28323#WVSI (statement)

History

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

Vitold Belevitch HZDDV6873X

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

Mentions

wikipedia: Wikipedia Vitold Belevitch, Vitold Belevitch (topic). Also Wikidata Q2528722

History

2026-11-02: add by m2/dev

$D_\b$ metric HZDJYCR492

URI	`m2://inv/HZDJYCR492`
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 2610.10875#ZH4V, $D_\b$ metric (definition). In N91F15MHW1/e1, definition 5

History

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

HZDKW00F7V HZDKW00F7V

URI	`m2://inv/HZDKW00F7V`
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-17 (exercise). In E59CDZA4DP, exercise, section 6.2.4

History

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

HZDPV8YC14 HZDPV8YC14

URI	`m2://inv/HZDPV8YC14`
Kind	definition
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.09810#1SNT (definition). In B6PCH930FV/e1, definition 2

History

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

HZDPYQ1R4R HZDPYQ1R4R

URI	`m2://inv/HZDPYQ1R4R`
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.17442#DS52 (statement). In 6ADGJ51W1P/e1, lemma 2.2

History

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

HZDV3RT0VZ HZDV3RT0VZ

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

History

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

Information integration HZDVTKN72B

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

Mentions

wikipedia: Wikipedia Information integration, Information integration (definition). Also Wikidata Q17092450

History

2026-11-02: add by m2/dev

HZDZR0K4NY HZDZR0K4NY

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

Mentions

active_calculus: active_calculus source/sec-4-4-FTC.xml#Ex-4-4-1 (example). In 907G4C4EJ1, example, section 4.4.4

History

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

computation rule, for function types HZE0ZZG1Y5

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

Mentions

hott_book: hott_book index/4.1/computation-rule-for-function-types, computation rule, for function types (concept). In N54F33XE07, index, section 4.1

History

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

Extended Mathematical Programming HZE3RNY9R2

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

Mentions

wikipedia: Wikipedia Extended Mathematical Programming, Extended Mathematical Programming (definition). Also Wikidata Q25340370

History

2026-11-02: add by m2/dev

Erdős–Gyárfás conjecture HZEBYE1YEG

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#PDES, Erdős–Gyárfás conjecture (conjecture)

History

2026-11-02: add by m2/dev

1/2 − 1/4 + 1/8 − 1/16 + ⋯ HZEDSZ1K0E

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

Mentions

wikipedia: Wikipedia 1/2 − 1/4 + 1/8 − 1/16 + ⋯, 1/2 − 1/4 + 1/8 − 1/16 + ⋯ (definition). Also Wikidata Q3817838

History

2026-11-02: add by m2/dev

HZEKZ1CW1S HZEKZ1CW1S

URI	`m2://inv/HZEKZ1CW1S`
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.21730#5EPW (statement). In BM64QM6Q7J/e1, lemma 5.1

History

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

HZEM46TYCN HZEM46TYCN

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

Mentions

austin_ula: austin_ula src/section4-2.xml#activity-1 (exercise). In 649HGZKE96, activity, section 4.2.2

History

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

Quasi-Fuchsian group HZEPR8SMQX

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

Mentions

wikipedia: Wikipedia Quasi-Fuchsian group, Quasi-Fuchsian group (definition). Also Wikidata Q7269431

History

2026-11-02: add by m2/dev

Applications HZEQ0DMVC2

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

Mentions

wikipedia: Wikipedia Anomaly detection#HL58, Applications (example)

History

2026-11-02: add by m2/dev

HZETM68M2H HZETM68M2H

URI	`m2://inv/HZETM68M2H`
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.18544#8S4G (statement). In HT5MC1SPD9/e1, lemma A.7

History

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

HZEWT73PDM HZEWT73PDM

URI	`m2://inv/HZEWT73PDM`
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.03856#TMH0 (statement). In HTBRYNPHSJ/e1, theorem A.1

History

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

biscribed HZEZKMB98S

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#X46Z, biscribed (definition)

History

2026-11-02: add by m2/dev

HZFA56N396 HZFA56N396

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

Mentions

arxiv: arXiv 2609.32174#6V8V (definition). In GHKR740SG3/e1, definition 8.1

History

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

Expander walk sampling HZFCZBQ7TZ

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

Mentions

wikipedia: Wikipedia Expander walk sampling, Expander walk sampling (definition). Also Wikidata Q5420762

History

2026-11-02: add by m2/dev

HZFJ0VK9QM HZFJ0VK9QM

URI	`m2://inv/HZFJ0VK9QM`
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 2407.08976#27JJ (statement). In ZVNM9X4NNG/e1, theorem 7

History

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

HZFJ11SKKY HZFJ11SKKY

URI	`m2://inv/HZFJ11SKKY`
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.37794#IULY (statement). In ACFC6XHAMQ/e1, lemma 11

History

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

Ramification parameters HZFW66GKZZ

URI	`m2://inv/HZFW66GKZZ`
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 2610.05652#U99J, Ramification parameters (definition). In 8BNPFYQDQX/e1, definition 2.14

History

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

HZFYX00GQ8 HZFYX00GQ8

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

History

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

Ideal flux contraction HZG14VKYDT

URI	`m2://inv/HZG14VKYDT`
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.16248#TFDD, Ideal flux contraction (statement). In TP61DYMBMK/e1, theorem 1

History

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

HZG4CM6AZR HZG4CM6AZR

URI	`m2://inv/HZG4CM6AZR`
Kind	definition
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#WKEQ (definition)

History

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

Deterministic Simultaneous Surjectivity HZG72SD6YW

URI	`m2://inv/HZG72SD6YW`
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.02407#XZ8C, Deterministic Simultaneous Surjectivity (statement). In ZZER8ZBSCR/e1, theorem 6.2

History

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

HZGD1P07SY HZGD1P07SY

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

Mentions

arxiv: arXiv 2610.03384#4JVS (definition). In J55JTTKG84/e1, definition 4.1

History

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

HZGDC5MZ7X HZGDC5MZ7X

URI	`m2://inv/HZGDC5MZ7X`
Kind	statement
Layer	research
MSC	30-XX, 32-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.22288#TY5R (statement). In X38P26DK6S/e1, lemma B.1

History

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

HZGG347C41 HZGG347C41

URI	`m2://inv/HZGG347C41`
Kind	example
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 2501.00810#3K44 (example). In H0MY884WNF/e1, example Example

History

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

GraphPad Software HZGKANT5H4

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

Mentions

wikipedia: Wikipedia GraphPad Software, GraphPad Software (definition). Also Wikidata Q5597066

History

2026-11-02: add by m2/dev

Properties HZGQDD4ETM

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

Mentions

wikipedia: Wikipedia Rational monoid#3KUJ, Properties (statement)

History

2026-11-02: add by m2/dev

Formal statements HZGQPWT412

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

Mentions

wikipedia: Wikipedia Ping-pong lemma#ITTZ, Formal statements (statement)

History

2026-11-02: add by m2/dev

HZGRHTVMFZ HZGRHTVMFZ

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

Mentions

open_logic: open_logic content/normal-modal-logic/filtrations/preliminaries.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 52.4

History

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

Pairwise separation of the phase pyramids HZH79X1YQP

URI	`m2://inv/HZH79X1YQP`
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 2609.27752#Z6FN, Pairwise separation of the phase pyramids (statement)

History

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

Only arcs HZH7MQJ8CF

URI	`m2://inv/HZH7MQJ8CF`
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.02219#FH5J, Only arcs (statement). In 8XMASJX0GZ/e1, proposition 6.2

History

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

Example 3 HZH9VXPJ4Q

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

Mentions

wikipedia: Wikipedia Correlation does not imply causation#B84P, Example 3 (example)

History

2026-11-02: add by m2/dev

HZHE7Q7P3Y HZHE7Q7P3Y

URI	`m2://inv/HZHE7Q7P3Y`
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.28495#7UUA (statement)

History

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

HZHK7CY1DP HZHK7CY1DP

URI	`m2://inv/HZHK7CY1DP`
Kind	problem
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.06899#5B3G (problem). In 5Z2K9JGFSS/e1, problem 1.2

History

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

Theorem (Ershov 1977, Pudlák 1985) HZHZV5SZAT

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

Mentions

wikipedia: Wikipedia Congruence lattice problem#3PE0, Theorem (Ershov 1977, Pudlák 1985) (statement)

History

2026-11-02: add by m2/dev

$(sn,n)$-Dyck Path Area HZJ54ZVPRF

URI	`m2://inv/HZJ54ZVPRF`
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 2610.07671#TF7Y, $(sn,n)$-Dyck Path Area (definition). In XHHBGCVG90/e1, definition 2.2.2

History

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

Cohn's irreducibility criterion HZJ5A1DXXD

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

Mentions

mathlib_1000: mathlib_1000 Q2269888, Cohn's irreducibility criterion (statement). Also Wikidata Q2269888
thousand_plus: thousand_plus Q2269888, Cohn's irreducibility criterion (statement). Also Wikidata Q2269888, Wikipedia Cohn's irreducibility criterion
wikipedia: Wikipedia Cohn's irreducibility criterion, Cohn's irreducibility criterion (statement). Also Wikidata Q2269888

History

2026-10-26: add by m2/dev

HZJ7QQHZJ5 HZJ7QQHZJ5

URI	`m2://inv/HZJ7QQHZJ5`
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.02141#ODTL (statement). In 5AB8YPS19N/e1, corollary 4.2

History

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

HZJ845MS7M HZJ845MS7M

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

Mentions

arxiv: arXiv 2609.37739#ODWN (statement). In F5XF5VXTXY/e1, lemma 5.6

History

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

Abductive reasoning HZJ99T3CSZ

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

Mentions

wikipedia: Wikipedia List of statistics articles#QJI2, Abductive reasoning (definition)

History

2026-11-02: add by m2/dev

HZJFEPS87F HZJFEPS87F

URI	`m2://inv/HZJFEPS87F`
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.23634#2JN8 (statement)

History

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

HZJNY9S4RP HZJNY9S4RP

URI	`m2://inv/HZJNY9S4RP`
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 2108.03672#L2ZK (statement). In EZZSZ1F071/e1, lemma 1.21

History

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

HZJSNN6X5D HZJSNN6X5D

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

Mentions

arxiv: arXiv 2609.35467#1O6N (statement). In FK89DQ9J4S/e1, lemma 2.6

History

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

HZJYEFJQBY HZJYEFJQBY

URI	`m2://inv/HZJYEFJQBY`
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 1002.0879#0LMX (statement). In M0SQY5EZN5/e1, lemma 3.0.6

History

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

Properties HZK29Q6TKZ

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

Mentions

wikipedia: Wikipedia F-Yang–Mills equations#54ZL, Properties (statement)

History

2026-11-02: add by m2/dev

\textbf{Exponential ergodicity of ULD under log-concavity HZK3M95MF6

URI	`m2://inv/HZK3M95MF6`
Kind	statement
Layer	research
MSC	62-XX, 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.20713#C6QO, \textbf{Exponential ergodicity of ULD under log-concavity (statement)

History

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

Shape holomorphy of the hypersingular BIO HZK7M7PX3G

URI	`m2://inv/HZK7M7PX3G`
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.14888#WYTP, Shape holomorphy of the hypersingular BIO (statement). In GN3ZT9DAD9/e1, proposition 3.4

History

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

AJN-Geometric datum HZKAS4HRA7

URI	`m2://inv/HZKAS4HRA7`
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 2206.11809#9EI2, AJN-Geometric datum (definition). In YQXYSNW78V/e1, definition 5

History

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

Brandt monoids of finite exponent HZKE88F50E

URI	`m2://inv/HZKE88F50E`
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.12014#VRY1, Brandt monoids of finite exponent (statement). In DR7BK4CQ0V/e1, corollary 6.6

History

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

HZKEXJZ0B7 HZKEXJZ0B7

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

Mentions

hott_book: hott_book basics.tex#thm:transport-compose (statement). In N54F33XE07, lem, section 1.3

History

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

HZM1942HBK HZM1942HBK

URI	`m2://inv/HZM1942HBK`
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 2111.10125#1P2D (statement). In FE4ZC0KM0T/e1, proposition 1

History

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

Bayes factor HZM1XNDDT8

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#D77N, Bayes factor (definition)

History

2026-11-02: add by m2/dev

Definition HZM1YRAXJ9

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

Mentions

wikipedia: Wikipedia Lévy distribution#D57U, Definition (definition)

History

2026-11-02: add by m2/dev

Beck's monadicity theorem HZM3C3ATDF

URI	`m2://inv/HZM3C3ATDF`
Kind	statement
Layer	textbook
MSC	18-XX
Sources	4
Outcome	open
Node	Beck's monadicity theorem FETZ0VZGMD

Mentions

mathlib_1000: mathlib_1000 Q4878586, Beck's monadicity theorem (statement). Also Mathlib CategoryTheory.Monad.monadicOfCreatesGSplitCoequalizers, Wikidata Q4878586
thousand_plus: thousand_plus Q4878586, Beck's monadicity theorem (statement). Also Mathlib CategoryTheory.Monad.monadicOfCreatesGSplitCoequalizers, Wikidata Q4878586, Wikipedia Beck's monadicity theorem
wikidata: Wikidata Q4878586, Beck's monadicity theorem (statement). Also nLab monadicity theorem
wikipedia: Wikipedia Beck's monadicity theorem, Beck's monadicity theorem (statement). Also Wikidata Q4878586

History

2026-10-26: add by m2/dev

Hermite branching lemma HZM45FRRRY

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

Mentions

arxiv: arXiv 2610.10875#LZW6, Hermite branching lemma (statement). In N91F15MHW1/e1, lemma 30

History

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

George Dantzig HZM6STQ71A

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#GA04, George Dantzig (topic)

History

2026-11-02: add by m2/dev

symplectic vector field HZM8EJA4SM

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

Mentions

wikidata: Wikidata Q7661853, symplectic vector field (unknown). Also nLab symplectic vector field
wikipedia: Wikipedia Symplectic vector field, Symplectic vector field (definition). Also Wikidata Q7661853

History

2026-10-26: add by m2/dev

Vladimir Arnold HZMAP29YXH

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

Mentions

wikipedia: Wikipedia List of geometers#DHF0, Vladimir Arnold (topic)

History

2026-11-02: add by m2/dev

HZMBVSYA0K HZMBVSYA0K

URI	`m2://inv/HZMBVSYA0K`
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.13913#SKLX (statement). In BW5GVH97JE/e1, proposition 3.15

History

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

HZMD34GGDK HZMD34GGDK

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

Mentions

arxiv: arXiv 2609.24789#9VH1 (statement)

History

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

Fundamental --- \textsc{Subsump HZMFJEJJV5

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

Mentions

arxiv: arXiv 2610.21131#49UR, Fundamental --- \textsc{Subsump (statement). In CPYWHRTPKC/e1, lemma 6.64

History

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

Michael Herman HZMQ9KPG5J

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

Mentions

wikipedia: Wikipedia Michael Herman (mathematician), Michael Herman (topic). Also Wikidata Q1927797

History

2026-11-02: add by m2/dev

HZMWE45RCZ HZMWE45RCZ

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

Mentions

lebl_ra: lebl_ra ch-der.tex#exercise:posderincr (exercise). In E59CDZA4DP, exercise, section 3.2.6

History

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

Sourav Chatterjee HZN2YTCK2B

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

Mentions

wikipedia: Wikipedia Sourav Chatterjee, Sourav Chatterjee (topic). Also Wikidata Q7565096

History

2026-11-02: add by m2/dev

HZN87XSQFR HZN87XSQFR

URI	`m2://inv/HZN87XSQFR`
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#UL1G (statement). In 7Z3KQRFEVG/e1, lemma D.1

History

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

HZN8A9ZRV0 HZN8A9ZRV0

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

Mentions

arxiv: arXiv 2609.23834#ZBJ1 (statement)

History

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

Legendre (crater) HZN8BDZKCY

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

Mentions

wikipedia: Wikipedia List of things named after Adrien-Marie Legendre#POIT, Legendre (crater) (unknown)

History

2026-11-02: add by m2/dev

Forrest W. Young HZN9M1XCFV

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

Mentions

wikipedia: Wikipedia Forrest W. Young, Forrest W. Young (topic). Also Wikidata Q29026726

History

2026-11-02: add by m2/dev

Definition HZNCE7AJ6J

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

Mentions

wikipedia: Wikipedia Volkenborn integral#UFOA, Definition (definition)

History

2026-11-02: add by m2/dev

HZNHY28SXZ HZNHY28SXZ

URI	`m2://inv/HZNHY28SXZ`
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.04434#DYSN (statement). In EY0QS456EC/e1, lemma 4.1

History

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

HZNQYMJM2E HZNQYMJM2E

URI	`m2://inv/HZNQYMJM2E`
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 2508.13122#HMN7 (statement). In PX2GWH86PN/e1, lemma B.2

History

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

HZP45J3QDT HZP45J3QDT

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

Mentions

arxiv: arXiv 2410.16036#Y8C5 (example). In S1T3VFXE05/e1, example 3.3

History

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

maximal subgroup HZP6RYE1Y2

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

Mentions

wikidata: Wikidata Q16908484, maximal subgroup (unknown). Also nLab maximal subgroup
wikipedia: Wikipedia Maximal subgroup, Maximal subgroup (definition). Also Wikidata Q16908484

History

2026-10-26: add by m2/dev

generalized quadrangle HZPA5MYWAW

URI	`m2://inv/HZPA5MYWAW`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Generalized quadrangle GQJCPFSYVK

Mentions

wikidata: Wikidata Q2754558, generalized quadrangle (unknown). Also MathWorld GeneralizedQuadrangle
wikipedia: Wikipedia Generalized quadrangle, Generalized quadrangle (definition). Also Wikidata Q2754558

History

2026-10-26: add by m2/dev

principal fibration HZPMMP3MKX

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#4J6F, principal fibration (definition)

History

2026-11-02: add by m2/dev

HZPQ3GDS3B HZPQ3GDS3B

URI	`m2://inv/HZPQ3GDS3B`
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#E0UY (statement). In E7W2HDNEKJ/e1, lemma H.11

History

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

HZQ70HXSX8 HZQ70HXSX8

URI	`m2://inv/HZQ70HXSX8`
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.10233#98W8 (statement). In QR9WE79ERQ/e1, theorem 1.6

History

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

Roland Speicher HZQBNT0TY8

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

Mentions

wikipedia: Wikipedia Roland Speicher, Roland Speicher (topic). Also Wikidata Q15453666

History

2026-11-02: add by m2/dev

quantum dot HZQKJSQM1S

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

Mentions

wikidata: Wikidata Q1133068, quantum dot (topic)

History

2026-10-26: add by m2/dev

submatrix HZQQ2WPXDM

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

Mentions

wikidata: Wikidata Q2676163, submatrix (unknown). Also MathWorld Submatrix

History

2026-10-26: add by m2/dev

HZQQ544HTW HZQQ544HTW

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

Mentions

arxiv: arXiv 2609.37252#6KKG (statement). In E3EK0ESPA7/e1, theorem 2.6

History

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

Isabella Bashmakova HZQS4D5RX4

URI	`m2://inv/HZQS4D5RX4`
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#FB1O, Isabella Bashmakova (topic)

History

2026-11-02: add by m2/dev

HZQYA9WX8E HZQYA9WX8E

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

Mentions

arxiv: arXiv 2609.37606#X8QM (statement). In WNFW6GY38C/e1, proposition 3.5

History

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

HZQYQJHZK7 HZQYQJHZK7

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

Mentions

napkin: napkin tex/measure/pontryagin.tex#proof-2 (proof). In RZP28ERRZV, proof, section 68.7

History

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

Yukinobu Toda HZR26ES2PF

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#I7BT, Yukinobu Toda (unknown)

History

2026-11-02: add by m2/dev

Selection principle HZR4W6168J

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

Mentions

wikipedia: Wikipedia Selection principle, Selection principle (statement). Also Wikidata Q25305327

History

2026-11-02: add by m2/dev

Richard L. Bishop HZRJV4YF1J

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#DUJO, Richard L. Bishop (topic)

History

2026-11-02: add by m2/dev

HZRSXNCZ0D HZRSXNCZ0D

URI	`m2://inv/HZRSXNCZ0D`
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.28306#F3VO (statement)

History

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

Factoring algorithm / Dedekind-Kummer theorem HZRYEZXTAB

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

Mentions

napkin: napkin tex/alg-NT/dedekind.tex#thm:factor_alg, Factoring algorithm / Dedekind-Kummer theorem (statement). In RZP28ERRZV, theorem, section 10.5

History

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

HZS127W9V6 HZS127W9V6

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

History

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

Conditional law of the exploration during a failure HZS1M8K5EH

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

Mentions

arxiv: arXiv 2609.40138#CMB1, Conditional law of the exploration during a failure (statement). In R60HR493TS/e1, lemma 3.10

History

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

Cairo pentagonal tiling HZS61ESJ2C

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

Mentions

wikidata: Wikidata Q3063105, Cairo pentagonal tiling (unknown). Also MathWorld CairoTessellation
wikipedia: Wikipedia Cairo pentagonal tiling, Cairo pentagonal tiling (object). Also Wikidata Q3063105

History

2026-10-26: add by m2/dev

HZS6EQAEJB HZS6EQAEJB

URI	`m2://inv/HZS6EQAEJB`
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.14446#6VDG (statement). In AWRXXZR673/e1, lemma 4.1

History

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

infinite HZSFGA2K2P

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

Mentions

mathlib_overview: mathlib_overview Combinatorics > Pigeonhole principles > infinite, infinite (unknown). Also Mathlib Finite.exists_infinite_fiber

History

2026-10-26: add by m2/dev

Connection to the Hahn–Banach theorem HZSJ7Z8KVJ

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

Mentions

wikipedia: Wikipedia M. Riesz extension theorem#88YO, Connection to the Hahn–Banach theorem (statement)

History

2026-11-02: add by m2/dev

Birkhoff's theorem HZSJVZS87T

URI	`m2://inv/HZSJVZS87T`
Kind	statement
Layer	textbook
MSC	83-XX
Sources	4
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q865665, Birkhoff's theorem (relativity) (statement). Also Wikidata Q865665
thousand_plus: thousand_plus Q865665, Birkhoff's theorem (statement). Also Wikidata Q865665, Wikipedia Birkhoff's theorem (relativity)
wikidata: Wikidata Q865665, Birkhoff's theorem (statement). Also nLab Birkhoff's theorem
wikipedia: Wikipedia Birkhoff's theorem (relativity), Birkhoff's theorem (statement). Also Wikidata Q865665

History

2026-10-26: add by m2/dev

Mesopotamia Prima HZSMPD4HG3

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

Mentions

wikipedia: Wikipedia List of places with numeric names#AR19, Mesopotamia Prima (unknown)

History

2026-11-02: add by m2/dev

Chantal David HZSPRNVHZ8

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#X8X4, Chantal David (topic)

History

2026-11-02: add by m2/dev

Subquadratic time HZSQRWTA8R

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#1OD1, Subquadratic time (definition)

History

2026-11-02: add by m2/dev

HZSX9WVD2R HZSX9WVD2R

URI	`m2://inv/HZSX9WVD2R`
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.18270#SRD0 (statement). In CPDMYJ0NJV/e1, theorem 3.10

History

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

HZT6N632H7 HZT6N632H7

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

Mentions

arxiv: arXiv 2609.21098#YIR6 (statement)

History

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

HZT6YJNJ5D HZT6YJNJ5D

URI	`m2://inv/HZT6YJNJ5D`
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#J59S (definition). In DGTCGQX6YZ/e1, definition 2.6

History

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

Upper-bound invariance HZT7G4TE98

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

Mentions

arxiv: arXiv 2610.17441#IAYM, Upper-bound invariance (statement). In 9Q8S0NWHP2/e1, proposition 3.3

History

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

HZTKBCCPEA HZTKBCCPEA

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

Mentions

napkin: napkin tex/calculus/limits.tex#example-10 (example). In RZP28ERRZV, example, section 32.7

History

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

complete graph K8 HZTKERZMAV

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

Mentions

wikidata: Wikidata Q131179458, complete graph K8 (unknown). Also House of Graphs 180

History

2026-10-26: add by m2/dev

Implementation HZV23PQTC8

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

Mentions

wikipedia: Wikipedia Environmental protection expenditure accounts#H5YZ, Implementation (definition)

History

2026-11-02: add by m2/dev

HZV6KKWF4Q HZV6KKWF4Q

URI	`m2://inv/HZV6KKWF4Q`
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.10660#OAUQ (statement). In 1T12A2H411/e1, lemma 3

History

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

HZV8QVH9AN HZV8QVH9AN

URI	`m2://inv/HZV8QVH9AN`
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 math/9807180#803K (statement). In VR3766BVE5/e1, proposition 3.1

History

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

Martin Kutta HZVB859SPF

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

Mentions

wikipedia: Wikipedia Martin Kutta, Martin Kutta (topic). Also Wikidata Q61769

History

2026-11-02: add by m2/dev

Convergence rate of HI($\pi$) \& HI HZVEA04PVG

URI	`m2://inv/HZVEA04PVG`
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.27741#CN2J, Convergence rate of HI($\pi$) \& HI (statement)

History

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

quadratic reciprocity HZVHC2FP16

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

Mentions

wikipedia: Wikipedia Glossary of number theory#RIC5, quadratic reciprocity (definition)

History

2026-11-02: add by m2/dev

Ugly duckling theorem HZVHQT5EES

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

Mentions

mathlib_1000: mathlib_1000 Q2473965, Ugly duckling theorem (statement). Also Wikidata Q2473965
thousand_plus: thousand_plus Q2473965, Ugly duckling theorem (statement). Also Wikidata Q2473965, Wikipedia Ugly duckling theorem
wikipedia: Wikipedia Ugly duckling theorem, Ugly duckling theorem (statement). Also Wikidata Q2473965

History

2026-10-26: add by m2/dev

HZVKQKNQQ1 HZVKQKNQQ1

URI	`m2://inv/HZVKQKNQQ1`
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.25390#451X (statement)

History

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

HZVP9Q3WDC HZVP9Q3WDC

URI	`m2://inv/HZVP9Q3WDC`
Kind	statement
Layer	research
MSC	16-XX, 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 2610.18302#T4S6 (statement). In VJTRH1S4JA/e1, axiom 1

History

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

Characterizations HZVZ2M2P3G

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

Mentions

wikipedia: Wikipedia Tangential polygon#HLDH, Characterizations (statement)

History

2026-11-02: add by m2/dev

Proximal iteration HZVZDA9BAK

URI	`m2://inv/HZVZDA9BAK`
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#A4SB, Proximal iteration (statement). In 9YAE8FNQST/e1, proposition 18.19

History

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

Tuning HZW3DQZ264

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

Mentions

arxiv: arXiv 2609.32140#25TW, Tuning (statement). In 96Z8GEEFH4/e1, lemma 4.1

History

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

HZW4X6Q9FA HZW4X6Q9FA

URI	`m2://inv/HZW4X6Q9FA`
Kind	problem
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.02379#CS1Q (problem). In W9E40AZJ03/e1, problem 5.3

History

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

Example HZWAT4NEQT

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

Mentions

wikipedia: Wikipedia Self-adjoint operator#BW4X, Example (example)

History

2026-11-02: add by m2/dev

HZWX0AZEP4 HZWX0AZEP4

URI	`m2://inv/HZWX0AZEP4`
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.09300#M69X (statement). In JP589KS01S/e1, lemma 2.7

History

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

Vincent Calvez HZX100E6TB

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

Mentions

wikipedia: Wikipedia Vincent Calvez, Vincent Calvez (topic). Also Wikidata Q25929358

History

2026-11-02: add by m2/dev

Ragsdale conjecture HZX7YTS2Q1

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

Mentions

wikipedia: Wikipedia Ragsdale conjecture, Ragsdale conjecture (statement). Also Wikidata Q7283235

History

2026-11-02: add by m2/dev

HZXN1CZSQS HZXN1CZSQS

URI	`m2://inv/HZXN1CZSQS`
Kind	example
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 2105.13129#3E3V (example). In J5Z1JD5VKR/e1, example 2.8

History

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

HZXQ0XHY0E HZXQ0XHY0E

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

Mentions

arxiv: arXiv 2609.31782#082P (statement). In YAYP5VZ94H/e1, corollary 9.1

History

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

HZXVN0TAJS HZXVN0TAJS

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise:minprinciple (exercise). In E59CDZA4DP, exercise, section 1.5.1

History

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

Applications HZXYDKZ1Q9

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

Mentions

wikipedia: Wikipedia Tent map#UGIE, Applications (example)

History

2026-11-02: add by m2/dev

cyclic products HZY42EWDCD

URI	`m2://inv/HZY42EWDCD`
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.18803#MQQI, cyclic products (statement). In VG8AF124T3/e1, lemma 6.1

History

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

HZY7V64NBA HZY7V64NBA

URI	`m2://inv/HZY7V64NBA`
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 2606.02312#4CKB (statement). In 1SZV94R22Y/e1, lemma 2.10

History

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

Judgment Forms HZYA7VKAZY

URI	`m2://inv/HZYA7VKAZY`
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.21131#DZUH, Judgment Forms (definition). In CPYWHRTPKC/e1, definition 3.1

History

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

HZYAS7SVAV HZYAS7SVAV

URI	`m2://inv/HZYAS7SVAV`
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.20406#8K0A (statement). In 1YW6C6XGT3/e1, theorem 4.1

History

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

Nekhoroshev estimates HZYSSXRMAZ

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

Mentions

wikipedia: Wikipedia Nekhoroshev estimates, Nekhoroshev estimates (definition). Also Wikidata Q6989812

History

2026-11-02: add by m2/dev

HZYYHFQ2F2 HZYYHFQ2F2

URI	`m2://inv/HZYYHFQ2F2`
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.18101#8CVY (statement). In XXN6KKXPYF/e1, corollary 9.7

History

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

HZZ0XJ7EKF HZZ0XJ7EKF

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IntroInduction.tex#theorem-2 (statement). In P1C114YBXG, theorem, section D

History

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

Oxford Calculators HZZ6B7ZWHY

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

Mentions

wikipedia: Wikipedia Oxford Calculators, Oxford Calculators (topic). Also Wikidata Q1591169

History

2026-11-02: add by m2/dev

HZZ704BNBK HZZ704BNBK

URI	`m2://inv/HZZ704BNBK`
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.21781#YYR8 (statement). In FEQ72D1AX6/e1, lemma 6.4

History

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

HZZDYKR544 HZZDYKR544

URI	`m2://inv/HZZDYKR544`
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.20900#VX6J (statement)

History

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

HZZJ30ZAZZ HZZJ30ZAZZ

URI	`m2://inv/HZZJ30ZAZZ`
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.12908#KUZC (statement). In TNC658NVMQ/e1, theorem 6.6

History

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

Exact slope average HZZKF123EA

URI	`m2://inv/HZZKF123EA`
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#XPNR, Exact slope average (statement). In 88GEN3Z5VG/e1, theorem 4.2

History

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

Exact one-source criterion HZZPE7NT8H

URI	`m2://inv/HZZPE7NT8H`
Kind	statement
Layer	research
MSC	05-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 2609.31535#NRY5, Exact one-source criterion (statement). In BAWCMJQGVA/e1, corollary 6.6

History

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