Inventory rows K3

Definition K302315Y8N

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

Mentions

wikipedia: Wikipedia Canonical basis#6RKB, Definition (definition)

History

2026-11-02: add by m2/dev

K302MT06H8 K302MT06H8

URI	`m2://inv/K302MT06H8`
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#Q62L (statement). In QFA8TMJPHZ/e1, lemma 2.2

History

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

Appeal to the stone K304TS8AJ5

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

Mentions

wikipedia: Wikipedia List of fallacies#KYL3, Appeal to the stone (definition)

History

2026-11-02: add by m2/dev

Milnes, Richard Monckton K3063YBQGY

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

Mentions

wikipedia: Wikipedia List of statisticians#HHZW, Milnes, Richard Monckton (unknown)

History

2026-11-02: add by m2/dev

K307K959H9 K307K959H9

URI	`m2://inv/K307K959H9`
Kind	example
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#8MFE (example). In Q1XJ5VWE1N/e1, example 4.13

History

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

K30FGQP1RG K30FGQP1RG

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

Mentions

arxiv: arXiv 2609.27078#MV1Z (definition)

History

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

Generalizations K30KBF7YTX

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

Mentions

wikipedia: Wikipedia Newton–Pepys problem#5Y6L, Generalizations (statement)

History

2026-11-02: add by m2/dev

K30MS665FT K30MS665FT

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

Mentions

napkin: napkin tex/linalg/dual-trace.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 57.5

History

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

First Lemma K30TGDY97T

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

Mentions

wikipedia: Wikipedia Sprague–Grundy theorem#8B4E, First Lemma (statement)

History

2026-11-02: add by m2/dev

Proper-factor virtual unipotence at fixed rank K30TMKQP8B

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

Mentions

arxiv: arXiv 2609.27204#QPPM, Proper-factor virtual unipotence at fixed rank (statement)

History

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

Megumi Harada K31132QJTN

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

Mentions

wikipedia: Wikipedia Megumi Harada, Megumi Harada (topic). Also Wikidata Q41695919

History

2026-11-02: add by m2/dev

K312MBG4MG K312MBG4MG

URI	`m2://inv/K312MBG4MG`
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.18154#9D53 (statement). In 4W7ARR1DAR/e1, fact B.15

History

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

Luigi Carnera K314QQ7QNT

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#Q2LN, Luigi Carnera (unknown)

History

2026-11-02: add by m2/dev

K3196FGQ6C K3196FGQ6C

URI	`m2://inv/K3196FGQ6C`
Kind	example
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.10745#038A (example). In 5MJ4NJ5ZCV/e1, example 2.6

History

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

Deterministic midpoint guarantees, informal K31QFAFFH5

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

Mentions

arxiv: arXiv 2610.06308#541K, Deterministic midpoint guarantees, informal (statement). In HTWSDDAWGS/e1, theorem 1.1

History

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

K31QTFK4ZF K31QTFK4ZF

URI	`m2://inv/K31QTFK4ZF`
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.36412#CEJ2 (statement). In 6HKGGCMBCK/e1, corollary 4.6

History

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

Zermelo–Fraenkel set theory K31R8M94JX

URI	`m2://inv/K31R8M94JX`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Zermelo–Fraenkel set theory 0HE5WDQ9FJ

Mentions

wikidata: Wikidata Q191849, Zermelo–Fraenkel set theory (definition). Also MathWorld Zermelo-FraenkelSetTheory, ProofWiki Definition:Zermelo-Fraenkel_Set_Theory
wikipedia: Wikipedia Zermelo–Fraenkel set theory, Zermelo–Fraenkel set theory (definition). Also Wikidata Q191849

History

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

K31SEK509G K31SEK509G

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

Mentions

napkin: napkin tex/alg-geom/proj-var.tex#definition-1 (definition). In RZP28ERRZV, definition, section 23.1

History

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

Fractal curve K31T37K113

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#BK5B, Fractal curve (definition)

History

2026-11-02: add by m2/dev

Atomic model (mathematical logic) K31T9SBBN3

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#81QC, Atomic model (mathematical logic) (definition)

History

2026-11-02: add by m2/dev

Definition K323X51A2Z

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

Mentions

wikipedia: Wikipedia Block cipher#BP86, Definition (definition)

History

2026-11-02: add by m2/dev

K3280QNYFC K3280QNYFC

URI	`m2://inv/K3280QNYFC`
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.37208#FHFS (statement). In 7MCBCP4T0B/e1, theorem 1.1

History

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

Weyl character formula K32HPW6NA3

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

Mentions

wikipedia: Wikipedia List of representation theory topics#VA8V, Weyl character formula (statement)
wikipedia: Wikipedia List of Lie groups topics#WXRF, Weyl character formula (statement)
wikipedia: Wikipedia List of things named after Hermann Weyl#5BK8, Weyl character formula (statement)

History

2026-11-02: add by m2/dev

K32PD7B3CA K32PD7B3CA

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

Mentions

lebl_ra: lebl_ra ch-der.tex#exercise-26 (exercise). In E59CDZA4DP, exercise, section 3.3.3

History

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

Narendra Karmarkar K32T8HGBM2

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#HSRM, Narendra Karmarkar (topic)

History

2026-11-02: add by m2/dev

component-resolved shallowness K32VW7MD9F

URI	`m2://inv/K32VW7MD9F`
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 2609.32733#OG1R, component-resolved shallowness (definition). In PCAS8S14J6/e1, definition 3.7

History

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

K334D10CDB K334D10CDB

URI	`m2://inv/K334D10CDB`
Kind	example
Layer	research
MSC	11-XX, 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 2104.12015#U6EV (example). In ZZ2P08DVQW/e1, example 3.2

History

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

Examples K335TZ986H

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

Mentions

wikipedia: Wikipedia Complete measure#O6C1, Examples (example)

History

2026-11-02: add by m2/dev

Bochner–Martinelli formula K33B38RZPT

URI	`m2://inv/K33B38RZPT`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Bochner–Martinelli formula YMHYAEJQ80

Mentions

wikidata: Wikidata Q4936246, Bochner–Martinelli formula (concept). Also EoM Bochner-Martinelli_representation_formula
wikipedia: Wikipedia Bochner–Martinelli formula, Bochner–Martinelli formula (statement). Also Wikidata Q4936246

History

2026-10-26: add by m2/dev

K33E5E5ZSE K33E5E5ZSE

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

Mentions

arxiv: arXiv 2110.11143#X92N (definition). In VTVC0TCWSB/e1, definition 2.4

History

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

George Nemhauser K33PJ3G66Z

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#J1MS, George Nemhauser (unknown)

History

2026-11-02: add by m2/dev

Estimation lemma K33VQJT0AB

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

Mentions

wikipedia: Wikipedia List of lemmas#UIZA, Estimation lemma (statement)

History

2026-11-02: add by m2/dev

Multi-layer SSM Stability K33WD1XJH9

URI	`m2://inv/K33WD1XJH9`
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.02659#9182, Multi-layer SSM Stability (definition). In EV933413SJ/e1, definition C.2

History

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

Statement K33YXFMHHB

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

Mentions

wikipedia: Wikipedia Routh–Hurwitz theorem#JMRJ, Statement (statement)

History

2026-11-02: add by m2/dev

Neural network Gaussian process K3423YHEEV

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

Mentions

wikipedia: Wikipedia Neural network Gaussian process, Neural network Gaussian process (definition). Also Wikidata Q96395262

History

2026-11-02: add by m2/dev

List of films about mathematicians K3431HHXKH

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

Mentions

wikipedia: Wikipedia List of films about mathematicians, List of films about mathematicians (topic). Also Wikidata Q6619927

History

2026-11-02: add by m2/dev

Examples K343DG69K5

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

Mentions

wikipedia: Wikipedia Monotone matrix#SAB6, Examples (example)

History

2026-11-02: add by m2/dev

K345R4YBK5 K345R4YBK5

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

Mentions

arxiv: arXiv 2509.04068#GWAM (statement). In Y7TVAQE9PF/e1, theorem 3.14

History

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

K347QJT1HD K347QJT1HD

URI	`m2://inv/K347QJT1HD`
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.39531#PTCS (statement). In SN9RSTHQ07/e1, corollary I.2

History

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

OpenVPN K348V75QDD

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

Mentions

wikipedia: Wikipedia OpenVPN, OpenVPN (definition). Also Wikidata Q509075

History

2026-11-02: add by m2/dev

Endpoint reduction K34G0ZMJ3Y

URI	`m2://inv/K34G0ZMJ3Y`
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 2609.37479#ZE14, Endpoint reduction (statement). In P3RTT99C41/e1, lemma 6.6

History

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

Comparison of pseudo-Lindbladians K34SZXYKK2

URI	`m2://inv/K34SZXYKK2`
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.05953#7XUD, Comparison of pseudo-Lindbladians (statement). In P3XHJ1VB8C/e1, corollary 6

History

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

octadecagon K34WAWPY6B

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

Mentions

wikidata: Wikidata Q1054120, octadecagon (unknown). Also MathWorld Octadecagon
wikipedia: Wikipedia Octadecagon, Octadecagon (definition). Also Wikidata Q1054120

History

2026-10-26: add by m2/dev

K34XY0KK7C K34XY0KK7C

URI	`m2://inv/K34XY0KK7C`
Kind	statement
Layer	research
MSC	60-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.34570#5B8G (statement). In EVFX1R7ZDD/e1, corollary 8

History

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

Definition K34ZSE5GBY

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

Mentions

wikipedia: Wikipedia Closed linear operator#EHMF, Definition (definition)

History

2026-11-02: add by m2/dev

K34ZT475G2 K34ZT475G2

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

Mentions

arxiv: arXiv 2609.22560#K8U8 (statement)

History

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

K3504YRAPY K3504YRAPY

URI	`m2://inv/K3504YRAPY`
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 2609.27151#YTZM (statement)

History

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

Statement K352C2SWE5

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

Mentions

wikipedia: Wikipedia Siegel's theorem on integral points#4R9X, Statement (statement)

History

2026-11-02: add by m2/dev

Example K3544DDK8P

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

Mentions

wikipedia: Wikipedia Rope-burning puzzle#T0LJ, Example (example)

History

2026-11-02: add by m2/dev

K35CCT64Y1 K35CCT64Y1

URI	`m2://inv/K35CCT64Y1`
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 2111.01197#0UP3 (statement). In Z36XFKVTS0/e1, corollary 3.17

History

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

Square packing in a square K35E2V8VMB

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#RAWI, Square packing in a square (conjecture)

History

2026-11-02: add by m2/dev

Verification of group axioms K35EWSTP4S

URI	`m2://inv/K35EWSTP4S`
Kind	statement
Layer	textbook
Sources	1
Outcome	deferred (a person holds the item: the section is a check that the symmetric group is a group, and not one statement)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Symmetric group#ZVB1, Verification of group axioms (statement)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

Application K35G34A7GP

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

Mentions

wikipedia: Wikipedia Matrix determinant lemma#HLSI, Application (example)

History

2026-11-02: add by m2/dev

Center backbone K35M089Z5N

URI	`m2://inv/K35M089Z5N`
Kind	statement
Layer	research
MSC	49-XX, 65-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.34025#5BNT, Center backbone (statement). In VCG579E7MM/e1, lemma 9

History

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

birotunda K35NKDDEA7

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

Mentions

wikidata: Wikidata Q4916930, birotunda (unknown). Also MathWorld Birotunda
wikipedia: Wikipedia Birotunda, Birotunda (definition). Also Wikidata Q4916930

History

2026-10-26: add by m2/dev

monotonicity criterion K35RVHZMMG

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

Mentions

wikidata: Wikidata Q6902035, monotonicity criterion (unknown). Also MathWorld MonotonicVoting

History

2026-10-26: add by m2/dev

overline K35VP4KBJ9

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#ODWD, overline (definition)

History

2026-11-02: add by m2/dev

Nowhere differentiable function K3686779DY

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

Mentions

wikipedia: Wikipedia List of types of functions#W8RO, Nowhere differentiable function (definition)

History

2026-11-02: add by m2/dev

K36BPD69HD K36BPD69HD

URI	`m2://inv/K36BPD69HD`
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.27898#SJPN (statement)

History

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

K36BV39AFB K36BV39AFB

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

Mentions

arxiv: arXiv 2401.14143#CHAE (statement). In 7WV4JVGEN1/e1, proposition 6.6

History

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

Paradigm paralysis K36D9FG9VV

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

Mentions

wikipedia: Wikipedia Paradigm#0NQI, Paradigm paralysis (unknown)

History

2026-11-02: add by m2/dev

K36FKYDBCS K36FKYDBCS

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

Mentions

arxiv: arXiv 2609.24001#Z4W7 (statement)

History

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

Definition K36H80MBES

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

Mentions

wikipedia: Wikipedia Diagram (mathematical logic)#19V8, Definition (definition)

History

2026-11-02: add by m2/dev

word-representable K36KSJ1EBC

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#KKY8, word-representable (definition)

History

2026-11-02: add by m2/dev

Limin Peng K36TQVTCMW

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#6ZTM, Limin Peng (unknown)

History

2026-11-02: add by m2/dev

Type-2 Gumbel distribution K36TX6TMWD

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

Mentions

wikipedia: Wikipedia Type-2 Gumbel distribution, Type-2 Gumbel distribution (definition). Also Wikidata Q1488549

History

2026-11-02: add by m2/dev

K370DH9A7K K370DH9A7K

URI	`m2://inv/K370DH9A7K`
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.33771#7GKB (statement). In ZXQA7QH0H0/e1, proposition 3.26

History

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

Unity amplitude K37123PDAJ

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

Mentions

wikipedia: Wikipedia Unity amplitude, Unity amplitude (definition). Also Wikidata Q7893826

History

2026-11-02: add by m2/dev

One-sided pressure cost of the profile K377E58PFW

URI	`m2://inv/K377E58PFW`
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.06544#NMP6, One-sided pressure cost of the profile (statement). In VCRB27RMN6/e1, corollary 3.2

History

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

Definition K37AC7Z987

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

Mentions

wikipedia: Wikipedia Power sum symmetric polynomial#2OJR, Definition (definition)

History

2026-11-02: add by m2/dev

Construction K37EC6RP0N

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

Mentions

wikipedia: Wikipedia Gyrate rhombicosidodecahedron#QYXX, Construction (definition)

History

2026-11-02: add by m2/dev

Tullio Regge K37HRJ48G3

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#W6ZR, Tullio Regge (unknown)

History

2026-11-02: add by m2/dev

K37RW9W647 K37RW9W647

URI	`m2://inv/K37RW9W647`
Kind	statement
Layer	research
MSC	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.27360#ORK8 (statement)

History

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

Hadamard's gap theorem K37VY2RQ7R

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

Mentions

wikipedia: Wikipedia Analytic continuation#KHG8, Hadamard's gap theorem (statement)

History

2026-11-02: add by m2/dev

K37W2RJT65 K37W2RJT65

URI	`m2://inv/K37W2RJT65`
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.24154#P4M8 (statement)

History

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

Faltings' annihilator theorem K3811NAH6X

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

Mentions

wikipedia: Wikipedia Faltings' annihilator theorem, Faltings' annihilator theorem (statement). Also Wikidata Q113560939

History

2026-11-02: add by m2/dev

Type Gluing Model $\Uc_i^\ast$ K38J2MGGCK

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

Mentions

arxiv: arXiv 2610.21131#W77K, Type Gluing Model $\Uc_i^\ast$ (definition). In CPYWHRTPKC/e1, definition 7.4

History

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

self-descriptive number K38NV7BHDJ

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

Mentions

wikidata: Wikidata Q1781115, self-descriptive number (unknown). Also MathWorld Self-DescriptiveNumber, OEIS A046043
wikipedia: Wikipedia Self-descriptive number, Self-descriptive number (definition). Also Wikidata Q1781115

History

2026-10-26: add by m2/dev

Kaushal Kumar Verma K38PESXY5R

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

Mentions

wikipedia: Wikipedia Kaushal Kumar Verma, Kaushal Kumar Verma (topic). Also Wikidata Q18387330

History

2026-11-02: add by m2/dev

K38SJD1MXA K38SJD1MXA

URI	`m2://inv/K38SJD1MXA`
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 2512.07470#RYFD (statement). In XPF72KTPMZ/e1, theorem 5

History

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

Measure estimate for strong supersolutions K392YTVG7P

URI	`m2://inv/K392YTVG7P`
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.09494#73WL, Measure estimate for strong supersolutions (statement). In H297EPZQQB/e1, lemma 5.4

History

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

K39DJDD75T K39DJDD75T

URI	`m2://inv/K39DJDD75T`
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#HI7F (statement). In 5GDDS20Q3D/e1, corollary 1.4

History

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

Likelihood principle K39KQRJBEY

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

Mentions

wikipedia: Wikipedia List of statistics articles#SF1E, Likelihood principle (statement)

History

2026-11-02: add by m2/dev

FRW model K39N3WEANW

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

Mentions

wikipedia: Wikipedia Friedmann equations#KT54, FRW model (unknown)

History

2026-11-02: add by m2/dev

K39S83BDT0 K39S83BDT0

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

Mentions

napkin: napkin tex/alg-geom/spec-zariski.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 28.6

History

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

K3A097XZHC K3A097XZHC

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-15 (exercise). In E59CDZA4DP, exercise, section 2.2.4

History

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

Berge's theorem K3A852TC8X

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

Mentions

wikipedia: Wikipedia List of theorems#WLZH, Berge's theorem (statement)

History

2026-11-02: add by m2/dev

Likelihood-ratio test K3AA7Z5YNR

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

Mentions

wikipedia: Wikipedia List of statistics articles#HAC5, Likelihood-ratio test (definition)

History

2026-11-02: add by m2/dev

Special orthogonal group K3AN188QV5

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#O82Y, Special orthogonal group (definition)

History

2026-11-02: add by m2/dev

K3AT6B7BZS K3AT6B7BZS

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

Mentions

lebl_scv: lebl_scv scv.tex#defn-27 (definition). In VNMV985MXX, defn, section 6.2

History

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

Feasible descent and cut K3B5TESVFC

URI	`m2://inv/K3B5TESVFC`
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.21880#T6YF, Feasible descent and cut (statement)

History

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

K3BCVERWF4 K3BCVERWF4

URI	`m2://inv/K3BCVERWF4`
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 2507.12309#F1VD (definition). In ZR53K3E0FR/e1, definition 5

History

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

Pythagorean diet K3BD3ENJHZ

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

Mentions

wikipedia: Wikipedia List of things named after Pythagoras#XO3A, Pythagorean diet (definition)

History

2026-11-02: add by m2/dev

K3BRSCCQB4 K3BRSCCQB4

URI	`m2://inv/K3BRSCCQB4`
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 2609.35642#1LDL (conjecture). In D905BX98TP/e1, conjecture 2.3

History

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

Colin L. Mallows K3BSQVB3BE

URI	`m2://inv/K3BSQVB3BE`
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#2J73, Colin L. Mallows (topic)

History

2026-11-02: add by m2/dev

electrostatic system of units K3BVRGY78G

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

Mentions

wikidata: Wikidata Q1370826, electrostatic system of units (definition). Also ProofWiki Definition:CGS_Unrationalised_Electrostatic_System

History

2026-10-26: add by m2/dev

Surface of general type K3C14MWA6J

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#39P8, Surface of general type (definition)

History

2026-11-02: add by m2/dev

Nachbin's theorem K3C3SVBZWZ

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

Mentions

wikipedia: Wikipedia Stone–Weierstrass theorem#GN5Q, Nachbin's theorem (statement)

History

2026-11-02: add by m2/dev

K3C46GR27X K3C46GR27X

URI	`m2://inv/K3C46GR27X`
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#W5VU (definition). In A1GWWGRXPA/e1, definition 1.11

History

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

perfect set K3C59NMS64

URI	`m2://inv/K3C59NMS64`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Perfect set 628242KN0T

Mentions

wikidata: Wikidata Q7168101, perfect set (definition). Also nLab perfect space, ProofWiki Definition:Perfect_Set
wikipedia: Wikipedia Perfect set, Perfect set (definition). Also Wikidata Q7168101

History

2026-10-26: add by m2/dev

K3C80EH97E K3C80EH97E

URI	`m2://inv/K3C80EH97E`
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.18346#AP42 (statement). In QVPNGHTMEX/e1, theorem 4.5

History

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

Stronger uncertainty relations K3CBZC8JQQ

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

Mentions

wikipedia: Wikipedia Stronger uncertainty relations, Stronger uncertainty relations (definition). Also Wikidata Q48996242

History

2026-11-02: add by m2/dev

Paul Moritz Cohn K3CE67WZJ0

URI	`m2://inv/K3CE67WZJ0`
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#Q14E, Paul Moritz Cohn (topic)

History

2026-11-02: add by m2/dev

Examples K3CF5H5CAA

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

Mentions

wikipedia: Wikipedia Quotient module#M0DR, Examples (example)

History

2026-11-02: add by m2/dev

K3CFBVHNEA K3CFBVHNEA

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

Mentions

arxiv: arXiv 2505.08839#BISS (definition). In HJPDS53MX4/e1, definition 2.3

History

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

unit vector K3CG3574P4

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

Mentions

wikipedia: Wikipedia Glossary of linear algebra#C0R9, unit vector (definition)

History

2026-11-02: add by m2/dev

Health indicator K3CQJAQE4K

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

Mentions

wikipedia: Wikipedia Health indicator, Health indicator (definition). Also Wikidata Q17021791

History

2026-11-02: add by m2/dev

Third axiom K3CWX5CHXY

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

Mentions

wikipedia: Wikipedia Probability axioms#1YJE, Third axiom (statement)

History

2026-11-02: add by m2/dev

Left invariant metric K3D83Y616Q

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

Mentions

wikipedia: Wikipedia Topological group#RPMP, Left invariant metric (unknown)

History

2026-11-02: add by m2/dev

Frank Adams K3DJJQABFH

URI	`m2://inv/K3DJJQABFH`
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 Q1385061, Frank Adams (unknown). Also nLab John Frank Adams
wikipedia: Wikipedia Frank Adams, Frank Adams (topic). Also Wikidata Q1385061

History

2026-10-26: add by m2/dev

Bivariate analysis K3DNMHB61F

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

Mentions

wikipedia: Wikipedia List of statistics articles#63QK, Bivariate analysis (definition)

History

2026-11-02: add by m2/dev

characteristic roots K3DNSMK667

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

Mentions

levin_dmoi: levin_dmoi index/3.4.1/characteristic-roots, characteristic roots (concept). In Y91XFCEVHQ, index, section 3.4.1

History

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

Class formation K3DQXQFDTK

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

Mentions

wikipedia: Wikipedia Class formation, Class formation (definition). Also Wikidata Q3077416

History

2026-11-02: add by m2/dev

Properties K3E98Z150V

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

Mentions

wikipedia: Wikipedia Ordinal arithmetic#3WSX, Properties (statement)

History

2026-11-02: add by m2/dev

K3EBKSSPKZ K3EBKSSPKZ

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

Mentions

arxiv: arXiv 2601.15010#CSI8 (statement). In K3WJ6ZN184/e1, lemma A.15

History

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

Properties K3EDER3BG7

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

Mentions

wikipedia: Wikipedia Covering number#RL0L, Properties (statement)

History

2026-11-02: add by m2/dev

Ariadne's thread K3EDVN2NK1

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

Mentions

wikipedia: Wikipedia Ariadne's thread (logic), Ariadne's thread (definition). Also Wikidata Q3655970

History

2026-11-02: add by m2/dev

Formulation K3EJPRZVVJ

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

Mentions

wikipedia: Wikipedia Exact test#6F7H, Formulation (definition)

History

2026-11-02: add by m2/dev

Kolmogorov's theory of 1941 K3ENMFNYWB

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

Mentions

wikipedia: Wikipedia Turbulence#WCV2, Kolmogorov's theory of 1941 (unknown)

History

2026-11-02: add by m2/dev

K3EQRNMX6B K3EQRNMX6B

URI	`m2://inv/K3EQRNMX6B`
Kind	definition
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.33531#NU8J (definition). In HNMJEAR2ER/e1, definition 4.2

History

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

K3EWBD3Y79 K3EWBD3Y79

URI	`m2://inv/K3EWBD3Y79`
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 1406.2996#5X87 (statement). In 6XENXFC77F/e1, proposition 5.2

History

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

K3EWENAC7Z K3EWENAC7Z

URI	`m2://inv/K3EWENAC7Z`
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.25843#KJXW (statement)

History

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

K3EWMY1E4Z K3EWMY1E4Z

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

History

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

K3F2MEJA64 K3F2MEJA64

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

Mentions

arxiv: arXiv 2610.07790#VN62 (statement). In A5YJDDM0NX/e1, proposition 1.9

History

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

Variance decomposition lemma K3F8E2ZBWF

URI	`m2://inv/K3F8E2ZBWF`
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 2411.07061#B1RW, Variance decomposition lemma (statement). In S988ZVA1QE/e1, lemma 10

History

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

Daniel Thompson K3F9EJN1MC

URI	`m2://inv/K3F9EJN1MC`
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#KPTR, Daniel Thompson (unknown)

History

2026-11-02: add by m2/dev

Murphy, Susan K3FC0A2XE5

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

Mentions

wikipedia: Wikipedia List of statisticians#WTOT, Murphy, Susan (topic)

History

2026-11-02: add by m2/dev

Sex and Character K3FX5FC5H2

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

Mentions

wikipedia: Wikipedia Otto Weininger#Z1ME, Sex and Character (unknown)

History

2026-11-02: add by m2/dev

K3FZJK0897 K3FZJK0897

URI	`m2://inv/K3FZJK0897`
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.01225#WVPV (statement). In MFR807V4YG/e1, lemma 2.2

History

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

Eutocius of Ascalon K3G65XQTX4

URI	`m2://inv/K3G65XQTX4`
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 Q510719, Eutocius of Ascalon (unknown). Also ProofWiki Mathematician:Eutocius_of_Ascalon
wikipedia: Wikipedia Eutocius of Ascalon, Eutocius of Ascalon (topic). Also Wikidata Q510719

History

2026-10-26: add by m2/dev

K3GC1557P4 K3GC1557P4

URI	`m2://inv/K3GC1557P4`
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 2509.10268#B1SH (statement). In YR15TN4V4F/e1, lemma 8

History

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

Application K3GCDR5Q86

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

Mentions

wikipedia: Wikipedia Robin boundary condition#DCVZ, Application (example)

History

2026-11-02: add by m2/dev

K3GFDEF6PD K3GFDEF6PD

URI	`m2://inv/K3GFDEF6PD`
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.37973#MVY0 (statement). In 7276BGZRMP/e1, corollary 6

History

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

K3GFN6DNSK K3GFN6DNSK

URI	`m2://inv/K3GFN6DNSK`
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.32946#XTE3 (statement). In 6AEBXNK614/e1, lemma 2.3

History

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

K3GN0GDVC3 K3GN0GDVC3

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-7 (exercise). In E9HS8K3A52, exercise, section 4.1.1

History

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

K3GV7KZ8VV K3GV7KZ8VV

URI	`m2://inv/K3GV7KZ8VV`
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 2501.17009#CMJR (statement). In PESAKD6SSW/e1, corollary 5.9

History

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

K3H4R1Y7DZ K3H4R1Y7DZ

URI	`m2://inv/K3H4R1Y7DZ`
Kind	problem
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.13833#4VD5 (problem). In VD4JP4HVBX/e1, problem 3

History

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

K3HFC3YE2T K3HFC3YE2T

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#53LY (definition)

History

2026-11-02: add by m2/dev

tricircular K3HKQNJZ6C

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#HC04, tricircular (definition)

History

2026-11-02: add by m2/dev

K3HQRZPBMB K3HQRZPBMB

URI	`m2://inv/K3HQRZPBMB`
Kind	unknown
Layer	research
MSC	49-XX, 90-XX, 93-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.21976#VQ0H (unknown)

History

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

K3HRNG0E1G K3HRNG0E1G

URI	`m2://inv/K3HRNG0E1G`
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.19360#Z0LA (statement). In MFCW5CY96C/e1, theorem 7

History

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

K3J1730A69 K3J1730A69

URI	`m2://inv/K3J1730A69`
Kind	statement
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.13260#S5DI (statement). In ZBQX9341RV/e1, theorem C

History

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

K3J82HH172 K3J82HH172

URI	`m2://inv/K3J82HH172`
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 2205.09049#LOH2 (definition). In 37S7MNMZ2F/e1, definition 75

History

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

Examples K3JG0HST8K

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

Mentions

wikipedia: Wikipedia Infinite expression#COLH, Examples (example)

History

2026-11-02: add by m2/dev

K3JHJ0K30H K3JHJ0K30H

URI	`m2://inv/K3JHJ0K30H`
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.08594#628W (statement). In FEE70SSD96/e1, lemma 5.4

History

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

K3JRFBG1QZ K3JRFBG1QZ

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

Mentions

arxiv: arXiv 2609.39700#0F72 (statement). In E7W2HDNEKJ/e1, theorem 5.44

History

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

K3JTP27MZ7 K3JTP27MZ7

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

Mentions

napkin: napkin tex/alg-geom/spec-sheaf.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 27.2.2

History

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

Mohamed Amine Khamsi K3JZXVCT18

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#FCN8, Mohamed Amine Khamsi (unknown)

History

2026-11-02: add by m2/dev

K3K0R7JB8Q K3K0R7JB8Q

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

Mentions

arxiv: arXiv 2610.02244#JTFN (statement). In 3REM2EXQK7/e1, lemma 2.13

History

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

K3K97TXB96 K3K97TXB96

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#proof-15 (proof). In E59CDZA4DP, proof, section 1.6

History

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

K3K9CGZA0N K3K9CGZA0N

URI	`m2://inv/K3K9CGZA0N`
Kind	statement
Layer	research
MSC	14-XX, 18-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.37520#SFNC (statement). In BDN507RN7J/e1, proposition 3.1.11

History

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

Henrio's moment criterion K3KCTR8M0J

URI	`m2://inv/K3KCTR8M0J`
Kind	statement
Layer	research
MSC	14-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.20572#2XSH, Henrio's moment criterion (statement)

History

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

Polybius square K3KM6PXGGD

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

Mentions

wikipedia: Wikipedia Polybius square, Polybius square (definition). Also Wikidata Q846324

History

2026-11-02: add by m2/dev

K3KRQ5EPBV K3KRQ5EPBV

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

Mentions

arxiv: arXiv 2610.18101#R13N (statement). In XXN6KKXPYF/e1, theorem 9.2

History

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

K3KRRPD557 K3KRRPD557

URI	`m2://inv/K3KRRPD557`
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 2111.07409#9P6F (statement). In KWH4QJDPWC/e1, theorem 2.1

History

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

average rate of change K3KVE2X7A0

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

Mentions

wikipedia: Wikipedia Glossary of calculus#EW9B, average rate of change (definition)

History

2026-11-02: add by m2/dev

Statement K3KYTYEE68

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

Mentions

wikipedia: Wikipedia Darboux's formula#RLPS, Statement (statement)

History

2026-11-02: add by m2/dev

game, deductive system as K3MFSM6BRF

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

Mentions

hott_book: hott_book index/A.1/game-deductive-system-as, game, deductive system as (concept). In N54F33XE07, index, section A.1

History

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

Effective method K3MP1VRR1F

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

Mentions

wikipedia: Wikipedia Effective method, Effective method (definition). Also Wikidata Q5347270

History

2026-11-02: add by m2/dev

Ricci decomposition K3MS3D8PB5

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

Mentions

wikipedia: Wikipedia Ricci decomposition, Ricci decomposition (definition). Also Wikidata Q4388622

History

2026-11-02: add by m2/dev

Example K3MX5MJC6N

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

Mentions

wikipedia: Wikipedia Modular multiplicative inverse#IMDS, Example (example)

History

2026-11-02: add by m2/dev

Proof using covers K3MXAEXK7J

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

Mentions

napkin: napkin tex/topology/compactness.tex#proof-5, Proof using covers (proof). In RZP28ERRZV, proof, section 95.4

History

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

K3MZ6MDMD6 K3MZ6MDMD6

URI	`m2://inv/K3MZ6MDMD6`
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.22205#UMQH (statement). In 7REABAAQED/e1, theorem

History

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

One percent property K3MZ9BYP3R

URI	`m2://inv/K3MZ9BYP3R`
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 2610.18106#NVKY, One percent property (definition). In VZDPG7NJCX/e1, definition 1

History

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

K3N1VTR016 K3N1VTR016

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

Mentions

arxiv: arXiv 2610.02244#W4QH (statement). In 3REM2EXQK7/e1, theorem 3.17

History

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

Pickett plot K3N26Q4JRV

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

Mentions

wikipedia: Wikipedia Archie's law#YURJ, Pickett plot (unknown)

History

2026-11-02: add by m2/dev

K3N647Z1YS K3N647Z1YS

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

Mentions

arxiv: arXiv 2610.16562#F5UU (statement). In 7QGPEBC70Y/e1, lemma 11

History

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

K3N8E7WSDM K3N8E7WSDM

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:small reciprocal (statement). In P1C114YBXG, theorem, section u1

History

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

Laurence D. Fink K3N8GQDZ74

URI	`m2://inv/K3N8GQDZ74`
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#SO6W, Laurence D. Fink (unknown)

History

2026-11-02: add by m2/dev

Youth Bulge K3N9JRGHTY

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

Mentions

wikipedia: Wikipedia Population pyramid#WRZR, Youth Bulge (unknown)

History

2026-11-02: add by m2/dev

K3NBQ5HNN9 K3NBQ5HNN9

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

Mentions

austin_ula: austin_ula src/section7-2.xml#prop-definite-matrices (statement). In 649HGZKE96, proposition, section 7.2.3

History

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

K3NDJFVQD2 K3NDJFVQD2

URI	`m2://inv/K3NDJFVQD2`
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.16010#JDLV (statement). In AQJXKF6WZP/e1, lemma 3.3

History

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

Localized character K3NKFD50E7

URI	`m2://inv/K3NKFD50E7`
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 2609.30637#LLHM, Localized character (statement). In 6G1KBA0SXV/e1, proposition 3.12

History

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

K3NQ3MSG95 K3NQ3MSG95

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

Mentions

arxiv: arXiv 2610.22082#3STQ (statement). In 7PACGDW3N7/e1, lemma 6.1

History

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

K3NQVZ7NB5 K3NQVZ7NB5

URI	`m2://inv/K3NQVZ7NB5`
Kind	definition
Layer	research
MSC	03-XX, 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 2609.28742#9EPW (definition)

History

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

K3NVGB6VW4 K3NVGB6VW4

URI	`m2://inv/K3NVGB6VW4`
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#93M6 (statement). In 75E8ZB1CBV/e1, proposition 5.1.3

History

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

K3P20MHB7Q K3P20MHB7Q

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

Mentions

arxiv: arXiv 2609.30663#WF3Y (statement). In 3JZDKWS8NK/e1, theorem 5.1

History

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

Sine-Gordon equation K3P6KVSNW0

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

Mentions

wikipedia: Wikipedia List of named differential equations#T9ZJ, Sine-Gordon equation (definition)

History

2026-11-02: add by m2/dev

Sticky Kakeya Theorem K3P78FER1D

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

Mentions

arxiv: arXiv 2609.40161#HCL1, Sticky Kakeya Theorem (statement). In P2ZW0PZMEH/e1, theorem 3.3

History

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

K3P9J6Q3X8 K3P9J6Q3X8

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

Mentions

arxiv: arXiv 2610.20760#WFGV (definition). In 6G9JSJ5JMP/e1, definition 18

History

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

unary relation K3PF51MQ55

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

Mentions

wikipedia: Wikipedia Glossary of logic#Y14M, unary relation (definition)

History

2026-11-02: add by m2/dev

Lobachevsky's formula K3PGGRBYRV

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

Mentions

wikipedia: Wikipedia Angle of parallelism#WFJI, Lobachevsky's formula (unknown)

History

2026-11-02: add by m2/dev

Truncated square antiprism K3PN88VC4H

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

Mentions

wikipedia: Wikipedia Truncated square antiprism, Truncated square antiprism (definition). Also Wikidata Q18354766

History

2026-11-02: add by m2/dev

Ronald Fisher K3PP9YKG1A

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#WTXE, Ronald Fisher (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6PV0, Ronald Fisher (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#QWEH, Ronald Fisher (topic)

History

2026-11-02: add by m2/dev

bidegree K3PQZSPNFT

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#A7P2, bidegree (definition)

History

2026-11-02: add by m2/dev

Examples K3PRB4FF26

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

Mentions

wikipedia: Wikipedia Concrete security#ICM1, Examples (example)

History

2026-11-02: add by m2/dev

K3PT01PCCX K3PT01PCCX

URI	`m2://inv/K3PT01PCCX`
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-22 (exercise). In E59CDZA4DP, exercise, section 11.2.4

History

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

K3PZYH6A22 K3PZYH6A22

URI	`m2://inv/K3PZYH6A22`
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.14217#YVLD (statement). In K0DHYQC5B7/e1, theorem 1.1

History

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

Gösta Mittag-Leffler K3Q01CFE7Z

URI	`m2://inv/K3Q01CFE7Z`
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#S665, Gösta Mittag-Leffler (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SGN2, Gösta Mittag-Leffler (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#X60D, Gösta Mittag-Leffler (topic)

History

2026-11-02: add by m2/dev

Uniform fractional-source truncation K3Q2J1KC8W

URI	`m2://inv/K3Q2J1KC8W`
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.05388#OVEE, Uniform fractional-source truncation (statement). In 4HJK1986EJ/e1, lemma C.2

History

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

Bose integral K3QAR9DYAQ

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

Mentions

wikipedia: Wikipedia Polylogarithm#3VQA, Bose integral (unknown)

History

2026-11-02: add by m2/dev

Curve complex K3QBAASXGD

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

Mentions

wikipedia: Wikipedia Curve complex, Curve complex (definition). Also Wikidata Q28455227

History

2026-11-02: add by m2/dev

K3QECTEWWP K3QECTEWWP

URI	`m2://inv/K3QECTEWWP`
Kind	definition
Layer	research
MSC	16-XX, 55-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.21365#DWH4 (definition). In FCMMB2EVAP/e1, definition 4.11

History

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

Output probabilities on safe affine spaces K3QGTX655A

URI	`m2://inv/K3QGTX655A`
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#6KGC, Output probabilities on safe affine spaces (statement). In ZZER8ZBSCR/e1, lemma 6.5

History

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

proof-theoretic validity K3QH7DW7QC

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

Mentions

wikipedia: Wikipedia Glossary of logic#IB3M, proof-theoretic validity (definition)

History

2026-11-02: add by m2/dev

K3QKDHJ1SG K3QKDHJ1SG

URI	`m2://inv/K3QKDHJ1SG`
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#WSHL (definition). In KZ175036B5/e1, definition 1.2

History

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

Special cases K3QQ67TEFW

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

Mentions

wikipedia: Wikipedia Fresnel equations#0J1G, Special cases (statement)

History

2026-11-02: add by m2/dev

James B. Carrell K3QSD6VPC9

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

Mentions

wikipedia: Wikipedia James B. Carrell, James B. Carrell (topic). Also Wikidata Q1679978

History

2026-11-02: add by m2/dev

K3QSPXVHNH K3QSPXVHNH

URI	`m2://inv/K3QSPXVHNH`
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.18219#9PE8 (statement). In X1AGBB90EH/e1, theorem A

History

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

Arnold conjecture K3QZE4KG3B

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

Mentions

wikipedia: Wikipedia Symplectomorphism#JFON, Arnold conjecture (statement)

History

2026-11-02: add by m2/dev

Examples K3R1J488H0

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

Mentions

wikipedia: Wikipedia Lebesgue covering dimension#V0O5, Examples (example)

History

2026-11-02: add by m2/dev

Edge assignment K3R26JN72F

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

Mentions

arxiv: arXiv 2610.08583#QJW7, Edge assignment (definition). In 5EKTECQ2P1/e1, definition 2.12

History

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

Attributive Constituent K3RBW03J25

URI	`m2://inv/K3RBW03J25`
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 2604.19614#ZCXP, Attributive Constituent (definition). In F5NDAFW801/e1, definition 2

History

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

quotient category K3RGRJC2C0

URI	`m2://inv/K3RGRJC2C0`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Quotient category 43MP9NWS6H

Mentions

wikidata: Wikidata Q7272896, quotient category (unknown). Also nLab quotient category
wikipedia: Wikipedia Quotient category, Quotient category (definition). Also Wikidata Q7272896

History

2026-10-26: add by m2/dev

K3RJTV5DK5 K3RJTV5DK5

URI	`m2://inv/K3RJTV5DK5`
Kind	definition
Layer	research
MSC	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 2609.39317#ZVQT (definition). In QM1T8JDK4A/e1, definition

History

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

Statement K3RNVBZMGT

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

Mentions

wikipedia: Wikipedia Fundamental lemma (Langlands program)#OY2R, Statement (statement)

History

2026-11-02: add by m2/dev

K3RTJ53GDH K3RTJ53GDH

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

Mentions

arxiv: arXiv 2109.09268#F6HA (statement). In SYZFEVFHC3/e1, lemma 2.9

History

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

HDHSS consistency of QML-breakpoint estimation in pervasive factor models K3RTPVQS7D

URI	`m2://inv/K3RTPVQS7D`
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.12271#FBIF, HDHSS consistency of QML-breakpoint estimation in pervasive factor models (statement). In WGCET6KSQ7/e1, corollary 32

History

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

Order-2 apeirogonal tiling K3RWZB32Q8

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

Mentions

wikipedia: Wikipedia Order-2 apeirogonal tiling, Order-2 apeirogonal tiling (object). Also Wikidata Q4779315

History

2026-11-02: add by m2/dev

formal logic K3SCTY1NFF

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

Mentions

wikipedia: Wikipedia Glossary of logic#1ITC, formal logic (definition)

History

2026-11-02: add by m2/dev

Catalan solid K3SHJ6PSX6

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#IYIY, Catalan solid (definition)

History

2026-11-02: add by m2/dev

Garnir relations K3SST0J8Z9

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

Mentions

wikipedia: Wikipedia Garnir relations, Garnir relations (definition). Also Wikidata Q5523692

History

2026-11-02: add by m2/dev

Stephen Lichtenbaum K3T2F55941

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#21XK, Stephen Lichtenbaum (unknown)

History

2026-11-02: add by m2/dev

K3T3RPTJCR K3T3RPTJCR

URI	`m2://inv/K3T3RPTJCR`
Kind	statement
Layer	research
MSC	46-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 2609.37271#8F4E (statement). In 9WP2QGKMG8/e1, proposition 2.6

History

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

Cem Yıldırım K3T98M91KT

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#GC8J, Cem Yıldırım (unknown)
wikipedia: Wikipedia List of people by Erdős number#TPCG, Cem Yıldırım (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NQ0H, Cem Yıldırım (unknown)

History

2026-11-02: add by m2/dev

K3TJVYC67E K3TJVYC67E

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

Mentions

arxiv: arXiv 2610.16203#SKU7 (statement). In 43TBS9P2PX/e1, lemma 4.5

History

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

K3TR84K632 K3TR84K632

URI	`m2://inv/K3TR84K632`
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.25656#MCQL (statement)

History

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

K3TTA2N2TF K3TTA2N2TF

URI	`m2://inv/K3TTA2N2TF`
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.30302#OAMO (statement). In R6ABTE22G0/e1, corollary 16

History

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

Theorema Egregium K3V08B0QZE

URI	`m2://inv/K3V08B0QZE`
Kind	statement
Layer	textbook
MSC	53-XX
Sources	4
Outcome	open
Node	Theorema Egregium YKSA8SJ81V

Mentions

mathlib_1000: mathlib_1000 Q1048874, Gauss's Theorema Egregium (statement). Also Wikidata Q1048874
thousand_plus: thousand_plus Q1048874, Gauss's Theorema Egregium (statement). Also Wikidata Q1048874, Wikipedia Gauss's Theorema Egregium
wikidata: Wikidata Q1048874, Theorema Egregium (statement). Also MathWorld GausssTheoremaEgregium, ProofWiki Theorema_Egregium
wikipedia: Wikipedia Theorema Egregium, Theorema Egregium (definition). Also Wikidata Q1048874

History

2026-10-26: add by m2/dev

Examples K3V1G5TAS6

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

Mentions

wikipedia: Wikipedia Hall-type theorems for hypergraphs#1LTK, Examples (example)

History

2026-11-02: add by m2/dev

K3V59QMX0B K3V59QMX0B

URI	`m2://inv/K3V59QMX0B`
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 2310.14879#HCBD (statement). In 3VZ55B2N0D/e1, lemma 6.13

History

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

K3V7P6V054 K3V7P6V054

URI	`m2://inv/K3V7P6V054`
Kind	statement
Layer	research
MSC	20-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.07293#F6L2 (statement). In V1GVYM0WQG/e1, lemma 5.3

History

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

Curvature-controlled class K3VSNJDDMS

URI	`m2://inv/K3VSNJDDMS`
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.03633#GH5Q, Curvature-controlled class (statement). In X3E4D61X4V/e1, corollary 4.3

History

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

magic cube K3W5GHG70Y

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

Mentions

wikidata: Wikidata Q1884152, magic cube (unknown). Also MathWorld MagicCube
wikipedia: Wikipedia Magic cube, Magic cube (definition). Also Wikidata Q1884152

History

2026-10-26: add by m2/dev

Statement of the theorem K3W5Q8HVQM

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

Mentions

wikipedia: Wikipedia Carathéodory's extension theorem#GHUN, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

Kabsch algorithm K3W5XFMH2G

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

Mentions

wikipedia: Wikipedia List of algorithms#5QU8, Kabsch algorithm (unknown)

History

2026-11-02: add by m2/dev

Probit model K3W6MW8GKB

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

Mentions

wikipedia: Wikipedia List of statistics articles#8KJL, Probit model (definition)

History

2026-11-02: add by m2/dev

First Fundamental Theorem K3WEYAEVM8

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

Mentions

wikipedia: Wikipedia Fundamental theorems of welfare economics#06ZR, First Fundamental Theorem (statement)

History

2026-11-02: add by m2/dev

K3WPS7C390 K3WPS7C390

URI	`m2://inv/K3WPS7C390`
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 2609.40282#JS1N (definition). In P86RWY99S2/e1, definition 2.1.1

History

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

Pantachy K3WSDB6JX6

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

Mentions

wikipedia: Wikipedia Pantachy, Pantachy (definition). Also Wikidata Q18392322

History

2026-11-02: add by m2/dev

Jessie Marie Jacobs K3WYJVPBEB

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

Mentions

wikipedia: Wikipedia Jessie Marie Jacobs, Jessie Marie Jacobs (topic). Also Wikidata Q21069973

History

2026-11-02: add by m2/dev

particle accelerator K3X3VKG93Y

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

Mentions

wikidata: Wikidata Q130825, particle accelerator (unknown). Also nLab particle accelerator

History

2026-10-26: add by m2/dev

Random translate inverse theorem K3XC13J42X

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

Mentions

arxiv: arXiv 2606.02312#THRQ, Random translate inverse theorem (statement). In 1SZV94R22Y/e1, lemma 2.2

History

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

List of regular polytopes K3XCKQHCG1

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

Mentions

wikipedia: Wikipedia List of regular polytopes, List of regular polytopes (topic). Also Wikidata Q2534367

History

2026-11-02: add by m2/dev

Four landmarks K3XCP0X0MY

URI	`m2://inv/K3XCP0X0MY`
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#5FQT, Four landmarks (statement). In B29M4E6KGC/e1, corollary K.1

History

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

Description number K3XEARYZTG

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

Mentions

wikipedia: Wikipedia Description number, Description number (definition). Also Wikidata Q5263786

History

2026-11-02: add by m2/dev

A small OCPN and its generator cospans K3XF40E3J0

URI	`m2://inv/K3XF40E3J0`
Kind	example
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 2609.20478#RZ50, A small OCPN and its generator cospans (example)

History

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

K3XKFHP4RQ K3XKFHP4RQ

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

Mentions

arxiv: arXiv 2610.13972#J8TI (statement). In S1KHNS8XQM/e1, lemma 8.3

History

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

K3XQDB9Y71 K3XQDB9Y71

URI	`m2://inv/K3XQDB9Y71`
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.26386#G05U (statement)

History

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

K3XSV528W1 K3XSV528W1

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

Mentions

napkin: napkin tex/measure/pontryagin.tex#theorem-4 (statement). In RZP28ERRZV, theorem, section 68.7

History

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

Jonathan Partington K3XXXVDWR1

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#GETZ, Jonathan Partington (topic)

History

2026-11-02: add by m2/dev

Coproduct topology K3XZ2S8Y81

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

Mentions

wikipedia: Wikipedia Glossary of general topology#K6J1, Coproduct topology (definition)

History

2026-11-02: add by m2/dev

K3XZEW9B9N K3XZEW9B9N

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

Mentions

arxiv: arXiv 2609.39700#DB0J (statement). In E7W2HDNEKJ/e1, theorem 9.9

History

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

K3Y8H2TQY3 K3Y8H2TQY3

URI	`m2://inv/K3Y8H2TQY3`
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.08052#BLIV (statement). In 672XAVEQ34/e1, lemma 7.9

History

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

Examples K3Y9974ZHD

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

Mentions

wikipedia: Wikipedia Content (measure theory)#FIR9, Examples (example)

History

2026-11-02: add by m2/dev

Aliquot sequence K3YFS6Q0TD

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

Mentions

wikipedia: Wikipedia List of number theory topics#USTB, Aliquot sequence (definition)

History

2026-11-02: add by m2/dev

K3YS4BED04 K3YS4BED04

URI	`m2://inv/K3YS4BED04`
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.32977#50EA (statement). In 4KT9TK3MG4/e1, theorem C.7

History

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

K3YSR8TWYS K3YSR8TWYS

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

Mentions

arxiv: arXiv 2610.10660#NUUG (statement). In 1T12A2H411/e1, lemma 5

History

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

poset K3Z02CWFV8

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

Mentions

wikipedia: Wikipedia Glossary of set theory#PNQA, poset (definition)

History

2026-11-02: add by m2/dev

K3Z0W1EP27 K3Z0W1EP27

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

Mentions

arxiv: arXiv 2610.16875#EX10 (statement). In KS30K5JXGB/e1, lemma 2.12

History

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

K3ZA3VZJQC K3ZA3VZJQC

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/semantic-notions.tex#probtag-1 (exercise). In PKGMM3P5QY, probtag, section 19.15

History

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

Landau's inequality and other basic properties K3ZHXFNTHM

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

Mentions

wikipedia: Wikipedia Landau–Mignotte bound#6MC7, Landau's inequality and other basic properties (statement)

History

2026-11-02: add by m2/dev