Inventory rows KJ

explicit escape KJ03M3DZPJ

URI	`m2://inv/KJ03M3DZPJ`
Kind	statement
Layer	research
MSC	35-XX, 37-XX, 46-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 2609.27458#Z2IG, explicit escape (statement)

History

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

KJ0599CSYS KJ0599CSYS

URI	`m2://inv/KJ0599CSYS`
Kind	statement
Layer	research
MSC	14-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 1802.02910#RZF5 (statement). In AY2MA29921/e1, proposition 02

History

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

KJ05GVM4KJ KJ05GVM4KJ

URI	`m2://inv/KJ05GVM4KJ`
Kind	statement
Layer	research
MSC	30-XX, 32-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.10505#TV22 (statement). In JW8HH6EPG2/e1, lemma 3.28

History

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

Great rhombihexacron KJ0C4086T8

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#ZBJ7, Great rhombihexacron (object)

History

2026-11-02: add by m2/dev

Properties KJ0GXADSNM

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

Mentions

wikipedia: Wikipedia Elongated square bipyramid#D0G7, Properties (statement)

History

2026-11-02: add by m2/dev

$T$ monadically NIP KJ0JE2T5NJ

URI	`m2://inv/KJ0JE2T5NJ`
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 2609.25129#SSEZ, $T$ monadically NIP (statement)

History

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

Gaussian measure KJ10N4QB5J

URI	`m2://inv/KJ10N4QB5J`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Gaussian measure P0DV2TCH1N

Mentions

wikidata: Wikidata Q5527840, Gaussian measure (unknown). Also MathWorld GaussMeasure, nLab Gaussian measure
wikipedia: Wikipedia Gaussian measure, Gaussian measure (definition). Also Wikidata Q5527840

History

2026-10-26: add by m2/dev

Protected local charge KJ19CGAH9X

URI	`m2://inv/KJ19CGAH9X`
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#CG0P, Protected local charge (statement). In X1FPG0KYBM/e1, lemma M.4

History

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

Pickands–Balkema–de Haan theorem KJ1GXTSSXS

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

Mentions

wikipedia: Wikipedia List of theorems#LSTD, Pickands–Balkema–de Haan theorem (statement)

History

2026-11-02: add by m2/dev

List of things named after Henri Poincaré KJ1QPENEGS

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#Q1NG, List of things named after Henri Poincaré (topic)

History

2026-11-02: add by m2/dev

Cross-entropy method KJ1TDTE41N

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

Mentions

wikipedia: Wikipedia List of statistics articles#Q5XK, Cross-entropy method (definition)

History

2026-11-02: add by m2/dev

KJ26NNWCWZ KJ26NNWCWZ

URI	`m2://inv/KJ26NNWCWZ`
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 2109.12716#YAUD (statement). In 6X76XBE3HV/e1, corollary 3.9

History

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

KJ2CM3Z1M2 KJ2CM3Z1M2

URI	`m2://inv/KJ2CM3Z1M2`
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.18740#NKW8 (statement). In 82815Z5JR7/e1, lemma 4

History

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

noun KJ2FTWAC5S

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

Mentions

hott_book: hott_book index/9.10/noun, noun (concept). In N54F33XE07, index, section 9.10

History

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

Toponogov's theorem KJ2KKQ1MC4

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

Mentions

wikipedia: Wikipedia List of theorems#3PF5, Toponogov's theorem (statement)

History

2026-11-02: add by m2/dev

KJ30ATD73C KJ30ATD73C

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

Mentions

open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#prop:enum-bij (statement). In PKGMM3P5QY, prop, section 83.5

History

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

Three Way, Tennessee KJ3685G3TD

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

Mentions

wikipedia: Wikipedia List of places with numeric names#D0PL, Three Way, Tennessee (unknown)

History

2026-11-02: add by m2/dev

KJ37KVRB8C KJ37KVRB8C

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

Mentions

arxiv: arXiv 2609.21892#2KIH (statement)

History

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

KJ3CR8P30C KJ3CR8P30C

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

Mentions

arxiv: arXiv 2609.21860#CXMH (statement)

History

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

KJ3D6MP4CB KJ3D6MP4CB

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-12 (exercise). In E9HS8K3A52, exercise, section 9.1.6

History

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

KJ3EQZCNB2 KJ3EQZCNB2

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

Mentions

arxiv: arXiv 2610.09206#AVD3 (unknown). In T7R1Q29DQK/e1, unknown

History

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

KJ3FHMB6D5 KJ3FHMB6D5

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

Mentions

wikipedia: Wikipedia List of numbers#7AM9 (unknown)

History

2026-11-02: add by m2/dev

KJ3G2E4CEF KJ3G2E4CEF

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

Mentions

arxiv: arXiv 2610.01915#WOGK (definition). In 6HJQXZS0A6/e1, definition 3.2

History

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

Rolandas Pavilionis KJ3GQ078J7

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

Mentions

wikipedia: Wikipedia Rolandas Pavilionis, Rolandas Pavilionis (topic). Also Wikidata Q1235376

History

2026-11-02: add by m2/dev

KJ3NBNX1TG KJ3NBNX1TG

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

Mentions

arxiv: arXiv 2609.40214#JB1J (statement). In XD603HRHKC/e1, theorem 3.2

History

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

Digital differential analyzer (graphics algorithm) KJ3QDQ0CZE

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#KO4C, Digital differential analyzer (graphics algorithm) (unknown)

History

2026-11-02: add by m2/dev

Examples KJ3REV4SYM

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

Mentions

wikipedia: Wikipedia Jackknife variance estimates for random forest#6RHD, Examples (example)

History

2026-11-02: add by m2/dev

Hierarchically hyperbolic group KJ3VBAS0YP

URI	`m2://inv/KJ3VBAS0YP`
Kind	definition
Layer	research
MSC	20-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.09162#IJL6, Hierarchically hyperbolic group (definition). In TAPS8P2VYS/e1, definition 1.14

History

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

KJ48A5S9HZ KJ48A5S9HZ

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

Mentions

arxiv: arXiv 2610.07114#XX8Z (statement). In HP3TM356J6/e1, proposition 2

History

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

KJ497X3MBV KJ497X3MBV

URI	`m2://inv/KJ497X3MBV`
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 1007.4365#92S6 (statement). In 935WKCMD8C/e1, theorem 4

History

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

KJ49J6NWKX KJ49J6NWKX

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

Mentions

applied_combinatorics: applied_combinatorics source/s_posets_intro.ptx#exa_binaryrel (example). In QKM9DD2H56, example, section 6.1

History

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

vigesimal KJ4G16BDF6

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

Mentions

wikidata: Wikidata Q842387, vigesimal (definition). Also MathWorld Vigesimal, ProofWiki Definition:Vigesimal_System
wikipedia: Wikipedia Vigesimal, Vigesimal (definition). Also Wikidata Q842387

History

2026-10-26: add by m2/dev

KJ4J4M8PN0 KJ4J4M8PN0

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/gt-conc.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 5.7

History

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

KJ4NE65G2A KJ4NE65G2A

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

Mentions

arxiv: arXiv 2609.39104#VNDL (definition). In V2NTW27MSJ/e1, definition 2.18

History

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

Geodesic Hessian of $F_z$ KJ4V02T2FD

URI	`m2://inv/KJ4V02T2FD`
Kind	statement
Layer	research
MSC	46-XX, 47-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.15180#HP3D, Geodesic Hessian of $F_z$ (statement). In AMRWRJDNKJ/e1, proposition 5.8

History

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

KJ4WDHSRBQ KJ4WDHSRBQ

URI	`m2://inv/KJ4WDHSRBQ`
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 2510.23812#5AQU (statement). In D8XZBXJPR5/e1, corollary 3.11

History

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

Himmelblau's function KJ4Z2M3NZE

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

Mentions

wikipedia: Wikipedia Himmelblau's function, Himmelblau's function (definition). Also Wikidata Q3075200

History

2026-11-02: add by m2/dev

Henri Milloux KJ54W7V2GZ

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

Mentions

wikipedia: Wikipedia Henri Milloux, Henri Milloux (topic). Also Wikidata Q21055007

History

2026-11-02: add by m2/dev

BHEP test KJ550ESVMK

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

Mentions

wikipedia: Wikipedia Multivariate normal distribution#ZLGH, BHEP test (unknown)

History

2026-11-02: add by m2/dev

recursive sequence KJ5EPQTYFT

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

Mentions

wikidata: Wikidata Q138568746, recursive sequence (unknown). Also MathWorld RecursiveSequence

History

2026-10-26: add by m2/dev

Gamma-difference distribution KJ5YAQN9TB

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

Mentions

wikipedia: Wikipedia List of probability distributions#0DE6, Gamma-difference distribution (unknown)

History

2026-11-02: add by m2/dev

Andrei Broder KJ5YZ2WDYV

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#QSSZ, Andrei Broder (unknown)

History

2026-11-02: add by m2/dev

KJ64N17BAY KJ64N17BAY

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

Mentions

arxiv: arXiv 2610.09596#Y7OG (statement). In HXFA55BREZ/e1, lemma 2.14

History

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

Properties KJ658S2PYP

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

Mentions

wikipedia: Wikipedia Distance correlation#RJIM, Properties (statement)

History

2026-11-02: add by m2/dev

KJ6B3B6DPS KJ6B3B6DPS

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

Mentions

arxiv: arXiv 2609.26496#GNQU (statement)

History

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

Definition KJ6C5YKMFE

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

Mentions

wikipedia: Wikipedia Nori-semistable vector bundle#6I6H, Definition (definition)

History

2026-11-02: add by m2/dev

Statement KJ6D0D5XKK

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

Mentions

wikipedia: Wikipedia Kruskal–Katona theorem#J885, Statement (statement)

History

2026-11-02: add by m2/dev

KJ6N7F2Z8P KJ6N7F2Z8P

URI	`m2://inv/KJ6N7F2Z8P`
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 2304.03611#NTLV (statement). In 75E8ZB1CBV/e1, theorem 2.2.1

History

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

KJ6XBR7G58 KJ6XBR7G58

URI	`m2://inv/KJ6XBR7G58`
Kind	statement
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#Q3HG (statement). In QFA8TMJPHZ/e1, lemma 2.8

History

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

Orbifold KJ724FXTXG

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

Mentions

wikipedia: Wikipedia List of string theory topics#CE37, Orbifold (definition)

History

2026-11-02: add by m2/dev

KJ76QXZYZB KJ76QXZYZB

URI	`m2://inv/KJ76QXZYZB`
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.33697#B38M (statement). In Q6GGQ29TRC/e1, lemma

History

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

Bragg plane KJ7HWPB4HW

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

Mentions

wikipedia: Wikipedia Bragg plane, Bragg plane (definition). Also Wikidata Q4955413

History

2026-11-02: add by m2/dev

KJ7RP6MGNA KJ7RP6MGNA

URI	`m2://inv/KJ7RP6MGNA`
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.38803#X74U (statement). In DQ5R7R4DZK/e1, lemma C.2

History

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

bipartite KJ7SDP35WC

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#XVKF, bipartite (definition)

History

2026-11-02: add by m2/dev

Richard Elman KJ7V895VAC

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

Mentions

wikipedia: Wikipedia Richard Elman (mathematician), Richard Elman (topic). Also Wikidata Q14491926

History

2026-11-02: add by m2/dev

KJ7VJW204H KJ7VJW204H

URI	`m2://inv/KJ7VJW204H`
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.26922#DUN1 (statement)

History

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

Issai Schur KJ7XZRQ2CW

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

Mentions

wikipedia: Wikipedia List of eponyms of special functions#SA9T, Issai Schur (topic)

History

2026-11-02: add by m2/dev

KJ80CF72V9 KJ80CF72V9

URI	`m2://inv/KJ80CF72V9`
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.11377#HIAB (statement). In YCV4YA6FC2/e1, proposition

History

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

Alternate segment theorem KJ80J7WQRA

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

Mentions

wikipedia: Wikipedia List of theorems#P5O0, Alternate segment theorem (definition)

History

2026-11-02: add by m2/dev

Power of two KJ816Y662P

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

Mentions

wikipedia: Wikipedia List of number theory topics#HU8H, Power of two (definition)

History

2026-11-02: add by m2/dev

KJ81NBXTDH KJ81NBXTDH

URI	`m2://inv/KJ81NBXTDH`
Kind	example
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#HCGS (example). In RK0ZMDJ23T/e1, example 2.4.4

History

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

KJ8BTM4AWR KJ8BTM4AWR

URI	`m2://inv/KJ8BTM4AWR`
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 2609.38436#DVKY (statement). In 702AF3E4AF/e1, lemma 5.2

History

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

Residue functionals KJ8CBQ7ATH

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

Mentions

arxiv: arXiv 2610.21093#N4B3, Residue functionals (statement). In TBFPBPQV3G/e1, lemma 6.2

History

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

KJ8FZ0Z521 KJ8FZ0Z521

URI	`m2://inv/KJ8FZ0Z521`
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.07164#TL2I (statement). In Q1XJ5VWE1N/e1, proposition 4.5

History

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

KJ8V6PN3K5 KJ8V6PN3K5

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

Mentions

arxiv: arXiv 2609.39505#RXE0 (statement). In WAXS6FS388/e1, lemma 2.16

History

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

Keith Devlin KJ8WGJN36E

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#36RC, Keith Devlin (topic)

History

2026-11-02: add by m2/dev

Hausdorff measure KJ8WX5C27K

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

Mentions

mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > Hausdorff measure, Hausdorff measure (unknown). Also Mathlib MeasureTheory.Measure.hausdorffMeasure

History

2026-10-26: add by m2/dev

KJ8YESKT8K KJ8YESKT8K

URI	`m2://inv/KJ8YESKT8K`
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.28594#FFO0 (statement)

History

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

Lindelöf hypothesis KJ994MJF4M

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#STNP, Lindelöf hypothesis (conjecture)

History

2026-11-02: add by m2/dev

p-integrable function KJ99W5B4YQ

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

Mentions

wikidata: Wikidata Q91317956, p-integrable function (definition). Also MathWorld Lp-Function, ProofWiki Definition:P-Integrable_Function

History

2026-10-26: add by m2/dev

KJ9BPZCKCV KJ9BPZCKCV

URI	`m2://inv/KJ9BPZCKCV`
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.04993#R7W8 (statement). In JQBWZPXKAV/e1, lemma 3.1

History

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

spin foam KJ9BRNCG2R

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

Mentions

wikidata: Wikidata Q914299, spin foam (unknown). Also nLab spin foam
wikipedia: Wikipedia Spin foam, Spin foam (definition). Also Wikidata Q914299

History

2026-10-26: add by m2/dev

KJ9CTFSFNR KJ9CTFSFNR

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

Mentions

open_logic: open_logic content/methods/proofs/inference-patterns.tex#prop-4 (statement). In PKGMM3P5QY, prop, section 44.9.8

History

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

Arithmetic cusp stabilizers preserve height KJ9P53MZJ5

URI	`m2://inv/KJ9P53MZJ5`
Kind	statement
Layer	research
MSC	11-XX, 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 2609.25925#N4PT, Arithmetic cusp stabilizers preserve height (statement)

History

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

KJ9PJFK04W KJ9PJFK04W

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

Mentions

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

History

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

honeycombs KJ9R6CVYEM

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#HRJN, honeycombs (object)
wikipedia: Wikipedia List of mathematical shapes#TN7B, honeycombs (object)

History

2026-11-02: add by m2/dev

Indian Statistical Institute KJ9XC5M561

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

Mentions

wikipedia: Wikipedia List of academic statistical associations#0GSZ, Indian Statistical Institute (definition)

History

2026-11-02: add by m2/dev

Construction KJ9XYNQSKQ

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

Mentions

wikipedia: Wikipedia Free product of associative algebras#02TX, Construction (definition)

History

2026-11-02: add by m2/dev

KJA3TEXCWD KJA3TEXCWD

URI	`m2://inv/KJA3TEXCWD`
Kind	statement
Layer	research
MSC	35-XX, 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 2603.28861#09PS (statement). In A3VQ2TNRKK/e1, lemma A.1

History

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

Vector calculus identities KJA5TZ123G

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

Mentions

wikipedia: Wikipedia Vector calculus identities, Vector calculus identities (definition). Also Wikidata Q1066266

History

2026-11-02: add by m2/dev

KJA6AFSJ6S KJA6AFSJ6S

URI	`m2://inv/KJA6AFSJ6S`
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.26162#MNTJ (statement)

History

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

Hilbert's reciprocity law KJA9BS88SG

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

Mentions

wikipedia: Wikipedia Hilbert symbol#E5M9, Hilbert's reciprocity law (statement)

History

2026-11-02: add by m2/dev

The Crossings KJAE2X2XPP

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#Z5R1, The Crossings (unknown)

History

2026-11-02: add by m2/dev

KJAEQD4GGG KJAEQD4GGG

URI	`m2://inv/KJAEQD4GGG`
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 2606.00589#6ED8 (statement). In C8JAGP8VCQ/e1, lemma 10.2

History

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

Chomsky–Schützenberger representation theorem KJAGFE7BRD

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

Mentions

wikipedia: Wikipedia List of theorems#5BL2, Chomsky–Schützenberger representation theorem (statement)

History

2026-11-02: add by m2/dev

KJAR53KKMB KJAR53KKMB

URI	`m2://inv/KJAR53KKMB`
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.11377#P4FB (statement). In YCV4YA6FC2/e1, proposition 4

History

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

Supertask KJASHYN6TK

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

Mentions

wikipedia: Wikipedia List of paradoxes#82PA, Supertask (definition)

History

2026-11-02: add by m2/dev

KJAVABG6HF KJAVABG6HF

URI	`m2://inv/KJAVABG6HF`
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.28403#SP53 (statement)

History

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

loop, $n$- KJAZA3RA2Y

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

Mentions

hott_book: hott_book index/5.4/loop-n, loop, $n$- (concept). In N54F33XE07, index, section 5.4

History

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

Kameda's algorithm KJBES9799Y

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

Mentions

wikipedia: Wikipedia Reachability#FDM3, Kameda's algorithm (unknown)

History

2026-11-02: add by m2/dev

KJBH4QMGFA KJBH4QMGFA

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

Mentions

arxiv: arXiv 2609.30664#Y2G9 (statement). In ZZGDNKDVJW/e1, lemma 2.2

History

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

Examples KJBMNJC9JT

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

Mentions

wikipedia: Wikipedia Non-Hausdorff manifold#I0VZ, Examples (example)

History

2026-11-02: add by m2/dev

KJBN079G4B KJBN079G4B

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

Mentions

arxiv: arXiv 2610.19658#5EWB (statement). In G00EYA9DXG/e1, lemma 2.3

History

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

KJBR862DKB KJBR862DKB

URI	`m2://inv/KJBR862DKB`
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 2508.07340#2EK8 (statement). In 2HSB99DW4M/e1, proposition 4.6

History

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

One colouring pass KJBRB85EQM

URI	`m2://inv/KJBRB85EQM`
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.28160#3KH5, One colouring pass (statement)

History

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

Ethnic groups in South America KJBS6BZCVZ

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

Mentions

wikipedia: Wikipedia Demographics of South America#FALF, Ethnic groups in South America (unknown)

History

2026-11-02: add by m2/dev

Swiss Society of Economics and Statistics KJBW6CPTZQ

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

Mentions

wikipedia: Wikipedia Swiss Society of Economics and Statistics, Swiss Society of Economics and Statistics (definition). Also Wikidata Q67179771

History

2026-11-02: add by m2/dev

Noperthedron KJBWQN1DSF

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

Mentions

wikipedia: Wikipedia Prince Rupert's cube#YVXV, Noperthedron (unknown)

History

2026-11-02: add by m2/dev

KJBXA9PRDR KJBXA9PRDR

URI	`m2://inv/KJBXA9PRDR`
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.26089#QWSP (statement)

History

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

KJC7Y37QSG KJC7Y37QSG

URI	`m2://inv/KJC7Y37QSG`
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.20687#WEGH (statement)

History

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

Surface density estimate; Euler's formula KJC88MX2G5

URI	`m2://inv/KJC88MX2G5`
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.30315#YMD1, Surface density estimate; Euler's formula (statement). In FXTCVHYW5S/e1, proposition 5.12

History

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

KJCAWHNBG4 KJCAWHNBG4

URI	`m2://inv/KJCAWHNBG4`
Kind	problem
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.11847#HHCI (problem). In MP2YM69XW8/e1, problem 4

History

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

spectral triple KJCF6Y9GFP

URI	`m2://inv/KJCF6Y9GFP`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Spectral triple FTQMQR3YS7

Mentions

wikidata: Wikidata Q17103517, spectral triple (unknown). Also nLab spectral triple
wikipedia: Wikipedia Spectral triple, Spectral triple (definition). Also Wikidata Q17103517

History

2026-10-26: add by m2/dev

Hahn polynomials KJCGKM8ZS2

URI	`m2://inv/KJCGKM8ZS2`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Hahn polynomials Y1M82VZYS2

Mentions

wikidata: Wikidata Q1568814, Hahn polynomials (concept). Also MathWorld HahnPolynomial
wikipedia: Wikipedia Hahn polynomials, Hahn polynomials (definition). Also Wikidata Q1568814

History

2026-10-26: add by m2/dev

KJCPZXY8KH KJCPZXY8KH

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

Mentions

arxiv: arXiv 2609.20153#MVWH (example)

History

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

KJCRFQWCX2 KJCRFQWCX2

URI	`m2://inv/KJCRFQWCX2`
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.30519#N766 (statement). In GQQZNRYK15/e1, proposition 2.4

History

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

George Boole KJCWNVN5Y0

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

Mentions

wikipedia: Wikipedia List of logicians#B9UB, George Boole (topic)

History

2026-11-02: add by m2/dev

binomial coefficient KJCXS7NR4D

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

Mentions

applied_combinatorics: applied_combinatorics index/2.6/binomial-coefficient, binomial coefficient (concept). In QKM9DD2H56, index, section 2.6

History

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

Ian F. Akyildiz KJD3N29Z0C

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#QFZN, Ian F. Akyildiz (unknown)

History

2026-11-02: add by m2/dev

Water lens KJD4FFRX2A

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

Mentions

wikipedia: Wikipedia Rainbow#4HLG, Water lens (unknown)

History

2026-11-02: add by m2/dev

Faddeev--Jackiw bracket KJD5WC3J35

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

Mentions

arxiv: arXiv 2609.27966#7LQE, Faddeev--Jackiw bracket (definition)

History

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

KJD71AW44N KJD71AW44N

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

Mentions

arxiv: arXiv 2609.21860#NYG6 (statement)

History

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

KJDDK22851 KJDDK22851

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

Mentions

arxiv: arXiv 2610.03341#VDNP (definition). In 3G1H5ASBVE/e1, definition 10

History

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

Euclidean continuous width KJDEAHQ1WH

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

Mentions

arxiv: arXiv 2609.21523#1YS9, Euclidean continuous width (statement)

History

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

Additive functor KJDR9AMK2S

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

Mentions

wikipedia: Wikipedia Preadditive category#RCRF, Additive functor (unknown)

History

2026-11-02: add by m2/dev

KJDY43R4RY KJDY43R4RY

URI	`m2://inv/KJDY43R4RY`
Kind	statement
Layer	research
MSC	18-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 2609.25761#4KUZ (statement)

History

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

Strong multiplicity one theorem KJE2FSS66D

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

Mentions

wikipedia: Wikipedia Multiplicity-one theorem#AB4P, Strong multiplicity one theorem (statement)

History

2026-11-02: add by m2/dev

semialgebraic set KJE7N1HY3H

URI	`m2://inv/KJE7N1HY3H`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Semialgebraic set BX5WSK8ZCT

Mentions

wikidata: Wikidata Q7449354, semialgebraic set (unknown). Also nLab semialgebraic set
wikipedia: Wikipedia Semialgebraic set, Semialgebraic set (definition). Also Wikidata Q7449354

History

2026-10-26: add by m2/dev

KJE84RAY2D KJE84RAY2D

URI	`m2://inv/KJE84RAY2D`
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 2610.00312#JZ91 (statement). In 41NFABHFXH/e1, proposition 6.5

History

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

Applications KJEACEHA38

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

Mentions

wikipedia: Wikipedia Black–Karasinski model#HOXO, Applications (example)

History

2026-11-02: add by m2/dev

KJEEGYBB3Q KJEEGYBB3Q

URI	`m2://inv/KJEEGYBB3Q`
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 2403.01959#C72X (definition). In 5YMNGJRC6Y/e1, definition 4.5

History

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

locally convex space KJEJD87JNC

URI	`m2://inv/KJEJD87JNC`
Kind	definition
Layer	textbook
Sources	3
Outcome	open
Node	Locally convex space B6GY2KJMWW

Mentions

mathlib_overview: mathlib_overview Analysis > Topological vector spaces > local convexity, local convexity (unknown). Also Mathlib LocallyConvexSpace
wikidata: Wikidata Q1572357, locally convex space (definition). Also EoM Locally_convex_space, Mathlib LocallyConvexSpace, MathWorld LocallyConvex, MathWorld LocallyConvexSpace, nLab locally convex topological vector space, ProofWiki Definition:Locally_Convex_Topological_Vector_Space
wikipedia: Wikipedia Locally convex topological vector space, Locally convex topological vector space (definition). Also Wikidata Q1572357

History

2026-10-26: add by m2/dev

Lefschetz zeta function KJESNKKCC9

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

Mentions

wikipedia: Wikipedia Lefschetz zeta function, Lefschetz zeta function (definition). Also Wikidata Q6516739

History

2026-11-02: add by m2/dev

KJF0XRJ4WM KJF0XRJ4WM

URI	`m2://inv/KJF0XRJ4WM`
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.40156#19CD (statement). In PP8BEHWK33/e1, proposition 9

History

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

KJFC614701 KJFC614701

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

Mentions

arxiv: arXiv 2609.23469#9ZPR (statement)

History

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

monoidal functor KJFCECJ1SW

URI	`m2://inv/KJFCECJ1SW`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Monoidal functor PY430TXMG0

Mentions

wikidata: Wikidata Q6901642, monoidal functor (unknown). Also nLab monoidal functor
wikipedia: Wikipedia Monoidal functor, Monoidal functor (definition). Also Wikidata Q6901642

History

2026-10-26: add by m2/dev

Saint-Venant's principle KJFV6BZ294

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

Mentions

wikipedia: Wikipedia Saint-Venant's principle, Saint-Venant's principle (statement). Also Wikidata Q632673

History

2026-11-02: add by m2/dev

Lazar Stankov KJG3PNR9G6

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

Mentions

wikipedia: Wikipedia Lazar Stankov, Lazar Stankov (topic). Also Wikidata Q46612004

History

2026-11-02: add by m2/dev

KJG5VVHRJF KJG5VVHRJF

URI	`m2://inv/KJG5VVHRJF`
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.22657#OBQ0 (statement)

History

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

Demographics of Germany KJG8DRQZKQ

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

Mentions

wikipedia: Wikipedia Demographics of Germany, Demographics of Germany (definition). Also Wikidata Q327213

History

2026-11-02: add by m2/dev

Q.E.D. KJGB0DXBCG

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

Mentions

wikidata: Wikidata Q188722, Q.E.D. (unknown). Also MathWorld QED
wikipedia: Wikipedia Q.E.D., Q.E.D. (definition). Also Wikidata Q188722

History

2026-10-26: add by m2/dev

KJGGNQMR0K KJGGNQMR0K

URI	`m2://inv/KJGGNQMR0K`
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.07122#ZGV5 (statement). In W0ZHX9DHPV/e1, proposition 20

History

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

Altered (geometry) KJGHFKSSEW

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

Mentions

wikipedia: Wikipedia Alternation (geometry)#AOAG, Altered (geometry) (unknown)

History

2026-11-02: add by m2/dev

Kiryat Arba KJGS17PJRM

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

Mentions

wikipedia: Wikipedia List of places with numeric names#5MRO, Kiryat Arba (unknown)

History

2026-11-02: add by m2/dev

Root test KJH1KEWT8B

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#prop-17, Root test (statement). In E59CDZA4DP, prop, section 10.6.1

History

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

KJH9ZQ5MTJ KJH9ZQ5MTJ

URI	`m2://inv/KJH9ZQ5MTJ`
Kind	definition
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 1612.08394#0WNL (definition). In 1P8D88DKG5/e1, definition A.4

History

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

Hassler Whitney KJHA14K7RN

URI	`m2://inv/KJHA14K7RN`
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 Q742072, Hassler Whitney (unknown). Also nLab Hassler Whitney
wikipedia: Wikipedia Hassler Whitney, Hassler Whitney (topic). Also Wikidata Q742072

History

2026-10-26: add by m2/dev

KJHAX5JTZW KJHAX5JTZW

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

Mentions

arxiv: arXiv 2610.10600#A4ZA (statement). In V7WT21EDPM/e1, theorem 2.1

History

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

Hierarchical linear modeling KJHD1T0QJZ

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

Mentions

wikipedia: Wikipedia List of statistics articles#JM94, Hierarchical linear modeling (definition)

History

2026-11-02: add by m2/dev

Properties and applications KJHMNAM8FC

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

Mentions

wikipedia: Wikipedia Strong product of graphs#DXG0, Properties and applications (statement)

History

2026-11-02: add by m2/dev

The Art of Being Right KJHPPSDN3K

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

Mentions

wikipedia: Wikipedia The Art of Being Right, The Art of Being Right (definition). Also Wikidata Q432196

History

2026-11-02: add by m2/dev

Special unitary Lie algebra KJHZFNZ21F

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

Mentions

wikipedia: Wikipedia Special unitary group#BS6L, Special unitary Lie algebra (unknown)

History

2026-11-02: add by m2/dev

KJJ17R9DW3 KJJ17R9DW3

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

Mentions

arxiv: arXiv 2609.21692#HC16 (statement)

History

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

Lattice (group) KJJ29NZK7S

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

Mentions

wikipedia: Wikipedia List of group theory topics#O681, Lattice (group) (definition)
wikipedia: Wikipedia List of Lie groups topics#IEFD, Lattice (group) (definition)

History

2026-11-02: add by m2/dev

KJJ2WN6BA7 KJJ2WN6BA7

URI	`m2://inv/KJJ2WN6BA7`
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.21489#0ARV (statement). In R0Q0RV8XCF/e1, theorem 2.1

History

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

*{Corollary 3.9 KJJ392FANR

URI	`m2://inv/KJJ392FANR`
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#2X5J, *{Corollary 3.9 (statement). In P5SY7AVP5E/e1, theorem 8.1

History

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

KJJ4BG7FRA KJJ4BG7FRA

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

Mentions

arxiv: arXiv 2610.13898#E42F (statement). In 44EVK9BPC9/e1, theorem 1.11

History

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

Symmetry of $\Uc_i$ KJJ98A5ZNB

URI	`m2://inv/KJJ98A5ZNB`
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#Y9KO, Symmetry of $\Uc_i$ (statement). In CPYWHRTPKC/e1, lemma 6.13

History

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

Weak convergence KJJBV8SVAP

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

Mentions

arxiv: arXiv 2609.30049#CIAB, Weak convergence (definition)

History

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

KJJHSAJJV6 KJJHSAJJV6

URI	`m2://inv/KJJHSAJJV6`
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.34522#4R92 (statement). In 1HJGW3Z6Q8/e1, proposition 2.2

History

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

Thorvald N. Thiele KJJVFSBJJ3

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

Mentions

wikipedia: Wikipedia List of actuaries#4I1Q, Thorvald N. Thiele (topic)

History

2026-11-02: add by m2/dev

smooth structure KJK3ZJP1V7

URI	`m2://inv/KJK3ZJP1V7`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Smooth structure R2TQ82PCNB

Mentions

wikidata: Wikidata Q7546440, smooth structure (unknown). Also MathWorld SmoothStructure, nLab smooth structure
wikipedia: Wikipedia Smooth structure, Smooth structure (definition). Also Wikidata Q7546440

History

2026-10-26: add by m2/dev

Variants KJK4KGBC6Q

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

Mentions

wikipedia: Wikipedia Stirling numbers of the second kind#QHU1, Variants (statement)

History

2026-11-02: add by m2/dev

KJK7YZ4FY9 KJK7YZ4FY9

URI	`m2://inv/KJK7YZ4FY9`
Kind	definition
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.24078#2IGY (definition)

History

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

Kapil Hari Paranjape KJKRGTKV19

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

Mentions

wikipedia: Wikipedia Kapil Hari Paranjape, Kapil Hari Paranjape (topic). Also Wikidata Q16873249

History

2026-11-02: add by m2/dev

KJM0BCCH4B KJM0BCCH4B

URI	`m2://inv/KJM0BCCH4B`
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.24463#N9NO (statement)

History

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

Definitions KJM1W7GM16

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

Mentions

wikipedia: Wikipedia Circular convolution#ZBCS, Definitions (definition)

History

2026-11-02: add by m2/dev

Space-filling polyhedron KJMCD196TA

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

Mentions

wikipedia: Wikipedia Space-filling polyhedron, Space-filling polyhedron (object). Also Wikidata Q60794244

History

2026-11-02: add by m2/dev

Relation to homological mirror symmetry conjecture KJMPNZ8NQA

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

Mentions

wikipedia: Wikipedia SYZ conjecture#63GQ, Relation to homological mirror symmetry conjecture (statement)

History

2026-11-02: add by m2/dev

Medial disdyakis triacontahedron KJMT4CFSPC

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

Mentions

wikidata: Wikidata Q6806037, Medial disdyakis triacontahedron (object). Also MathWorld MedialDisdyakisTriacontahedron
wikipedia: Wikipedia Medial disdyakis triacontahedron, Medial disdyakis triacontahedron (object). Also Wikidata Q6806037

History

2026-10-26: add by m2/dev

Statement KJMZBMK509

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

Mentions

wikipedia: Wikipedia Itô's theorem#ISJX, Statement (statement)

History

2026-11-02: add by m2/dev

KJN89PSGFB KJN89PSGFB

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/substitution.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 38.15

History

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

KJNC0TNMB1 KJNC0TNMB1

URI	`m2://inv/KJNC0TNMB1`
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.13670#5TE2 (statement). In 4PGTZ19B26/e1, lemma 5.4

History

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

Complemented subspace KJNDP3HZE1

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

Mentions

wikipedia: Wikipedia Complemented subspace, Complemented subspace (definition). Also Wikidata Q137454148

History

2026-11-02: add by m2/dev

467 (number) KJNFJK2BMX

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

Mentions

wikipedia: Wikipedia 400 (number)#LQAB, 467 (number) (unknown)

History

2026-11-02: add by m2/dev

Bridges of Königsberg KJNNKVNYC4

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

Mentions

wikipedia: Wikipedia List of network theory topics#EWJY, Bridges of Königsberg (definition)

History

2026-11-02: add by m2/dev

Construction of the real numbers KJNSETCS2R

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

Mentions

wikipedia: Wikipedia List of real analysis topics#LJVZ, Construction of the real numbers (definition)

History

2026-11-02: add by m2/dev

Dan-Virgil Voiculescu KJNT4679C5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#WBTZ, Dan-Virgil Voiculescu (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9HS8, Dan-Virgil Voiculescu (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PBZQ, Dan-Virgil Voiculescu (topic)

History

2026-11-02: add by m2/dev

Peirce arrow KJNTDC6618

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#F139, Peirce arrow (definition)

History

2026-11-02: add by m2/dev

Constraint on the totally real distribution KJNVDCQA8J

URI	`m2://inv/KJNVDCQA8J`
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.00077#W363, Constraint on the totally real distribution (statement). In C04B15GH1T/e1, corollary 4.3

History

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

Split algebra KJNZ3Y6X3A

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

Mentions

wikipedia: Wikipedia Null vector#DSI0, Split algebra (unknown)

History

2026-11-02: add by m2/dev

Wilfred Kaplan KJPC2MJ6EF

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

Mentions

wikipedia: Wikipedia Wilfred Kaplan, Wilfred Kaplan (topic). Also Wikidata Q19874770

History

2026-11-02: add by m2/dev

Genus-zero Gopakumar--Vafa integrality, one insertion; quoted KJPCXKD8MN

URI	`m2://inv/KJPCXKD8MN`
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 2610.10821#OBXF, Genus-zero Gopakumar--Vafa integrality, one insertion; quoted (statement). In RWNP4FEE65/e1, theorem 4.1

History

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

The theorem KJPFANTZ8Y

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

Mentions

wikipedia: Wikipedia Modigliani–Miller theorem#6LHB, The theorem (statement)

History

2026-11-02: add by m2/dev

KJPHN22M9J KJPHN22M9J

URI	`m2://inv/KJPHN22M9J`
Kind	statement
Layer	research
MSC	03-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 2609.31445#H5M8 (statement). In 7V2PVZS04C/e1, proposition 2.21

History

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

Palindromic number KJPPQQRZQZ

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

Mentions

wikipedia: Wikipedia List of sums of reciprocals#AGVC, Palindromic number (definition)

History

2026-11-02: add by m2/dev

Yates's correction for continuity KJPQQT2RZZ

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

Mentions

wikipedia: Wikipedia Yates's correction for continuity, Yates's correction for continuity (definition). Also Wikidata Q2393499

History

2026-11-02: add by m2/dev

Worldly cardinal KJPV5PRNFV

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

Mentions

wikipedia: Wikipedia List of large cardinal properties#V6WB, Worldly cardinal (definition)

History

2026-11-02: add by m2/dev

British Army KJQ227SRE4

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

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#R9S6, British Army (unknown)

History

2026-11-02: add by m2/dev

KJQEXP718T KJQEXP718T

URI	`m2://inv/KJQEXP718T`
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.34876#07G3 (statement). In XXQAW3ZBDF/e1, lemma 8.4

History

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

KJQGK8HV99 KJQGK8HV99

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

Mentions

arxiv: arXiv 2610.16541#DHRO (statement). In D0XH7W96T3/e1, proposition 4.4

History

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

Bisection method KJQGK9GWC3

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

Mentions

wikipedia: Wikipedia List of mathematics-based methods#0DWZ, Bisection method (definition)

History

2026-11-02: add by m2/dev

KJQHFASH7D KJQHFASH7D

URI	`m2://inv/KJQHFASH7D`
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 2609.20588#SMJV (definition)

History

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

Kröner tensor and Poincaré's lemma KJQY12RR8X

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

Mentions

wikipedia: Wikipedia Saint-Venant's compatibility condition#XJG1, Kröner tensor and Poincaré's lemma (statement)

History

2026-11-02: add by m2/dev

Symmetry KJQZH549F2

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

Mentions

wikipedia: Wikipedia Regular icosahedron#434A, Symmetry (statement)

History

2026-11-02: add by m2/dev

KJR0SXDBZ2 KJR0SXDBZ2

URI	`m2://inv/KJR0SXDBZ2`
Kind	statement
Layer	research
MSC	20-XX, 22-XX, 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 2610.14045#U6PE (statement). In KZ71GXT2B0/e1, corollary 6.14

History

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

KJR10HY5X7 KJR10HY5X7

URI	`m2://inv/KJR10HY5X7`
Kind	statement
Layer	research
MSC	05-XX, 17-XX, 20-XX, 22-XX, 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 2211.01586#A0Y1 (statement). In P39MF3ZJC0/e1, lemma 3.3

History

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

Special cases KJR4QXP386

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

Mentions

wikipedia: Wikipedia Acyclic orientation#DPJ8, Special cases (statement)

History

2026-11-02: add by m2/dev

Size-optimality at fixed coverage KJR4VNKWJY

URI	`m2://inv/KJR4VNKWJY`
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.25388#FFDO, Size-optimality at fixed coverage (statement)

History

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

DRM-Free KJRBVCWYKA

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

Mentions

wikipedia: Wikipedia Digital rights management#5I9B, DRM-Free (unknown)

History

2026-11-02: add by m2/dev

Baire category theorem KJRFA4GJMK

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

Mentions

wikipedia: Wikipedia Kolmogorov–Arnold representation theorem#2USO, Baire category theorem (statement)

History

2026-11-02: add by m2/dev

KJRQC31CQ7 KJRQC31CQ7

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

Mentions

napkin: napkin tex/alg-NT/artin.tex#proof-3 (proof). In RZP28ERRZV, proof, section 8.7

History

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

KJRQWAVAYY KJRQWAVAYY

URI	`m2://inv/KJRQWAVAYY`
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.24353#298L (statement)

History

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

Hinge theorem KJRTXP9V9C

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

Mentions

wikipedia: Wikipedia List of theorems#1H77, Hinge theorem (statement)

History

2026-11-02: add by m2/dev

KJRVN3T4XS KJRVN3T4XS

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

Mentions

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

History

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

KJRW7VZN4N KJRW7VZN4N

URI	`m2://inv/KJRW7VZN4N`
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.28594#GK9L (statement)

History

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

KJRYFH1PGG KJRYFH1PGG

URI	`m2://inv/KJRYFH1PGG`
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.19093#9XTH (statement). In S2K79KESZ4/e1, lemma 3.5

History

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

Clustering illusion KJRZQK82CB

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

Mentions

wikipedia: Wikipedia List of cognitive biases#VH30, Clustering illusion (definition)

History

2026-11-02: add by m2/dev

Properties KJS87V5K14

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

Mentions

wikipedia: Wikipedia Basis (linear algebra)#ZM83, Properties (statement)

History

2026-11-02: add by m2/dev

KJSGXKS2NP KJSGXKS2NP

URI	`m2://inv/KJSGXKS2NP`
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 2609.28824#DPX7 (statement)

History

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

ambiguity KJSJ5G1MEP

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

Mentions

wikipedia: Wikipedia Glossary of logic#4Y77, ambiguity (definition)

History

2026-11-02: add by m2/dev

GAGA KJSVNEF9PC

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

Mentions

wikipedia: Wikipedia Algebraic geometry and analytic geometry#OAH0, GAGA (unknown)

History

2026-11-02: add by m2/dev

KJT8TPC7X5 KJT8TPC7X5

URI	`m2://inv/KJT8TPC7X5`
Kind	statement
Layer	research
MSC	05-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 2609.33651#RJB2 (statement). In 69DBD2HKGK/e1, theorem 1.4

History

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

KJTD7PJC3A KJTD7PJC3A

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

Mentions

arxiv: arXiv 2610.20801#TN19 (definition). In A1GWWGRXPA/e1, definition 3.37

History

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

KJTN2Y0KCG KJTN2Y0KCG

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

Mentions

arxiv: arXiv 2610.04271#CRLW (statement). In WBXAW9G4JB/e1, theorem

History

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

KJTNEYDPCV KJTNEYDPCV

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

Mentions

arxiv: arXiv 2411.16655#QS6S (definition). In EJHAXRV685/e1, definition

History

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

Journal of Statistical Computation and Simulation KJTPGFJRJA

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

Mentions

wikipedia: Wikipedia Journal of Statistical Computation and Simulation, Journal of Statistical Computation and Simulation (definition). Also Wikidata Q6295961

History

2026-11-02: add by m2/dev

Variations KJV5E0NWWF

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

Mentions

wikipedia: Wikipedia Jeep problem#8CEU, Variations (statement)

History

2026-11-02: add by m2/dev

Maximum-length sequence KJV8P2FVAC

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

Mentions

wikipedia: Wikipedia Maximum-length sequence, Maximum-length sequence (definition). Also Wikidata Q1417719

History

2026-11-02: add by m2/dev

KJVCTH4FCF KJVCTH4FCF

URI	`m2://inv/KJVCTH4FCF`
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#TBBO (statement). In QDBYK125AB/e1, lemma 4

History

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

categorification KJVJVJBP09

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

Mentions

wikipedia: Wikipedia Glossary of category theory#UC31, categorification (definition)

History

2026-11-02: add by m2/dev

Properties KJVMYM0R83

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

Mentions

wikipedia: Wikipedia Transpose of a linear map#6WFG, Properties (statement)

History

2026-11-02: add by m2/dev

Extensions of the Atiyah–Singer index theorem KJVT71F207

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

Mentions

wikipedia: Wikipedia Atiyah–Singer index theorem#S2J3, Extensions of the Atiyah–Singer index theorem (statement)

History

2026-11-02: add by m2/dev

KJVWNNZA9S KJVWNNZA9S

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

Mentions

austin_ula: austin_ula src/exercises/exercises3-2.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 3.2

History

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

Christensen-Evans theorem KJVY3FE5MK

URI	`m2://inv/KJVY3FE5MK`
Kind	statement
Layer	research
MSC	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.09678#KGDM, Christensen-Evans theorem (statement). In 9VG7PNZHZT/e1, theorem 4.2

History

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

Definition KJVYBP0EA4

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

Mentions

wikipedia: Wikipedia Empty product#1QVI, Definition (definition)

History

2026-11-02: add by m2/dev

Soundness and strong completeness of $H_0$ KJW15Q27QJ

URI	`m2://inv/KJW15Q27QJ`
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 2609.21565#U7MN, Soundness and strong completeness of $H_0$ (statement)

History

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

KJW4MMFC11 KJW4MMFC11

URI	`m2://inv/KJW4MMFC11`
Kind	statement
Layer	research
MSC	26-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.06152#7HQQ (statement). In HH35K7S17H/e1, lemma A.17

History

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

KJW7KWH64K KJW7KWH64K

URI	`m2://inv/KJW7KWH64K`
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.01268#7TSI (statement). In 80Q4X3WT8W/e1, lemma 4.2

History

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

KJW7VT1646 KJW7VT1646

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

Mentions

arxiv: arXiv 2610.08424#FEJ1 (statement). In BVD2HAAKD5/e1, lemma 3.4

History

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

Example 2 KJWDZ70H0A

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

Mentions

wikipedia: Wikipedia Necessity and sufficiency#Q86G, Example 2 (example)

History

2026-11-02: add by m2/dev

KJWF30JESK KJWF30JESK

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_counting-proofs.ptx#proof-3 (proof). In Y91XFCEVHQ, proof, section 2.4.2

History

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

knot group KJWK68R937

URI	`m2://inv/KJWK68R937`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Knot group AQVHM3FP0D

Mentions

wikidata: Wikidata Q1777486, knot group (unknown). Also MathWorld KnotGroup, nLab knot group
wikipedia: Wikipedia Knot group, Knot group (definition). Also Wikidata Q1777486

History

2026-10-26: add by m2/dev

KJWQ05DN3X KJWQ05DN3X

URI	`m2://inv/KJWQ05DN3X`
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 1709.00677#AAJW (statement). In G83TVA8HYR/e1, proposition 2.10

History

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

KJWQ85XVGB KJWQ85XVGB

URI	`m2://inv/KJWQ85XVGB`
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 2412.20001#VUYN (definition). In Y6YJSB93C3/e1, definition 5

History

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

Composition on nested domains KJWR3ES9DC

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

Mentions

arxiv: arXiv 2610.09295#NKUK, Composition on nested domains (statement). In 29X0B511NF/e1, lemma 4.4

History

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

KJWRR5VZRS KJWRR5VZRS

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

Mentions

open_logic: open_logic content/lambda-calculus/lambda-definability/arithmetical-functions.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 37.8

History

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

Observability Gramian KJWTBWJZF0

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

Mentions

wikipedia: Wikipedia Observability Gramian, Observability Gramian (definition). Also Wikidata Q7075420

History

2026-11-02: add by m2/dev

sheaf of planes KJX7AGDXZB

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

Mentions

wikidata: Wikidata Q1278619, sheaf of planes (concept). Also MathWorld SheafofPlanes
wikipedia: Wikipedia Sheaf of planes, Sheaf of planes (definition). Also Wikidata Q1278619

History

2026-10-26: add by m2/dev

KJX8FX73XX KJX8FX73XX

URI	`m2://inv/KJX8FX73XX`
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 1011.5443#XHBM (definition). In VQ0K2GV62A/e1, definition 2.9

History

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

KJXKB1PNTB KJXKB1PNTB

URI	`m2://inv/KJXKB1PNTB`
Kind	statement
Layer	research
MSC	26-XX, 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 2508.16102#SPTS (statement). In 55QFMZQ5HM/e1, theorem 1.6

History

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

Unit's digit KJXKYETSAC

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

Mentions

wikipedia: Wikipedia Numerical digit#RDDR, Unit's digit (unknown)

History

2026-11-02: add by m2/dev

Convergence of the normalized terminal family KJXQ9JJ74X

URI	`m2://inv/KJXQ9JJ74X`
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#N91K, Convergence of the normalized terminal family (statement). In VBRQTN2RXN/e1, corollary 5.5

History

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

KJXTMWGX2B KJXTMWGX2B

URI	`m2://inv/KJXTMWGX2B`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-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.31090#JXHV (statement). In SMTJDX0Q6R/e1, lemma 8.6

History

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

KJY2ZZ0620 KJY2ZZ0620

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

Mentions

open_logic: open_logic content/set-theory/spine/foundation.tex#lem:TransitiveWellFounded (statement). In PKGMM3P5QY, lem, section 74.2

History

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

\bf Gradient-only terminal output KJY434DPFE

URI	`m2://inv/KJY434DPFE`
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.02791#50RA, \bf Gradient-only terminal output (statement). In TT9BA4VMTW/e1, lemma C.3

History

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

KJY5N3S65M KJY5N3S65M

URI	`m2://inv/KJY5N3S65M`
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.14374#G6JW (statement). In YPTC532FEG/e1, theorem 17

History

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

Injectivity criterion KJYB8WTDYM

URI	`m2://inv/KJYB8WTDYM`
Kind	statement
Layer	research
MSC	46-XX, 49-XX, 60-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 2606.21391#956K, Injectivity criterion (statement). In J9C7YMKJ33/e1, theorem 2.6

History

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

KJYBYWSFAG KJYBYWSFAG

URI	`m2://inv/KJYBYWSFAG`
Kind	statement
Layer	research
MSC	26-XX, 30-XX, 32-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 1804.05688#LJG4 (statement). In M8F4PDHH3S/e1, proposition 4.3

History

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

KJYC05FH7W KJYC05FH7W

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

Mentions

arxiv: arXiv 2609.25805#QHCE (statement)

History

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

Renato Caccioppoli KJYGW48ZRX

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#BRRB, Renato Caccioppoli (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#POU6, Renato Caccioppoli (topic)

History

2026-11-02: add by m2/dev

KJYMT3C4NQ KJYMT3C4NQ

URI	`m2://inv/KJYMT3C4NQ`
Kind	statement
Layer	research
MSC	26-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.06152#GRT6 (statement). In HH35K7S17H/e1, theorem A.33

History

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

KJYPRRW3SW KJYPRRW3SW

URI	`m2://inv/KJYPRRW3SW`
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.15831#7307 (statement). In CVESAPNMCQ/e1, proposition 5.5

History

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

Edward Kasner KJYPZGTWYQ

URI	`m2://inv/KJYPZGTWYQ`
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#0UBU, Edward Kasner (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JOJO, Edward Kasner (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#XTC9, Edward Kasner (unknown)

History

2026-11-02: add by m2/dev

KJYV7WSHRG KJYV7WSHRG

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

Mentions

arxiv: arXiv 2207.07461#1EMX (statement). In GAG532VMPF/e1, lemma 3.4.7

History

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

Examples KJYVCK1J1E

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

Mentions

wikipedia: Wikipedia Σ-finite measure#O6R5, Examples (example)

History

2026-11-02: add by m2/dev

KJZ096QB2J KJZ096QB2J

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-49 (exercise). In E9HS8K3A52, exercise, section 5.4.4

History

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

KJZA6Z60BH KJZA6Z60BH

URI	`m2://inv/KJZA6Z60BH`
Kind	conjecture
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 2111.14143#SVVI (conjecture). In QSKV7N0T89/e1, conjecture 9.1

History

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

KJZFVGGYQ4 KJZFVGGYQ4

URI	`m2://inv/KJZFVGGYQ4`
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.03310#7UI1 (statement). In 2CQ2KPV3CG/e1, proposition 4.2

History

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

formal, formally KJZHE8GTT3

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#QSGA, formal, formally (definition)

History

2026-11-02: add by m2/dev

Ambient occlusion KJZJVRM4FW

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#L021, Ambient occlusion (unknown)

History

2026-11-02: add by m2/dev

Abraham Mintchine KJZN57AEX5

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#1K5K, Abraham Mintchine (unknown)

History

2026-11-02: add by m2/dev

KJZV0XQ4ZY KJZV0XQ4ZY

URI	`m2://inv/KJZV0XQ4ZY`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-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.31090#1RU0 (statement). In SMTJDX0Q6R/e1, lemma 3.1

History

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

Power law KJZXR0CK47

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

Mentions

wikipedia: Wikipedia Power law, Power law (statement). Also Wikidata Q428971

History

2026-11-02: add by m2/dev