Inventory rows KH

KH008NPNNP KH008NPNNP

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

Mentions

austin_ula: austin_ula src/exercises/exercises3-1.xml#exercise-10 (exercise). In 649HGZKE96, exercise, section 3.1

History

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

Symmetry KH03PGXN6C

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

Mentions

wikipedia: Wikipedia Robinson–Schensted–Knuth correspondence#7OOV, Symmetry (statement)

History

2026-11-02: add by m2/dev

KH0JRM6GA1 KH0JRM6GA1

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

Mentions

arxiv: arXiv 2607.00146#L396 (statement). In 6KR7Z5ETRY/e1, lemma 4.2

History

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

Applications KH138PVFNC

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

Mentions

wikipedia: Wikipedia Lucas–Lehmer primality test#DE8C, Applications (example)

History

2026-11-02: add by m2/dev

Issai Schur KH1988PAQZ

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#91U2, Issai Schur (topic)

History

2026-11-02: add by m2/dev

KH1K8PTNZ4 KH1K8PTNZ4

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

Mentions

open_logic: open_logic content/many-valued-logic/sequent-calculus/proof-theoretic-notions.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 40.4

History

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

Regularizers for multitask learning KH1KD5VNK1

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

Mentions

wikipedia: Wikipedia Regularization (mathematics)#LKOM, Regularizers for multitask learning (unknown)

History

2026-11-02: add by m2/dev

KH1N3KG40K KH1N3KG40K

URI	`m2://inv/KH1N3KG40K`
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 2610.17602#1VN3 (conjecture). In BH62508WHJ/e1, conjecture 1

History

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

Euler's homogeneous function theorem KH1VN096Z9

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

Mentions

mathlib_1000: mathlib_1000 Q25378679, Euler's theorem on homogeneous functions (statement). Also Mathlib HasFDerivAt.apply_self_eq_smul_of_eventuallyEq, Mathlib HasFDerivAt.apply_self_eq_smul_of_homogeneous, Mathlib HasFDerivAt.apply_self_eq_nsmul_of_homogeneous, Wikidata Q25378679
wikidata: Wikidata Q25378679, Euler's homogeneous function theorem (concept). Also MathWorld EulersHomogeneousFunctionTheorem

History

2026-10-26: add by m2/dev

Theorem KH24FXJK29

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

Mentions

wikipedia: Wikipedia Reflexive space#QWFB, Theorem (statement)

History

2026-11-02: add by m2/dev

Grothendieck trace formula KH25ENVT7F

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

Mentions

wikipedia: Wikipedia Grothendieck trace formula, Grothendieck trace formula (statement). Also Wikidata Q5610732

History

2026-11-02: add by m2/dev

Holography KH2JZGGS25

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

Mentions

wikipedia: Wikipedia Holography, Holography (definition). Also Wikidata Q527628

History

2026-11-02: add by m2/dev

KH2N5ET50X KH2N5ET50X

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

Mentions

arxiv: arXiv 2511.06555#HFA4 (statement). In 5GDDS20Q3D/e1, proposition 1.3

History

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

KH2NKW6M8W KH2NKW6M8W

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

Mentions

arxiv: arXiv 2610.03138#CIQ2 (statement). In P5SY7AVP5E/e1, lemma 2.3

History

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

Agent detection bias KH2TESS7GT

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

Mentions

wikipedia: Wikipedia List of cognitive biases#OVT6, Agent detection bias (unknown)

History

2026-11-02: add by m2/dev

Augmented planar dg operad KH2VN2DGQ3

URI	`m2://inv/KH2VN2DGQ3`
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 2312.05005#UMU4, Augmented planar dg operad (definition). In SMJMAQ2S3J/e1, definition 3

History

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

Monte Carlo principles KH2YT74V23

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

Mentions

wikipedia: Wikipedia Particle filter#88RO, Monte Carlo principles (statement)

History

2026-11-02: add by m2/dev

KH2YV314SK KH2YV314SK

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

Mentions

arxiv: arXiv 2609.25967#FN15 (example)

History

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

Andrew Putman KH30TS85V8

URI	`m2://inv/KH30TS85V8`
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 Q52004698, Andrew Putman (unknown). Also nLab Andrew Putman
wikipedia: Wikipedia Andrew Putman, Andrew Putman (topic). Also Wikidata Q52004698

History

2026-10-26: add by m2/dev

alternating group graph KH32F9NSBZ

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

Mentions

wikidata: Wikidata Q122897702, alternating group graph (unknown). Also MathWorld AlternatingGroupGraph

History

2026-10-26: add by m2/dev

KH33DJZPMN KH33DJZPMN

URI	`m2://inv/KH33DJZPMN`
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#V4KT (statement). In M4JGP708F4/e1, fact 4.26

History

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

572 (number) KH37N4QGM4

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

Mentions

wikipedia: Wikipedia 500 (number)#8WDY, 572 (number) (unknown)

History

2026-11-02: add by m2/dev

Basic element KH3BXTERYH

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

Mentions

wikipedia: Wikipedia Glossary of differential geometry and topology#6987, Basic element (unknown)

History

2026-11-02: add by m2/dev

Examples KH3CR4DHVZ

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

Mentions

wikipedia: Wikipedia Split (graph theory)#2VYE, Examples (example)

History

2026-11-02: add by m2/dev

KH3GJTPS7Z KH3GJTPS7Z

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

Mentions

austin_ula: austin_ula src/exercises/exercises4-3.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 4.3

History

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

KH3KTJAZBZ KH3KTJAZBZ

URI	`m2://inv/KH3KTJAZBZ`
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 2610.03775#RP7J (statement). In NM928YZQVJ/e1, proposition

History

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

A sharp constant-strength action boundary KH43FF32QS

URI	`m2://inv/KH43FF32QS`
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.08069#I9ZC, A sharp constant-strength action boundary (statement). In TVW9BTWJ3D/e1, corollary 18

History

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

Divergence for non-admissible $b$ KH471S1GWK

URI	`m2://inv/KH471S1GWK`
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.32710#0OBO, Divergence for non-admissible $b$ (statement). In KVYG6R7CGJ/e1, lemma 3.20

History

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

Telescoping KH47DDABVW

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

Mentions

arxiv: arXiv 2610.18512#W6SN, Telescoping (statement). In 11JNM66Z09/e1, lemma F.1

History

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

Hermitian manifold KH48GWVFP8

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#67AC, Hermitian manifold (definition)
wikipedia: Wikipedia List of manifolds#YZ2E, Hermitian manifold (definition)

History

2026-11-02: add by m2/dev

KH4D9A0ADK KH4D9A0ADK

URI	`m2://inv/KH4D9A0ADK`
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.25457#ZE1L (statement)

History

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

Examples KH4J5PGV74

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

Mentions

wikipedia: Wikipedia Fraïssé limit#2DLT, Examples (example)

History

2026-11-02: add by m2/dev

KH4M3T403Y KH4M3T403Y

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

Mentions

arxiv: arXiv 2609.30067#D3BK (statement)

History

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

The original formula KH4VY3FBX1

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

Mentions

wikipedia: Wikipedia Euler's continued fraction formula#RBPP, The original formula (statement)

History

2026-11-02: add by m2/dev

Sheaf space KH51Z9T4C4

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

Mentions

wikipedia: Wikipedia List of general topology topics#QOJI, Sheaf space (definition)

History

2026-11-02: add by m2/dev

KH527E8GPK KH527E8GPK

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

Mentions

arxiv: arXiv 2609.39845#AP36 (statement). In RK8DFVGQP1/e1, theorem 24

History

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

KH5A44TPFZ KH5A44TPFZ

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

Mentions

applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-18 (exercise). In QKM9DD2H56, exercise, section 8

History

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

KH5C693FZ9 KH5C693FZ9

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

Mentions

arxiv: arXiv 2610.04694#L15G (statement). In W9A0Z2NBMA/e1, lemma 33

History

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

Ellis Bagley Stouffer KH5KAVAS47

URI	`m2://inv/KH5KAVAS47`
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#G1Y2, Ellis Bagley Stouffer (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#HLUB, Ellis Bagley Stouffer (topic)

History

2026-11-02: add by m2/dev

Glue KH5YTMDYKR

URI	`m2://inv/KH5YTMDYKR`
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 math/0003117#CQ37, Glue (statement). In WD2NCBV9F0/e1, lemma 14.19

History

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

Buddy memory allocation KH61A914KH

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

Mentions

wikipedia: Wikipedia List of algorithms#97AF, Buddy memory allocation (unknown)

History

2026-11-02: add by m2/dev

mathematics of paper folding KH63PGMPPG

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

Mentions

wikidata: Wikidata Q3299105, mathematics of paper folding (unknown). Also MathWorld Origami
wikipedia: Wikipedia Mathematics of paper folding, Mathematics of paper folding (definition). Also Wikidata Q3299105

History

2026-10-26: add by m2/dev

Surface plasmon polariton KH6E11Q7P8

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

Mentions

wikipedia: Wikipedia Surface plasmon polariton, Surface plasmon polariton (definition). Also Wikidata Q15916346

History

2026-11-02: add by m2/dev

Boundedness theorem KH6E5Z9VMF

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

Mentions

wikipedia: Wikipedia Nemytskii operator#RSGU, Boundedness theorem (statement)

History

2026-11-02: add by m2/dev

Synthetic data KH6GQMBX3G

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

Mentions

wikipedia: Wikipedia Synthetic data, Synthetic data (definition). Also Wikidata Q7662746

History

2026-11-02: add by m2/dev

A radius from the iteration budget KH6HJ6G08F

URI	`m2://inv/KH6HJ6G08F`
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.15202#LB9I, A radius from the iteration budget (statement). In X1FPG0KYBM/e1, corollary C.3

History

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

KH6K6TE3PQ KH6K6TE3PQ

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

Mentions

arxiv: arXiv 2610.13291#R4D9 (statement). In D16PSAVVWV/e1, corollary 6.5

History

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

inhabited type KH6R3ET3R7

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

Mentions

hott_book: hott_book index/9.3/inhabited-type, inhabited type (concept). In N54F33XE07, index, section 9.3

History

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

Definability and the KL property KH6SRDP9RY

URI	`m2://inv/KH6SRDP9RY`
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#3QIQ, Definability and the KL property (statement)

History

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

Geometric lag KH6VX5JS3X

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

Mentions

wikipedia: Wikipedia Distributed lag#0D2Z, Geometric lag (unknown)

History

2026-11-02: add by m2/dev

Existence of a fixed point for $\mT_\Omega$ KH6YF51AN4

URI	`m2://inv/KH6YF51AN4`
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.14988#SITH, Existence of a fixed point for $\mT_\Omega$ (statement). In B29M4E6KGC/e1, theorem G.2

History

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

coincident KH6YV1QZ0R

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

Mentions

wikidata: Wikidata Q5141584, coincident (unknown). Also MathWorld Coincident

History

2026-10-26: add by m2/dev

KH759S9FNY KH759S9FNY

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

Mentions

arxiv: arXiv 2610.06755#92BU (statement). In DKEX05SEXS/e1, theorem 3.1

History

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

Hausdorff completion KH771WS2V9

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

Mentions

wikipedia: Wikipedia List of things named after Felix Hausdorff#WY5R, Hausdorff completion (definition)

History

2026-11-02: add by m2/dev

Every word is a repeated aperiodic word KH7950Q0HN

URI	`m2://inv/KH7950Q0HN`
Kind	statement
Layer	research
MSC	05-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.23106#W16G, Every word is a repeated aperiodic word (statement)

History

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

Stein's example KH7B5Z0EWZ

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

Mentions

wikipedia: Wikipedia Stein's example, Stein's example (definition). Also Wikidata Q3895097

History

2026-11-02: add by m2/dev

KH7B6ZXGZT KH7B6ZXGZT

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

Mentions

napkin: napkin tex/rep-theory/rep-alg.tex#proof-2 (proof). In RZP28ERRZV, proof, section 80.6

History

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

Erdős–Graham problem KH7DGQZPKS

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

Mentions

wikipedia: Wikipedia Erdős–Graham problem, Erdős–Graham problem (conjecture). Also Wikidata Q2902746

History

2026-11-02: add by m2/dev

Factorial number system KH7KGWB2SZ

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

Mentions

wikipedia: Wikipedia Factorial number system, Factorial number system (definition). Also Wikidata Q995700

History

2026-11-02: add by m2/dev

Tietze's Theorem KH7KKQASFY

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

Mentions

wikipedia: Wikipedia Tietze transformations#EBF1, Tietze's Theorem (statement)

History

2026-11-02: add by m2/dev

KH7TKVD68E KH7TKVD68E

URI	`m2://inv/KH7TKVD68E`
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.20488#2DVL (statement)

History

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

Mathematical discussion of rangekeeping KH7YMPWJP5

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

Mentions

wikipedia: Wikipedia Mathematical discussion of rangekeeping, Mathematical discussion of rangekeeping (definition). Also Wikidata Q6786848

History

2026-11-02: add by m2/dev

KH82J0KA3T KH82J0KA3T

URI	`m2://inv/KH82J0KA3T`
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 1512.06981#DT33 (statement). In X923ZEY423/e1, lemma 1.7.2

History

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

irreflexivity, of well-founded relation KH8783AZYE

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

Mentions

hott_book: hott_book index/C.4/irreflexivity-of-well-founded-relation, irreflexivity, of well-founded relation (concept). In N54F33XE07, index, section C.4

History

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

Contravariant functor KH8BT7C51J

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

Mentions

wikipedia: Wikipedia Functor#D2EN, Contravariant functor (unknown)

History

2026-11-02: add by m2/dev

Reciprocal distribution KH8DBS3WXZ

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

Mentions

wikipedia: Wikipedia List of probability distributions#40TS, Reciprocal distribution (definition)

History

2026-11-02: add by m2/dev

KH8MH1MST9 KH8MH1MST9

URI	`m2://inv/KH8MH1MST9`
Kind	statement
Layer	research
MSC	26-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 0902.4479#O2KN (statement). In Q6HKX2FCFG/e1, theorem 1.3

History

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

Resentful demoralization KH903YPRP0

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

Mentions

wikipedia: Wikipedia Resentful demoralization, Resentful demoralization (definition). Also Wikidata Q7315214

History

2026-11-02: add by m2/dev

KH907KR4AC KH907KR4AC

URI	`m2://inv/KH907KR4AC`
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.29623#USX4 (statement)

History

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

sharp map KH97HNGCZB

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

Mentions

wikidata: Wikidata Q7490358, sharp map (unknown). Also nLab sharp map

History

2026-10-26: add by m2/dev

The Gate Sets KH9A3BSE98

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

Mentions

arxiv: arXiv 2610.01932#WDDF, The Gate Sets (definition). In XDKWW6NR0K/e1, definition 2.3

History

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

KH9B29KADK KH9B29KADK

URI	`m2://inv/KH9B29KADK`
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.35323#85PG (statement). In 5CKPXBWSCX/e1, proposition 2.8

History

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

Comparison in a moving strip KH9CFHBCS6

URI	`m2://inv/KH9CFHBCS6`
Kind	statement
Layer	research
MSC	35-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 2609.33805#WFKU, Comparison in a moving strip (statement). In XM98BX97RT/e1, lemma 4.4

History

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

Generalizations KH9EH5BGPD

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

Mentions

wikipedia: Wikipedia Earth–Moon problem#DMMW, Generalizations (statement)

History

2026-11-02: add by m2/dev

Exponential dispersion model KH9ENAJKZW

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

Mentions

wikipedia: Wikipedia List of statistics articles#PGF3, Exponential dispersion model (definition)
wikipedia: Wikipedia List of exponential topics#7LF5, Exponential dispersion model (definition)

History

2026-11-02: add by m2/dev

limit of a sequence KH9EY8G6YZ

URI	`m2://inv/KH9EY8G6YZ`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Limit of a sequence 05M5SWSZZD

Mentions

wikidata: Wikidata Q847204, limit of a sequence (definition). Also ProofWiki Definition:Limit_of_Sequence
wikipedia: Wikipedia Limit of a sequence, Limit of a sequence (definition). Also Wikidata Q847204

History

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

Weighted ray rearrangement and tangent line KH9EZN0D4Z

URI	`m2://inv/KH9EZN0D4Z`
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.19837#C5O5, Weighted ray rearrangement and tangent line (statement). In 837NSWQM1P/e1, lemma 4.4

History

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

KH9GN27BF2 KH9GN27BF2

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-187 (exercise). In VNMV985MXX, exercise, section 3.3

History

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

Mean width KH9HJGEBTM

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

Mentions

wikipedia: Wikipedia Mean width, Mean width (definition). Also Wikidata Q6803666

History

2026-11-02: add by m2/dev

KH9PV89DTD KH9PV89DTD

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

Mentions

arxiv: arXiv 2610.18847#GXT8 (statement). In DZ12XTTJSM/e1, proposition 5.13

History

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

hexavigesimal KH9TVKEY5E

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

Mentions

wikidata: Wikidata Q5748954, hexavigesimal (unknown). Also MathWorld Hexavigesimal

History

2026-10-26: add by m2/dev

Dario Graffi KH9ZHE99BN

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

Mentions

wikipedia: Wikipedia Dario Graffi, Dario Graffi (topic). Also Wikidata Q17309080

History

2026-11-02: add by m2/dev

KHA17T8NPS KHA17T8NPS

URI	`m2://inv/KHA17T8NPS`
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.30237#DD0X (statement). In AC2VX701GX/e1, proposition 3.1

History

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

MLE upper bound KHA2NPQ2D6

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

Mentions

arxiv: arXiv 2609.33008#ILFZ, MLE upper bound (statement). In 4M662A3ZF1/e1, proposition B.5

History

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

Andreas Schleicher KHA4BYPQV1

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

Mentions

wikipedia: Wikipedia Andreas Schleicher, Andreas Schleicher (topic). Also Wikidata Q71557

History

2026-11-02: add by m2/dev

KHA5YDW4CG KHA5YDW4CG

URI	`m2://inv/KHA5YDW4CG`
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.12810#EAI7 (statement). In DR35633CPN/e1, proposition 2.4

History

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

Hendecagrammic antiprism KHA87CWE27

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

Mentions

wikipedia: Wikipedia Hendecagrammic prism#OZQJ, Hendecagrammic antiprism (unknown)

History

2026-11-02: add by m2/dev

KHA8A5N35V KHA8A5N35V

URI	`m2://inv/KHA8A5N35V`
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#EAJQ (statement). In X38P26DK6S/e1, theorem 6.9

History

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

Maximum-entropy random graph model KHACAXZX99

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

Mentions

wikipedia: Wikipedia Maximum-entropy random graph model, Maximum-entropy random graph model (definition). Also Wikidata Q60775365

History

2026-11-02: add by m2/dev

KHAMKYXJ46 KHAMKYXJ46

URI	`m2://inv/KHAMKYXJ46`
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.04069#0RM0 (statement). In ZA7WXGZYWC/e1, proposition 1.1

History

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

KHARG5PP0K KHARG5PP0K

URI	`m2://inv/KHARG5PP0K`
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.22784#R9X7 (statement)

History

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

time series forecasting KHATJ6278M

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#CNBV, time series forecasting (definition)

History

2026-11-02: add by m2/dev

Hurwitz's theorem KHAX2SK40F

URI	`m2://inv/KHAX2SK40F`
Kind	statement
Layer	textbook
MSC	30-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Hurwitz's theorem 0SSKBQN58M

Mentions

mathlib_1000: mathlib_1000 Q1136043, Hurwitz's theorem (complex analysis) (statement). Also Wikidata Q1136043
thousand_plus: thousand_plus Q1136043, Hurwitz's theorem (statement). Also Wikidata Q1136043, Wikipedia Hurwitz's theorem (complex analysis)
wikidata: Wikidata Q1136043, Hurwitz's theorem (statement). Also MathWorld HurwitzsRootTheorem
wikipedia: Wikipedia Hurwitz's theorem (complex analysis), Hurwitz's theorem (statement). Also Wikidata Q1136043

History

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

Fundamental theorem of algebra KHAYT50W5P

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

Mentions

wikipedia: Wikipedia Liouville's theorem (complex analysis)#O77S, Fundamental theorem of algebra (statement)

History

2026-11-02: add by m2/dev

KHAYWS35C1 KHAYWS35C1

URI	`m2://inv/KHAYWS35C1`
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 2609.28794#2KD4 (example)

History

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

KHAZ6H4WTZ KHAZ6H4WTZ

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

Mentions

napkin: napkin tex/alg-geom/mor-scheme.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 22.9

History

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

KHB0KH7YWN KHB0KH7YWN

URI	`m2://inv/KHB0KH7YWN`
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.09634#XJML (statement). In FH42QK814C/e1, theorem 3

History

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

KHB25AC9JP KHB25AC9JP

URI	`m2://inv/KHB25AC9JP`
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 2506.18195#MA53 (statement). In 6B8FNCHF1Z/e1, proposition 3

History

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

Begriffsschrift KHB73BT4QJ

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#JCBO, Begriffsschrift (definition)

History

2026-11-02: add by m2/dev

KHB93MDCM0 KHB93MDCM0

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

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/c-representable.tex#lem-2 (statement). In PKGMM3P5QY, lem, section 29.5

History

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

Steven Forness KHB9K4BEJN

URI	`m2://inv/KHB9K4BEJN`
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#J7CO, Steven Forness (unknown)

History

2026-11-02: add by m2/dev

Itai Benjamini KHBE0VSBGA

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

Mentions

wikipedia: Wikipedia Itai Benjamini, Itai Benjamini (topic). Also Wikidata Q21531624

History

2026-11-02: add by m2/dev

KHBJRP7M6B KHBJRP7M6B

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

Mentions

arxiv: arXiv 2412.12141#NM4B (statement). In V980ZMH759/e1, lemma 3.6

History

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

Edward Hebern KHBKXT0JA4

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

Mentions

wikipedia: Wikipedia Edward Hebern, Edward Hebern (topic). Also Wikidata Q473940

History

2026-11-02: add by m2/dev

Weyl metrics KHBNRXEYKE

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

Mentions

wikipedia: Wikipedia List of things named after Hermann Weyl#RIAG, Weyl metrics (definition)

History

2026-11-02: add by m2/dev

KHBPZVMYYY KHBPZVMYYY

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

Mentions

open_logic: open_logic content/proof-theory/cut-elimination/interpolation.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 57.1

History

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

KHBREEZWFQ KHBREEZWFQ

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

Mentions

arxiv: arXiv 2610.10525#U9QM (statement). In N3K26VPX0R/e1, proposition 6.2

History

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

$n=3$, $r=2$: all seven strata KHC1Q3DJJC

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

Mentions

arxiv: arXiv 2609.29683#B23W, $n=3$, $r=2$: all seven strata (example)

History

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

Algorand KHCFJ5H852

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

Mentions

wikipedia: Wikipedia Algorand, Algorand (definition). Also Wikidata Q30938181

History

2026-11-02: add by m2/dev

Peter Todd KHCHK2JHTB

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

Mentions

wikipedia: Wikipedia Peter Todd (programmer), Peter Todd (topic). Also Wikidata Q130523424

History

2026-11-02: add by m2/dev

KHCJ098TBN KHCJ098TBN

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

Mentions

arxiv: arXiv 2610.17276#BBRC (statement). In GG14QF0JKJ/e1, theorem 1.1

History

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

KHD3YP7YDJ KHD3YP7YDJ

URI	`m2://inv/KHD3YP7YDJ`
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.21455#6T3F (statement). In CY0E87QDED/e1, theorem 3

History

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

Backward-lightcone pruning for forward magic KHD7DN4W92

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

Mentions

arxiv: arXiv 2610.02166#ZXV2, Backward-lightcone pruning for forward magic (statement). In R6RF3P6D5A/e1, lemma 4.7

History

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

Tilted edge moments KHDA9VK8BJ

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

Mentions

arxiv: arXiv 2610.19356#OC2N, Tilted edge moments (statement). In 2B5QA28NCX/e1, lemma 3.7

History

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

Viktor Bunyakovsky KHDEHEYE9J

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#MDNV, Viktor Bunyakovsky (unknown)

History

2026-11-02: add by m2/dev

KHDTFYPJMG KHDTFYPJMG

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

Mentions

austin_ula: austin_ula src/section7-5.xml#activity-1 (exercise). In 649HGZKE96, activity, section 7.5.2

History

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

S KHE4G97V2H

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

Mentions

wikipedia: Wikipedia S (programming language), S (definition). Also Wikidata Q1283865

History

2026-11-02: add by m2/dev

Parliamentary Triangle, Canberra KHEBEFHXT1

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

Mentions

wikipedia: Wikipedia List of triangle topics#784K, Parliamentary Triangle, Canberra (unknown)

History

2026-11-02: add by m2/dev

Galois group of a polynomial KHEEBAF73K

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

Mentions

wikipedia: Wikipedia Galois theory#5I7Q, Galois group of a polynomial (unknown)

History

2026-11-02: add by m2/dev

Lebedev–Milin inequality KHEKMV3NJN

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

Mentions

wikipedia: Wikipedia List of inequalities#CR2N, Lebedev–Milin inequality (statement)

History

2026-11-02: add by m2/dev

KHEMBF6TM4 KHEMBF6TM4

URI	`m2://inv/KHEMBF6TM4`
Kind	statement
Layer	research
MSC	14-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.36509#Y78J (statement). In DPJ15KW23C/e1, proposition 8.8

History

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

KHEZ7R9BG9 KHEZ7R9BG9

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

Mentions

arxiv: arXiv 2610.13883#EQCR (statement). In F3PQ8P7R2B/e1, theorem 2

History

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

Double Descent in $\alpha_0$ KHF0FNP9PM

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

Mentions

arxiv: arXiv 2212.14457#F4PC, Double Descent in $\alpha_0$ (statement). In PNRHHWGHM2/e1, theorem 3.11

History

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

KHF3C1C1NA KHF3C1C1NA

URI	`m2://inv/KHF3C1C1NA`
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.31387#JMK5 (statement). In GBD60VB1JX/e1, corollary 4

History

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

KHF43CJAMW KHF43CJAMW

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

Mentions

arxiv: arXiv 2610.20050#MOKY (statement). In T41GD0Y0GX/e1, lemma 4.9

History

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

Mehler–Heine formula KHF9FH6BW2

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

Mentions

wikipedia: Wikipedia Mehler–Heine formula, Mehler–Heine formula (statement). Also Wikidata Q17098827

History

2026-11-02: add by m2/dev

KHFABTRE73 KHFABTRE73

URI	`m2://inv/KHFABTRE73`
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#FZBS (statement). In QJD3MZMJHW/e1, lemma 3.1

History

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

Properties KHFB9GRH3N

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

Mentions

wikipedia: Wikipedia Quasitrace#LS6R, Properties (statement)

History

2026-11-02: add by m2/dev

KHFE757KTK KHFE757KTK

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

Mentions

arxiv: arXiv 2610.22247#7VQB (statement). In SBNH1MWND8/e1, proposition 14

History

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

Analysis of variance/Random effects models KHFESYJHBZ

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

Mentions

wikipedia: Wikipedia Analysis of variance#Q1HL, Analysis of variance/Random effects models (unknown)

History

2026-11-02: add by m2/dev

Zvi Bern KHFGNXG5TQ

URI	`m2://inv/KHFGNXG5TQ`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q15855856, Zvi Bern (unknown). Also nLab Zvi Bern

History

2026-10-26: add by m2/dev

KHFKVTMMNY KHFKVTMMNY

URI	`m2://inv/KHFKVTMMNY`
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.03497#11JZ (definition). In RRNHC0CAC9/e1, definition

History

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

KHFPCGC4JB KHFPCGC4JB

URI	`m2://inv/KHFPCGC4JB`
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.16962#78ST (statement). In KJC9FRS3C2/e1, proposition 5.3

History

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

KHFSXTFK9S KHFSXTFK9S

URI	`m2://inv/KHFSXTFK9S`
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.31363#MZ8B (statement). In XB8NYRD86J/e1, proposition 3.3

History

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

Theorem KHFW0NV4ZZ

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

Mentions

wikipedia: Wikipedia Hemicontinuity#XYWH, Theorem (statement)

History

2026-11-02: add by m2/dev

Arrow–Debreu model KHFXCPR2DJ

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

Mentions

wikipedia: Wikipedia Arrow–Debreu model, Arrow–Debreu model (definition). Also Wikidata Q702933

History

2026-11-02: add by m2/dev

KHFXDNGDGF KHFXDNGDGF

URI	`m2://inv/KHFXDNGDGF`
Kind	definition
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.16605#4H0D (definition). In KZ175036B5/e1, definition 1.1

History

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

Bayesian regret KHFZ0TDYDZ

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

Mentions

wikipedia: Wikipedia Bayesian regret, Bayesian regret (definition). Also Wikidata Q55605062

History

2026-11-02: add by m2/dev

Scott's Pi KHG04JT3R4

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

Mentions

wikipedia: Wikipedia List of analyses of categorical data#NSSL, Scott's Pi (definition)
wikipedia: Wikipedia List of statistics articles#3FYD, Scott's Pi (definition)

History

2026-11-02: add by m2/dev

Theorems KHG4E4T78Q

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

Mentions

wikipedia: Wikipedia Function of a real variable#OKN1, Theorems (statement)

History

2026-11-02: add by m2/dev

Waldhausen S-construction KHG4TDZRM1

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#YL2D, Waldhausen S-construction (definition)

History

2026-11-02: add by m2/dev

KHGFM25XSK KHGFM25XSK

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

Mentions

open_logic: open_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#thm:oconsis-q (definition). In PKGMM3P5QY, defn, section 27.9

History

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

Hewitt–Savage zero–one law KHGH3FMNBD

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

Mentions

wikipedia: Wikipedia List of statistics articles#ED6M, Hewitt–Savage zero–one law (statement)

History

2026-11-02: add by m2/dev

Carl Christoffer Georg Andræ KHGKJY1X82

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

Mentions

wikipedia: Wikipedia Carl Christoffer Georg Andræ, Carl Christoffer Georg Andræ (topic). Also Wikidata Q947789

History

2026-11-02: add by m2/dev

Case A KHGNPT3XSN

URI	`m2://inv/KHGNPT3XSN`
Kind	statement
Layer	research
MSC	53-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.27136#S4KX, Case A (statement)

History

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

KHGRQ8269W KHGRQ8269W

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

Mentions

arxiv: arXiv 2610.00241#C3CJ (statement). In VBRQTN2RXN/e1, proposition 3.8

History

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

KHGWNK1SBW KHGWNK1SBW

URI	`m2://inv/KHGWNK1SBW`
Kind	statement
Layer	research
MSC	05-XX, 49-XX, 51-XX, 52-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.34845#5BSR (statement). In SBZNH932ZV/e1, theorem 10.4

History

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

KHH1C9E6E5 KHH1C9E6E5

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

Mentions

open_logic: open_logic content/first-order-logic/sequent-calculus/soundness.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 19.2

History

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

KHH4JWCAY1 KHH4JWCAY1

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

Mentions

arxiv: arXiv 2609.21860#JQ2T (definition)

History

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

KHH582NRBN KHH582NRBN

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

Mentions

arxiv: arXiv 2610.21622#IX8R (statement). In H21X3FHNYJ/e1, lemma 7.4

History

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

Buzek, Józef KHH8MAQBBT

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

Mentions

wikipedia: Wikipedia List of statisticians#N3YX, Buzek, Józef (unknown)

History

2026-11-02: add by m2/dev

KHH8XZ7A27 KHH8XZ7A27

URI	`m2://inv/KHH8XZ7A27`
Kind	definition
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 2207.12181#9TPH (definition). In FSD8NE3XSR/e1, definition 7.6

History

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

Krzysztof Gawedzki KHHJHTP66Q

URI	`m2://inv/KHHJHTP66Q`
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#NU9P, Krzysztof Gawedzki (topic)

History

2026-11-02: add by m2/dev

KHHVQ2GFVJ KHHVQ2GFVJ

URI	`m2://inv/KHHVQ2GFVJ`
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 2610.16060#PRMJ (definition). In X0BTF9HPGM/e1, definition 3.1

History

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

Transitive closure KHHVS6EG9K

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

Mentions

wikipedia: Wikipedia List of algorithms#2O36, Transitive closure (definition)

History

2026-11-02: add by m2/dev

Mitchell's embedding theorem KHHW4SV1GF

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

Mentions

wikipedia: Wikipedia Glossary of module theory#G0UV, Mitchell's embedding theorem (definition)

History

2026-11-02: add by m2/dev

KHHZAGPEK0 KHHZAGPEK0

URI	`m2://inv/KHHZAGPEK0`
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 2006.05158#PQ4Z (statement). In 4VCW6SZQXK/e1, proposition 4

History

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

\textbf{Lipschitz cohomological rigidity for Sturmian subshifts KHJ4EGW6KD

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

Mentions

arxiv: arXiv 2610.03619#5QKN, \textbf{Lipschitz cohomological rigidity for Sturmian subshifts (statement). In 7SRERSS1PF/e1, theorem D

History

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

Theorem KHJGAXPYNC

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

Mentions

wikipedia: Wikipedia Countable set#RGWI, Theorem (statement)

History

2026-11-02: add by m2/dev

KHJN42Z7KQ KHJN42Z7KQ

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

Mentions

arxiv: arXiv 2610.05142#YX10 (statement). In 8A0HVCGRR8/e1, lemma 1

History

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

Total variation mixing time KHK460WM9J

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

Mentions

arxiv: arXiv 2609.30585#7YH7, Total variation mixing time (definition). In 15CVBWJDNQ/e1, definition 2.3

History

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

KHK7E4ERF8 KHK7E4ERF8

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#theorem-1 (statement). In E9HS8K3A52, theorem, section 5.3.2

History

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

KHK7JR221N KHK7JR221N

URI	`m2://inv/KHK7JR221N`
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.14985#YMWT (statement). In DGXJW3SCBR/e1, theorem 36

History

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

$t$-Non-Malleable Affine Extractor KHKAPEFQBH

URI	`m2://inv/KHKAPEFQBH`
Kind	definition
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#54ZV, $t$-Non-Malleable Affine Extractor (definition). In ZZER8ZBSCR/e1, definition 2.10

History

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

John Daniel Runkle KHKB61A1VX

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

Mentions

wikipedia: Wikipedia John Daniel Runkle, John Daniel Runkle (topic). Also Wikidata Q3461596

History

2026-11-02: add by m2/dev

Poincaré map KHKTCDNRKR

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

Mentions

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

History

2026-11-02: add by m2/dev

K-matrix KHM159V1BX

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

Mentions

wikidata: Wikidata Q110571086, K-matrix (concept). Also MathWorld k-Matrix

History

2026-10-26: add by m2/dev

Jakob Steiner KHM301WS17

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#KF9D, Jakob Steiner (topic)

History

2026-11-02: add by m2/dev

Irrelevant ideal KHM4CQZYDN

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#YIZW, Irrelevant ideal (definition)

History

2026-11-02: add by m2/dev

Example KHM8AFYSB8

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

Mentions

wikipedia: Wikipedia Reflexive closure#S6MF, Example (example)

History

2026-11-02: add by m2/dev

N-body problem KHM9APKWDF

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

Mentions

wikipedia: Wikipedia List of mathematical topics in classical mechanics#DVPF, N-body problem (problem)

History

2026-11-02: add by m2/dev

Applications KHMMKVDE3V

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

Mentions

wikipedia: Wikipedia Mask generation function#FA6J, Applications (example)

History

2026-11-02: add by m2/dev

Rank 2 quality KHMN1CT6W8

URI	`m2://inv/KHMN1CT6W8`
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.32936#OS1C, Rank 2 quality (statement). In QDBYK125AB/e1, proposition 2

History

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

K-homology KHMR7XMPJR

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#M66U, K-homology (definition)

History

2026-11-02: add by m2/dev

Example 4 KHMVA0RXCA

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

Mentions

wikipedia: Wikipedia Titu's lemma#KMVZ, Example 4 (example)

History

2026-11-02: add by m2/dev

Self-tiling tile set KHMZC3YN4B

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

Mentions

wikipedia: Wikipedia Self-tiling tile set, Self-tiling tile set (definition). Also Wikidata Q17078261

History

2026-11-02: add by m2/dev

KHN5CT3RYB KHN5CT3RYB

URI	`m2://inv/KHN5CT3RYB`
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.10338#GRI6 (statement). In WZ3GXRAB00/e1, theorem 2.4

History

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

324 (number) KHN5ZVF8GQ

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

Mentions

wikipedia: Wikipedia 300 (number)#THPJ, 324 (number) (unknown)

History

2026-11-02: add by m2/dev

Example KHN7QYBNX3

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

Mentions

wikipedia: Wikipedia Wilkinson's polynomial#ETK7, Example (example)

History

2026-11-02: add by m2/dev

Examples KHNEJJZ8FK

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

Mentions

wikipedia: Wikipedia Adele ring#0YSE, Examples (example)

History

2026-11-02: add by m2/dev

Admissible triple for $L$ KHNF78E14K

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

Mentions

arxiv: arXiv 2610.10365#G13X, Admissible triple for $L$ (definition). In PRVQPSBVHK/e1, definition 9

History

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

icosahedral number KHNGGAF8RB

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

Mentions

wikidata: Wikidata Q13823786, icosahedral number (object). Also OEIS A006564
wikipedia: Wikipedia Icosahedral number, Icosahedral number (definition). Also Wikidata Q13823786

History

2026-10-26: add by m2/dev

Formal definition KHNJ28HXJT

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

Mentions

wikipedia: Wikipedia Direct limit#Y9K5, Formal definition (definition)

History

2026-11-02: add by m2/dev

Statement of the theorem KHNJFYV294

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

Mentions

wikipedia: Wikipedia Hilbert–Schmidt theorem#QL8R, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

admissible KHNT11YXAJ

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#DOI7, admissible (definition)

History

2026-11-02: add by m2/dev

KHNXEG2VQ6 KHNXEG2VQ6

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

Mentions

arxiv: arXiv 2311.00585#KUFW (problem). In 332PQD90SW/e1, problem 4.11

History

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

Michael Ian Shamos KHNYNPD8PF

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

Mentions

wikipedia: Wikipedia Michael Ian Shamos, Michael Ian Shamos (topic). Also Wikidata Q6831331

History

2026-11-02: add by m2/dev

The decomposition is defined over $\Q$ KHPF0DVDD1

URI	`m2://inv/KHPF0DVDD1`
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.01731#TR11, The decomposition is defined over $\Q$ (statement). In 3TJ2FWXQ0D/e1, lemma 4.7

History

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

Conditionally complete lattice KHPKGM9QG9

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

Mentions

wikipedia: Wikipedia Lattice (order)#6SZM, Conditionally complete lattice (unknown)

History

2026-11-02: add by m2/dev

Basic properties KHPKSDH9NH

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

Mentions

wikipedia: Wikipedia Markov chains on a measurable state space#2VR4, Basic properties (statement)

History

2026-11-02: add by m2/dev

Anger function KHPMKWAGQH

URI	`m2://inv/KHPMKWAGQH`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Anger function 9P87VQZ0P7

Mentions

wikidata: Wikidata Q3754606, Anger function (unknown). Also EoM Anger_function, MathWorld AngerFunction
wikipedia: Wikipedia Anger function, Anger function (definition). Also Wikidata Q3754606

History

2026-10-26: add by m2/dev

KHPQ08C6GX KHPQ08C6GX

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

Mentions

arxiv: arXiv 2412.12141#B54H (statement). In V980ZMH759/e1, lemma 3.13

History

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

Peter Scholze KHPXR9PGNW

URI	`m2://inv/KHPXR9PGNW`
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 Q98034, Peter Scholze (unknown). Also nLab Peter Scholze
wikipedia: Wikipedia Peter Scholze, Peter Scholze (topic). Also Wikidata Q98034

History

2026-10-26: add by m2/dev

Calculus ratiocinator KHPZE4KAN0

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

Mentions

wikipedia: Wikipedia Calculus ratiocinator, Calculus ratiocinator (definition). Also Wikidata Q577001

History

2026-11-02: add by m2/dev

KHQ3WCJ48R KHQ3WCJ48R

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#example-8 (example). In E59CDZA4DP, example, section 10.2.1

History

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

P. K. Srinivasan KHQ62KYXSF

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#MCF3, P. K. Srinivasan (unknown)

History

2026-11-02: add by m2/dev

Jury research KHQ7ZYXKYA

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

Mentions

wikipedia: Wikipedia Jury research, Jury research (definition). Also Wikidata Q6315485

History

2026-11-02: add by m2/dev

KHQF6Q8GDD KHQF6Q8GDD

URI	`m2://inv/KHQF6Q8GDD`
Kind	statement
Layer	research
MSC	26-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 0902.4479#S03K (statement). In Q6HKX2FCFG/e1, proposition 2.1

History

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

KHQM01X37R KHQM01X37R

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

Mentions

arxiv: arXiv 2610.13850#KLHB (statement). In KJY735KSMF/e1, proposition 2.1

History

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

Hartogs's lemma KHQRRGRJNJ

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

Mentions

wikipedia: Wikipedia List of lemmas#9PWV, Hartogs's lemma (statement)

History

2026-11-02: add by m2/dev

William Wootters KHQTTA4CSS

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#GP7U, William Wootters (unknown)

History

2026-11-02: add by m2/dev

Survey KHQW11G9JB

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

Mentions

wikipedia: Wikipedia List of psychological research methods#M0YO, Survey (topic)

History

2026-11-02: add by m2/dev

Examples KHR3EVGGVN

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

Mentions

wikipedia: Wikipedia Length of a module#I3CG, Examples (example)

History

2026-11-02: add by m2/dev

KHR41A3Z5R KHR41A3Z5R

URI	`m2://inv/KHR41A3Z5R`
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.26276#7V4A (definition)

History

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

KHR4YE4DXR KHR4YE4DXR

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

Mentions

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

History

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

KHR8C3QAS8 KHR8C3QAS8

URI	`m2://inv/KHR8C3QAS8`
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#WC35 (statement). In ZZER8ZBSCR/e1, lemma 2.1

History

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

Exact solutions KHR8EG4VNN

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

Mentions

wikipedia: Wikipedia Integrable system#LKD6, Exact solutions (unknown)

History

2026-11-02: add by m2/dev

KHR8MXC3XK KHR8MXC3XK

URI	`m2://inv/KHR8MXC3XK`
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.10477#1JM9 (statement). In 1NZSZ241WE/e1, lemma C.4

History

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

Quantum-to-classical sufficiency KHRA4K1XGJ

URI	`m2://inv/KHRA4K1XGJ`
Kind	definition
Layer	research
MSC	62-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.29348#6Z8Q, Quantum-to-classical sufficiency (definition)

History

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

KHRFX5Q0JM KHRFX5Q0JM

URI	`m2://inv/KHRFX5Q0JM`
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.11210#YJZF (statement). In CRFDGFZHBF/e1, proposition 2.3

History

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

projection formula KHRG2DF3BZ

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

Mentions

wikidata: Wikidata Q7249450, projection formula (unknown). Also nLab projection formula
wikipedia: Wikipedia Projection formula, Projection formula (statement). Also Wikidata Q7249450

History

2026-10-26: add by m2/dev

Mortar methods KHRGTV6MME

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

Mentions

wikipedia: Wikipedia Mortar methods, Mortar methods (definition). Also Wikidata Q17099078

History

2026-11-02: add by m2/dev

KHRNAMRRP4 KHRNAMRRP4

URI	`m2://inv/KHRNAMRRP4`
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#U7DX (statement). In PWF23QSGDX/e1, proposition 4.1

History

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

term logic KHRQT1PH44

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

Mentions

wikipedia: Wikipedia Glossary of logic#5PWC, term logic (definition)

History

2026-11-02: add by m2/dev

KHRY44YN7D KHRY44YN7D

URI	`m2://inv/KHRY44YN7D`
Kind	definition
Layer	research
MSC	14-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 2401.07983#18PG (definition). In 4WJ9HYVSZY/e1, definition 2

History

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

sulfur-34 KHRY6HFGJ9

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

Mentions

wikidata: Wikidata Q1880449, sulfur-34 (definition). Also ProofWiki Definition:Sulphur/34

History

2026-10-26: add by m2/dev

polynomial function KHS3VSZQH9

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

Mentions

wikidata: Wikidata Q1244652, polynomial function (unknown). Also MathWorld PolynomialFunction

History

2026-10-26: add by m2/dev

Hyperbolic paraboloid KHS54E7S75

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

Mentions

wikipedia: Wikipedia Paraboloid#PMH5, Hyperbolic paraboloid (unknown)

History

2026-11-02: add by m2/dev

KHS8KDFE53 KHS8KDFE53

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

Mentions

arxiv: arXiv 2609.36423#6K38 (statement). In Q5Z178SAHP/e1, lemma 4.9

History

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

Lie group–Lie algebra correspondence KHSSWAGCJ7

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

Mentions

wikipedia: Wikipedia Lie group–Lie algebra correspondence, Lie group–Lie algebra correspondence (definition). Also Wikidata Q18353697

History

2026-11-02: add by m2/dev

KHT1PZB8WF KHT1PZB8WF

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

Mentions

open_logic: open_logic content/first-order-logic/sequent-calculus/provability-quantifiers.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 17.9

History

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

AES-ECB KHT3RCWT3T

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

Mentions

wikipedia: Wikipedia AES implementations#S7H8, AES-ECB (unknown)

History

2026-11-02: add by m2/dev

Niky Kamran KHT4VK3AVY

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

Mentions

wikipedia: Wikipedia Niky Kamran, Niky Kamran (topic). Also Wikidata Q15925046

History

2026-11-02: add by m2/dev

Properties of Hausdorff completions KHT610FE6K

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

Mentions

wikipedia: Wikipedia Complete topological vector space#0VEW, Properties of Hausdorff completions (statement)

History

2026-11-02: add by m2/dev

KHTKMP7ZJF KHTKMP7ZJF

URI	`m2://inv/KHTKMP7ZJF`
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.25762#WN6Y (statement)

History

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

first-moment bounds KHTSQYF154

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

Mentions

arxiv: arXiv 2610.11872#V0P6, first-moment bounds (statement). In NKDA88318F/e1, proposition 1

History

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

Shiing Shen Chern KHTWHV3BRQ

URI	`m2://inv/KHTWHV3BRQ`
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#BD4T, Shiing Shen Chern (topic)

History

2026-11-02: add by m2/dev

four-color theorem KHV04XPV4W

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

Mentions

hott_book: hott_book index/u1.u6/four-color-theorem, four-color theorem (concept). In N54F33XE07, index, section u1.u6

History

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

KHV0JM1A0C KHV0JM1A0C

URI	`m2://inv/KHV0JM1A0C`
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.09567#YUT9 (statement). In 7RV6BDZAFK/e1, lemma 5.2

History

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

Differential item functioning KHVTE22JZ4

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

Mentions

wikipedia: Wikipedia Differential item functioning, Differential item functioning (definition). Also Wikidata Q1224359

History

2026-11-02: add by m2/dev

KHVZ7Y8J8M KHVZ7Y8J8M

URI	`m2://inv/KHVZ7Y8J8M`
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.10928#17WJ (statement). In 8M7BFVQYMM/e1, corollary 4.8

History

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

Norman W. Johnson KHW1F5XT78

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

Mentions

wikipedia: Wikipedia List of geometers#2VIS, Norman W. Johnson (topic)

History

2026-11-02: add by m2/dev

Geometry improvement at a common corrected center KHW2FYEMPM

URI	`m2://inv/KHW2FYEMPM`
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.10793#C0QZ, Geometry improvement at a common corrected center (statement). In BSCKJRHJDT/e1, proposition 1

History

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

prime constant KHWA9NWCS6

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

Mentions

wikidata: Wikidata Q7243365, prime constant (object). Also MathWorld PrimeConstant
wikipedia: Wikipedia Prime constant, Prime constant (definition). Also Wikidata Q7243365

History

2026-10-26: add by m2/dev

Robert Riley KHWJFGRVQM

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

Mentions

wikipedia: Wikipedia Robert Riley (mathematician), Robert Riley (topic). Also Wikidata Q97402600

History

2026-11-02: add by m2/dev

Local well-posedness KHWQ4Y9NPY

URI	`m2://inv/KHWQ4Y9NPY`
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#I5AB, Local well-posedness (statement)

History

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

Hurwitz KHWQZ74901

URI	`m2://inv/KHWQZ74901`
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.06521#MJ0C, Hurwitz (statement). In NVXWD513NM/e1, lemma 4.5

History

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

Ward–Takahashi identity KHWREJS34B

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

Mentions

wikidata: Wikidata Q353202, Ward–Takahashi identity (unknown). Also nLab Ward identity
wikipedia: Wikipedia Ward–Takahashi identity, Ward–Takahashi identity (statement). Also Wikidata Q353202

History

2026-10-26: add by m2/dev

Baker–Campbell–Hausdorff formula KHWTAZJ2RA

URI	`m2://inv/KHWTAZJ2RA`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Baker–Campbell–Hausdorff formula X898DPBSY7

Mentions

wikidata: Wikidata Q804316, Baker–Campbell–Hausdorff formula (statement). Also EoM Campbell–Hausdorff_formula, nLab Hausdorff series
wikipedia: Wikipedia Baker–Campbell–Hausdorff formula, Baker–Campbell–Hausdorff formula (statement). Also Wikidata Q804316

History

2026-10-26: add by m2/dev

Properties KHWVKWJS91

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

Mentions

wikipedia: Wikipedia Brownian excursion#3VRP, Properties (statement)

History

2026-11-02: add by m2/dev

KHWXKQ45F9 KHWXKQ45F9

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-55 (exercise). In E59CDZA4DP, exercise, section 11.4.3

History

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

KHX1YKFQQR KHX1YKFQQR

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

Mentions

arxiv: arXiv 1503.05744#1OPR (statement). In 5XKHZKEGAF/e1, lemma 4.3

History

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

KHX36Q2D86 KHX36Q2D86

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

Mentions

arxiv: arXiv 2609.20274#LMFF (statement)

History

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

Definition KHX6PC27MT

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

Mentions

wikipedia: Wikipedia Cross-covariance#VJHV, Definition (definition)

History

2026-11-02: add by m2/dev

Sete Fontes KHXCP4PZ3Y

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

Mentions

wikipedia: Wikipedia List of places with numeric names#Z6J8, Sete Fontes (unknown)

History

2026-11-02: add by m2/dev

KHXCVAZWE9 KHXCVAZWE9

URI	`m2://inv/KHXCVAZWE9`
Kind	problem
Layer	research
MSC	51-XX, 52-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.11596#JXHB (problem). In 76850E2X7T/e1, problem 4.3

History

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

Blum–Goldwasser cryptosystem KHY938RKEM

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

Mentions

wikipedia: Wikipedia Blum–Goldwasser cryptosystem, Blum–Goldwasser cryptosystem (definition). Also Wikidata Q2249662

History

2026-11-02: add by m2/dev

Skorokhod's representation theorem KHY9CDPP98

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

Mentions

mathlib_1000: mathlib_1000 Q401905, Skorokhod's representation theorem (statement). Also Wikidata Q401905
thousand_plus: thousand_plus Q401905, Skorokhod's representation theorem (statement). Also Wikidata Q401905, Wikipedia Skorokhod's representation theorem
wikipedia: Wikipedia Skorokhod's representation theorem, Skorokhod's representation theorem (statement). Also Wikidata Q401905

History

2026-10-26: add by m2/dev

Radon transform KHYA3MRYYV

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

Mentions

wikipedia: Wikipedia List of transforms#KBAQ, Radon transform (definition)
wikipedia: Wikipedia List of integration and measure theory topics#IER7, Radon transform (definition)

History

2026-11-02: add by m2/dev

Uniform relative-interior modulus KHYG23F0XV

URI	`m2://inv/KHYG23F0XV`
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.20270#HMY5, Uniform relative-interior modulus (statement). In GV0QGZH67P/e1, proposition 4.2

History

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

KHYGKRMXR5 KHYGKRMXR5

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

Mentions

napkin: napkin tex/alg-geom/quasi-proj.tex#proof-1 (proof). In RZP28ERRZV, proof, section 24.2.1

History

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

Romário KHYHKZ8AZV

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

Mentions

wikipedia: Wikipedia List of twin teammates in sports#BD5B, Romário (unknown)

History

2026-11-02: add by m2/dev

KHYJ29S3R5 KHYJ29S3R5

URI	`m2://inv/KHYJ29S3R5`
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 2309.08900#NGFG (statement). In 8X74NB6XBC/e1, corollary 3.3

History

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

Granville number KHYNWQKKZD

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

Mentions

wikipedia: Wikipedia Granville number, Granville number (definition). Also Wikidata Q5596976

History

2026-11-02: add by m2/dev

Regularization function KHYX6RS8XM

URI	`m2://inv/KHYX6RS8XM`
Kind	definition
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.21017#43MN, Regularization function (definition)

History

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

KHYZY8AQ8C KHYZY8AQ8C

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-intro.ptx#exr-degree1handshake (exercise). In Y91XFCEVHQ, exercise, section 5.1

History

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

Robert D. Gibbons KHZ9ZAS2TD

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#599Z, Robert D. Gibbons (topic)

History

2026-11-02: add by m2/dev

Francesco Faà di Bruno KHZPHT67X8

URI	`m2://inv/KHZPHT67X8`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q604679, Francesco Faà di Bruno (unknown). Also ProofWiki Mathematician:Francesco_Faà_di_Bruno

History

2026-10-26: add by m2/dev

KHZR194ZHW KHZR194ZHW

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

Mentions

arxiv: arXiv 2004.02766#LZ8M (statement). In HY652RA1NJ/e1, lemma 4

History

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