Inventory rows 42

An inside domain in $\operatorname{Gr}(2,5)$ 420060FE3R

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

Mentions

arxiv: arXiv 2609.30637#EKIN, An inside domain in $\operatorname{Gr}(2,5)$ (example). In 6G1KBA0SXV/e1, example 4.20

History

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

4203WPRJVA 4203WPRJVA

URI	`m2://inv/4203WPRJVA`
Kind	definition
Layer	research
MSC	03-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 2609.27872#4DQV (definition)

History

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

Laman graph 420BJX7MF9

URI	`m2://inv/420BJX7MF9`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Laman graph C81JPZ51NA

Mentions

wikidata: Wikidata Q4253458, Laman graph (unknown). Also MathWorld LamanGraph
wikipedia: Wikipedia Laman graph, Laman graph (definition). Also Wikidata Q4253458

History

2026-10-26: add by m2/dev

Just-world fallacy 420DPXT7RJ

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

Mentions

wikipedia: Wikipedia Just-world fallacy, Just-world fallacy (definition). Also Wikidata Q1511079

History

2026-11-02: add by m2/dev

420DYM6515 420DYM6515

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

Mentions

arxiv: arXiv 2610.03835#EF5N (statement). In KAYGQMQPGS/e1, theorem 4.10

History

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

Pseudocircle 420GBQ2V4J

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

Mentions

wikipedia: Wikipedia List of topologies#KSO2, Pseudocircle (definition)

History

2026-11-02: add by m2/dev

Examples 420MFN499C

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

Mentions

wikipedia: Wikipedia End (topology)#NS8F, Examples (example)

History

2026-11-02: add by m2/dev

isomorphism 420NB7AWFP

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

Mentions

mathlib_overview: mathlib_overview General algebra > Category theory > isomorphism, isomorphism (unknown). Also Mathlib CategoryTheory.Iso

History

2026-10-26: add by m2/dev

Properties 420QP7C21F

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

Mentions

wikipedia: Wikipedia Essentially finite vector bundle#UCFK, Properties (statement)

History

2026-11-02: add by m2/dev

Proper-face calibration errors 420X57JNN3

URI	`m2://inv/420X57JNN3`
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 2609.29658#LWF6, Proper-face calibration errors (statement)

History

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

Two characteristic values for a general quasi-momentum 4210CR92YK

URI	`m2://inv/4210CR92YK`
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.19426#NV1W, Two characteristic values for a general quasi-momentum (statement). In Y28XB7TPPZ/e1, proposition 3.2

History

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

4211DAJ93V 4211DAJ93V

URI	`m2://inv/4211DAJ93V`
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.08382#RTFI (statement). In GYMGDQS25R/e1, lemma 5.7

History

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

4211Z4AM24 4211Z4AM24

URI	`m2://inv/4211Z4AM24`
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.26434#BJ2J (statement)

History

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

Relation to Pappus's theorem 4212A6YD0E

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

Mentions

wikipedia: Wikipedia Desargues's theorem#XKHE, Relation to Pappus's theorem (statement)

History

2026-11-02: add by m2/dev

Iconography of correlations 4213E7WDVH

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

Mentions

wikipedia: Wikipedia Iconography of correlations, Iconography of correlations (definition). Also Wikidata Q3147734

History

2026-11-02: add by m2/dev

Compound of two icosahedra 42162G39FD

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#LUK3, Compound of two icosahedra (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#ODDM, Compound of two icosahedra (definition)

History

2026-11-02: add by m2/dev

Properties 421AQBZJW6

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

Mentions

wikipedia: Wikipedia Jucys–Murphy element#AJJ8, Properties (statement)

History

2026-11-02: add by m2/dev

421F91BG7Y 421F91BG7Y

URI	`m2://inv/421F91BG7Y`
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 2207.11097#2S2A (statement). In 13H5BTAXHF/e1, proposition 8

History

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

421NJ4EYV5 421NJ4EYV5

URI	`m2://inv/421NJ4EYV5`
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.23287#355Z (statement)

History

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

Darboux's theorem 421SD8A1WB

URI	`m2://inv/421SD8A1WB`
Kind	statement
Layer	textbook
MSC	26-XX
Sources	3
Outcome	node (a node has the same name as the row)
Node	Darboux's theorem 0Q5A47J48D

Mentions

mathlib_1000: mathlib_1000 Q660799, Darboux's theorem (analysis) (statement). Also Mathlib exists_hasDerivWithinAt_eq_of_gt_of_lt, Mathlib exists_hasDerivWithinAt_eq_of_lt_of_gt, Mathlib Set.OrdConnected.image_hasDerivWithinAt, Mathlib Set.OrdConnected.image_derivWithin, Mathlib Set.OrdConnected.image_deriv, Mathlib Convex.image_hasDerivWithinAt, Mathlib Convex.image_derivWithin, Mathlib Convex.image_deriv, Mathlib exists_hasDerivWithinAt_eq_of_ge_of_le, Mathlib exists_hasDerivWithinAt_eq_of_le_of_ge, Wikidata Q660799
thousand_plus: thousand_plus Q660799, Darboux's theorem (analysis) (statement). Also Mathlib exists_hasDerivWithinAt_eq_of_gt_of_lt, Mathlib exists_hasDerivWithinAt_eq_of_lt_of_gt, Mathlib Set.OrdConnected.image_hasDerivWithinAt, Mathlib Set.OrdConnected.image_derivWithin, Mathlib Set.OrdConnected.image_deriv, Mathlib Convex.image_hasDerivWithinAt, Mathlib Convex.image_derivWithin, Mathlib Convex.image_deriv, Mathlib exists_hasDerivWithinAt_eq_of_ge_of_le, Mathlib exists_hasDerivWithinAt_eq_of_le_of_ge, Wikidata Q660799, Wikipedia Darboux's theorem (analysis)
wikipedia: Wikipedia Darboux's theorem (analysis), Darboux's theorem (statement). Also Wikidata Q660799

History

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

weakly normal 4225X3VFQT

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#LP74, weakly normal (definition)

History

2026-11-02: add by m2/dev

4225XMYQQV 4225XMYQQV

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

Mentions

arxiv: arXiv 2609.20153#D09Q (statement)

History

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

+ h.c. 422693G0JH

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

Mentions

wikipedia: Wikipedia + h.c., + h.c. (definition). Also Wikidata Q55600322

History

2026-11-02: add by m2/dev

Space hierarchy theorem 4226FBYJJF

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

Mentions

wikipedia: Wikipedia List of computability and complexity topics#O6TF, Space hierarchy theorem (statement)

History

2026-11-02: add by m2/dev

$T_1$ inequality and sub-Gaussian concentration 4226ZBJ08D

URI	`m2://inv/4226ZBJ08D`
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.30590#QZDI, $T_1$ inequality and sub-Gaussian concentration (statement). In WYE2JVEZBT/e1, theorem 3.11

History

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

422J0YKADQ 422J0YKADQ

URI	`m2://inv/422J0YKADQ`
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.16989#510B (statement). In 4769XNDWYS/e1, proposition 3.8

History

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

422JH5BNEH 422JH5BNEH

URI	`m2://inv/422JH5BNEH`
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.20002#NS4Z (statement)

History

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

422NN6GE8D 422NN6GE8D

URI	`m2://inv/422NN6GE8D`
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.12908#0S15 (statement). In TNC658NVMQ/e1, lemma 10.2

History

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

422PY7Y7ZN 422PY7Y7ZN

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

Mentions

arxiv: arXiv 2610.16157#U1ZH (statement). In GV251MW5RP/e1, corollary 1.2

History

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

Zalcman's lemma 422WF2W9DT

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

Mentions

wikipedia: Wikipedia Bloch's principle#WU63, Zalcman's lemma (statement)

History

2026-11-02: add by m2/dev

422WMS2JE2 422WMS2JE2

URI	`m2://inv/422WMS2JE2`
Kind	statement
Layer	research
MSC	16-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 2210.17066#OD0O (statement). In X2AEJAQEP8/e1, theorem 4.13

History

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

Chow test 422Y4DEDJH

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

Mentions

wikipedia: Wikipedia List of statistics articles#KZTB, Chow test (definition)

History

2026-11-02: add by m2/dev

422Z2KYYQJ 422Z2KYYQJ

URI	`m2://inv/422Z2KYYQJ`
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.09300#BVST (statement). In JP589KS01S/e1, corollary 3.5

History

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

4236F3Y812 4236F3Y812

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

Mentions

napkin: napkin tex/alg-NT/norm-trace.tex#prob:OK_discrete (exercise). In RZP28ERRZV, dproblem, section 15.4

History

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

Hausdorff distance 423B9MTAV9

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

Mentions

wikipedia: Wikipedia Hausdorff distance, Hausdorff distance (definition). Also Wikidata Q1501997

History

2026-11-02: add by m2/dev

423HW5NTQD 423HW5NTQD

URI	`m2://inv/423HW5NTQD`
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.12480#TOVF (statement). In 585QYGX4X6/e1, proposition 30

History

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

Kernel (statistics) 423TCBX4N9

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

Mentions

wikipedia: Wikipedia List of statistics articles#17NU, Kernel (statistics) (definition)

History

2026-11-02: add by m2/dev

Projective connection 423WHWW9AZ

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

Mentions

wikipedia: Wikipedia Projective connection, Projective connection (definition). Also Wikidata Q7249464

History

2026-11-02: add by m2/dev

Perfect bayesian equilibrium 42406E0KBB

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

Mentions

wikipedia: Wikipedia Bayesian game#Z34B, Perfect bayesian equilibrium (unknown)

History

2026-11-02: add by m2/dev

Theorem 5 4241ZKQVHE

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

Mentions

wikipedia: Wikipedia Orlicz sequence space#Z1QH, Theorem 5 (statement)

History

2026-11-02: add by m2/dev

424H6MMX79 424H6MMX79

URI	`m2://inv/424H6MMX79`
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.17602#E58Y (statement). In BH62508WHJ/e1, lemma 8

History

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

Constructions 424PJ8KVWG

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

Mentions

wikipedia: Wikipedia Associative algebra#LEUM, Constructions (definition)

History

2026-11-02: add by m2/dev

424Y3WRSKX 424Y3WRSKX

URI	`m2://inv/424Y3WRSKX`
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 2609.23128#MYUZ (definition)

History

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

Spectral moments and the exact increment 424ZHG3YV1

URI	`m2://inv/424ZHG3YV1`
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.16680#98W9, Spectral moments and the exact increment (statement). In H29YHXQZV6/e1, proposition 15

History

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

cartography 42518XC42Y

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

Mentions

wikidata: Wikidata Q42515, cartography (unknown). Also EoM Cartography,_mathematical_problems_in, MathWorld Cartography

History

2026-10-26: add by m2/dev

David Kolb 425455RBE1

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

Mentions

wikipedia: Wikipedia David Kolb, David Kolb (topic). Also Wikidata Q16105138

History

2026-11-02: add by m2/dev

Examples of path-connected spaces 425BBB9T2G

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

Mentions

napkin: napkin tex/topology/top-more.tex#example-3, Examples of path-connected spaces (example). In RZP28ERRZV, example, section 101.6

History

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

Shadowing lemma 425CZF8F67

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

Mentions

wikipedia: Wikipedia List of lemmas#48K3, Shadowing lemma (statement)

History

2026-11-02: add by m2/dev

Dodgson condensation 425FFH2Y28

URI	`m2://inv/425FFH2Y28`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Dodgson condensation RQ44FKS5QM

Mentions

wikidata: Wikidata Q4230490, Dodgson condensation (concept). Also MathWorld Condensation
wikipedia: Wikipedia Dodgson condensation, Dodgson condensation (definition). Also Wikidata Q4230490

History

2026-10-26: add by m2/dev

425FPC26XZ 425FPC26XZ

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

Mentions

napkin: napkin tex/alg-geom/affine-var.tex#example-2 (example). In RZP28ERRZV, example, section 19.5

History

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

Rahman–Kaykobad (2005) 425NMYFX93

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

Mentions

wikipedia: Wikipedia Hamiltonian path#YRKC, Rahman–Kaykobad (2005) (statement)

History

2026-11-02: add by m2/dev

Polygon formulas 4261HQKC5J

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

Mentions

wikipedia: Wikipedia Area#EYE5, Polygon formulas (statement)

History

2026-11-02: add by m2/dev

4263ED5RQD 4263ED5RQD

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

Mentions

arxiv: arXiv 2609.36423#2IR4 (definition). In Q5Z178SAHP/e1, definition 5.8

History

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

Schwartz space 4267F89EZY

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

Mentions

mathlib_overview: mathlib_overview Analysis > Distribution theory > Schwartz space, Schwartz space (unknown). Also Mathlib SchwartzMap
mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{S}(\R^d)$ > Schwartz space of rapidly decreasing functions, Schwartz space of rapidly decreasing functions (unknown). Also Mathlib SchwartzMap

History

2026-10-26: add by m2/dev

Incidence (epidemiology) 4269YWSFPS

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

Mentions

wikipedia: Wikipedia List of statistics articles#5EDN, Incidence (epidemiology) (definition)

History

2026-11-02: add by m2/dev

426BKBN0KV 426BKBN0KV

URI	`m2://inv/426BKBN0KV`
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.32829#NJAA (statement). In RYWAX33Z51/e1, lemma 4.22

History

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

solution set 426E80EKA9

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

Mentions

wikidata: Wikidata Q1751685, solution set (unknown). Also MathWorld SolutionSet
wikipedia: Wikipedia Solution set, Solution set (definition). Also Wikidata Q1751685

History

2026-10-26: add by m2/dev

Coordinates 426FYWXCHR

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

Mentions

arxiv: arXiv 2609.40290#AD7F, Coordinates (statement). In 4K1CNBYJHF/e1, theorem 9.2

History

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

426HGGGPP4 426HGGGPP4

URI	`m2://inv/426HGGGPP4`
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.10873#UAR5 (statement). In AYG8HYGW6V/e1, lemma A.6

History

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

426HXNQ7HG 426HXNQ7HG

URI	`m2://inv/426HXNQ7HG`
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.34856#8WDE (statement). In MRR92GQNZE/e1, lemma 5.12

History

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

SPSS 426Q478A8T

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

Mentions

wikipedia: Wikipedia SPSS, SPSS (definition). Also Wikidata Q181596

History

2026-11-02: add by m2/dev

426VZ9XRWV 426VZ9XRWV

URI	`m2://inv/426VZ9XRWV`
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.18226#BCWO (statement). In B3EHT1FRM5/e1, theorem 1.1

History

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

426YMF248W 426YMF248W

URI	`m2://inv/426YMF248W`
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 2609.21914#0WCB (statement)

History

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

Consequences of $\Riem_g=0$ 4272ACAG4T

URI	`m2://inv/4272ACAG4T`
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 2406.06762#F9TM, Consequences of $\Riem_g=0$ (statement). In J99PFFJXPE/e1, proposition 3.18

History

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

42772AYKH0 42772AYKH0

URI	`m2://inv/42772AYKH0`
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.20285#3T4S (statement). In RQA728RB77/e1, proposition 7

History

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

427GE7AW7Q 427GE7AW7Q

URI	`m2://inv/427GE7AW7Q`
Kind	statement
Layer	research
MSC	05-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 2610.20368#NWMZ (statement). In T8CDHW9MC1/e1, proposition 2.1

History

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

Abstract prime number theorem 427JB5KWPB

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

Mentions

wikipedia: Wikipedia Abstract analytic number theory#BPL5, Abstract prime number theorem (unknown)

History

2026-11-02: add by m2/dev

Object and Subject 427QRHYWFR

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

Mentions

wikipedia: Wikipedia Syntax#AUKJ, Object and Subject (unknown)

History

2026-11-02: add by m2/dev

4283JXK27A 4283JXK27A

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

Mentions

arxiv: arXiv 2609.33656#SY3P (definition). In 8PXDPT3X9P/e1, definition 5

History

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

William T. Trotter 4285FYVN7B

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

Mentions

wikipedia: Wikipedia William T. Trotter, William T. Trotter (topic). Also Wikidata Q16886198

History

2026-11-02: add by m2/dev

Riesz space 428916V1ZY

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

Mentions

wikipedia: Wikipedia Riesz space, Riesz space (definition). Also Wikidata Q2152570

History

2026-11-02: add by m2/dev

Infinite-width limit at fixed cutoff 428B06MM6C

URI	`m2://inv/428B06MM6C`
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.00453#ELSW, Infinite-width limit at fixed cutoff (statement). In ESPJMBH2R2/e1, theorem 7.3

History

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

428B6QZDH9 428B6QZDH9

URI	`m2://inv/428B6QZDH9`
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.21600#ZQLK (statement). In EGAXXGHQNK/e1, corollary 2

History

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

428KHXGT88 428KHXGT88

URI	`m2://inv/428KHXGT88`
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.02933#Y4RN (statement). In QSYZKPFRAN/e1, lemma 2.1

History

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

Android Privacy Guard 428R6TMYHY

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

Mentions

wikipedia: Wikipedia Android Privacy Guard, Android Privacy Guard (definition). Also Wikidata Q4759460

History

2026-11-02: add by m2/dev

4292Q3A2W1 4292Q3A2W1

URI	`m2://inv/4292Q3A2W1`
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#653O (statement). In FT53PMB1TE/e1, lemma 7.1.1

History

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

MCRM 429772MC2M

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

Mentions

wikipedia: Wikipedia Consumer-resource model#2QDD, MCRM (unknown)

History

2026-11-02: add by m2/dev

Locking with period mismatch of order $\eps$ 4299A9X1HZ

URI	`m2://inv/4299A9X1HZ`
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#VAI9, Locking with period mismatch of order $\eps$ (statement). In 4HCK722M2G/e1, theorem E

History

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

subsystem 429A5CW4TJ

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

Mentions

wikidata: Wikidata Q2362312, subsystem (unknown). Also nLab subsystem

History

2026-10-26: add by m2/dev

Homogeneous Bergelson--Leibman 429E2DKJ44

URI	`m2://inv/429E2DKJ44`
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 1806.05002#1BPH, Homogeneous Bergelson--Leibman (statement). In JBAQ7DTW7B/e1, corollary 9.1

History

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

Random assignment 429SFJQ5SM

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

Mentions

wikipedia: Wikipedia List of statistics articles#D65L, Random assignment (definition)

History

2026-11-02: add by m2/dev

Selection of one scale and angular concentration 429SKFQ7B9

URI	`m2://inv/429SKFQ7B9`
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.20643#1XO2, Selection of one scale and angular concentration (statement)

History

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

429VYEMMJW 429VYEMMJW

URI	`m2://inv/429VYEMMJW`
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.16235#GJPF (statement). In RNGNWGMX85/e1, corollary 3.8

History

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

Timeline of information theory 429XY2WFV9

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

Mentions

wikipedia: Wikipedia Timeline of information theory, Timeline of information theory (topic). Also Wikidata Q3698567

History

2026-11-02: add by m2/dev

Two Gaussian summands are insufficient 429Y2HSP7T

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

Mentions

arxiv: arXiv 2609.38228#MC4K, Two Gaussian summands are insufficient (statement). In 9YAE8FNQST/e1, proposition 15.12

History

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

Featherstone's algorithm 42A4JN8G9J

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

Mentions

wikipedia: Wikipedia Featherstone's algorithm, Featherstone's algorithm (definition). Also Wikidata Q5439643

History

2026-11-02: add by m2/dev

Fabian Franklin 42A4V22M53

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#6F43, Fabian Franklin (unknown)

History

2026-11-02: add by m2/dev

42A9NG6XDV 42A9NG6XDV

URI	`m2://inv/42A9NG6XDV`
Kind	definition
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.20131#84AQ (definition). In 29D4TTE3J2/e1, definition 5.4

History

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

Definition 42ACJDB7DD

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

Mentions

wikipedia: Wikipedia Fibonacci coding#1YS9, Definition (definition)

History

2026-11-02: add by m2/dev

Convection zone 42AHEBWETE

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

Mentions

wikipedia: Wikipedia Convection zone, Convection zone (definition). Also Wikidata Q128034

History

2026-11-02: add by m2/dev

Spurious relationship 42AJ17DV3C

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

Mentions

wikipedia: Wikipedia Spurious relationship, Spurious relationship (definition). Also Wikidata Q1462316

History

2026-11-02: add by m2/dev

42ATK8XZRE 42ATK8XZRE

URI	`m2://inv/42ATK8XZRE`
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.24399#U82Q (example)

History

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

42ATTFQTEZ 42ATTFQTEZ

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

Mentions

arxiv: arXiv 2610.12054#79QC (definition). In 1A01NFHBGA/e1, definition 2.6

History

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

hyper-real number 42AZD21EME

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

Mentions

mathlib_overview: mathlib_overview General algebra > Numbers > hyper-real number, hyper-real number (unknown). Also Mathlib Hyperreal

History

2026-10-26: add by m2/dev

Newton's theorem 42B1QZBTTC

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

Mentions

mathlib_1000: mathlib_1000 Q15872491, Newton's theorem (quadrilateral) (statement). Also Wikidata Q15872491
thousand_plus: thousand_plus Q15872491, Newton's theorem (quadrilateral) (statement). Also Wikidata Q15872491, Wikipedia Newton's theorem (quadrilateral)
wikipedia: Wikipedia Newton's theorem (quadrilateral), Newton's theorem (statement). Also Wikidata Q15872491

History

2026-10-26: add by m2/dev

42BAXK2ZF7 42BAXK2ZF7

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

Mentions

arxiv: arXiv 2609.39293#F3CC (statement). In S26QVW5613/e1, lemma 1.2.6

History

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

Howard Eves 42BBAXJ9NB

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

Mentions

wikipedia: Wikipedia Howard Eves, Howard Eves (topic). Also Wikidata Q3710014

History

2026-11-02: add by m2/dev

example, classical Hilbert bases of orthogonal polynomials 42BDZZC893

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

Mentions

mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > example, classical Hilbert bases of orthogonal polynomials, example, classical Hilbert bases of orthogonal polynomials (unknown)

History

2026-10-26: add by m2/dev

42BFE6AKYB 42BFE6AKYB

URI	`m2://inv/42BFE6AKYB`
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 2609.24845#MF87 (definition)

History

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

nonmeasurable 42BJP57XKA

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#5FBV, nonmeasurable (definition)

History

2026-11-02: add by m2/dev

John N. Mather 42BTJKVVPF

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#I13V, John N. Mather (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7TR8, John N. Mather (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VMIK, John N. Mather (unknown)

History

2026-11-02: add by m2/dev

Theorem 42BWPKKXV9

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

Mentions

wikipedia: Wikipedia Olech theorem#7VIS, Theorem (statement)

History

2026-11-02: add by m2/dev

42C5PM783W 42C5PM783W

URI	`m2://inv/42C5PM783W`
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 2001.10234#F5NN (statement). In YYZHNNJR1P/e1, theorem 3

History

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

Alternative definition 42C6AZQ71D

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

Mentions

wikipedia: Wikipedia Chomsky normal form#PD62, Alternative definition (definition)

History

2026-11-02: add by m2/dev

42C6CXBXXN 42C6CXBXXN

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

Mentions

arxiv: arXiv 2609.34295#67LT (statement). In A93R925Z24/e1, lemma 9.1

History

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

42CC6KWSD7 42CC6KWSD7

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

Mentions

arxiv: arXiv 2610.14374#58DW (statement). In YPTC532FEG/e1, theorem 30

History

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

Existential fallacy 42CCHGB1PV

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

Mentions

wikipedia: Wikipedia Existential fallacy, Existential fallacy (definition). Also Wikidata Q2893176

History

2026-11-02: add by m2/dev

Figure-eight knot (mathematics) 42CEG7E1GA

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

Mentions

wikipedia: Wikipedia List of mathematical knots and links#R8EV, Figure-eight knot (mathematics) (definition)

History

2026-11-02: add by m2/dev

Sunflower lemma and conjecture 42CS5K14MS

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

Mentions

wikipedia: Wikipedia Sunflower (mathematics)#53SR, Sunflower lemma and conjecture (statement)

History

2026-11-02: add by m2/dev

Properties 42CY1JRX4P

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

Mentions

wikipedia: Wikipedia Conditional entropy#G830, Properties (statement)

History

2026-11-02: add by m2/dev

42D4C9GCYD 42D4C9GCYD

URI	`m2://inv/42D4C9GCYD`
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/systems-distinct.tex#thm:KD5not4 (statement). In PKGMM3P5QY, thm, section 50.13

History

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

42D9EXRQQ3 42D9EXRQQ3

URI	`m2://inv/42D9EXRQQ3`
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.09949#U8UR (definition). In VGJVFCDV8A/e1, definition 2.8

History

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

42DAX8AHBM 42DAX8AHBM

URI	`m2://inv/42DAX8AHBM`
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#UVMM (statement). In 4KT9TK3MG4/e1, lemma D.6

History

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

Minkowski–Bouligand dimension 42DFHHHX97

URI	`m2://inv/42DFHHHX97`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Minkowski–Bouligand dimension WYRKJ412FT

Mentions

wikidata: Wikidata Q2555655, Minkowski–Bouligand dimension (unknown). Also MathWorld Minkowski-BouligandDimension
wikipedia: Wikipedia Minkowski–Bouligand dimension, Minkowski–Bouligand dimension (definition). Also Wikidata Q2555655

History

2026-10-26: add by m2/dev

Uniformly bounded representation 42DHCXP6BD

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

Mentions

wikipedia: Wikipedia Uniformly bounded representation, Uniformly bounded representation (definition). Also Wikidata Q7885145

History

2026-11-02: add by m2/dev

Examples 42E0FK23SF

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

Mentions

wikipedia: Wikipedia Hamiltonian path#UT8G, Examples (example)

History

2026-11-02: add by m2/dev

42E4F6WZW1 42E4F6WZW1

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

Mentions

open_logic: open_logic content/incompleteness/arithmetization-syntax/coding-formulas.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 27.1

History

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

Blind deconvolution 42E6BPYMA3

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

Mentions

wikipedia: Wikipedia Blind deconvolution, Blind deconvolution (definition). Also Wikidata Q11334452

History

2026-11-02: add by m2/dev

Eternity of the world 42EC6XE025

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

Mentions

wikipedia: Wikipedia Eternity of the world, Eternity of the world (definition). Also Wikidata Q1383206

History

2026-11-02: add by m2/dev

Convergence of the frozen problem 42ECH7GKEM

URI	`m2://inv/42ECH7GKEM`
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.18350#C2LX, Convergence of the frozen problem (statement). In A20E8FZS21/e1, lemma A.2

History

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

Results 42EETM4D1C

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

Mentions

wikipedia: Wikipedia Survey of Consumer Expectations#PDCX, Results (statement)

History

2026-11-02: add by m2/dev

Kahn 42ENF9A802

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

Mentions

arxiv: arXiv 2610.10973#87FW, Kahn (statement). In H8NGNDP0XT/e1, theorem 6

History

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

Faulhaber's formula 42ERY1YDKK

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

Mentions

wikidata: Wikidata Q1398443, Faulhaber's formula (unknown). Also MathWorld FaulhabersFormula
wikipedia: Wikipedia Faulhaber's formula, Faulhaber's formula (statement). Also Wikidata Q1398443

History

2026-10-26: add by m2/dev

Shifts with nonreal $a_0$ 42ET43YVX2

URI	`m2://inv/42ET43YVX2`
Kind	statement
Layer	research
MSC	03-XX, 26-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.12434#64DZ, Shifts with nonreal $a_0$ (statement). In YCRZC9SDCE/e1, lemma 11.4

History

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

End-to-end encryption 42F5M8NG4Z

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

Mentions

wikipedia: Wikipedia List of telecommunications encryption terms#O2UR, End-to-end encryption (definition)

History

2026-11-02: add by m2/dev

Probabilistic planning 42F7QMZ1HB

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

Mentions

wikipedia: Wikipedia Automated planning and scheduling#62JC, Probabilistic planning (unknown)

History

2026-11-02: add by m2/dev

Roman Turovsky 42FA1J1H23

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#7OU5, Roman Turovsky (unknown)

History

2026-11-02: add by m2/dev

Litecoin 42FRXKG3K7

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

Mentions

wikipedia: Wikipedia Litecoin, Litecoin (definition). Also Wikidata Q4043030

History

2026-11-02: add by m2/dev

Definition 42FSKBJVBQ

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

Mentions

wikipedia: Wikipedia Electromagnetic stress–energy tensor#7LQO, Definition (definition)

History

2026-11-02: add by m2/dev

Pairing-based cryptography 42FWTD991X

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

Mentions

wikipedia: Wikipedia Pairing-based cryptography, Pairing-based cryptography (definition). Also Wikidata Q7125138

History

2026-11-02: add by m2/dev

42FZAY7BHB 42FZAY7BHB

URI	`m2://inv/42FZAY7BHB`
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.03358#BZ43 (statement). In KCXEY7HJ8V/e1, theorem 3.3

History

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

Calligraphic projection 42GC1KND1T

URI	`m2://inv/42GC1KND1T`
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#KYN3, Calligraphic projection (unknown)

History

2026-11-02: add by m2/dev

42GSC9F596 42GSC9F596

URI	`m2://inv/42GSC9F596`
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.16530#JJCA (statement). In G2BFEBAX2W/e1, theorem 1.2

History

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

42GWT44PSF 42GWT44PSF

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

Mentions

arxiv: arXiv 2609.38126#ACYY (statement). In QNVKW32G02/e1, theorem

History

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

Actuarial reserves 42H0JDP5AV

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

Mentions

wikipedia: Wikipedia Actuarial reserves, Actuarial reserves (definition). Also Wikidata Q4677853

History

2026-11-02: add by m2/dev

42H9DMDR18 42H9DMDR18

URI	`m2://inv/42H9DMDR18`
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.35678#VNCK (statement). In 4X4ZS7CEKD/e1, proposition 16

History

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

symmetric matrix 42HBTH0KFH

URI	`m2://inv/42HBTH0KFH`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same name as the row)
Node	Symmetric matrix 0N28QN4CYA

Mentions

wikidata: Wikidata Q339011, symmetric matrix (unknown). Also EoM Symmetric_matrix, MathWorld SymmetricMatrix
wikipedia: Wikipedia Symmetric matrix, Symmetric matrix (definition). Also Wikidata Q339011

History

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

42HTD1GWTC 42HTD1GWTC

URI	`m2://inv/42HTD1GWTC`
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.20119#MKM8 (statement)

History

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

Classification of compact surfaces 42HVK61STV

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

Mentions

wikipedia: Wikipedia List of theorems#SQWI, Classification of compact surfaces (definition)

History

2026-11-02: add by m2/dev

Remark 2 42HZEJD7AH

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

Mentions

wikipedia: Wikipedia Dominated convergence theorem#4M9F, Remark 2 (unknown)

History

2026-11-02: add by m2/dev

Free and bound occurrence 42JAAAB926

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/free-variables.tex#defn-2, Free and bound occurrence (definition). In PKGMM3P5QY, defn, section 38.14

History

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

Blum–Micali algorithm 42JC45G91C

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

Mentions

wikipedia: Wikipedia Blum–Micali algorithm, Blum–Micali algorithm (definition). Also Wikidata Q886148

History

2026-11-02: add by m2/dev

42JDHA27BP 42JDHA27BP

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

Mentions

arxiv: arXiv 2609.20203#MKF4 (statement)

History

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

42JDYCVCGQ 42JDYCVCGQ

URI	`m2://inv/42JDYCVCGQ`
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.24408#63D3 (statement)

History

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

speed 42JE3TNAP1

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

Mentions

wikidata: Wikidata Q3711325, speed (definition). Also MathWorld Speed, nLab speed, ProofWiki Definition:Speed

History

2026-10-26: add by m2/dev

Yuri Linnik 42JM7P6GT8

URI	`m2://inv/42JM7P6GT8`
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 Q1384632, Yuri Linnik (unknown). Also ProofWiki Mathematician:Yuri_Vladimirovich_Linnik

History

2026-10-26: add by m2/dev

Reversible engine 42JP2WTSGC

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

Mentions

wikipedia: Wikipedia Carnot's theorem (thermodynamics)#ZE0D, Reversible engine (unknown)

History

2026-11-02: add by m2/dev

42JZVEG68P 42JZVEG68P

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

Mentions

arxiv: arXiv 2609.25168#F96M (statement)

History

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

heptagon 42KCTS8K3C

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

Mentions

wikidata: Wikidata Q188866, heptagon (unknown). Also MathWorld Heptagon
wikipedia: Wikipedia Heptagon, Heptagon (definition). Also Wikidata Q188866

History

2026-10-26: add by m2/dev

Applications 42KEMJXVBT

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

Mentions

wikipedia: Wikipedia Fibonacci word#COIQ, Applications (example)

History

2026-11-02: add by m2/dev

42KJAN08WK 42KJAN08WK

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

Mentions

arxiv: arXiv 2401.00191#NAA7 (definition). In ZMH2KJDAWJ/e1, definition 3.12

History

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

Positive semi-orbit 42KJJECZVW

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

Mentions

wikipedia: Wikipedia Orbit (dynamics)#IDZ5, Positive semi-orbit (unknown)

History

2026-11-02: add by m2/dev

42KTG3VR2Y 42KTG3VR2Y

URI	`m2://inv/42KTG3VR2Y`
Kind	statement
Layer	research
MSC	05-XX, 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.16114#3IEH (statement). In JZZ3FJ382R/e1, lemma 4.8

History

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

42KZE8D0TX 42KZE8D0TX

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

Mentions

applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_exercises.ptx#exercise-16 (exercise). In QKM9DD2H56, exercise, section 7

History

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

42M1JBBTWK 42M1JBBTWK

URI	`m2://inv/42M1JBBTWK`
Kind	statement
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#GC27 (statement). In BJGS6ZCQ12/e1, proposition 8.8

History

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

42M4G36PSG 42M4G36PSG

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

Mentions

arxiv: arXiv 2610.19658#OXJK (statement). In G00EYA9DXG/e1, lemma 9.1

History

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

History of algorithmic game theory 42M6N7D21Q

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

Mentions

wikipedia: Wikipedia Algorithmic game theory#IE6Y, History of algorithmic game theory (unknown)

History

2026-11-02: add by m2/dev

Ash Fork 42MC4G0PGJ

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#C3GA, Ash Fork (unknown)

History

2026-11-02: add by m2/dev

Padding and two-point testing 42MDS6FNN9

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

Mentions

arxiv: arXiv 2609.33499#LUAP, Padding and two-point testing (statement). In AAH14S2JJ2/e1, lemma A.1

History

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

A change of basis in arbitrary dimension 42ME7TVQ6X

URI	`m2://inv/42ME7TVQ6X`
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.07404#XDLF, A change of basis in arbitrary dimension (statement). In VAJ9MBT3SJ/e1, proposition 10

History

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

Theodore Seio Chihara 42MTFJ64FN

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

Mentions

wikipedia: Wikipedia Theodore Seio Chihara, Theodore Seio Chihara (topic). Also Wikidata Q7782041

History

2026-11-02: add by m2/dev

42MX7V52T6 42MX7V52T6

URI	`m2://inv/42MX7V52T6`
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#QBGH (statement). In CY1FE8W1ZW/e1, lemma 1

History

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

Paolo Aschieri 42MZCTYKJ7

URI	`m2://inv/42MZCTYKJ7`
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 Q102410464, Paolo Aschieri (unknown). Also nLab Paolo Aschieri

History

2026-10-26: add by m2/dev

$C^{sp'}$-conjecture 42N8YHSVRP

URI	`m2://inv/42N8YHSVRP`
Kind	conjecture
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.12012#B8RC, $C^{sp'}$-conjecture (conjecture). In 1RXGXBQAHS/e1, conjecture Conjecture

History

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

Approximating $\cot$ 42NAEBSRK8

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

Mentions

arxiv: arXiv 2610.20801#PA2M, Approximating $\cot$ (definition). In A1GWWGRXPA/e1, definition 4.2

History

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

Consistency of local main effect loading and factor estimators 42NB2XHEP1

URI	`m2://inv/42NB2XHEP1`
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.18335#U9QL, Consistency of local main effect loading and factor estimators (statement). In XKN1C8Y9SD/e1, theorem 4

History

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

42NN0X99ZZ 42NN0X99ZZ

URI	`m2://inv/42NN0X99ZZ`
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 2512.07340#TF0M (statement). In WXE3PVAZBT/e1, lemma 2.4

History

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

No bounded PACA 42NVPB8N59

URI	`m2://inv/42NVPB8N59`
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#60RQ, No bounded PACA (statement). In 9J7TJYKGYX/e1, theorem 1.1

History

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

Haar projection error for an $H^1$ storage profile 42P1DS683V

URI	`m2://inv/42P1DS683V`
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.27744#851S, Haar projection error for an $H^1$ storage profile (statement)

History

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

42P2P4BGDP 42P2P4BGDP

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

Mentions

arxiv: arXiv 2609.31278#U4ZG (statement). In KEP21CZFV9/e1, lemma #1

History

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

Brzozowski derivative 42P5DP078X

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

Mentions

wikipedia: Wikipedia Brzozowski derivative, Brzozowski derivative (definition). Also Wikidata Q17005656

History

2026-11-02: add by m2/dev

Positive spectral representation and almost-sure frequency identification 42P7YGHJV9

URI	`m2://inv/42P7YGHJV9`
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.16351#8D4E, Positive spectral representation and almost-sure frequency identification (statement). In 1QSV7EQE3T/e1, lemma S85

History

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

42P7ZXTH5P 42P7ZXTH5P

URI	`m2://inv/42P7ZXTH5P`
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.17677#QMIE (statement). In 5E9G06XJKC/e1, theorem B.1

History

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

Proof of $(\forall n\in\mathbb{N})P(n)$ by Induction 42PEFESKK2

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IntroInduction.tex#skeleton-1, Proof of $(\forall n\in\mathbb{N})P(n)$ by Induction (proof). In P1C114YBXG, skeleton, section D

History

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

42PFXVSB30 42PFXVSB30

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

Mentions

arxiv: arXiv math/0512416#SSEX (statement). In WJD9YPGGYH/e1, lemma 5.4

History

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

Change of variables 42PGVH31TN

URI	`m2://inv/42PGVH31TN`
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.33027#JMQE, Change of variables (statement). In E2AF84709B/e1, proposition 25

History

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

Quasi-analytic function 42PH56F1PW

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

Mentions

wikipedia: Wikipedia List of types of functions#MLXZ, Quasi-analytic function (definition)

History

2026-11-02: add by m2/dev

42PTXM9K8B 42PTXM9K8B

URI	`m2://inv/42PTXM9K8B`
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.19694#I9DJ (statement). In EP0M4RSZ9P/e1, lemma 5.1

History

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

Simple example 42Q4DRZ1KA

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

Mentions

wikipedia: Wikipedia Addition principle#4705, Simple example (example)

History

2026-11-02: add by m2/dev

Knuth's Simpath algorithm 42Q8FGCKTH

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

Mentions

wikipedia: Wikipedia Knuth's Simpath algorithm, Knuth's Simpath algorithm (definition). Also Wikidata Q18208270

History

2026-11-02: add by m2/dev

42Q8ME1WK3 42Q8ME1WK3

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-28 (exercise). In Y91XFCEVHQ, exercise, section 1.3

History

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

Will Rogers phenomenon 42QPBFGJ0S

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

Mentions

wikipedia: Wikipedia Will Rogers phenomenon, Will Rogers phenomenon (definition). Also Wikidata Q2296127

History

2026-11-02: add by m2/dev

42QQAFR63G 42QQAFR63G

URI	`m2://inv/42QQAFR63G`
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#2DTO (statement). In WRE0P7V6Z3/e1, lemma D.16

History

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

42QT303SQS 42QT303SQS

URI	`m2://inv/42QT303SQS`
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.13505#RTFU (statement). In 6Z1DDCYCQ8/e1, proposition 3

History

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

42QWH56WD1 42QWH56WD1

URI	`m2://inv/42QWH56WD1`
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.25912#9S6Q (statement)

History

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

Definition 42R6K6PPQ0

URI	`m2://inv/42R6K6PPQ0`
Kind	definition
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 Quotient group#B30N, Definition (definition)

History

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

Statistical semantics 42RCRJBQAN

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

Mentions

wikipedia: Wikipedia Statistical semantics, Statistical semantics (topic). Also Wikidata Q3658473

History

2026-11-02: add by m2/dev

42RD62RX2R 42RD62RX2R

URI	`m2://inv/42RD62RX2R`
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#OUXK (statement). In F71MS1F637/e1, proposition 3.15

History

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

Arthur Bartels 42RDVW4ECQ

URI	`m2://inv/42RDVW4ECQ`
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#QPUA, Arthur Bartels (topic)

History

2026-11-02: add by m2/dev

42RM0V1GAG 42RM0V1GAG

URI	`m2://inv/42RM0V1GAG`
Kind	statement
Layer	research
MSC	11-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 2508.21045#GOMG (statement). In CGA36VE1C5/e1, theorem 1

History

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

Independent blocks 42RSCSGV5N

URI	`m2://inv/42RSCSGV5N`
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.26576#DTTI, Independent blocks (statement)

History

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

Line spread function 42RY7X8622

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

Mentions

wikipedia: Wikipedia Optical transfer function#VGMX, Line spread function (unknown)

History

2026-11-02: add by m2/dev

Infrared bound 42S9FG5G3C

URI	`m2://inv/42S9FG5G3C`
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.29671#OJQ8, Infrared bound (statement)

History

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

Social Trends 42SB6AFZG4

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

Mentions

wikipedia: Wikipedia Social Trends, Social Trends (definition). Also Wikidata Q7550881

History

2026-11-02: add by m2/dev

Property 42SE7MAKTQ

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

Mentions

wikipedia: Wikipedia Zimmert set#02KO, Property (statement)

History

2026-11-02: add by m2/dev

42SERAGX2R 42SERAGX2R

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

Mentions

arxiv: arXiv 2610.20801#JEW1 (statement). In A1GWWGRXPA/e1, lemma 5.2

History

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

42SQ2YAHBF 42SQ2YAHBF

URI	`m2://inv/42SQ2YAHBF`
Kind	definition
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.20131#GJ2O (definition). In 29D4TTE3J2/e1, definition 5.5

History

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

42SR8C6P7Z 42SR8C6P7Z

URI	`m2://inv/42SR8C6P7Z`
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.23803#MBX3 (statement)

History

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

Concept and object 42SS8P0WG7

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

Mentions

wikipedia: Wikipedia Concept and object, Concept and object (definition). Also Wikidata Q330906

History

2026-11-02: add by m2/dev

42T3XW6E29 42T3XW6E29

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

Mentions

arxiv: arXiv 2610.14068#JV74 (statement). In JF19FEH3SW/e1, corollary 9.3

History

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

42T6GSQA5Y 42T6GSQA5Y

URI	`m2://inv/42T6GSQA5Y`
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 2104.04145#8R0X (statement). In 7TNHVC586V/e1, lemma 1

History

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

Examples 42TCFZPAG0

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

Mentions

wikipedia: Wikipedia Multiple integral#LSUP, Examples (example)

History

2026-11-02: add by m2/dev

42TF3BNNRG 42TF3BNNRG

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

Mentions

arxiv: arXiv 2609.30049#X0XL (definition)

History

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

Window operator 42TF4BFBVZ

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

Mentions

wikipedia: Wikipedia Window operator, Window operator (definition). Also Wikidata Q8024370

History

2026-11-02: add by m2/dev

42TFE9F724 42TFE9F724

URI	`m2://inv/42TFE9F724`
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 2411.02694#YNJN (statement). In A8EK2ARN5Q/e1, theorem

History

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

42TFZ8H4G3 42TFZ8H4G3

URI	`m2://inv/42TFZ8H4G3`
Kind	definition
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.08382#TCLX (definition). In GYMGDQS25R/e1, definition 2.1

History

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

Example 42TS6AE7RY

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

Mentions

wikipedia: Wikipedia Finite model theory#M45E, Example (example)

History

2026-11-02: add by m2/dev

42TXZK6WTN 42TXZK6WTN

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

Mentions

arxiv: arXiv 2609.37208#WAU2 (statement). In 7MCBCP4T0B/e1, lemma 4.12

History

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

Theorem 42V9N7QGDB

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

Mentions

wikipedia: Wikipedia Continuous functional calculus#QBL8, Theorem (statement)

History

2026-11-02: add by m2/dev

Edmund Stone 42VAATAQS9

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

Mentions

wikipedia: Wikipedia Edmund Stone, Edmund Stone (topic). Also Wikidata Q18712038

History

2026-11-02: add by m2/dev

42VH1NMPA4 42VH1NMPA4

URI	`m2://inv/42VH1NMPA4`
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.28597#QH3R (statement)

History

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

Converse 42VS1YPMG4

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

Mentions

wikipedia: Wikipedia Thales's theorem#FNAU, Converse (statement)

History

2026-11-02: add by m2/dev

Best, Alfred M. 42VT0VWCE9

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

Mentions

wikipedia: Wikipedia List of statisticians#JTQY, Best, Alfred M. (unknown)

History

2026-11-02: add by m2/dev

Locally finite variety 42VXPVSRAV

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

Mentions

wikipedia: Wikipedia Locally finite variety, Locally finite variety (definition). Also Wikidata Q6664684

History

2026-11-02: add by m2/dev

Examples 42VY976Y4P

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

Mentions

wikipedia: Wikipedia Homogeneous function#9YWK, Examples (example)

History

2026-11-02: add by m2/dev

42W0FPQ957 42W0FPQ957

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

Mentions

arxiv: arXiv 2610.04628#8E6R (statement). In MREZZ9NCY8/e1, theorem 3.1

History

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

Exact weighted minimax risk 42WFXNMMHY

URI	`m2://inv/42WFXNMMHY`
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.33360#MUSP, Exact weighted minimax risk (statement). In GH6FSDK4YB/e1, theorem 2.3

History

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

42WG4H30VQ 42WG4H30VQ

URI	`m2://inv/42WG4H30VQ`
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 2610.17411#DDIP (statement). In 73QW05MWQB/e1, lemma 5.3

History

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

42WNHQ1XP2 42WNHQ1XP2

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

Mentions

arxiv: arXiv 2610.02061#EN0I (statement). In F5STMSPR6X/e1, proposition 3.29

History

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

42XDA3YXW4 42XDA3YXW4

URI	`m2://inv/42XDA3YXW4`
Kind	example
Layer	research
MSC	05-XX, 13-XX, 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.36021#1CFD (example). In CB68ATPEV9/e1, example 3.2

History

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

Test optional 42XDM5NGJ0

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

Mentions

wikipedia: Wikipedia SAT#LM0H, Test optional (unknown)

History

2026-11-02: add by m2/dev

Implementations 42XQ565P0M

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

Mentions

wikipedia: Wikipedia Nonlinear programming#72MN, Implementations (definition)

History

2026-11-02: add by m2/dev

42XWWXT9YE 42XWWXT9YE

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

Mentions

arxiv: arXiv 2610.06541#VGC5 (definition). In R604B78EVK/e1, definition 6.3

History

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

42XX6ADFZ0 42XX6ADFZ0

URI	`m2://inv/42XX6ADFZ0`
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.28509#HJE8 (statement)

History

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

42XXE05CM3 42XXE05CM3

URI	`m2://inv/42XXE05CM3`
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.12034#RTJA (statement). In 1FRW4N1H90/e1, theorem 5

History

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

Geometric integrator 42XY6M8BY5

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

Mentions

wikipedia: Wikipedia Geometric integrator, Geometric integrator (definition). Also Wikidata Q5535490

History

2026-11-02: add by m2/dev

The inverse problem for rapidly decaying coefficients 42YCCQCDNE

URI	`m2://inv/42YCCQCDNE`
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.13753#ZJAS, The inverse problem for rapidly decaying coefficients (statement). In AHM0PBKZZN/e1, lemma 3.1

History

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

Arup Bose 42YCNPR2GR

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

Mentions

wikipedia: Wikipedia Arup Bose, Arup Bose (topic). Also Wikidata Q16193018

History

2026-11-02: add by m2/dev

Statement of the theorem 42YFPG5V6W

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

Mentions

wikipedia: Wikipedia Poincaré–Birkhoff–Witt theorem#AM0U, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

42YP5E8K24 42YP5E8K24

URI	`m2://inv/42YP5E8K24`
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.04252#X5AW (statement). In ZF0Z61VQ96/e1, theorem 5.8

History

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

42YPCE2P8K 42YPCE2P8K

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#defn-15 (definition). In E59CDZA4DP, defn, section 4.5.4

History

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

42YSZX8H7N 42YSZX8H7N

URI	`m2://inv/42YSZX8H7N`
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#R3VR (statement). In ZTBDXSKFFW/e1, lemma 8.1

History

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

Dylan S. Small 42YTG87G88

URI	`m2://inv/42YTG87G88`
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#7ZGW, Dylan S. Small (unknown)

History

2026-11-02: add by m2/dev

Giorgina Madia 42YX53BSSD

URI	`m2://inv/42YX53BSSD`
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#1PDH, Giorgina Madia (unknown)

History

2026-11-02: add by m2/dev

About the Assumptions, Part I 42Z1HREF0G

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

History

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

42Z1R0419A 42Z1R0419A

URI	`m2://inv/42Z1R0419A`
Kind	definition
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 2405.02275#SO5U (definition). In 1QXCNGRWV1/e1, definition 4.4

History

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

Glauber dynamics 42Z9E6F0YH

URI	`m2://inv/42Z9E6F0YH`
Kind	definition
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.17717#U4CE, Glauber dynamics (definition). In YXRKS451PK/e1, definition 2.1

History

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

Symmetry 42ZACKPDDE

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

Mentions

wikipedia: Wikipedia Nonagon#S9NZ, Symmetry (statement)

History

2026-11-02: add by m2/dev

HP 82143A 42ZCBFQGZ8

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

Mentions

wikipedia: Wikipedia HP-41C#1E1S, HP 82143A (unknown)

History

2026-11-02: add by m2/dev

Axiom of uniformization 42ZNDXX2HB

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

Mentions

wikipedia: Wikipedia List of axioms#MIPW, Axiom of uniformization (definition)

History

2026-11-02: add by m2/dev

Zdeněk Horák 42ZP8MPWN9

URI	`m2://inv/42ZP8MPWN9`
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#QSIW, Zdeněk Horák (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SQWU, Zdeněk Horák (unknown)

History

2026-11-02: add by m2/dev

42ZRCGECHC 42ZRCGECHC

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

Mentions

arxiv: arXiv 2609.32174#NRB3 (statement). In GHKR740SG3/e1, theorem 5.2

History

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

42ZRZBVQCF 42ZRZBVQCF

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

Mentions

arxiv: arXiv 2610.18016#IAEI (statement). In V5PVKDKGGG/e1, corollary 5.4

History

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

Combinatorial principles 42ZTBMTR22

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#ZOJ3, Combinatorial principles (statement)

History

2026-11-02: add by m2/dev

Convergent encryption 42ZTKQ4PBB

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

Mentions

wikipedia: Wikipedia Convergent encryption, Convergent encryption (definition). Also Wikidata Q4474824

History

2026-11-02: add by m2/dev