Inventory rows D5

Variants D504F0WDPC

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

Mentions

wikipedia: Wikipedia Rainbow-independent set#IPCC, Variants (statement)

History

2026-11-02: add by m2/dev

Homophonic cipher D509ZJ2GHG

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

Mentions

wikipedia: Wikipedia Substitution cipher#A3CF, Homophonic cipher (unknown)

History

2026-11-02: add by m2/dev

Markov chain approximation method D50BKEM6KB

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

Mentions

wikipedia: Wikipedia Markov chain approximation method, Markov chain approximation method (definition). Also Wikidata Q25303667

History

2026-11-02: add by m2/dev

D50C8H34WH D50C8H34WH

URI	`m2://inv/D50C8H34WH`
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#I9PD (statement). In MS13WE3CSD/e1, theorem 4.9

History

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

Applications D50P9XM3ZH

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

Mentions

wikipedia: Wikipedia Affective forecasting#2OU1, Applications (example)

History

2026-11-02: add by m2/dev

D51316X71G D51316X71G

URI	`m2://inv/D51316X71G`
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 math/0411039#WIHT (statement). In ZTBDXSKFFW/e1, theorem 2.1

History

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

D514STYNA8 D514STYNA8

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

Mentions

arxiv: arXiv 2610.15736#2I3S (statement). In 17WP1JCDAV/e1, lemma 1

History

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

Theorem D515M5SP8K

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

Mentions

wikipedia: Wikipedia Closed graph theorem (functional analysis)#UPT5, Theorem (statement)

History

2026-11-02: add by m2/dev

V. M. Kharlamov D5184B573D

URI	`m2://inv/D5184B573D`
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#Q6D4, V. M. Kharlamov (topic)

History

2026-11-02: add by m2/dev

Roy C. Geary D519R2N62E

URI	`m2://inv/D519R2N62E`
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#8Q4V, Roy C. Geary (topic)

History

2026-11-02: add by m2/dev

D51CNQVXMM D51CNQVXMM

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

Mentions

arxiv: arXiv 2610.03520#6MQF (statement). In CSRZ9CWK69/e1, proposition 8.20

History

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

Example D51D573MK0

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

Mentions

wikipedia: Wikipedia Representation theory of finite groups#FUS7, Example (example)

History

2026-11-02: add by m2/dev

Asymmetric Laplace distribution D51TPFSB35

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

Mentions

wikipedia: Wikipedia Asymmetric Laplace distribution, Asymmetric Laplace distribution (definition). Also Wikidata Q23498393

History

2026-11-02: add by m2/dev

Pitt-admissible datum D51XFRVHPQ

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

Mentions

arxiv: arXiv 2609.34946#SK0I, Pitt-admissible datum (definition). In Y27BAB2BB4/e1, definition 1.7

History

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

D51YFFCCEM D51YFFCCEM

URI	`m2://inv/D51YFFCCEM`
Kind	example
Layer	research
MSC	16-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 2512.16003#ZZKQ (example). In BJGS6ZCQ12/e1, example 9.2

History

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

Michelangelo Fardella D52259GTGC

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#A84P, Michelangelo Fardella (unknown)
wikipedia: Wikipedia List of Italian mathematicians#Z2H4, Michelangelo Fardella (unknown)

History

2026-11-02: add by m2/dev

D525J6XH8H D525J6XH8H

URI	`m2://inv/D525J6XH8H`
Kind	statement
Layer	research
MSC	05-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.07718#DB2O (statement). In CEKW9CNVVW/e1, lemma 5.2

History

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

operator-valued disc-algebra norm gaps D52FSH480T

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

Mentions

arxiv: arXiv 2609.27458#VKL4, operator-valued disc-algebra norm gaps (statement)

History

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

Susan Horn D52V808QCK

URI	`m2://inv/D52V808QCK`
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#08GA, Susan Horn (unknown)

History

2026-11-02: add by m2/dev

Definition D52WVD42XR

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

Mentions

wikipedia: Wikipedia Hurwitz quaternion order#JNHP, Definition (definition)

History

2026-11-02: add by m2/dev

Definition D52Y066W3B

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

Mentions

wikipedia: Wikipedia Regular measure#U2Y4, Definition (definition)

History

2026-11-02: add by m2/dev

D5332CNS4W D5332CNS4W

URI	`m2://inv/D5332CNS4W`
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 2308.05715#X0C3 (definition). In FC0SB9JFWH/e1, definition 6.1

History

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

Judy Chicago D53F0XWWR9

URI	`m2://inv/D53F0XWWR9`
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#20O6, Judy Chicago (unknown)

History

2026-11-02: add by m2/dev

Multivariate analysis of variance D53GPA4T58

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

Mentions

wikipedia: Wikipedia List of statistics articles#R1B9, Multivariate analysis of variance (definition)

History

2026-11-02: add by m2/dev

Control-flow graph D53R658HEN

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

Mentions

wikipedia: Wikipedia List of graphical methods#XD2X, Control-flow graph (unknown)

History

2026-11-02: add by m2/dev

D53RA3E246 D53RA3E246

URI	`m2://inv/D53RA3E246`
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 2007.14459#AZX6 (definition). In SGQ7VFEZ22/e1, definition 3.9

History

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

MULTILOG D53SB0VNQH

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

Mentions

wikipedia: Wikipedia Psychometric software#3XTT, MULTILOG (unknown)

History

2026-11-02: add by m2/dev

The Rogers sums modulo $1$ D544B2Y2MN

URI	`m2://inv/D544B2Y2MN`
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#YN1U, The Rogers sums modulo $1$ (statement). In 11JNM66Z09/e1, proposition 13.8

History

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

D548C7VR4V D548C7VR4V

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

Mentions

arxiv: arXiv 2609.37606#SQAG (example). In WNFW6GY38C/e1, example 6.4

History

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

Hurwitz's automorphisms theorem D549ETBMRZ

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

Mentions

mathlib_1000: mathlib_1000 Q2226695, Hurwitz's automorphisms theorem (statement). Also Wikidata Q2226695
thousand_plus: thousand_plus Q2226695, Hurwitz's automorphisms theorem (statement). Also Wikidata Q2226695, Wikipedia Hurwitz's automorphisms theorem
wikipedia: Wikipedia Hurwitz's automorphisms theorem, Hurwitz's automorphisms theorem (statement). Also Wikidata Q2226695

History

2026-10-26: add by m2/dev

D54AB8TGH9 D54AB8TGH9

URI	`m2://inv/D54AB8TGH9`
Kind	statement
Layer	research
MSC	35-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.05391#F2SF (statement). In 9B5TNEBJHV/e1, lemma 3.9

History

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

D54KWB86VN D54KWB86VN

URI	`m2://inv/D54KWB86VN`
Kind	problem
Layer	research
MSC	51-XX, 52-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.01087#E8E4 (problem). In 7QXAZXGNPQ/e1, problem 9.3

History

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

Poretsky's law of forms D54NS5AQ4S

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

Mentions

wikipedia: Wikipedia Poretsky's law of forms, Poretsky's law of forms (statement). Also Wikidata Q16886945

History

2026-11-02: add by m2/dev

D54V0VHF81 D54V0VHF81

URI	`m2://inv/D54V0VHF81`
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.38206#AMCO (statement). In F71MS1F637/e1, proposition 2.3

History

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

Equivariant procedure D552K7YYSS

URI	`m2://inv/D552K7YYSS`
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#5VM7, Equivariant procedure (definition)

History

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

D552V2FEAW D552V2FEAW

URI	`m2://inv/D552V2FEAW`
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 2207.12181#Z6OA (statement). In FSD8NE3XSR/e1, corollary 6.7

History

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

Equal-mean facet D553WKN70P

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

Mentions

arxiv: arXiv 2609.24931#1E13, Equal-mean facet (statement)

History

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

Closed interval (order theory) D555HY10TT

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

Mentions

wikipedia: Wikipedia Partially ordered set#0D1X, Closed interval (order theory) (unknown)

History

2026-11-02: add by m2/dev

draw D55HK79E6C

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

Mentions

wikidata: Wikidata Q1137224, draw (definition). Also ProofWiki Definition:Chess/Draw

History

2026-10-26: add by m2/dev

D55JQ0E6FP D55JQ0E6FP

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

Mentions

napkin: napkin tex/alg-NT/norm-trace.tex#example-5 (example). In RZP28ERRZV, example, section 15.2

History

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

Ext functor D55NDJQCGT

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

Mentions

wikipedia: Wikipedia Glossary of module theory#Z5TB, Ext functor (definition)

History

2026-11-02: add by m2/dev

Weyl's tube formula D55YBXFJET

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

Mentions

wikipedia: Wikipedia Weyl's tube formula, Weyl's tube formula (statement). Also Wikidata Q55643460

History

2026-11-02: add by m2/dev

D562H4CY86 D562H4CY86

URI	`m2://inv/D562H4CY86`
Kind	statement
Layer	research
MSC	60-XX, 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.05621#RHG8 (statement). In ADE39RC6C0/e1, theorem 2.3

History

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

Plancherel theorem D563H563X0

URI	`m2://inv/D563H563X0`
Kind	statement
Layer	textbook
MSC	42-XX
Sources	5
Outcome	open
Node	Plancherel theorem HPZHRZ0502

Mentions

mathlib_1000: mathlib_1000 Q2096184, Plancherel theorem (statement). Also Mathlib SchwartzMap.integral_inner_fourier_fourier, Wikidata Q2096184
mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Fourier analysis > Plancherel’s theorem, Plancherel’s theorem (unknown). Also Mathlib SchwartzMap.integral_inner_fourier_fourier
thousand_plus: thousand_plus Q2096184, Plancherel theorem (statement). Also Mathlib SchwartzMap.integral_inner_fourier_fourier, Wikidata Q2096184, Wikipedia Plancherel theorem
wikidata: Wikidata Q2096184, Plancherel theorem (statement). Also MathWorld PlancherelsTheorem
wikipedia: Wikipedia Plancherel theorem, Plancherel theorem (statement). Also Wikidata Q2096184

History

2026-10-26: add by m2/dev

Properties D567111XRV

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

Mentions

wikipedia: Wikipedia Isoperimetric point#FKM1, Properties (statement)

History

2026-11-02: add by m2/dev

cf.\ D56FE47K9K

URI	`m2://inv/D56FE47K9K`
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 2610.01273#W50Q, cf.\ (example). In RAT41DDR51/e1, example 3.4

History

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

Examples D56FVTQNKA

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

Mentions

wikipedia: Wikipedia Catenary ring#VMHS, Examples (example)

History

2026-11-02: add by m2/dev

Halpern–Läuchli theorem D56PABT82Z

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

Mentions

wikipedia: Wikipedia List of theorems#5HHE, Halpern–Läuchli theorem (statement)

History

2026-11-02: add by m2/dev

butterfly theorem D56PK89YF2

URI	`m2://inv/D56PK89YF2`
Kind	statement
Layer	textbook
MSC	51-XX
Sources	4
Outcome	open
Node	Butterfly theorem E9TX1NDAHB

Mentions

mathlib_1000: mathlib_1000 Q377047, Butterfly theorem (statement). Also Wikidata Q377047
thousand_plus: thousand_plus Q377047, Butterfly theorem (statement). Also Wikidata Q377047, Wikipedia Butterfly theorem
wikidata: Wikidata Q377047, butterfly theorem (statement). Also MathWorld ButterflyTheorem
wikipedia: Wikipedia Butterfly theorem, Butterfly theorem (statement). Also Wikidata Q377047

History

2026-10-26: add by m2/dev

Stable Distribution D56S6SEPVE

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

Mentions

arxiv: arXiv 2609.22952#IA24, Stable Distribution (definition)

History

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

D56W5CPMY5 D56W5CPMY5

URI	`m2://inv/D56W5CPMY5`
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.23538#2KMY (statement)

History

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

Mikhail Gromov D56X93NCPZ

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#PY9L, Mikhail Gromov (topic)

History

2026-11-02: add by m2/dev

D56YEM7GVJ D56YEM7GVJ

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

Mentions

arxiv: arXiv 2610.13913#H3IB (statement). In BW5GVH97JE/e1, proposition 3.9

History

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

Hölder's inequality D572V5DA81

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

Mentions

wikipedia: Wikipedia Hölder's inequality#CHJ7, Hölder's inequality (statement)

History

2026-11-02: add by m2/dev

Terms D57508T346

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/terms-formulas.tex#defn:terms, Terms (definition). In PKGMM3P5QY, defn, section 22.1

History

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

D57EYBBN58 D57EYBBN58

URI	`m2://inv/D57EYBBN58`
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.22040#CJVO (definition). In 2QP93JHYNB/e1, definition 6.12

History

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

SAS D57HN2MNEV

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

Mentions

wikipedia: Wikipedia SAS (software), SAS (definition). Also Wikidata Q2003932

History

2026-11-02: add by m2/dev

Jan Hemelrijk D57J9EYWRQ

URI	`m2://inv/D57J9EYWRQ`
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#BO4Z, Jan Hemelrijk (topic)

History

2026-11-02: add by m2/dev

D57M677DBV D57M677DBV

URI	`m2://inv/D57M677DBV`
Kind	problem
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.39169#3DDB (problem). In ANHWXYPQFX/e1, problem A.1

History

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

D57PH167MX D57PH167MX

URI	`m2://inv/D57PH167MX`
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.31102#PRJM (statement). In 7CADATJMAA/e1, theorem 5.2

History

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

Paul Nemenyi D57QHZ76SK

URI	`m2://inv/D57QHZ76SK`
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#CEI3, Paul Nemenyi (unknown)

History

2026-11-02: add by m2/dev

Geometric rigidity D57Y6Z0SQ2

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

Mentions

wikipedia: Wikipedia Geometric rigidity, Geometric rigidity (definition). Also Wikidata Q109592141

History

2026-11-02: add by m2/dev

D581MPFADF D581MPFADF

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#prop-2 (statement). In E59CDZA4DP, prop, section 7.1

History

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

D583BSRXGG D583BSRXGG

URI	`m2://inv/D583BSRXGG`
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.11120#LASP (statement). In KCY80F2YGP/e1, lemma 8

History

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

D583SF175S D583SF175S

URI	`m2://inv/D583SF175S`
Kind	statement
Layer	research
MSC	35-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.25897#5EBI (statement)

History

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

Transformation-sufficient ontology D589H1X1RQ

URI	`m2://inv/D589H1X1RQ`
Kind	definition
Layer	research
MSC	18-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.20207#WMH0, Transformation-sufficient ontology (definition)

History

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

D58AF48093 D58AF48093

URI	`m2://inv/D58AF48093`
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#T6RM (statement). In 3REM2EXQK7/e1, lemma 2.14

History

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

D58PJYBB87 D58PJYBB87

URI	`m2://inv/D58PJYBB87`
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.14741#MOTI (statement). In RK1VPWWX9E/e1, proposition 4.6

History

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

Definition D58SFQAQ88

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

Mentions

wikipedia: Wikipedia Subsumption lattice#4M7X, Definition (definition)

History

2026-11-02: add by m2/dev

Sufficiency of the de Almeida--Thouless condition D58VZKEK2H

URI	`m2://inv/D58VZKEK2H`
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.06480#38GV, Sufficiency of the de Almeida--Thouless condition (statement). In 2Y47E704Z9/e1, lemma F.4

History

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

Campbell's theorem D58Y5W6WG4

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

Mentions

wikidata: Wikidata Q5027969, Campbell's theorem (statement). Also MathWorld CampbellsTheorem
wikipedia: Wikipedia Campbell's theorem (geometry), Campbell's theorem (statement). Also Wikidata Q5027969

History

2026-10-26: add by m2/dev

D594KCMCY6 D594KCMCY6

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

Mentions

austin_ula: austin_ula src/section5-2.xml#example-1 (example). In 649HGZKE96, example, section 5.2.2

History

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

D595K3GK1A D595K3GK1A

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

Mentions

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

History

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

Max Simon D5979D7X5M

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

Mentions

wikipedia: Wikipedia Max Simon (mathematician), Max Simon (topic). Also Wikidata Q1345870

History

2026-11-02: add by m2/dev

D599A52X0C D599A52X0C

URI	`m2://inv/D599A52X0C`
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.17135#Y53R (statement). In XX1J2REXY2/e1, proposition 2.4

History

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

Hyperarithmetical hierarchy D599VPGYZV

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

Mentions

wikipedia: Wikipedia Hyperarithmetical theory#R7AH, Hyperarithmetical hierarchy (unknown)

History

2026-11-02: add by m2/dev

Glossary of shapes with metaphorical names D59N512H3M

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

Mentions

wikipedia: Wikipedia Glossary of shapes with metaphorical names, Glossary of shapes with metaphorical names (topic). Also Wikidata Q5571869

History

2026-11-02: add by m2/dev

Full distance spectrum D59Y3JERDB

URI	`m2://inv/D59Y3JERDB`
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.13429#FUR5, Full distance spectrum (statement). In B2VB5T5WQD/e1, theorem 3.2

History

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

Explicit construction via Chinese remainder theorem D5A3PDJM0Q

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

Mentions

wikipedia: Wikipedia Hermite interpolation#HHWW, Explicit construction via Chinese remainder theorem (statement)

History

2026-11-02: add by m2/dev

D5A4CYTVKW D5A4CYTVKW

URI	`m2://inv/D5A4CYTVKW`
Kind	statement
Layer	research
MSC	37-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.16388#0Y54 (statement). In Q62MDENP26/e1, lemma 5.3

History

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

Response approximation on a candidate grid D5A5SKPSPF

URI	`m2://inv/D5A5SKPSPF`
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.21301#72JY, Response approximation on a candidate grid (statement). In W7GCDXAK1K/e1, proposition 1

History

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

Volume rendering D5AG62P38F

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#0ZJ6, Volume rendering (unknown)

History

2026-11-02: add by m2/dev

D5AHEYRV5C D5AHEYRV5C

URI	`m2://inv/D5AHEYRV5C`
Kind	definition
Layer	research
MSC	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 1809.06512#ZXRL (definition). In RY2X22P6XW/e1, definition 6

History

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

Wang and Zahl, 2025 D5AKAH1A8S

URI	`m2://inv/D5AKAH1A8S`
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#4S0T, Wang and Zahl, 2025 (statement). In P2ZW0PZMEH/e1, theorem 3.1

History

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

D5AV0BZ82W D5AV0BZ82W

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

Mentions

arxiv: arXiv 2609.33957#G842 (statement). In KG6V5AN3PK/e1, theorem 1.2

History

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

1-tuple D5AV21N1W8

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

Mentions

wikipedia: Wikipedia Tuple#YI2L, 1-tuple (unknown)

History

2026-11-02: add by m2/dev

Generalized spectrogram D5AZ7RJM9X

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

Mentions

wikipedia: Wikipedia Generalized spectrogram, Generalized spectrogram (definition). Also Wikidata Q11064818

History

2026-11-02: add by m2/dev

AKKT success condition D5B0NZZP1A

URI	`m2://inv/D5B0NZZP1A`
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.07379#MJR2, AKKT success condition (statement). In N0EVQ46HBR/e1, theorem 4.1

History

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

L. C. Schnürlein D5B38TB2RN

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

Mentions

wikipedia: Wikipedia L. C. Schnürlein, L. C. Schnürlein (topic). Also Wikidata Q6456388

History

2026-11-02: add by m2/dev

scalar multiplication D5B897JQFG

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

Mentions

austin_ula: austin_ula index/2.1.1/scalar-multiplication, scalar multiplication (concept). In 649HGZKE96, index, section 2.1.1

History

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

Environmental protection expenditure accounts D5BEKQ05QB

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

Mentions

wikipedia: Wikipedia Environmental protection expenditure accounts, Environmental protection expenditure accounts (definition). Also Wikidata Q5381349

History

2026-11-02: add by m2/dev

Gabriele Veneziano D5BKA9ZCHD

URI	`m2://inv/D5BKA9ZCHD`
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 Q441993, Gabriele Veneziano (unknown). Also nLab Gabriele Veneziano

History

2026-10-26: add by m2/dev

D5BNT5PP3K D5BNT5PP3K

URI	`m2://inv/D5BNT5PP3K`
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.09042#CYPZ (statement). In 7CS3N5K9FJ/e1, lemma 10

History

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

D5BRSEGCY8 D5BRSEGCY8

URI	`m2://inv/D5BRSEGCY8`
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#0KZT (statement). In WRE0P7V6Z3/e1, theorem 1.3

History

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

Examples D5BRZG0Q1B

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

Mentions

wikipedia: Wikipedia E-function#0R8P, Examples (example)

History

2026-11-02: add by m2/dev

adjoint bundle D5BS6M3ZZE

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

Mentions

wikidata: Wikidata Q4683171, adjoint bundle (unknown). Also nLab adjoint bundle
wikipedia: Wikipedia Adjoint bundle, Adjoint bundle (definition). Also Wikidata Q4683171

History

2026-10-26: add by m2/dev

Applications D5BSGYZBAN

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

Mentions

wikipedia: Wikipedia Coherence (physics)#RICM, Applications (example)

History

2026-11-02: add by m2/dev

D5BTGPHENY D5BTGPHENY

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

Mentions

arxiv: arXiv 2609.34845#NVL8 (statement). In SBZNH932ZV/e1, theorem 3.2

History

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

D5BV8JZK8C D5BV8JZK8C

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

Mentions

arxiv: arXiv 2609.38138#BF3N (problem). In G97FA99ZEF/e1, problem 5.3

History

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

Judah ben Solomon D5C1BK3J07

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#TTEA, Judah ben Solomon (unknown)

History

2026-11-02: add by m2/dev

Sara Billey D5C1NRA4YG

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

Mentions

wikipedia: Wikipedia Sara Billey, Sara Billey (topic). Also Wikidata Q7421572

History

2026-11-02: add by m2/dev

Dynamical systems and chaos theory D5C2F8J7DV

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#J66U, Dynamical systems and chaos theory (topic)

History

2026-11-02: add by m2/dev

J-1 ring D5C302MSNQ

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#GJKG, J-1 ring (definition)

History

2026-11-02: add by m2/dev

D5C9Q6BA0B D5C9Q6BA0B

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

Mentions

arxiv: arXiv 2609.31300#YC75 (statement). In ERHQDB8M41/e1, proposition 4.5

History

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

Andrew R. Barron D5CA63PBZS

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

Mentions

wikipedia: Wikipedia Andrew R. Barron (statistician), Andrew R. Barron (topic). Also Wikidata Q138543582

History

2026-11-02: add by m2/dev

D5CRZA3YAG D5CRZA3YAG

URI	`m2://inv/D5CRZA3YAG`
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 2210.02997#C1OM (statement). In KEXVYV0SNS/e1, theorem 4

History

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

Andrew Ogg D5CZQ8058Y

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

Mentions

wikipedia: Wikipedia Andrew Ogg, Andrew Ogg (topic). Also Wikidata Q506611

History

2026-11-02: add by m2/dev

Truncated square prismatic honeycomb D5D1N302JH

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#VCH4, Truncated square prismatic honeycomb (object)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#VBE5, Truncated square prismatic honeycomb (object)

History

2026-11-02: add by m2/dev

optical illusion D5D42CF6FH

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

Mentions

wikidata: Wikidata Q174923, optical illusion (unknown). Also MathWorld Illusion

History

2026-10-26: add by m2/dev

D5D75STFXY D5D75STFXY

URI	`m2://inv/D5D75STFXY`
Kind	statement
Layer	research
MSC	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.20675#GRK6 (statement)

History

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

D5DD621SR0 D5DD621SR0

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

Mentions

arxiv: arXiv 2610.07260#9TQ4 (statement). In 33KABVV985/e1, corollary 4.5

History

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

Univalence D5DHHJCT71

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

Mentions

hott_book: hott_book basics.tex#axiom:univalence, Univalence (statement). In N54F33XE07, axiom, section 1.10

History

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

D5DQCQYNZG D5DQCQYNZG

URI	`m2://inv/D5DQCQYNZG`
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 2306.17260#VAWO (statement). In V0T2SY4M6S/e1, lemma 3.6

History

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

Examples D5DS4R7PTN

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

Mentions

wikipedia: Wikipedia Multiplicative group of integers modulo n#RJ7M, Examples (example)

History

2026-11-02: add by m2/dev

Michael Neale D5DVQ7XE45

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

Mentions

wikipedia: Wikipedia Michael Neale, Michael Neale (topic). Also Wikidata Q55622998

History

2026-11-02: add by m2/dev

D5DWTTQEW6 D5DWTTQEW6

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

Mentions

arxiv: arXiv 2610.13931#W17I (definition). In EXA79VR78Q/e1, definition A.4

History

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

sheaf generated by global sections D5E2WXV3WT

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#B24A, sheaf generated by global sections (definition)

History

2026-11-02: add by m2/dev

Orthogonal subset-clock cost D5E8FC3VSZ

URI	`m2://inv/D5E8FC3VSZ`
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.14081#QUGF, Orthogonal subset-clock cost (statement). In DCCKKQ7Y21/e1, proposition V.4

History

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

Pi\ neiro Weyl convergence in the positive chamber D5E8FPDP7B

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

Mentions

arxiv: arXiv 2609.26066#G3W2, Pi\ neiro Weyl convergence in the positive chamber (statement)

History

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

Integrated shallow approximation lower bound D5EG41Y4QW

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

Mentions

arxiv: arXiv 2610.10875#CD65, Integrated shallow approximation lower bound (statement). In N91F15MHW1/e1, corollary 1

History

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

D5EGWM9XT4 D5EGWM9XT4

URI	`m2://inv/D5EGWM9XT4`
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 2310.15716#3OQ5 (statement). In 7WDA4MEWE2/e1, proposition 5.6

History

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

cartesian monoidal category D5EMEZBVRM

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

Mentions

wikidata: Wikidata Q18205845, cartesian monoidal category (unknown). Also nLab cartesian monoidal category
wikipedia: Wikipedia Cartesian monoidal category, Cartesian monoidal category (definition). Also Wikidata Q18205845

History

2026-10-26: add by m2/dev

Consistency of the covariance estimator D5EX7M0X6X

URI	`m2://inv/D5EX7M0X6X`
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.20772#U3IS, Consistency of the covariance estimator (statement)

History

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

D5EZ0CVYVE D5EZ0CVYVE

URI	`m2://inv/D5EZ0CVYVE`
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#DJV5 (statement). In ZXQA7QH0H0/e1, lemma 4.24

History

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

D5F3CTNC6B D5F3CTNC6B

URI	`m2://inv/D5F3CTNC6B`
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.17408#8IYN (statement). In QR8H4M1X4N/e1, lemma 3.14

History

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

D5F8EF4YG9 D5F8EF4YG9

URI	`m2://inv/D5F8EF4YG9`
Kind	definition
Layer	research
MSC	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.21052#7W1F (definition)

History

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

Gallai–Hasse–Roy–Vitaver theorem D5F9TS715K

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

Mentions

wikipedia: Wikipedia Gallai–Hasse–Roy–Vitaver theorem, Gallai–Hasse–Roy–Vitaver theorem (statement). Also Wikidata Q5518852

History

2026-11-02: add by m2/dev

Susan Brown D5FBP01VP1

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

Mentions

wikipedia: Wikipedia Susan Brown (mathematician), Susan Brown (topic). Also Wikidata Q21005204

History

2026-11-02: add by m2/dev

Free Obata theorem D5FCBVVWN8

URI	`m2://inv/D5FCBVVWN8`
Kind	statement
Layer	research
MSC	35-XX, 46-XX, 47-XX, 58-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.22109#K4EI, Free Obata theorem (statement). In MZ60NP20BH/e1, corollary 5.4

History

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

D5FFSFYT4K D5FFSFYT4K

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

Mentions

open_logic: open_logic content/set-theory/ordinals/iso.tex#wellordinitialsegment (statement). In PKGMM3P5QY, lem, section 72.5

History

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

D5FGG5XRJN D5FGG5XRJN

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

Mentions

arxiv: arXiv 2305.10202#8N74 (statement). In ER06JKXR8B/e1, theorem 3.6

History

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

D5FH85HXV6 D5FH85HXV6

URI	`m2://inv/D5FH85HXV6`
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.09019#LJ7V (statement). In 8V6YECFCC1/e1, lemma 3.11

History

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

D5FTZCTXFE D5FTZCTXFE

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

Mentions

arxiv: arXiv 2609.21860#BMDF (definition)

History

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

D5G269SFJ2 D5G269SFJ2

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

Mentions

arxiv: arXiv 2609.25761#MEF5 (statement)

History

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

D5G53RAKWX D5G53RAKWX

URI	`m2://inv/D5G53RAKWX`
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.17408#54UH (statement). In QR8H4M1X4N/e1, theorem 5.1

History

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

Tarski's undefinability theorem D5G99EW0RD

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

Mentions

mathlib_1000: mathlib_1000 Q574902, Tarski's undefinability theorem (statement). Also Wikidata Q574902
thousand_plus: thousand_plus Q574902, Tarski's undefinability theorem (statement). Also Wikidata Q574902, Wikipedia Tarski's undefinability theorem
wikipedia: Wikipedia Tarski's undefinability theorem, Tarski's undefinability theorem (statement). Also Wikidata Q574902

History

2026-10-26: add by m2/dev

D5GCKRD07D D5GCKRD07D

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

Mentions

arxiv: arXiv 2609.32650#XEY6 (statement). In PHXJ87HKYB/e1, lemma 2.4

History

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

D5GCWGHKFQ D5GCWGHKFQ

URI	`m2://inv/D5GCWGHKFQ`
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.19464#V1FC (statement). In G8JCZ109A9/e1, lemma 3.2

History

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

V. Sergiescu D5GDN5H6W1

URI	`m2://inv/D5GDN5H6W1`
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 dg-ga/9612010#NLSB, V. Sergiescu (statement). In CM39SWC4A6/e1, lemma 7.4

History

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

D5GER22EP0 D5GER22EP0

URI	`m2://inv/D5GER22EP0`
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.21937#R1PS (statement)

History

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

Zero-entropy mixed orbit growth D5GTP5R4QG

URI	`m2://inv/D5GTP5R4QG`
Kind	statement
Layer	research
MSC	14-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.29877#XPSM, Zero-entropy mixed orbit growth (statement)

History

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

Axioms D5GVR9MZAF

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

Mentions

wikipedia: Wikipedia Multiplication#OHX6, Axioms (statement)

History

2026-11-02: add by m2/dev

Alfredo Niceforo D5H2CC3058

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

Mentions

wikipedia: Wikipedia Alfredo Niceforo, Alfredo Niceforo (topic). Also Wikidata Q2621509

History

2026-11-02: add by m2/dev

D5H5EDSTTE D5H5EDSTTE

URI	`m2://inv/D5H5EDSTTE`
Kind	statement
Layer	research
MSC	35-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.11968#70Z3 (statement). In X6E7P2ACAS/e1, lemma 3.2

History

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

Symmetry D5H969KNX9

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

Mentions

wikipedia: Wikipedia Icosagon#4XYB, Symmetry (statement)

History

2026-11-02: add by m2/dev

Georg Hamel D5HCE5CDTQ

URI	`m2://inv/D5HCE5CDTQ`
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#TW4S, Georg Hamel (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UJSA, Georg Hamel (topic)

History

2026-11-02: add by m2/dev

D5HMWQHHSK D5HMWQHHSK

URI	`m2://inv/D5HMWQHHSK`
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 2508.02432#XSH7 (statement). In B366ACYB37/e1, lemma 2.12

History

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

D5HVMF1VAT D5HVMF1VAT

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

Mentions

arxiv: arXiv 2610.12810#195H (statement). In DR35633CPN/e1, proposition 5.6

History

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

D5HVSHYNHA D5HVSHYNHA

URI	`m2://inv/D5HVSHYNHA`
Kind	statement
Layer	research
MSC	03-XX, 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 math/0406514#B6B4 (statement). In CY1FE8W1ZW/e1, lemma 0.115

History

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

D5HYY1ZM39 D5HYY1ZM39

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise:regdimwelldef (exercise). In VNMV985MXX, exercise, section 6.5

History

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

Definition D5J22BJ6C8

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

Mentions

wikipedia: Wikipedia Gaussian distribution on a locally compact Abelian group#MVSU, Definition (definition)

History

2026-11-02: add by m2/dev

D5J7313X19 D5J7313X19

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

Mentions

arxiv: arXiv 2609.28011#QEQL (definition)

History

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

D5J85S05YF D5J85S05YF

URI	`m2://inv/D5J85S05YF`
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.15352#IQED (statement). In R39P7AFXM8/e1, theorem 1.4

History

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

D5J8CBWV4N D5J8CBWV4N

URI	`m2://inv/D5J8CBWV4N`
Kind	problem
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.09561#VX5C (problem). In WDV5E2CVTR/e1, problem 3.12

History

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

D5J97A5HV9 D5J97A5HV9

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

Mentions

arxiv: arXiv 2609.37606#CB9K (statement). In WNFW6GY38C/e1, proposition 9.4

History

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

potential energy D5JJ2EF8BW

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

Mentions

wikidata: Wikidata Q155640, potential energy (definition). Also nLab potential energy, ProofWiki Definition:Potential_Energy
wikipedia: Wikipedia Potential energy, Potential energy (definition). Also Wikidata Q155640

History

2026-10-26: add by m2/dev

S5 D5JKKWKM27

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

Mentions

wikipedia: Wikipedia S5 (modal logic), S5 (definition). Also Wikidata Q7388341

History

2026-11-02: add by m2/dev

Hua Luogeng D5JX3H75P8

URI	`m2://inv/D5JX3H75P8`
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 Q590111, Hua Luogeng (unknown). Also ProofWiki Mathematician:Hua_Luogeng
wikipedia: Wikipedia Hua Luogeng, Hua Luogeng (topic). Also Wikidata Q590111

History

2026-10-26: add by m2/dev

D5K4JBQCEF D5K4JBQCEF

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

Mentions

arxiv: arXiv 2610.15344#Z3LJ (statement). In B9EX6K51RD/e1, lemma 2.22

History

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

General definition D5K6H8TK4S

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

Mentions

wikipedia: Wikipedia Local average treatment effect#10SV, General definition (definition)

History

2026-11-02: add by m2/dev

Robbins constant D5K835X4NX

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

Mentions

wikidata: Wikidata Q2994919, Robbins constant (object). Also MathWorld RobbinsConstant

History

2026-10-26: add by m2/dev

granny knot D5K9JJ5RKH

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

Mentions

wikidata: Wikidata Q5596009, granny knot (unknown). Also MathWorld GrannyKnot
wikipedia: Wikipedia Granny knot (mathematics), Granny knot (definition). Also Wikidata Q5596009

History

2026-10-26: add by m2/dev

D5K9VNR7QY D5K9VNR7QY

URI	`m2://inv/D5K9VNR7QY`
Kind	statement
Layer	research
MSC	49-XX, 62-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.22642#S81F (statement)

History

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

D5KA6SKD1N D5KA6SKD1N

URI	`m2://inv/D5KA6SKD1N`
Kind	definition
Layer	research
MSC	13-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 2505.05539#P4BL (definition). In 8SVVEVGMNE/e1, definition 4.5

History

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

D5KEGR02ZJ D5KEGR02ZJ

URI	`m2://inv/D5KEGR02ZJ`
Kind	statement
Layer	research
MSC	37-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.10511#9D5M (statement). In BTX64QG716/e1, lemma 3.9

History

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

Equality of weighted solutions D5KJ6VAJ5H

URI	`m2://inv/D5KJ6VAJ5H`
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.17524#RK0R, Equality of weighted solutions (statement). In MKA4QH9VRE/e1, lemma 3.4

History

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

Formulas D5KT72DY2M

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

Mentions

wikipedia: Wikipedia Superquadrics#ORLN, Formulas (statement)

History

2026-11-02: add by m2/dev

Louis Boutet de Monvel D5KTFYD9PM

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

Mentions

wikipedia: Wikipedia Louis Boutet de Monvel, Louis Boutet de Monvel (topic). Also Wikidata Q439969

History

2026-11-02: add by m2/dev

vector sum D5KTR85JH8

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

Mentions

wikidata: Wikidata Q55091436, vector sum (unknown). Also MathWorld VectorSum

History

2026-10-26: add by m2/dev

Connected D5KVJ99MM2

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

Mentions

wikipedia: Wikipedia Glossary of general topology#X4BF, Connected (definition)

History

2026-11-02: add by m2/dev

D5KWMZHX78 D5KWMZHX78

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

Mentions

arxiv: arXiv 2610.03081#Q3M6 (statement). In TX0H26X4VX/e1, theorem 4.5

History

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

Definitions D5M8DX6DAC

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

Mentions

wikipedia: Wikipedia Derived algebraic geometry#GICL, Definitions (definition)

History

2026-11-02: add by m2/dev

One-sector fixed-type comparison D5MB9711TW

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

Mentions

arxiv: arXiv 2609.40252#MZ73, One-sector fixed-type comparison (statement). In 7MVPNFPRKB/e1, proposition 8.8

History

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

Fariba Fahroo D5MC64JENY

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

Mentions

wikipedia: Wikipedia Fariba Fahroo, Fariba Fahroo (topic). Also Wikidata Q5435217

History

2026-11-02: add by m2/dev

D5MFE3C5YG D5MFE3C5YG

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

Mentions

arxiv: arXiv 2610.15344#1GMR (statement). In B9EX6K51RD/e1, lemma 4.19

History

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

D5MHP1D3E0 D5MHP1D3E0

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

Mentions

arxiv: arXiv 2610.13680#U5RF (unknown). In QNBFHFZ3H0/e1, unknown

History

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

D5MQP1D8P4 D5MQP1D8P4

URI	`m2://inv/D5MQP1D8P4`
Kind	statement
Layer	research
MSC	26-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.23503#XG7K (statement)

History

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

additive identity D5MSW8BP58

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

Mentions

wikidata: Wikidata Q2767837, additive identity (unknown). Also MathWorld AdditiveIdentity
wikipedia: Wikipedia Additive identity, Additive identity (statement). Also Wikidata Q2767837

History

2026-10-26: add by m2/dev

Construction D5MTETTDY9

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

Mentions

wikipedia: Wikipedia Klein bottle#LJ3K, Construction (definition)

History

2026-11-02: add by m2/dev

D5MYKJB514 D5MYKJB514

URI	`m2://inv/D5MYKJB514`
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.00789#SRW8 (statement). In 4WPYBTARS2/e1, proposition 4.1

History

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

Sheila Scott Macintyre D5MYRREGTG

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#V5FN, Sheila Scott Macintyre (topic)

History

2026-11-02: add by m2/dev

D5MZQJ9N1F D5MZQJ9N1F

URI	`m2://inv/D5MZQJ9N1F`
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.13378#O2R6 (statement). In QAH7SV1JT6/e1, corollary 4.5

History

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

Explicit truncation bound D5N013WAXK

URI	`m2://inv/D5N013WAXK`
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.18698#SD5T, Explicit truncation bound (statement). In AVDZGC7976/e1, corollary 7.3

History

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

Intelligence quotient D5N1SA7DV6

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

Mentions

wikipedia: Wikipedia Intelligence quotient, Intelligence quotient (definition). Also Wikidata Q170277

History

2026-11-02: add by m2/dev

D5NK495KDV D5NK495KDV

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

Mentions

arxiv: arXiv 2610.04870#VD4D (statement). In X765ZXXVC3/e1, corollary 4.34

History

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

D5NQXM55TC D5NQXM55TC

URI	`m2://inv/D5NQXM55TC`
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 2311.16252#7GMS (definition). In 8AHN9GSRMR/e1, definition 2.5

History

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

D5NSE95VJE D5NSE95VJE

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

Mentions

arxiv: arXiv 2610.20466#R9D9 (statement). In M4ZVJWM8YA/e1, theorem A

History

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

Parallel merge sort D5PBQAV196

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

Mentions

wikipedia: Wikipedia Merge sort#9VH4, Parallel merge sort (unknown)

History

2026-11-02: add by m2/dev

D5PP5EJ0BB D5PP5EJ0BB

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

Mentions

arxiv: arXiv 2609.35323#L6KT (statement). In 5CKPXBWSCX/e1, corollary 3.8

History

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

D5PR27SCFM D5PR27SCFM

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

Mentions

arxiv: arXiv 2607.25960#QKX1 (statement). In 13GSWBXPCM/e1, theorem 2.10

History

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

Social trap D5PRHMK8FR

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

Mentions

wikipedia: Wikipedia Social trap, Social trap (definition). Also Wikidata Q7551429

History

2026-11-02: add by m2/dev

Generalizations D5Q3J7EJYR

URI	`m2://inv/D5Q3J7EJYR`
Kind	statement
Layer	textbook
Sources	1
Outcome	deferred (the cue heading names a section and not one item)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Group (mathematics)#FRE7, Generalizations (statement)

History

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

Lexical definition D5Q6W9CJSD

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

Mentions

wikipedia: Wikipedia Lexical definition, Lexical definition (definition). Also Wikidata Q7187657

History

2026-11-02: add by m2/dev

Meissel–Lehmer algorithm D5QAH4VXHA

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

Mentions

wikipedia: Wikipedia Meissel–Lehmer algorithm, Meissel–Lehmer algorithm (definition). Also Wikidata Q30715486

History

2026-11-02: add by m2/dev

D5QAX5F17V D5QAX5F17V

URI	`m2://inv/D5QAX5F17V`
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.05184#V940 (statement). In JK425E1F77/e1, lemma 3.1

History

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

D5QQJKDRGG D5QQJKDRGG

URI	`m2://inv/D5QQJKDRGG`
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.40251#Q43Z (statement). In 9J7TJYKGYX/e1, lemma 4.7

History

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

D5QRBWE3XE D5QRBWE3XE

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

Mentions

arxiv: arXiv 2609.25094#7XCA (statement)

History

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

Algorithms D5QW8MKCHW

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

Mentions

wikipedia: Wikipedia Sparse dictionary learning#Q6BD, Algorithms (definition)

History

2026-11-02: add by m2/dev

spectral gap D5QZA0ZJJ9

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

Mentions

arxiv: arXiv 2609.30585#7UNK, spectral gap (definition). In 15CVBWJDNQ/e1, definition 2.1

History

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

Well-Posedness D5RC45HQ2S

URI	`m2://inv/D5RC45HQ2S`
Kind	statement
Layer	research
MSC	35-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.20998#RV2C, Well-Posedness (statement)

History

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

D5RDA18G8Y D5RDA18G8Y

URI	`m2://inv/D5RDA18G8Y`
Kind	statement
Layer	research
MSC	01-XX, 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.06338#DSU9 (statement). In F1CYVYK7YB/e1, theorem 9.1

History

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

Meyer Abraham Girshick D5RDTN3RW2

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

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#4621, Meyer Abraham Girshick (topic)

History

2026-11-02: add by m2/dev

D5RG5ZG7AV D5RG5ZG7AV

URI	`m2://inv/D5RG5ZG7AV`
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.16941#28T7 (statement). In T96MPYB0KT/e1, theorem 2.5

History

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

D5RYC67RRX D5RYC67RRX

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

Mentions

arxiv: arXiv 2610.13883#1U3Y (statement). In F3PQ8P7R2B/e1, lemma 4

History

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

D5S0FJH52J D5S0FJH52J

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

Mentions

arxiv: arXiv 2610.13680#WEAW (unknown). In QNBFHFZ3H0/e1, unknown 58

History

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

D5S2D3TJ24 D5S2D3TJ24

URI	`m2://inv/D5S2D3TJ24`
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.09086#XXAG (statement). In JPC86V77CH/e1, proposition 2.2

History

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

k-permutation D5S53MCFSN

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

Mentions

levin_dmoi: levin_dmoi index/2.3/k-permutation, k-permutation (concept). In Y91XFCEVHQ, index, section 2.3

History

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

D5S63YPQ1Y D5S63YPQ1Y

URI	`m2://inv/D5S63YPQ1Y`
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#SB7S (statement). In 6XENXFC77F/e1, lemma 4.1

History

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

D5S6DP2PMN D5S6DP2PMN

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

Mentions

napkin: napkin tex/H113/ring-intro.tex#example-4 (example). In RZP28ERRZV, example, section 5.3

History

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

D5S6J53773 D5S6J53773

URI	`m2://inv/D5S6J53773`
Kind	statement
Layer	research
MSC	37-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.10558#2T62 (statement). In GYSF9JXQCH/e1, lemma 2.4

History

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

Double torus D5SFK1YB8Z

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

Mentions

wikipedia: Wikipedia Genus g surface#5IQA, Double torus (unknown)

History

2026-11-02: add by m2/dev

Structure theorem for finitely generated modules over a principal ideal domain D5TDK06NME

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#YPR6, Structure theorem for finitely generated modules over a principal ideal domain (statement)

History

2026-11-02: add by m2/dev

Examples D5TDTK3081

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

Mentions

wikipedia: Wikipedia Automorphism#F93X, Examples (example)

History

2026-11-02: add by m2/dev

Philippe Biane D5TNN9YQWP

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

Mentions

wikipedia: Wikipedia Philippe Biane, Philippe Biane (topic). Also Wikidata Q979240

History

2026-11-02: add by m2/dev

support D5TNPH9PM8

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#8109, support (definition)

History

2026-11-02: add by m2/dev

Witold Hurewicz D5TS1BAPQD

URI	`m2://inv/D5TS1BAPQD`
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#T7DJ, Witold Hurewicz (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#T9S0, Witold Hurewicz (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#V9CH, Witold Hurewicz (topic)

History

2026-11-02: add by m2/dev

Terminal behavioral representation---typed measurable extension D5TXXSXHZG

URI	`m2://inv/D5TXXSXHZG`
Kind	statement
Layer	research
MSC	18-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.20207#QL1E, Terminal behavioral representation---typed measurable extension (statement)

History

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

D5TY1EBYG9 D5TY1EBYG9

URI	`m2://inv/D5TY1EBYG9`
Kind	problem
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 0805.4273#FU1J (problem). In ZX3NV58FRX/e1, problem 1.1

History

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

D5TZG6ST5F D5TZG6ST5F

URI	`m2://inv/D5TZG6ST5F`
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.21358#2RUE (definition). In XV70TXYS5A/e1, definition 2.1

History

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

Extension topology D5V0WMYWZ5

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

Mentions

wikipedia: Wikipedia List of topologies#RIU1, Extension topology (definition)
wikipedia: Wikipedia List of topologies#UD4N, Extension topology (definition)

History

2026-11-02: add by m2/dev

Spijker's lemma D5V1VBBMFZ

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

Mentions

wikidata: Wikidata Q7577154, Spijker's lemma (statement). Also MathWorld SpijkersLemma

History

2026-10-26: add by m2/dev

Ilaria Perugia D5V2HP5G4D

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

Mentions

wikipedia: Wikipedia Ilaria Perugia, Ilaria Perugia (topic). Also Wikidata Q57546034

History

2026-11-02: add by m2/dev

D5V5K64W84 D5V5K64W84

URI	`m2://inv/D5V5K64W84`
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.25301#RRM5 (statement)

History

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

design of experiments D5VEC971RV

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#C3M8, design of experiments (definition)

History

2026-11-02: add by m2/dev

Rule 150 D5VGA9G8ER

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

Mentions

wikipedia: Wikipedia Elementary cellular automaton#I0EI, Rule 150 (unknown)

History

2026-11-02: add by m2/dev

Functional analysis D5VGP8HNBQ

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#AOMG, Functional analysis (definition)

History

2026-11-02: add by m2/dev

Wigner semicircle distribution D5VQBRE0BK

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

Mentions

wikipedia: Wikipedia List of probability distributions#0L39, Wigner semicircle distribution (definition)

History

2026-11-02: add by m2/dev

D5W29TKTT4 D5W29TKTT4

URI	`m2://inv/D5W29TKTT4`
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.23694#PRG9 (statement)

History

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

D5WHH54RXM D5WHH54RXM

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

Mentions

lebl_ra: lebl_ra ch-contfunc.tex#exercise-45 (exercise). In E59CDZA4DP, exercise, section 2.4.4

History

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

Open set condition D5WKJHK2VZ

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

Mentions

napkin: napkin tex/topology/metric-top.tex#thm:open_set, Open set condition (statement). In RZP28ERRZV, theorem, section 100.6

History

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

Properties D5WNEFYBMQ

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

Mentions

wikipedia: Wikipedia List coloring#26R0, Properties (statement)

History

2026-11-02: add by m2/dev

multi-layer perceptron architecture D5X862635Q

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

Mentions

arxiv: arXiv 2609.20641#QCYD, multi-layer perceptron architecture (definition)

History

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

Serene D5XCDVNRW9

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

Mentions

wikipedia: Wikipedia Serene (pianist), Serene (topic). Also Wikidata Q110442581

History

2026-11-02: add by m2/dev

Field theory (mathematics) D5XGRCH359

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

Mentions

wikipedia: Wikipedia List of commutative algebra topics#KECH, Field theory (mathematics) (definition)

History

2026-11-02: add by m2/dev

D5XJQ2FRBQ D5XJQ2FRBQ

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

Mentions

arxiv: arXiv 2610.12014#O69A (statement). In DR7BK4CQ0V/e1, lemma 4.1

History

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

type, unit D5XM3J6ZFH

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

Mentions

hott_book: hott_book index/9.11/type-unit, type, unit (concept). In N54F33XE07, index, section 9.11

History

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

D5XNCSKS1Y D5XNCSKS1Y

URI	`m2://inv/D5XNCSKS1Y`
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.37201#FZRI (statement). In HJEK865J7W/e1, theorem 3.1

History

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

High-horocone tangent theorem D5XZ39P9F4

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

Mentions

arxiv: arXiv 2609.27752#2S2F, High-horocone tangent theorem (statement)

History

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

Inexact preconditioned step in operator norm, without Galerkin truncation D5Y8AERF6E

URI	`m2://inv/D5Y8AERF6E`
Kind	statement
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.20106#MPS3, Inexact preconditioned step in operator norm, without Galerkin truncation (statement). In 6HMZ36ZBXA/e1, theorem 3.1

History

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

D5Y9ZQHKDN D5Y9ZQHKDN

URI	`m2://inv/D5Y9ZQHKDN`
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 2406.07116#A9II (statement). In 5B030CB2RK/e1, lemma 9.7

History

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

Algebraic geometry code D5YBAKNTFF

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#A4EH, Algebraic geometry code (definition)

History

2026-11-02: add by m2/dev

Azumaya algebra D5YHX92FNH

URI	`m2://inv/D5YHX92FNH`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Azumaya algebra VKZTT484WQ

Mentions

wikidata: Wikidata Q2835923, Azumaya algebra (unknown). Also nLab Azumaya algebra
wikipedia: Wikipedia Azumaya algebra, Azumaya algebra (definition). Also Wikidata Q2835923

History

2026-10-26: add by m2/dev

Definition D5YKEBMZBC

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

Mentions

wikipedia: Wikipedia Weyl tensor#9DU8, Definition (definition)

History

2026-11-02: add by m2/dev

Anti-reflexive D5Z41TVNMD

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

Mentions

wikipedia: Wikipedia List of first-order theories#8B8X, Anti-reflexive (definition)

History

2026-11-02: add by m2/dev

D5ZA6TTEAV D5ZA6TTEAV

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise:fsweierser (exercise). In E59CDZA4DP, exercise, section 1.8.7

History

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

D5ZK5QJPKC D5ZK5QJPKC

URI	`m2://inv/D5ZK5QJPKC`
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.10813#GYF3 (statement). In G8F4P7GDMA/e1, lemma 4.3

History

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

Methods for solving the quadratic eigenvalue problem D5ZNE2KSSW

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

Mentions

wikipedia: Wikipedia Quadratic eigenvalue problem#NJMM, Methods for solving the quadratic eigenvalue problem (unknown)

History

2026-11-02: add by m2/dev

D5ZTKTRFNW D5ZTKTRFNW

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

Mentions

arxiv: arXiv 2610.00914#CSQM (statement). In TQ9CKHBTWN/e1, proposition 6.1

History

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