Inventory rows K4

Spectrum-only loss K4016VSBP2

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

Mentions

arxiv: arXiv 2609.29348#WHVA, Spectrum-only loss (definition)

History

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

K4024VFYDT K4024VFYDT

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

Mentions

arxiv: arXiv 2610.04673#99SA (statement). In KKC0CT44FJ/e1, lemma 6.2

History

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

Matrix-based formula K404RYQA8S

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

Mentions

wikipedia: Wikipedia Gauss–Seidel method#M3XW, Matrix-based formula (statement)

History

2026-11-02: add by m2/dev

K405N1RWHM K405N1RWHM

URI	`m2://inv/K405N1RWHM`
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.29552#PWOS (statement)

History

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

K409394FKZ K409394FKZ

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

Mentions

wikipedia: Wikipedia Net (polyhedron)#JZTG (problem)

History

2026-11-02: add by m2/dev

Sete de Setembro K40BWR5MV4

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

Mentions

wikipedia: Wikipedia List of places with numeric names#UXI4, Sete de Setembro (unknown)

History

2026-11-02: add by m2/dev

K40G5S41A5 K40G5S41A5

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/abbreviated-syntax.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 38.8

History

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

K40MTAFGKD K40MTAFGKD

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

Mentions

arxiv: arXiv 2609.20740#2TBL (statement)

History

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

Hessian metric after radial normalization K40QDB4MZY

URI	`m2://inv/K40QDB4MZY`
Kind	statement
Layer	research
MSC	37-XX, 53-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.26269#AJGA, Hessian metric after radial normalization (statement)

History

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

Ellen Eischen K40Z52M3KQ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#SOON, Ellen Eischen (topic)

History

2026-11-02: add by m2/dev

Paulo S. L. M. Barreto K410QBXF2B

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

Mentions

wikipedia: Wikipedia List of cryptographers#JH47, Paulo S. L. M. Barreto (unknown)

History

2026-11-02: add by m2/dev

Wholeness axiom K412C70QQC

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

Mentions

wikipedia: Wikipedia List of large cardinal properties#R3SE, Wholeness axiom (statement)

History

2026-11-02: add by m2/dev

Ancillary parity operators realize the dressed transfer curves K41713FD6G

URI	`m2://inv/K41713FD6G`
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.00448#BLAD, Ancillary parity operators realize the dressed transfer curves (statement). In N06J7GC05Q/e1, lemma D.1

History

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

Consecutive sampling K419DX6NDR

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

Mentions

wikipedia: Wikipedia Consecutive sampling, Consecutive sampling (definition). Also Wikidata Q20716728

History

2026-11-02: add by m2/dev

Zero ideal K41HJKM70T

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

Mentions

wikipedia: Wikipedia Zero element#T9XK, Zero ideal (unknown)

History

2026-11-02: add by m2/dev

Examples K41J020N50

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

Mentions

wikipedia: Wikipedia Nuclear C*-algebra#3E9I, Examples (example)

History

2026-11-02: add by m2/dev

K41P8QJC21 K41P8QJC21

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

Mentions

arxiv: arXiv 2610.05850#XF71 (unknown). In D424GB5MAW/e1, unknown Conjecture

History

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

K41Q7BPM4T K41Q7BPM4T

URI	`m2://inv/K41Q7BPM4T`
Kind	statement
Layer	research
MSC	53-XX, 57-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.17045#7IBJ (statement). In PA6JQDSKQT/e1, lemma 3.23

History

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

K41Q884MMZ K41Q884MMZ

URI	`m2://inv/K41Q884MMZ`
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#PJEZ (statement). In 4KT9TK3MG4/e1, theorem 3.4

History

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

Identity of the Euler beta function K421Q80EEF

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

Mentions

wikipedia: Wikipedia Theta function#H0CJ, Identity of the Euler beta function (statement)

History

2026-11-02: add by m2/dev

Construction K421SV256D

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

Mentions

wikipedia: Wikipedia 2 31 polytope#HHN7, Construction (definition)

History

2026-11-02: add by m2/dev

K42482WCR5 K42482WCR5

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

Mentions

hott_book: hott_book basics.tex#thm:path-unit (statement). In N54F33XE07, thm, section 1.8

History

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

Classification of multiple hypothesis tests K4270RA0KQ

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

Mentions

wikipedia: Wikipedia Family-wise error rate#IOL3, Classification of multiple hypothesis tests (statement)

History

2026-11-02: add by m2/dev

K42Q42MBGV K42Q42MBGV

URI	`m2://inv/K42Q42MBGV`
Kind	statement
Layer	research
MSC	19-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 0905.1489#UXOW (statement). In MZ18CTV65N/e1, fact 3

History

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

length scale K42SBM47D5

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

Mentions

wikidata: Wikidata Q2477027, length scale (unknown). Also nLab length scale

History

2026-10-26: add by m2/dev

Examples K42TPZ5KXK

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

Mentions

wikipedia: Wikipedia Riemann–Roch theorem#JA0I, Examples (example)

History

2026-11-02: add by m2/dev

K42Y6BRGA7 K42Y6BRGA7

URI	`m2://inv/K42Y6BRGA7`
Kind	statement
Layer	research
MSC	26-XX, 46-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.10247#D77I (statement). In XWTMY44RF1/e1, proposition 2.2

History

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

Examples K42ZFSW5MM

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

Mentions

wikipedia: Wikipedia Hermitian Yang–Mills connection#KFUJ, Examples (example)

History

2026-11-02: add by m2/dev

Climate model K434FCJPH3

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

Mentions

wikipedia: Wikipedia Climate model, Climate model (definition). Also Wikidata Q620920

History

2026-11-02: add by m2/dev

K43AJ7QQGJ K43AJ7QQGJ

URI	`m2://inv/K43AJ7QQGJ`
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 2609.34856#89FQ (definition). In MRR92GQNZE/e1, definition 2.5

History

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

uniform finite-basis criterion K43BFH76SE

URI	`m2://inv/K43BFH76SE`
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.22667#5IAM, uniform finite-basis criterion (statement)

History

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

Examples K43BNJ55XX

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

Mentions

wikipedia: Wikipedia Sampling distribution#6HFR, Examples (example)

History

2026-11-02: add by m2/dev

NIST Post-Quantum Cryptography Standardization K43NEJHE5H

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

Mentions

wikipedia: Wikipedia NIST Post-Quantum Cryptography Standardization, NIST Post-Quantum Cryptography Standardization (definition). Also Wikidata Q48809209

History

2026-11-02: add by m2/dev

Rupert G. Miller K43WPPVQ5R

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

Mentions

wikipedia: Wikipedia Rupert G. Miller, Rupert G. Miller (topic). Also Wikidata Q102077567

History

2026-11-02: add by m2/dev

Douglas Stanford K43Y4C9ZVN

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

Mentions

wikidata: Wikidata Q44717823, Douglas Stanford (unknown). Also nLab Douglas Stanford

History

2026-10-26: add by m2/dev

K449372WGP K449372WGP

URI	`m2://inv/K449372WGP`
Kind	statement
Layer	research
MSC	53-XX, 57-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.17045#86D1 (statement). In PA6JQDSKQT/e1, proposition 3.21

History

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

Perron–Frobenius theorem K449TA2RK2

URI	`m2://inv/K449TA2RK2`
Kind	statement
Layer	textbook
MSC	05-XX, 15-XX
Sources	5
Outcome	open
Node	Perron–Frobenius theorem 62NS7PV1M9

Mentions

arxiv: arXiv 2610.22218#XKQF, Perron-Frobenius theorem (statement). In 338GKREFVP/e1, theorem 49
mathlib_1000: mathlib_1000 Q1564541, Perron–Frobenius theorem (statement). Also Wikidata Q1564541
thousand_plus: thousand_plus Q1564541, Perron–Frobenius theorem (statement). Also Wikidata Q1564541, Wikipedia Perron–Frobenius theorem
wikidata: Wikidata Q1564541, Perron–Frobenius theorem (statement). Also MathWorld FrobeniusTheorem
wikipedia: Wikipedia Perron–Frobenius theorem, Perron–Frobenius theorem (statement). Also Wikidata Q1564541

History

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

transvectant K44BQYN65T

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#HO4M, transvectant (definition)

History

2026-11-02: add by m2/dev

Example K44G5KKKH3

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

Mentions

wikipedia: Wikipedia Steiner conic#PJM4, Example (example)

History

2026-11-02: add by m2/dev

Fiction theory K44KXQENQ8

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

Mentions

wikipedia: Wikipedia Fiction theory, Fiction theory (definition). Also Wikidata Q5446560

History

2026-11-02: add by m2/dev

K44M9D4FWA K44M9D4FWA

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

Mentions

arxiv: arXiv 2610.04434#JA28 (definition). In EY0QS456EC/e1, definition 5.5

History

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

Markowsky's theorem K44T00NB9B

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

Mentions

wikipedia: Wikipedia Markowsky's theorem, Markowsky's theorem (statement). Also Wikidata Q139558980

History

2026-11-02: add by m2/dev

Quasi-parabolic embedding K44X0K4VR9

URI	`m2://inv/K44X0K4VR9`
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 2610.05354#I4AJ, Quasi-parabolic embedding (definition). In TZ5BMDXRQZ/e1, definition 2.4

History

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

K44YAQR6DK K44YAQR6DK

URI	`m2://inv/K44YAQR6DK`
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 2610.11671#NMS8 (statement). In V06H8BAGEH/e1, lemma 4.4

History

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

Basic properties K454KY14KN

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

Mentions

wikipedia: Wikipedia Symmetric space#74L2, Basic properties (statement)

History

2026-11-02: add by m2/dev

class comprehension schema K457E3536C

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

Mentions

wikipedia: Wikipedia Glossary of set theory#PDO1, class comprehension schema (definition)

History

2026-11-02: add by m2/dev

K45DCTX88S K45DCTX88S

URI	`m2://inv/K45DCTX88S`
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 2610.14914#8ZUR (statement). In CHC3T113Y4/e1, proposition 4.4

History

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

Trilinos K45E7GC9Y1

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#1HWC, Trilinos (unknown)

History

2026-11-02: add by m2/dev

Ropelength K45G1Y4C4Z

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

Mentions

wikipedia: Wikipedia List of knot theory topics#69B8, Ropelength (unknown)

History

2026-11-02: add by m2/dev

K45GQR37J2 K45GQR37J2

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

Mentions

napkin: napkin tex/alg-geom/spec-zariski.tex#proof-5 (proof). In RZP28ERRZV, proof, section 28.5

History

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

K45QDVRXR0 K45QDVRXR0

URI	`m2://inv/K45QDVRXR0`
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 2610.08935#5XI6 (definition). In G02N9D40B9/e1, definition 3.2.4

History

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

Notation K45S80X89D

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

Mentions

wikipedia: Wikipedia Constructive set theory#P9PQ, Notation (definition)

History

2026-11-02: add by m2/dev

The Reciprocity Theorem K460FH4TND

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

Mentions

wikipedia: Wikipedia Stanley's reciprocity theorem#REFS, The Reciprocity Theorem (statement)

History

2026-11-02: add by m2/dev

chord K46FMZ65Y4

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

Mentions

wikidata: Wikidata Q188191, chord (unknown). Also MathWorld Chord
wikipedia: Wikipedia Chord (geometry), Chord (definition). Also Wikidata Q188191

History

2026-10-26: add by m2/dev

The spectral estimate from a holomorphic map K46RY5PXE9

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

Mentions

arxiv: arXiv 2609.32001#EEOG, The spectral estimate from a holomorphic map (statement). In 5FZGDECW2R/e1, proposition 2.5

History

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

K46X0G9JZS K46X0G9JZS

URI	`m2://inv/K46X0G9JZS`
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.20469#XLYI (statement)

History

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

K46X3T0Z61 K46X3T0Z61

URI	`m2://inv/K46X3T0Z61`
Kind	example
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.04382#D1HJ (example). In 7VW8XD28G1/e1, example 5.3

History

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

Wendell Fleming K47034EFVV

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ZFYJ, Wendell Fleming (topic)

History

2026-11-02: add by m2/dev

K473B1WAM1 K473B1WAM1

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

Mentions

arxiv: arXiv 2510.12502#0VTR (definition). In 3A4K47Y9F2/e1, definition 2.3

History

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

Thomas Körner K473YHVB92

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#EIBV, Thomas Körner (topic)

History

2026-11-02: add by m2/dev

K47DV8V7E1 K47DV8V7E1

URI	`m2://inv/K47DV8V7E1`
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.19812#RZSI (statement). In ZS89RH18QM/e1, lemma 7

History

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

K47MHQ62VM K47MHQ62VM

URI	`m2://inv/K47MHQ62VM`
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.04935#ARDJ (statement). In 7WVPJVPQH2/e1, lemma 2.1

History

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

Emil Post K47SZGQWHH

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#KB1V, Emil Post (topic)

History

2026-11-02: add by m2/dev

1 E -13 m K47YWFNJE8

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

Mentions

wikipedia: Wikipedia Orders of magnitude (length)#R98T, 1 E -13 m (unknown)

History

2026-11-02: add by m2/dev

K487D5HF45 K487D5HF45

URI	`m2://inv/K487D5HF45`
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 2610.16962#0WLO (definition). In KJC9FRS3C2/e1, definition 10.1

History

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

Demand optimization K488Q6Q11P

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#OGE7, Demand optimization (unknown)

History

2026-11-02: add by m2/dev

Differential graded category K48AMY40J7

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

Mentions

wikipedia: Wikipedia Differential graded category, Differential graded category (definition). Also Wikidata Q5275347

History

2026-11-02: add by m2/dev

Proposition K48BHK036N

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

Mentions

wikipedia: Wikipedia Parallelization (mathematics)#35HG, Proposition (statement)

History

2026-11-02: add by m2/dev

*{Definition 2.2 K48GYA1GMK

URI	`m2://inv/K48GYA1GMK`
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 2609.27518#Q294, *{Definition 2.2 (definition)

History

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

Gaussian integral K48HG7NKM5

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

Mentions

wikipedia: Wikipedia Lists of integrals#3QIW, Gaussian integral (definition)

History

2026-11-02: add by m2/dev

K48HJMMYP7 K48HJMMYP7

URI	`m2://inv/K48HJMMYP7`
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 1006.4617#W35W (statement). In VWACF4K16Q/e1, lemma 2.1

History

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

K48M4A53ZK K48M4A53ZK

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

Mentions

arxiv: arXiv 2104.00162#V47E (statement). In HVGT9D84WV/e1, proposition 2.18

History

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

Example K48ND0XTZ2

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

Mentions

wikipedia: Wikipedia Hermite interpolation#OVKS, Example (example)

History

2026-11-02: add by m2/dev

Leonard Carlitz K48NNVCAQS

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

Mentions

wikipedia: Wikipedia Leonard Carlitz, Leonard Carlitz (topic). Also Wikidata Q381322

History

2026-11-02: add by m2/dev

K48W4HJGRA K48W4HJGRA

URI	`m2://inv/K48W4HJGRA`
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 2609.39615#HTA2 (statement). In RNXRAZYR3S/e1, proposition 3.3

History

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

K48WK74VS5 K48WK74VS5

URI	`m2://inv/K48WK74VS5`
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 2610.17817#JDJS (definition). In M8TSJ24RC2/e1, definition 3.1

History

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

Nicholas Mercator K493X1JPAN

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

Mentions

wikipedia: Wikipedia List of German mathematicians#A5GJ, Nicholas Mercator (topic)

History

2026-11-02: add by m2/dev

Definition K495WH00ER

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

Mentions

wikipedia: Wikipedia Graph Fourier transform#MC1H, Definition (definition)

History

2026-11-02: add by m2/dev

Example K496DXEQAZ

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

Mentions

wikipedia: Wikipedia Numerical stability#XZYK, Example (example)

History

2026-11-02: add by m2/dev

Theorem K49AFFN1X5

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

Mentions

wikipedia: Wikipedia Order topology (functional analysis)#97KM, Theorem (statement)

History

2026-11-02: add by m2/dev

K49KCFAEBH K49KCFAEBH

URI	`m2://inv/K49KCFAEBH`
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.11082#IRDK (statement). In GFPFFN0BXV/e1, proposition 1

History

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

K49M82DFP7 K49M82DFP7

URI	`m2://inv/K49M82DFP7`
Kind	definition
Layer	research
MSC	19-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 2302.13533#6PUF (definition). In DK9GQ8G0T4/e1, definition 1.11

History

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

K49MGF32WY K49MGF32WY

URI	`m2://inv/K49MGF32WY`
Kind	statement
Layer	research
MSC	35-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.01653#M31A (statement). In WZMHJCQPB2/e1, lemma 5.8

History

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

AFL operations K49P75VBA4

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

Mentions

wikidata: Wikidata Q106136387, AFL operations (concept). Also EoM AFL_operations

History

2026-10-26: add by m2/dev

Rendezvous problem K49PZ15AMG

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#V9ZN, Rendezvous problem (unknown)

History

2026-11-02: add by m2/dev

complex Lie algebra K49YRCAVYW

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

Mentions

wikidata: Wikidata Q85753695, complex Lie algebra (unknown). Also nLab complex Lie algebra
wikipedia: Wikipedia Complex Lie algebra, Complex Lie algebra (definition). Also Wikidata Q85753695

History

2026-10-26: add by m2/dev

K4A4K58JHC K4A4K58JHC

URI	`m2://inv/K4A4K58JHC`
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 2604.23212#5I30 (statement). In 4X12V9RS0D/e1, corollary F.3

History

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

K4A4X08HF3 K4A4X08HF3

URI	`m2://inv/K4A4X08HF3`
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.22218#33MU (statement). In 338GKREFVP/e1, lemma 25

History

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

K4A66PVJQ1 K4A66PVJQ1

URI	`m2://inv/K4A66PVJQ1`
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.18101#PNCK (definition). In XXN6KKXPYF/e1, definition 3.2

History

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

Theorem K4A6Y0WAC3

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

Mentions

wikipedia: Wikipedia Sheaf of modules#G3LN, Theorem (statement)

History

2026-11-02: add by m2/dev

Orbit (group theory) K4A866P3DX

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

Mentions

wikipedia: Wikipedia List of group theory topics#ZX1S, Orbit (group theory) (definition)

History

2026-11-02: add by m2/dev

Holomorphic extension; real--analyticity K4AEVXHN4Z

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

Mentions

arxiv: arXiv 2609.29605#QV5A, Holomorphic extension; real--analyticity (statement)

History

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

Filtered reduced-sector contraction K4AF7Y0PN5

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

Mentions

arxiv: arXiv 2609.27799#8JI0, Filtered reduced-sector contraction (statement)

History

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

K4AM9TSA4W K4AM9TSA4W

URI	`m2://inv/K4AM9TSA4W`
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.01050#KM72 (statement). In 48NN33SAH7/e1, proposition B.1

History

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

subset K4ANRETEXF

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

Mentions

levin_dmoi: levin_dmoi index/1.3.2/subset, subset (concept). In Y91XFCEVHQ, index, section 1.3.2

History

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

Chang-Shou Lin K4AQGYJCA6

URI	`m2://inv/K4AQGYJCA6`
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#A7AB, Chang-Shou Lin (unknown)

History

2026-11-02: add by m2/dev

K4ARB6XD8N K4ARB6XD8N

URI	`m2://inv/K4ARB6XD8N`
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.16768#UMRD (statement). In 8FWK676AQX/e1, proposition 1

History

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

inductive K4AS7TPABK

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#PHJ3, inductive (definition)

History

2026-11-02: add by m2/dev

K4ATXQRVPW K4ATXQRVPW

URI	`m2://inv/K4ATXQRVPW`
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.33219#NVGP (statement). In ETTQWMJZXJ/e1, lemma 2

History

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

K4B58T97A3 K4B58T97A3

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

Mentions

arxiv: arXiv 2610.14914#DA04 (example). In CHC3T113Y4/e1, example 2

History

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

Typographical Number Theory K4B7CPXM5H

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

Mentions

wikipedia: Wikipedia Typographical Number Theory, Typographical Number Theory (definition). Also Wikidata Q1052753

History

2026-11-02: add by m2/dev

K4B8AGKS2F K4B8AGKS2F

URI	`m2://inv/K4B8AGKS2F`
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.29699#8FXI (statement)

History

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

K4B8PN9A3K K4B8PN9A3K

URI	`m2://inv/K4B8PN9A3K`
Kind	statement
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#NNP9 (statement). In FCMMB2EVAP/e1, proposition 4.17

History

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

K4BK0AQ61B K4BK0AQ61B

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

Mentions

arxiv: arXiv 2610.08873#9HP9 (statement). In 7WMNVJBAVR/e1, lemma 4.9

History

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

K4BM8BZ8J4 K4BM8BZ8J4

URI	`m2://inv/K4BM8BZ8J4`
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.06463#WPQE (statement). In 3WWY9K1K9V/e1, proposition 7

History

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

Complex line K4BTS2BJ9P

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

Mentions

wikipedia: Wikipedia Complex line, Complex line (definition). Also Wikidata Q16889279

History

2026-11-02: add by m2/dev

K4BZCQYJCA K4BZCQYJCA

URI	`m2://inv/K4BZCQYJCA`
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 2412.14956#W9S5 (definition). In T8BQ6HHZYT/e1, definition 3.6

History

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

K4C9QEY6Q5 K4C9QEY6Q5

URI	`m2://inv/K4C9QEY6Q5`
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 2504.14383#O4YX (statement). In QD0X3XJS6T/e1, lemma 6.5

History

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

K4CA5TY87W K4CA5TY87W

URI	`m2://inv/K4CA5TY87W`
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.01433#J14E (definition). In 160PQ7F1AS/e1, definition 4.21

History

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

Guillotine partition K4CB6ZBA7S

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

Mentions

wikipedia: Wikipedia Guillotine partition, Guillotine partition (definition). Also Wikidata Q105123287

History

2026-11-02: add by m2/dev

K4CKTMM971 K4CKTMM971

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

Mentions

napkin: napkin tex/riemann-surface/morphism.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 86.2

History

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

K4CNMGB1JK K4CNMGB1JK

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

Mentions

active_calculus: active_calculus source/activities/act-5-1-3.xml#act-5-1-3 (exercise). In 907G4C4EJ1, activity, section 5.1.4

History

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

Constructions K4CT7SE7GR

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

Mentions

wikipedia: Wikipedia Kodaira–Spencer map#O7RZ, Constructions (definition)

History

2026-11-02: add by m2/dev

K4CXJYQ442 K4CXJYQ442

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

Mentions

hott_book: hott_book equivalences.tex#thm:mono-surj-equiv (statement). In N54F33XE07, thm, section 3.6

History

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

Properties K4CYTTKJZR

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

Mentions

wikipedia: Wikipedia Macbeath region#SCLJ, Properties (statement)

History

2026-11-02: add by m2/dev

Émile Borel K4D2BPWRE0

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#36R4, Émile Borel (topic)

History

2026-11-02: add by m2/dev

K4D4GZCXJX K4D4GZCXJX

URI	`m2://inv/K4D4GZCXJX`
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.22557#A89W (statement)

History

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

K4DPQZB4ZY K4DPQZB4ZY

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

Mentions

arxiv: arXiv 1009.2043#ORH2 (statement). In 7DCNHRBK5A/e1, lemma 7.5

History

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

Forced vibration K4DQHMJSK8

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

Mentions

wikipedia: Wikipedia Vibration#N7VW, Forced vibration (unknown)

History

2026-11-02: add by m2/dev

K4DRBD3QF5 K4DRBD3QF5

URI	`m2://inv/K4DRBD3QF5`
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.35030#1DHX (statement). In DPT4P2BTEW/e1, corollary 10.4

History

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

Normal morphism K4DWH3QM78

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

Mentions

wikipedia: Wikipedia Normal morphism, Normal morphism (definition). Also Wikidata Q2173405

History

2026-11-02: add by m2/dev

K4E1CZ056G K4E1CZ056G

URI	`m2://inv/K4E1CZ056G`
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.25129#8C7A (definition)

History

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

Unrestricted asymptotic comparison K4EBSKS0GM

URI	`m2://inv/K4EBSKS0GM`
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.05442#3GYV, Unrestricted asymptotic comparison (statement). In WEPE51JCHZ/e1, corollary 1.3

History

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

Greenland, Sander K4EHQKW4XE

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

Mentions

wikipedia: Wikipedia List of statisticians#JC55, Greenland, Sander (unknown)

History

2026-11-02: add by m2/dev

Parameter invariance K4EHVW5ASE

URI	`m2://inv/K4EHVW5ASE`
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.10017#6JJI, Parameter invariance (statement). In CJRBKR4JKT/e1, corollary 2.2

History

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

K4ERPWAEET K4ERPWAEET

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#exercise-35 (exercise). In E9HS8K3A52, exercise, section 7.2.7

History

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

K4EWD2ZA3J K4EWD2ZA3J

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

Mentions

hott_book: hott_book hlevels.tex#thm:h-set-refrel-in-paths-sets (statement). In N54F33XE07, thm, section 6.2

History

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

The torsion formula K4F2MJTBYX

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

Mentions

arxiv: arXiv 2610.18512#BEZQ, The torsion formula (statement). In 11JNM66Z09/e1, theorem 10.1

History

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

Global reciprocal invariant circle K4F7J6X39N

URI	`m2://inv/K4F7J6X39N`
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.15686#XGL3, Global reciprocal invariant circle (statement). In 4HCK722M2G/e1, theorem 5.12

History

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

Asynchronous} expansion rate estimate for $\mathrm{md}^{-\delta} \circ F$ K4FETSWX7Q

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

Mentions

arxiv: arXiv 2610.10051#W057, Asynchronous} expansion rate estimate for $\mathrm{md}^{-\delta} \circ F$ (statement). In VCHH2AC34R/e1, proposition 3.7

History

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

K4FXBSE5J5 K4FXBSE5J5

URI	`m2://inv/K4FXBSE5J5`
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.19260#462A (statement). In PWXT7J9JX3/e1, theorem 2.19

History

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

Box–Jenkins method K4FZHXA0QN

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#RUIY, Box–Jenkins method (definition)

History

2026-11-02: add by m2/dev

K4G19NE1N4 K4G19NE1N4

URI	`m2://inv/K4G19NE1N4`
Kind	example
Layer	research
MSC	35-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.18242#YO0M (example). In VVC2FHQZZR/e1, example 6.5

History

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

Hindu apologetics K4G3VPHZE6

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

Mentions

wikipedia: Wikipedia Apologetics#JSBP, Hindu apologetics (unknown)

History

2026-11-02: add by m2/dev

Erdős–Stewart conjecture K4G4P15H8Q

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

Mentions

wikipedia: Wikipedia List of conjectures by Paul Erdős#XIA7, Erdős–Stewart conjecture (unknown)

History

2026-11-02: add by m2/dev

Conditional-access module K4GMPXCJVN

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

Mentions

wikipedia: Wikipedia Conditional-access module, Conditional-access module (definition). Also Wikidata Q1754555

History

2026-11-02: add by m2/dev

Connections with other theorems K4GQGH52PJ

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

Mentions

wikipedia: Wikipedia Hales–Jewett theorem#WH4P, Connections with other theorems (statement)

History

2026-11-02: add by m2/dev

Conditional residual spherical law; cf. Lemma 14 K4H07NT52H

URI	`m2://inv/K4H07NT52H`
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.01843#NSNF, Conditional residual spherical law; cf. Lemma 14 (statement). In EDG9ZFDSWK/e1, lemma B.11

History

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

K4H9WP1YT5 K4H9WP1YT5

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

Mentions

arxiv: arXiv 2610.05820#3DXP (statement). In S8EGCJQ0JV/e1, corollary 4.2

History

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

Fully characteristic subgroup K4HCPWDSK3

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

Mentions

wikipedia: Wikipedia Characteristic subgroup#8P08, Fully characteristic subgroup (unknown)

History

2026-11-02: add by m2/dev

derivative K4HW8AJMCB

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#3NA3, derivative (definition)

History

2026-11-02: add by m2/dev

K4JGGFB31N K4JGGFB31N

URI	`m2://inv/K4JGGFB31N`
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.03449#7A64 (statement). In 3XM05SYQ8D/e1, lemma 4.5

History

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

K4JMRR7GXT K4JMRR7GXT

URI	`m2://inv/K4JMRR7GXT`
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.27965#2MQU (statement)

History

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

Weil number K4JMV50G56

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

Mentions

wikipedia: Wikipedia List of things named after André Weil#NUQ9, Weil number (unknown)

History

2026-11-02: add by m2/dev

Cathérine Jami K4JP3SVK81

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

Mentions

wikipedia: Wikipedia Cathérine Jami, Cathérine Jami (topic). Also Wikidata Q83385299

History

2026-11-02: add by m2/dev

Reaction–diffusion system K4JS61WR6D

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

Mentions

wikipedia: Wikipedia Reaction–diffusion system, Reaction–diffusion system (definition). Also Wikidata Q901210

History

2026-11-02: add by m2/dev

K4JTP82W8H K4JTP82W8H

URI	`m2://inv/K4JTP82W8H`
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 2610.17736#6CA4 (statement). In 2F182H14AM/e1, corollary 1

History

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

K4JX115WSQ K4JX115WSQ

URI	`m2://inv/K4JX115WSQ`
Kind	statement
Layer	research
MSC	20-XX, 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.20932#F2I1 (statement). In FV78KV64B9/e1, corollary 3.5

History

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

K4K1NVD0M4 K4K1NVD0M4

URI	`m2://inv/K4K1NVD0M4`
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.24065#4GVD (statement)

History

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

Two-dimensional tilt and projection bounds K4K2C7SGBM

URI	`m2://inv/K4K2C7SGBM`
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.05498#I1GH, Two-dimensional tilt and projection bounds (statement). In TJT32RQ9GC/e1, lemma 7.2

History

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

K4K7HK417T K4K7HK417T

URI	`m2://inv/K4K7HK417T`
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 2206.12966#1YB7 (statement). In VH93X5QZDV/e1, lemma 1.4

History

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

K4KA3T5CCP K4KA3T5CCP

URI	`m2://inv/K4KA3T5CCP`
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.21140#CCPE (statement)

History

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

K4KBQEF0QS K4KBQEF0QS

URI	`m2://inv/K4KBQEF0QS`
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.13556#CYCV (statement). In 5ZB8N3YY72/e1, theorem 3.1

History

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

K4KNQNX197 K4KNQNX197

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

Mentions

wikipedia: Wikipedia Symmetric cone#4CDY (definition)

History

2026-11-02: add by m2/dev

History of Bayesian statistics K4KRHE33RB

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

Mentions

wikipedia: Wikipedia History of statistics#1GAP, History of Bayesian statistics (unknown)

History

2026-11-02: add by m2/dev

Macdonald polynomials K4KS7A0ZZZ

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

Mentions

wikipedia: Wikipedia List of polynomial topics#Q0H4, Macdonald polynomials (definition)

History

2026-11-02: add by m2/dev

K4KWXMVPGN K4KWXMVPGN

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

Mentions

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

History

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

K4M03ST7TW K4M03ST7TW

URI	`m2://inv/K4M03ST7TW`
Kind	statement
Layer	research
MSC	26-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 2609.24307#2E8L (statement)

History

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

K4M0G44YF3 K4M0G44YF3

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

Mentions

arxiv: arXiv 2211.16099#S3NE (statement). In 91RRFW0K5D/e1, theorem 19

History

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

Focal subgroup theorem K4M219FTVG

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

Mentions

mathlib_1000: mathlib_1000 Q5463860, Focal subgroup theorem (statement). Also Mathlib Subgroup.commutator_inf_eq_focalSubgroup, Wikidata Q5463860
thousand_plus: thousand_plus Q5463860, Focal subgroup theorem (statement). Also Mathlib Subgroup.commutator_inf_eq_focalSubgroup, Wikidata Q5463860, Wikipedia Focal subgroup theorem
wikipedia: Wikipedia Focal subgroup theorem, Focal subgroup theorem (statement). Also Wikidata Q5463860

History

2026-10-26: add by m2/dev

K4M5TKT59K K4M5TKT59K

URI	`m2://inv/K4M5TKT59K`
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.08091#NFQW (statement). In MS13WE3CSD/e1, proposition 2.15

History

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

K4MAKCZWP7 K4MAKCZWP7

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/proofs-modal-systems.tex#prop:S5facts (statement). In PKGMM3P5QY, prop, section 50.9

History

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

Cash–Karp method K4MFCE5BCA

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

Mentions

wikipedia: Wikipedia Cash–Karp method, Cash–Karp method (definition). Also Wikidata Q5048781

History

2026-11-02: add by m2/dev

K4MFVMF8CM K4MFVMF8CM

URI	`m2://inv/K4MFVMF8CM`
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 2409.20170#285O (definition). In QXJP79APHN/e1, definition 3.1

History

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

Radial tree K4MHKXH8RV

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

Mentions

wikipedia: Wikipedia Radial tree, Radial tree (definition). Also Wikidata Q7280281

History

2026-11-02: add by m2/dev

normal core K4MJA9Q7VG

URI	`m2://inv/K4MJA9Q7VG`
Kind	definition
Layer	textbook
Sources	1
Outcome	deferred (the item has its own article, page 893516)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of group theory#528V, normal core (definition)

History

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

Borel–Weil theorem K4MXPK01GD

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

Mentions

wikipedia: Wikipedia List of Lie groups topics#LCCF, Borel–Weil theorem (statement)
wikipedia: Wikipedia List of things named after André Weil#CRYE, Borel–Weil theorem (statement)

History

2026-11-02: add by m2/dev

Power-series exponential on the slices K4N7WC9N2K

URI	`m2://inv/K4N7WC9N2K`
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.12483#T7ZI, Power-series exponential on the slices (statement). In 159250CY6S/e1, corollary 4.3

History

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

Examples K4NBAWN94K

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

Mentions

wikipedia: Wikipedia Package-deal fallacy#IZQT, Examples (example)

History

2026-11-02: add by m2/dev

rate of convergence K4NN2XT3W3

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

Mentions

mathlib_undergrad: mathlib_undergrad Numerical Analysis > Numerical integration > rate of convergence, rate of convergence (unknown)

History

2026-10-26: add by m2/dev

K4P03DDEZE K4P03DDEZE

URI	`m2://inv/K4P03DDEZE`
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 2207.11097#3Z85 (definition). In 13H5BTAXHF/e1, definition 20

History

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

Non-deterministic Turing machine K4P4E7SMC2

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#KKEC, Non-deterministic Turing machine (definition)

History

2026-11-02: add by m2/dev

Propensity probability K4PCXEWS8H

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

Mentions

wikipedia: Wikipedia Propensity probability, Propensity probability (definition). Also Wikidata Q2112968

History

2026-11-02: add by m2/dev

K4PG3S38FD K4PG3S38FD

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

Mentions

arxiv: arXiv 2410.16036#51NA (statement). In S1T3VFXE05/e1, proposition 5.2

History

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

K4PQKP7MN7 K4PQKP7MN7

URI	`m2://inv/K4PQKP7MN7`
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.21092#LMHY (statement). In AGJE43FTF8/e1, corollary 5.8

History

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

K4PR7370SY K4PR7370SY

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

History

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

Marion Ballantyne White K4PRB5FX1R

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

Mentions

wikipedia: Wikipedia Marion Ballantyne White, Marion Ballantyne White (topic). Also Wikidata Q90401394

History

2026-11-02: add by m2/dev

Ratio and root tests for power series K4PSEYDZ9A

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#theorem-2, Ratio and root tests for power series (statement). In E9HS8K3A52, theorem, section 9.1.2

History

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

Lagrange error bound K4PX15EVM4

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

Mentions

wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#NTHX, Lagrange error bound (statement)

History

2026-11-02: add by m2/dev

LR bound with unbounded on-site terms K4PZPBCZ0T

URI	`m2://inv/K4PZPBCZ0T`
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.01669#XBEZ, LR bound with unbounded on-site terms (statement). In 41AVNP6DJ9/e1, proposition 4.2

History

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

Puppe sequence K4QANDW99G

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

Mentions

wikipedia: Wikipedia Puppe sequence, Puppe sequence (definition). Also Wikidata Q7260695

History

2026-11-02: add by m2/dev

K4QBYWNX6E K4QBYWNX6E

URI	`m2://inv/K4QBYWNX6E`
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.07741#IPDM (statement). In K4YV2SF9MG/e1, lemma 5.1

History

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

Leo August Pochhammer K4QF96TM86

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

Mentions

wikipedia: Wikipedia List of German mathematicians#EV7B, Leo August Pochhammer (topic)

History

2026-11-02: add by m2/dev

K4QJMQ2E10 K4QJMQ2E10

URI	`m2://inv/K4QJMQ2E10`
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.28211#WNNM (statement)

History

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

Li, David X. K4QMAYPQHS

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

Mentions

wikipedia: Wikipedia List of statisticians#LG9Q, Li, David X. (topic)

History

2026-11-02: add by m2/dev

Gauss's diary K4R1VPPRZJ

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

Mentions

wikipedia: Wikipedia Gauss's diary, Gauss's diary (definition). Also Wikidata Q5527815

History

2026-11-02: add by m2/dev

Characters, Schur's lemma and the inner product K4R4SW2E3S

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

Mentions

wikipedia: Wikipedia Representation theory of finite groups#S5K0, Characters, Schur's lemma and the inner product (statement)

History

2026-11-02: add by m2/dev

Probability in the Engineering and Informational Sciences K4R5TB8A13

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

Mentions

wikipedia: Wikipedia List of probability journals#IBM6, Probability in the Engineering and Informational Sciences (unknown)

History

2026-11-02: add by m2/dev

Anthony Kiedis K4R5ZSWJE0

URI	`m2://inv/K4R5ZSWJE0`
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#5ZQM, Anthony Kiedis (unknown)

History

2026-11-02: add by m2/dev

K4R76K50GK K4R76K50GK

URI	`m2://inv/K4R76K50GK`
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.07190#YKCR (statement). In ZWS6Q4467X/e1, theorem 5.3

History

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

Von Mises–Fisher distribution K4RGAT6759

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

Mentions

wikipedia: Wikipedia List of probability distributions#X1V6, Von Mises–Fisher distribution (definition)

History

2026-11-02: add by m2/dev

Gauss–Kuzmin distribution K4RJRYHW9J

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

Mentions

wikipedia: Wikipedia List of probability distributions#RWKF, Gauss–Kuzmin distribution (definition)

History

2026-11-02: add by m2/dev

K4RK0K7PS7 K4RK0K7PS7

URI	`m2://inv/K4RK0K7PS7`
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 2410.10337#QGYH (definition). In RBBF0XNZ5E/e1, definition 1

History

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

Examples K4RRQGT9GE

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

Mentions

wikipedia: Wikipedia Shift space#IPGR, Examples (example)

History

2026-11-02: add by m2/dev

similar K4S0FNA9FM

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#8E9K, similar (definition)

History

2026-11-02: add by m2/dev

K4S1AGVGA2 K4S1AGVGA2

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

Mentions

arxiv: arXiv 2610.21781#QVUT (statement). In FEQ72D1AX6/e1, lemma 9.2

History

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

Index (economics) K4S6RNE7DS

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

Mentions

wikipedia: Wikipedia List of statistics articles#RMWV, Index (economics) (definition)

History

2026-11-02: add by m2/dev

Burt Totaro K4SFG6JJGM

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

Mentions

wikipedia: Wikipedia Burt Totaro, Burt Totaro (topic). Also Wikidata Q560881

History

2026-11-02: add by m2/dev

K4SFMDJ2KF K4SFMDJ2KF

URI	`m2://inv/K4SFMDJ2KF`
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.03341#JJQQ (statement). In 3G1H5ASBVE/e1, theorem 8

History

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

History of Sudoku K4SMN8ZM16

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

Mentions

wikipedia: Wikipedia Sudoku#Y3ER, History of Sudoku (unknown)

History

2026-11-02: add by m2/dev

K4SRCPG5FR K4SRCPG5FR

URI	`m2://inv/K4SRCPG5FR`
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.14838#YJPL (definition). In J7ZX3WWRQP/e1, definition 2.2

History

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

K4SRGT742S K4SRGT742S

URI	`m2://inv/K4SRGT742S`
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.05776#ESN0 (statement). In AFSG70BF7S/e1, lemma 5

History

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

Examples K4SSEVRM7Z

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

Mentions

wikipedia: Wikipedia Projective polyhedron#AVDV, Examples (example)

History

2026-11-02: add by m2/dev

Weaker axioms K4SVMVATHJ

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

Mentions

wikipedia: Wikipedia N-ary group#OWX0, Weaker axioms (statement)

History

2026-11-02: add by m2/dev

A special case K4SYGAGKSJ

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

Mentions

wikipedia: Wikipedia Loomis–Whitney inequality#3LR1, A special case (statement)

History

2026-11-02: add by m2/dev

K4T40AYV2P K4T40AYV2P

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

Mentions

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

History

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

K4T75VVJ19 K4T75VVJ19

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

Mentions

arxiv: arXiv 2111.08123#1R3I (statement). In TAAB0QAKAG/e1, lemma 2.1

History

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

Properties K4THSPJ14R

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

Mentions

wikipedia: Wikipedia LB-space#CYCC, Properties (statement)

History

2026-11-02: add by m2/dev

K4TKCE21QK K4TKCE21QK

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/derived-rules.tex#prop-1 (statement). In PKGMM3P5QY, prop, section 50.2

History

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

K4TMF0FPHQ K4TMF0FPHQ

URI	`m2://inv/K4TMF0FPHQ`
Kind	statement
Layer	research
MSC	14-XX, 19-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 2211.10178#DICP (statement). In 8T90H89HNB/e1, proposition 4.3

History

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

Compound of five tetrahemihexahedra K4TMHPFA27

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#PW3K, Compound of five tetrahemihexahedra (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#F15F, Compound of five tetrahemihexahedra (definition)

History

2026-11-02: add by m2/dev

K4TWMHCPW3 K4TWMHCPW3

URI	`m2://inv/K4TWMHCPW3`
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#GSIW (statement). In ZBQX9341RV/e1, corollary 6.9

History

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

K4V379GHTX K4V379GHTX

URI	`m2://inv/K4V379GHTX`
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.35421#NOOF (statement). In KE8B8KMDJJ/e1, theorem 0.6

History

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

K4V3DE8B7A K4V3DE8B7A

URI	`m2://inv/K4V3DE8B7A`
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.23341#E5QC (statement)

History

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

Arithmetic K4V43F789X

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

Mentions

wikipedia: Wikipedia Arithmetic (book), Arithmetic (definition). Also Wikidata Q97659011

History

2026-11-02: add by m2/dev

K4V6JEBJ0X K4V6JEBJ0X

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

Mentions

arxiv: arXiv 2410.01436#32RN (proof). In FE59Q5BHKZ/e1, proof

History

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

Trigonometric function K4V9K7Z3F7

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

Mentions

wikipedia: Wikipedia List of harmonic analysis topics#DUZ2, Trigonometric function (definition)

History

2026-11-02: add by m2/dev

dual problem for the scaled logarithmic regularizer K4VB86BYK2

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

Mentions

arxiv: arXiv 2609.26645#30K4, dual problem for the scaled logarithmic regularizer (statement)

History

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

Formulation K4VF4HHT1Q

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

Mentions

wikipedia: Wikipedia Spherical model#W5E2, Formulation (definition)

History

2026-11-02: add by m2/dev

Formal definitions K4VMJMFW1N

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

Mentions

wikipedia: Wikipedia P versus NP problem#6G5D, Formal definitions (definition)

History

2026-11-02: add by m2/dev

K4VSMBRZTC K4VSMBRZTC

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

Mentions

arxiv: arXiv 2609.40029#0F6E (example). In 71C8YHM5A1/e1, example 2.3

History

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

K4VW2RSMTA K4VW2RSMTA

URI	`m2://inv/K4VW2RSMTA`
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 2503.22636#XADD (statement). In 2X2A6MT0QD/e1, theorem A

History

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

Raymond Clare Archibald K4VX18P3DD

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#INP2, Raymond Clare Archibald (topic)

History

2026-11-02: add by m2/dev

Related theorems and configurations K4W41D89YK

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

Mentions

wikipedia: Wikipedia Perspective (geometry)#JESZ, Related theorems and configurations (statement)

History

2026-11-02: add by m2/dev

Examples K4W4HK0ZNR

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

Mentions

wikipedia: Wikipedia Probability generating function#N2J9, Examples (example)

History

2026-11-02: add by m2/dev

The Schur lemma for the Riemann tensor K4W9RG7QFF

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

Mentions

wikipedia: Wikipedia Schur's lemma (Riemannian geometry)#U89P, The Schur lemma for the Riemann tensor (statement)

History

2026-11-02: add by m2/dev

Examples K4WF3RQN27

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

Mentions

wikipedia: Wikipedia Lifting property#IDL2, Examples (example)

History

2026-11-02: add by m2/dev

Limiting spectral distribution K4WGAMHDER

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

Mentions

arxiv: arXiv 2609.31919#IAFN, Limiting spectral distribution (statement). In RHN12PW9P9/e1, theorem 3.2

History

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

K4WPG1F5W8 K4WPG1F5W8

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

Mentions

hott_book: hott_book hits.tex#thm:set-pushout (statement). In N54F33XE07, lem, section 5.9

History

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

K4X9GPPAMT K4X9GPPAMT

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

Mentions

arxiv: arXiv 1002.0879#7GX5 (definition). In M0SQY5EZN5/e1, definition 1.3.2

History

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

K4XB7SEBTC K4XB7SEBTC

URI	`m2://inv/K4XB7SEBTC`
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.21765#V741 (statement)

History

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

K4XCNH9J46 K4XCNH9J46

URI	`m2://inv/K4XCNH9J46`
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.05506#S5X0 (statement). In FT53PMB1TE/e1, corollary 3.1.2

History

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

K4XKYV8GAV K4XKYV8GAV

URI	`m2://inv/K4XKYV8GAV`
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.07530#XUO5 (statement). In C7QZ0VPBC8/e1, proposition 3.8

History

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

K4XQQK1E9Z K4XQQK1E9Z

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

Mentions

hott_book: hott_book logic.tex#defn:decidable-equality (definition). In N54F33XE07, defn, section 9.4

History

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

K4XRPQCP0G K4XRPQCP0G

URI	`m2://inv/K4XRPQCP0G`
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.01928#5HIC (statement). In BSJRRHKGX0/e1, lemma 4.3

History

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

A smaller rate on the kernel K4XV4JH6ZX

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

Mentions

arxiv: arXiv 2610.09912#UALF, A smaller rate on the kernel (statement). In 65TJENWK7X/e1, lemma 64

History

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

K4XVWBN1XM K4XVWBN1XM

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

Mentions

arxiv: arXiv 2609.36181#TD0J (example). In 1KSE33PVS6/e1, example 61

History

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

K4XXZ5JJHZ K4XXZ5JJHZ

URI	`m2://inv/K4XXZ5JJHZ`
Kind	example
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#TVZD (example). In KWH4QJDPWC/e1, example 4.8

History

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

K4YC2WHJ4F K4YC2WHJ4F

URI	`m2://inv/K4YC2WHJ4F`
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.23128#AZOA (statement)

History

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

Jing Ning K4YJJZ6R3R

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

Mentions

wikipedia: Wikipedia Jing Ning, Jing Ning (topic). Also Wikidata Q89992725

History

2026-11-02: add by m2/dev

Homotopy Gluing Theorem K4YMTF4NQM

URI	`m2://inv/K4YMTF4NQM`
Kind	statement
Layer	research
MSC	54-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.15099#QCBO, Homotopy Gluing Theorem (statement). In PF5JJ9DS8Q/e1, theorem 6.2.3

History

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

Curve sketching K4YSAB47JC

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

Mentions

wikipedia: Wikipedia Curve sketching, Curve sketching (definition). Also Wikidata Q350877

History

2026-11-02: add by m2/dev

K4Z30MT49M K4Z30MT49M

URI	`m2://inv/K4Z30MT49M`
Kind	statement
Layer	research
MSC	46-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 0902.2829#VL84 (statement). In BP0QEPB4YM/e1, proposition

History

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

Exact cluster counts for sublinear orders K4Z3B2PPQ9

URI	`m2://inv/K4Z3B2PPQ9`
Kind	statement
Layer	research
MSC	26-XX, 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.09602#I5ZF, Exact cluster counts for sublinear orders (statement). In 4AQ48WSBDQ/e1, theorem 4.3

History

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

Gauss formula K4Z8MBBS0B

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

Mentions

wikipedia: Wikipedia Polynomial interpolation#18SN, Gauss formula (statement)

History

2026-11-02: add by m2/dev

Centralizer (Lie algebra) K4ZBBKRF9G

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

Mentions

wikipedia: Wikipedia Centralizer and normalizer#XAFR, Centralizer (Lie algebra) (unknown)

History

2026-11-02: add by m2/dev

Harmonic function K4ZE9YPPJG

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

Mentions

wikipedia: Wikipedia List of types of functions#XL19, Harmonic function (definition)

History

2026-11-02: add by m2/dev

K4ZHEGYATX K4ZHEGYATX

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

Mentions

arxiv: arXiv 2609.33590#Q6PJ (statement). In WRE0P7V6Z3/e1, lemma 2.1

History

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

459 (number) K4ZP6FHVPT

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

Mentions

wikipedia: Wikipedia 400 (number)#3V8E, 459 (number) (unknown)

History

2026-11-02: add by m2/dev

K4ZPCR62W9 K4ZPCR62W9

URI	`m2://inv/K4ZPCR62W9`
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 2502.08738#68S6 (statement). In 9GMTVSTAVN/e1, proposition 2.3

History

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

Ackermann number K4ZY0RPNGX

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

Mentions

wikidata: Wikidata Q20479482, Ackermann number (unknown). Also MathWorld AckermannNumber, OEIS A004231

History

2026-10-26: add by m2/dev