Inventory rows 1M

1M0038J0Q8 1M0038J0Q8

URI	`m2://inv/1M0038J0Q8`
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 1408.1555#BRRM (statement). In S1F2QW24YW/e1, lemma 5.5

History

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

Applications 1M042ZBHPF

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

Mentions

wikipedia: Wikipedia Book embedding#XIOC, Applications (example)

History

2026-11-02: add by m2/dev

Properties 1M05NBNK0H

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

Mentions

wikipedia: Wikipedia Semidirect product#P4ZL, Properties (statement)

History

2026-11-02: add by m2/dev

Adrien Douady 1M0GMZ3YDM

URI	`m2://inv/1M0GMZ3YDM`
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 Q376963, Adrien Douady (unknown). Also nLab Adrien Douady
wikipedia: Wikipedia Adrien Douady, Adrien Douady (topic). Also Wikidata Q376963

History

2026-10-26: add by m2/dev

Chern–Simons theory 1M0JMWCK5Y

URI	`m2://inv/1M0JMWCK5Y`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Chern–Simons theory F28G886PWD

Mentions

wikidata: Wikidata Q1528019, Chern–Simons theory (unknown). Also nLab Chern-Simons theory
wikipedia: Wikipedia Chern–Simons theory, Chern–Simons theory (definition). Also Wikidata Q1528019

History

2026-10-26: add by m2/dev

Formulation 1M0MFZ3YCX

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

Mentions

wikipedia: Wikipedia Cauchy principal value#C93I, Formulation (definition)

History

2026-11-02: add by m2/dev

1M0NWHWGHZ 1M0NWHWGHZ

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

Mentions

napkin: napkin tex/homology/cellular.tex#example-1 (example). In RZP28ERRZV, example, section 50.1

History

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

Kruskal–Szekeres coordinates 1M0ZZ4B4ZF

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

Mentions

wikidata: Wikidata Q1478885, Kruskal–Szekeres coordinates (unknown). Also nLab Kruskal–Szekeres coordinates
wikipedia: Wikipedia Kruskal–Szekeres coordinates, Kruskal–Szekeres coordinates (definition). Also Wikidata Q1478885

History

2026-10-26: add by m2/dev

Green's third identity 1M115WZAR7

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

Mentions

wikipedia: Wikipedia Green's identities#HZUI, Green's third identity (statement)

History

2026-11-02: add by m2/dev

Martha Kneale 1M11B15FKG

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

Mentions

wikipedia: Wikipedia List of women logicians#EMCJ, Martha Kneale (unknown)

History

2026-11-02: add by m2/dev

Ramsey sentence 1M13ZG0T2R

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

Mentions

wikipedia: Wikipedia Ramsey sentence, Ramsey sentence (definition). Also Wikidata Q7290256

History

2026-11-02: add by m2/dev

1M1675N1Y6 1M1675N1Y6

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

Mentions

arxiv: arXiv 2610.07695#3L5Y (statement). In 8Z47D12KSX/e1, corollary 5.3

History

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

Cell rule 1M19V6R22B

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

Mentions

arxiv: arXiv 2609.37479#SWYC, Cell rule (statement). In P3RTT99C41/e1, lemma C.12

History

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

Brun's constant 1M1AJ3H075

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

Mentions

wikipedia: Wikipedia List of scientific constants named after people#XNJF, Brun's constant (statement)

History

2026-11-02: add by m2/dev

Higman group 1M1NKDAVZH

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

Mentions

wikipedia: Wikipedia Higman group, Higman group (definition). Also Wikidata Q5760134

History

2026-11-02: add by m2/dev

$u$-substitution 1M1P9R531S

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

Mentions

active_calculus: active_calculus index/5.3.3/u-substitution, $u$-substitution (concept). In 907G4C4EJ1, index, section 5.3.3

History

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

Madhu Sudan 1M1XXH4C27

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#1K0M, Madhu Sudan (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#CVXT, Madhu Sudan (unknown)

History

2026-11-02: add by m2/dev

1M1Z7R9ACF 1M1Z7R9ACF

URI	`m2://inv/1M1Z7R9ACF`
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.06340#XDRD (statement). In PKNZPECH82/e1, corollary 1.2

History

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

crystalline cohomology 1M20CQV5YY

URI	`m2://inv/1M20CQV5YY`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Crystalline cohomology EVXCN06FW3

Mentions

wikidata: Wikidata Q5191431, crystalline cohomology (unknown). Also nLab crystalline cohomology
wikipedia: Wikipedia Crystalline cohomology, Crystalline cohomology (definition). Also Wikidata Q5191431

History

2026-10-26: add by m2/dev

Colax map of monads 1M23CCZM60

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

Mentions

wikipedia: Wikipedia 2-category#78HA, Colax map of monads (unknown)

History

2026-11-02: add by m2/dev

Reversed compound agent theorem 1M24KD2V1D

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

Mentions

wikipedia: Wikipedia List of theorems#I5C1, Reversed compound agent theorem (statement)

History

2026-11-02: add by m2/dev

Statement 1M2C8WNKK9

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

Mentions

wikipedia: Wikipedia Shift theorem#JO92, Statement (statement)

History

2026-11-02: add by m2/dev

1M2CZ4XQRM 1M2CZ4XQRM

URI	`m2://inv/1M2CZ4XQRM`
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.12047#BGX0 (statement). In ZF1Y3HZMZ9/e1, corollary 1.4

History

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

Second law statements, such as the Clausius inequality, involving radiative fluxes 1M2DDKZK98

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

Mentions

wikipedia: Wikipedia Second law of thermodynamics#6JH2, Second law statements, such as the Clausius inequality, involving radiative fluxes (statement)

History

2026-11-02: add by m2/dev

Properties 1M2HGSVVXE

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

Mentions

wikipedia: Wikipedia Bhattacharyya distance#4LZJ, Properties (statement)

History

2026-11-02: add by m2/dev

1M2M5S2HPD 1M2M5S2HPD

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

Mentions

arxiv: arXiv 2509.10268#WGFI (statement). In YR15TN4V4F/e1, theorem 4

History

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

path, 2- 1M2YHW3EQ6

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

Mentions

hott_book: hott_book index/1.1/path-2, path, 2- (concept). In N54F33XE07, index, section 1.1

History

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

Cancellation from a common pullback 1M2Z5B8ZX8

URI	`m2://inv/1M2Z5B8ZX8`
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.30301#385S, Cancellation from a common pullback (statement). In 7NS75J7HAM/e1, lemma 8.5

History

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

1M376F9CDA 1M376F9CDA

URI	`m2://inv/1M376F9CDA`
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#X6O0 (statement). In 5E9G06XJKC/e1, lemma F.9

History

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

1M37PMSMGM 1M37PMSMGM

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

Mentions

arxiv: arXiv 2610.08052#6DUV (statement). In 672XAVEQ34/e1, theorem 1.2

History

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

1M38MDYPCV 1M38MDYPCV

URI	`m2://inv/1M38MDYPCV`
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.01915#X9UQ (statement). In 6HJQXZS0A6/e1, proposition 1.21

History

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

1M47EV7YND 1M47EV7YND

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

Mentions

arxiv: arXiv 2609.33941#8GCC (definition). In 64YCRQCKZN/e1, definition 4.4

History

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

Bell's theorem 1M48MB0K67

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

Mentions

wikipedia: Wikipedia List of inequalities#OYTX, Bell's theorem (statement)

History

2026-11-02: add by m2/dev

1M490AY49W 1M490AY49W

URI	`m2://inv/1M490AY49W`
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.28011#O6MB (statement)

History

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

1M4AW74HKR 1M4AW74HKR

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

Mentions

arxiv: arXiv 2504.01057#WZ6O (statement). In 69QFBXJENW/e1, lemma 2.7

History

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

Judith Tanur 1M4R75KQ1Q

URI	`m2://inv/1M4R75KQ1Q`
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#Z9G5, Judith Tanur (topic)

History

2026-11-02: add by m2/dev

Optimal monitors at time $t$ 1M4X55WAWT

URI	`m2://inv/1M4X55WAWT`
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.20020#SCAU, Optimal monitors at time $t$ (statement). In TGYC3SE8XM/e1, proposition 3

History

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

Dawson–Gärtner theorem 1M51CH0NAD

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

Mentions

wikipedia: Wikipedia List of theorems#ONFE, Dawson–Gärtner theorem (statement)

History

2026-11-02: add by m2/dev

Incompatibility of directional kernels, spherical output and equivariance 1M52HP5KVH

URI	`m2://inv/1M52HP5KVH`
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.13892#U298, Incompatibility of directional kernels, spherical output and equivariance (statement). In HV9KKEBBDD/e1, corollary V.7

History

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

Three-prime coefficient mask 1M55K7CRPG

URI	`m2://inv/1M55K7CRPG`
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.37164#92YV, Three-prime coefficient mask (statement). In B2PG75FSQJ/e1, lemma 6.5

History

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

1M58WMWKTA 1M58WMWKTA

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

Mentions

arxiv: arXiv 2002.11125#G414 (statement). In ME61RVCACP/e1, theorem 5.3

History

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

Nira Dyn 1M59ZE6ECR

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

Mentions

wikipedia: Wikipedia Nira Dyn, Nira Dyn (topic). Also Wikidata Q56087039

History

2026-11-02: add by m2/dev

Fuzzy database 1M5ME2PJN4

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

Mentions

wikipedia: Wikipedia Fuzzy logic#EZZM, Fuzzy database (unknown)

History

2026-11-02: add by m2/dev

1M5Q07V77P 1M5Q07V77P

URI	`m2://inv/1M5Q07V77P`
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.13745#7C5U (statement). In CFJH0Q39FZ/e1, theorem 1.2

History

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

Epimenides paradox 1M5TJSV180

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

Mentions

wikipedia: Wikipedia Epimenides paradox, Epimenides paradox (statement). Also Wikidata Q990068

History

2026-11-02: add by m2/dev

local invariant 1M5ZWM3VYP

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#I9BO, local invariant (definition)

History

2026-11-02: add by m2/dev

Ring 1M6BC72WHH

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

Mentions

wikipedia: Wikipedia List of group theory topics#LS5S, Ring (definition)

History

2026-11-02: add by m2/dev

Why the paradox doesn't happen in practice 1M6DC9E4RZ

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

Mentions

wikipedia: Wikipedia Bertrand paradox (economics)#UPI4, Why the paradox doesn't happen in practice (statement)

History

2026-11-02: add by m2/dev

1M6TQ6NS51 1M6TQ6NS51

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 19.4

History

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

1M6XTKDJ7Z 1M6XTKDJ7Z

URI	`m2://inv/1M6XTKDJ7Z`
Kind	example
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.26180#BP4B (example)

History

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

Compactness 1M6Y1RSAWG

URI	`m2://inv/1M6Y1RSAWG`
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#M32A, Compactness (statement). In WRE0P7V6Z3/e1, lemma A.5

History

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

Beurling-Ahlfors transform 1M70HDB4EP

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

Mentions

wikipedia: Wikipedia Grunsky matrix#T6KE, Beurling-Ahlfors transform (unknown)

History

2026-11-02: add by m2/dev

structure theorem for finitely generated modules over a principal ideal domain 1M72DYVPT0

URI	`m2://inv/1M72DYVPT0`
Kind	statement
Layer	textbook
MSC	16-XX
Sources	5
Outcome	open
Node	Structure theorem for finitely generated modules over a principal ideal domain TXMV0YDACG

Mentions

mathlib_1000: mathlib_1000 Q7888360, Structure theorem for finitely generated modules over a principal ideal domain (statement). Also Mathlib Module.equiv_free_prod_directSum, Wikidata Q7888360
mathlib_overview: mathlib_overview Linear algebra > Finitely generated modules over a PID > structure theorem, structure theorem (unknown). Also Mathlib Module.equiv_free_prod_directSum
thousand_plus: thousand_plus Q7888360, Structure theorem for finitely generated modules over a principal ideal domain (statement). Also Mathlib Module.equiv_free_prod_directSum, Wikidata Q7888360, Wikipedia Structure theorem for finitely generated modules over a principal ideal domain
wikidata: Wikidata Q7888360, structure theorem for finitely generated modules over a principal ideal domain (statement). Also nLab structure theorem for finitely generated modules over a principal ideal domain
wikipedia: Wikipedia Structure theorem for finitely generated modules over a principal ideal domain, Structure theorem for finitely generated modules over a principal ideal domain (statement). Also Wikidata Q7888360

History

2026-10-26: add by m2/dev

1M75WPPRVC 1M75WPPRVC

URI	`m2://inv/1M75WPPRVC`
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 1903.11969#TJTI (statement). In 9N4EV3GRM7/e1, theorem 3.6

History

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

1M77P1CHQF 1M77P1CHQF

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-13 (exercise). In VNMV985MXX, exercise, section 1.2

History

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

FKG inequality 1M78RJZG6P

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

Mentions

wikipedia: Wikipedia Ising model#8N9D, FKG inequality (statement)

History

2026-11-02: add by m2/dev

Third law 1M7BM7G44M

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

Mentions

wikipedia: Wikipedia Kepler's laws of planetary motion#52HZ, Third law (statement)

History

2026-11-02: add by m2/dev

Software calculator 1M7CB375KX

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

Mentions

wikipedia: Wikipedia Software calculator, Software calculator (definition). Also Wikidata Q7554269

History

2026-11-02: add by m2/dev

Concave polygon 1M7CJ2EXVS

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

Mentions

wikipedia: Wikipedia List of two-dimensional geometric shapes#HQJV, Concave polygon (definition)
wikipedia: Wikipedia List of mathematical shapes#0EBD, Concave polygon (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#8ZXS, Concave polygon (definition)

History

2026-11-02: add by m2/dev

Rachel M. Harter 1M7DJ5F3H1

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

Mentions

wikipedia: Wikipedia Rachel M. Harter, Rachel M. Harter (topic). Also Wikidata Q67000538

History

2026-11-02: add by m2/dev

The Green–Griffiths–Lang conjecture 1M7DQJJGJM

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

Mentions

wikipedia: Wikipedia Kobayashi metric#9O4W, The Green–Griffiths–Lang conjecture (statement)

History

2026-11-02: add by m2/dev

1M7EFNV3KT 1M7EFNV3KT

URI	`m2://inv/1M7EFNV3KT`
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 2504.19468#IRZM (statement). In EY54F2SX08/e1, lemma 6.3

History

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

1M7N4CAAXT 1M7N4CAAXT

URI	`m2://inv/1M7N4CAAXT`
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 1809.06512#V517 (statement). In RY2X22P6XW/e1, corollary 30

History

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

1M7Q83D92B 1M7Q83D92B

URI	`m2://inv/1M7Q83D92B`
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.21994#EXDM (statement)

History

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

1M7QZPX1HH 1M7QZPX1HH

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

Mentions

arxiv: arXiv 2609.31445#PWCP (statement). In 7V2PVZS04C/e1, lemma 6.26

History

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

1M7SYYYJT4 1M7SYYYJT4

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_combinations.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 2.3

History

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

1M7W6M59FF 1M7W6M59FF

URI	`m2://inv/1M7W6M59FF`
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.06707#B8UV (statement). In 9TR5E527P5/e1, theorem 4.7

History

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

Tree structure 1M7ZF9HS5G

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

Mentions

wikipedia: Wikipedia List of graph theory topics#1G5E, Tree structure (unknown)

History

2026-11-02: add by m2/dev

Method 1M858A2P8H

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

Mentions

wikipedia: Wikipedia Tukey's test of additivity#V02T, Method (definition)

History

2026-11-02: add by m2/dev

1M85T1T406 1M85T1T406

URI	`m2://inv/1M85T1T406`
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.15720#1HAO (statement). In VNN52G3BRE/e1, proposition 4.3

History

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

Properties 1M87PZQ7TW

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

Mentions

wikipedia: Wikipedia Outerplanar graph#O5VN, Properties (statement)

History

2026-11-02: add by m2/dev

Immokalee 1M8B63A2VK

URI	`m2://inv/1M8B63A2VK`
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#RIFU, Immokalee (unknown)

History

2026-11-02: add by m2/dev

Statement 1M8FD3MKN7

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

Mentions

wikipedia: Wikipedia CHSH inequality#CNIQ, Statement (statement)

History

2026-11-02: add by m2/dev

Mitchell H. Gail 1M8KYK0BSS

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

Mentions

wikipedia: Wikipedia Mitchell H. Gail, Mitchell H. Gail (topic). Also Wikidata Q90083305

History

2026-11-02: add by m2/dev

1M8NV3EKMK 1M8NV3EKMK

URI	`m2://inv/1M8NV3EKMK`
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 2609.27931#VVXG (statement)

History

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

The weak bound 1M8R5C3QWP

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

Mentions

arxiv: arXiv 2610.16069#7Z6F, The weak bound (statement). In MBJA03ES8N/e1, proposition 6.5

History

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

1M8VJYXVKZ 1M8VJYXVKZ

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

Mentions

arxiv: arXiv 2610.00312#XJCX (statement). In 41NFABHFXH/e1, proposition 4.3

History

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

Multimodal Optimization 1M8YDTJ1CA

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

Mentions

wikipedia: Wikipedia List of genetic algorithm applications#6705, Multimodal Optimization (definition)

History

2026-11-02: add by m2/dev

Hans Riesel 1M928FAN9W

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ZCMR, Hans Riesel (unknown)

History

2026-11-02: add by m2/dev

1M98NYZ7QJ 1M98NYZ7QJ

URI	`m2://inv/1M98NYZ7QJ`
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.37450#DTJO (statement). In FP05Z6EBV4/e1, lemma 3.4

History

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

1M9DNEM8SE 1M9DNEM8SE

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

Mentions

arxiv: arXiv 2102.12931#8U7F (statement). In PQHTR84RAJ/e1, proposition 5.10

History

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

δ 1M9DRRJ02S

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

Mentions

wikipedia: Wikipedia Glossary of set theory#5LVT, δ (definition)

History

2026-11-02: add by m2/dev

Tripling-oriented Doche–Icart–Kohel curve 1M9FNYP8M2

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

Mentions

wikipedia: Wikipedia Tripling-oriented Doche–Icart–Kohel curve, Tripling-oriented Doche–Icart–Kohel curve (definition). Also Wikidata Q7843607

History

2026-11-02: add by m2/dev

Borror, Connie M. 1M9H5TQK01

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

Mentions

wikipedia: Wikipedia List of statisticians#PHQR, Borror, Connie M. (topic)

History

2026-11-02: add by m2/dev

1M9KYVATV8 1M9KYVATV8

URI	`m2://inv/1M9KYVATV8`
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 2603.21971#M8OZ (statement). In R6KSZ9H8CY/e1, lemma 4.5

History

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

1M9PDX4Q7Y 1M9PDX4Q7Y

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

Mentions

arxiv: arXiv 2609.31445#HSSR (example). In 7V2PVZS04C/e1, example 4.12

History

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

1M9PE6VGC1 1M9PE6VGC1

URI	`m2://inv/1M9PE6VGC1`
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#4Q5B (statement)

History

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

1M9T2W1ACT 1M9T2W1ACT

URI	`m2://inv/1M9T2W1ACT`
Kind	example
Layer	research
MSC	03-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 2610.22317#ECL4 (example). In 2W5Z97BBW4/e1, example 2.39

History

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

Beach ball diagram 1MA1AGAFM5

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

Mentions

wikipedia: Wikipedia Focal mechanism#HNDH, Beach ball diagram (unknown)

History

2026-11-02: add by m2/dev

1MA8JXDWZQ 1MA8JXDWZQ

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

Mentions

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

History

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

Sharp Gaussian reference for Haar frames 1MAE7C4QCQ

URI	`m2://inv/1MAE7C4QCQ`
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#3ZAL, Sharp Gaussian reference for Haar frames (statement). In 9YAE8FNQST/e1, corollary 22.11

History

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

Mumford vanishing theorem 1MAKBBVR75

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

Mentions

wikipedia: Wikipedia List of theorems#PQ1M, Mumford vanishing theorem (statement)

History

2026-11-02: add by m2/dev

Jesús Guillera 1MAT8E68CJ

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

Mentions

wikipedia: Wikipedia Jesús Guillera, Jesús Guillera (topic). Also Wikidata Q56502381

History

2026-11-02: add by m2/dev

Oscillatory dichotomy, bounded-gap dense scales 1MAW56ZPGM

URI	`m2://inv/1MAW56ZPGM`
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 2610.00295#S08J, Oscillatory dichotomy, bounded-gap dense scales (statement). In 7HXP270BD0/e1, theorem 3.33

History

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

Incoming normalization of the raw Poincar\'e series 1MB4NFAAS5

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

Mentions

arxiv: arXiv 2609.25925#PPBP, Incoming normalization of the raw Poincar\'e series (statement)

History

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

1MB5NTQ0A7 1MB5NTQ0A7

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

Mentions

arxiv: arXiv 2610.21365#NX47 (definition). In FCMMB2EVAP/e1, definition 4.2

History

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

1MBAWXGSS7 1MBAWXGSS7

URI	`m2://inv/1MBAWXGSS7`
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.14458#5F7M (statement). In WJ76MVYAZQ/e1, lemma 4.2

History

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

1MBB3A1TD3 1MBB3A1TD3

URI	`m2://inv/1MBB3A1TD3`
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.09298#L9KU (statement). In 1SPQ4J3AWY/e1, corollary 5.12

History

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

1MBBCCR22E 1MBBCCR22E

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

Mentions

arxiv: arXiv 2610.08633#EKRG (statement). In 7MV7RGDVXF/e1, theorem 4.4.1

History

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

1MBDD2SNWA 1MBDD2SNWA

URI	`m2://inv/1MBDD2SNWA`
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#IYLX (statement). In S26QVW5613/e1, lemma 5.4.12

History

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

1MBH302VX3 1MBH302VX3

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

Mentions

arxiv: arXiv 2610.17737#XTAY (statement). In 8SXY7Y68HV/e1, corollary 5.5

History

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

Amarjot Kaur 1MBP3SWC2P

URI	`m2://inv/1MBP3SWC2P`
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#H17F, Amarjot Kaur (unknown)

History

2026-11-02: add by m2/dev

Arthur Edwin Kennelly 1MBS2VFKWJ

URI	`m2://inv/1MBS2VFKWJ`
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#09O7, Arthur Edwin Kennelly (unknown)

History

2026-11-02: add by m2/dev

1MC2NNKN92 1MC2NNKN92

URI	`m2://inv/1MC2NNKN92`
Kind	definition
Layer	research
MSC	18-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 1904.08413#PQB4 (definition). In X88HPQ0W8C/e1, definition 2.21

History

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

1MCB0APHHW 1MCB0APHHW

URI	`m2://inv/1MCB0APHHW`
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.20466#2CT7 (definition). In M4ZVJWM8YA/e1, definition A.1

History

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

Positive definiteness of the joint Hessian 1MCE29QWEG

URI	`m2://inv/1MCE29QWEG`
Kind	statement
Layer	research
MSC	11-XX, 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.12203#GPE8, Positive definiteness of the joint Hessian (statement). In F4YTAZSCS2/e1, lemma 4.2

History

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

inverse tangent function with two arguments 1MCFQPJ3XV

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#QCQG, inverse tangent function with two arguments (definition)

History

2026-11-02: add by m2/dev

1MCMP1YWXW 1MCMP1YWXW

URI	`m2://inv/1MCMP1YWXW`
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.08202#FASD (statement). In N7XJ16700B/e1, proposition 3

History

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

1MCPGNZ15W 1MCPGNZ15W

URI	`m2://inv/1MCPGNZ15W`
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.11047#70YJ (statement). In MNQAZ70XTH/e1, theorem 2.3

History

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

1MCTK05MMA 1MCTK05MMA

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-75 (exercise). In E59CDZA4DP, exercise, section 4.6.3

History

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

1MCWS0FY4Z 1MCWS0FY4Z

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

Mentions

arxiv: arXiv 2609.36922#255Q (definition). In BMHWE5QTTR/e1, definition 4.7

History

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

1MD4D9GQ3B 1MD4D9GQ3B

URI	`m2://inv/1MD4D9GQ3B`
Kind	statement
Layer	research
MSC	26-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 2411.16022#S1ZO (statement). In QG9ATXTKJ6/e1, theorem 1.8

History

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

Formulation 1MD8DBV2YD

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

Mentions

wikipedia: Wikipedia Carter constant#P2M6, Formulation (definition)

History

2026-11-02: add by m2/dev

Enumeration 1MD8FYNWF7

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

Mentions

wikipedia: Wikipedia Layered permutation#EM18, Enumeration (definition)

History

2026-11-02: add by m2/dev

Quasiregular element 1MD8T31K1S

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

Mentions

wikipedia: Wikipedia Quasiregular element, Quasiregular element (definition). Also Wikidata Q7269521

History

2026-11-02: add by m2/dev

1MD9SNVKZP 1MD9SNVKZP

URI	`m2://inv/1MD9SNVKZP`
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 2609.34081#R8Z7 (statement). In 3RVGEKGX46/e1, lemma 7.2

History

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

Steven Kleiman 1MDBE87P2S

URI	`m2://inv/1MDBE87P2S`
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 Q1169890, Steven Kleiman (unknown). Also nLab Steven Kleiman
wikipedia: Wikipedia Steven Kleiman, Steven Kleiman (topic). Also Wikidata Q1169890

History

2026-10-26: add by m2/dev

1MDC7V7VKB 1MDC7V7VKB

URI	`m2://inv/1MDC7V7VKB`
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.34339#BQIT (statement). In 9WFSTGMQ4E/e1, lemma 5.4

History

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

1MDD491FE5 1MDD491FE5

URI	`m2://inv/1MDD491FE5`
Kind	definition
Layer	research
MSC	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 2609.25289#W584 (definition)

History

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

1MDRK7AGDC 1MDRK7AGDC

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

Mentions

open_logic: open_logic content/incompleteness/theories-computability/interpretability.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 30.11

History

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

1MDSXAPB4J 1MDSXAPB4J

URI	`m2://inv/1MDSXAPB4J`
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.01273#RTZ8 (statement). In RAT41DDR51/e1, theorem 2.2

History

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

Law of tangents 1MDWDF2XZB

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

Mentions

wikipedia: Wikipedia Trigonometric functions#7Q3D, Law of tangents (statement)

History

2026-11-02: add by m2/dev

1ME69KZ48G 1ME69KZ48G

URI	`m2://inv/1ME69KZ48G`
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.06541#7ZYK (statement). In R604B78EVK/e1, theorem 5.3

History

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

FEE method 1MEAHQV4Q0

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#N9A9, FEE method (definition)

History

2026-11-02: add by m2/dev

1MEKHGKCHJ 1MEKHGKCHJ

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

Mentions

arxiv: arXiv 2609.24325#6YMQ (statement)

History

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

Positive density of admissible Frobenius primes 1MEKXWSCQP

URI	`m2://inv/1MEKXWSCQP`
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.26196#TNLQ, Positive density of admissible Frobenius primes (statement)

History

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

1MEQ60RD8X 1MEQ60RD8X

URI	`m2://inv/1MEQ60RD8X`
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.20849#MST3 (statement). In HK7FV97MFD/e1, theorem 5.1

History

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

1MESS6Q49Q 1MESS6Q49Q

URI	`m2://inv/1MESS6Q49Q`
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.22374#35WT (statement)

History

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

k-Chinese postman 1METR7V7T9

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#E481, k-Chinese postman (problem)

History

2026-11-02: add by m2/dev

1MEWVDQZD6 1MEWVDQZD6

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

Mentions

arxiv: arXiv 2610.09739#FC4B (statement). In ZYNZ95FSFD/e1, lemma 3.2

History

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

Grothendieck–Teichmüller group 1MF1DNV8HT

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

Mentions

wikipedia: Wikipedia Grothendieck–Teichmüller group, Grothendieck–Teichmüller group (definition). Also Wikidata Q13162325

History

2026-11-02: add by m2/dev

Integrated Bakry--\Emery Criterion 1MF20D6CVE

URI	`m2://inv/1MF20D6CVE`
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.23994#19GW, Integrated Bakry--\Emery Criterion (statement)

History

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

Quillen spectral sequence 1MF5CBB327

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

Mentions

wikipedia: Wikipedia Quillen spectral sequence, Quillen spectral sequence (definition). Also Wikidata Q56273910

History

2026-11-02: add by m2/dev

Jensen's inequality 1MF6T6W1R0

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

Mentions

lebl_scv: lebl_scv scv.tex#thm-53, Jensen's inequality (statement). In VNMV985MXX, thm, section E.1

History

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

statement 1MF7HG1N7D

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

Mentions

wikipedia: Wikipedia Glossary of logic#EA5B, statement (definition)

History

2026-11-02: add by m2/dev

MA 1MF9TQZ73B

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

Mentions

wikipedia: Wikipedia Glossary of set theory#X9LG, MA (definition)

History

2026-11-02: add by m2/dev

1MFCN8T4VX 1MFCN8T4VX

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

Mentions

arxiv: arXiv 2609.37520#4XQW (statement). In BDN507RN7J/e1, proposition 3.2.18

History

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

1MFFKCMZPN 1MFFKCMZPN

URI	`m2://inv/1MFFKCMZPN`
Kind	conjecture
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.08226#8NZ9 (conjecture). In V6EPE8XHAD/e1, conjecture 12.6

History

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

Applications 1MFVT3F1JN

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

Mentions

wikipedia: Wikipedia Partial fractions in complex analysis#VPEO, Applications (example)

History

2026-11-02: add by m2/dev

Examples 1MG4E9BV47

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

Mentions

wikipedia: Wikipedia Commutation theorem for traces#H3EC, Examples (example)

History

2026-11-02: add by m2/dev

1MG535MZ49 1MG535MZ49

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

Mentions

arxiv: arXiv 2609.22263#HJVU (statement)

History

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

Rhombicuboctahedral prism 1MGA5NH5PB

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

Mentions

wikipedia: Wikipedia Rhombicuboctahedral prism, Rhombicuboctahedral prism (definition). Also Wikidata Q7321281

History

2026-11-02: add by m2/dev

Sampling Importance Resampling 1MGN3EFE92

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

Mentions

wikipedia: Wikipedia Particle filter#PIS0, Sampling Importance Resampling (unknown)

History

2026-11-02: add by m2/dev

Definition 1MGQJR0168

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

Mentions

wikipedia: Wikipedia Heat capacity#F1OA, Definition (definition)

History

2026-11-02: add by m2/dev

1MGQVDC5GG 1MGQVDC5GG

URI	`m2://inv/1MGQVDC5GG`
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.33015#464N (statement). In W6Y6NPK648/e1, lemma 4.11

History

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

Supply chain attack 1MGRP7NZGJ

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

Mentions

wikipedia: Wikipedia Supply chain attack, Supply chain attack (definition). Also Wikidata Q7644524

History

2026-11-02: add by m2/dev

1MH2PWY3V5 1MH2PWY3V5

URI	`m2://inv/1MH2PWY3V5`
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.09721#D1Y0 (statement). In 7MZ1MS2N11/e1, theorem 1.3

History

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

1MH30GCNQR 1MH30GCNQR

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

Mentions

arxiv: arXiv 1804.05688#X8SK (proof). In M8F4PDHH3S/e1, proof

History

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

1MH89SNHHN 1MH89SNHHN

URI	`m2://inv/1MH89SNHHN`
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.01656#MND0 (statement). In AHGQZ89DY0/e1, lemma 3.2

History

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

N/n 1MH8BVFTT1

URI	`m2://inv/1MH8BVFTT1`
Kind	unknown
Layer	textbook
Sources	1
Outcome	out_of_scope (a notation: the notation register holds it (corpus spec K10.4))
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q9937, N/n (unknown). Also ProofWiki Symbols:N

History

2026-10-26: add by m2/dev

Linear order 1MHF3V12WT

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

Mentions

open_logic: open_logic content/sets-functions-relations/relations/orders.tex#def:linearorder, Linear order (definition). In PKGMM3P5QY, defn, section 80.4

History

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

1MHK8BJBTM 1MHK8BJBTM

URI	`m2://inv/1MHK8BJBTM`
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 2609.33584#JVIR (statement). In 3HFBAWQCA1/e1, proposition 8.5

History

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

Antisymmetric type-I error 1MHP0MKCCJ

URI	`m2://inv/1MHP0MKCCJ`
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.11388#3JT7, Antisymmetric type-I error (statement). In PC1SZ68BPZ/e1, theorem 4.2

History

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

1MHQ7XZD97 1MHQ7XZD97

URI	`m2://inv/1MHQ7XZD97`
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.07318#0RXV (statement). In JWQNSEXRNW/e1, theorem 1.1

History

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

1MHTHHSN3B 1MHTHHSN3B

URI	`m2://inv/1MHTHHSN3B`
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.00048#T4FY (statement). In 4T0CFT0MMX/e1, proposition

History

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

1MHVZMYNSM 1MHVZMYNSM

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

Mentions

arxiv: arXiv 2609.37520#CDN5 (statement). In BDN507RN7J/e1, proposition 3.5.13

History

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

Omega-rule 1MHYHZSXDX

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

Mentions

wikipedia: Wikipedia Ω-consistent theory#W1CN, Omega-rule (unknown)

History

2026-11-02: add by m2/dev

Definitions 1MJP0NG3P9

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

Mentions

wikipedia: Wikipedia Sparsity matroid#KYFB, Definitions (definition)

History

2026-11-02: add by m2/dev

Trend analysis 1MKCWZ8DJX

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

Mentions

wikipedia: Wikipedia List of statistics articles#1G1L, Trend analysis (definition)

History

2026-11-02: add by m2/dev

Minimality 1MKFSAPT3A

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

Mentions

arxiv: arXiv 2610.00525#7LOI, Minimality (definition). In JN34PDDXH8/e1, definition 2.15

History

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

statement, open 1MKFVGYC6R

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

Mentions

applied_combinatorics: applied_combinatorics index/3.6/statement-open, statement, open (concept). In QKM9DD2H56, index, section 3.6

History

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

Dabrowska, Dorota 1MKH28ZBGV

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

Mentions

wikipedia: Wikipedia List of statisticians#B3SP, Dabrowska, Dorota (topic)

History

2026-11-02: add by m2/dev

Finux 1MKHXB0X71

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

Mentions

wikipedia: Wikipedia Cryptonomicon#0O9C, Finux (unknown)

History

2026-11-02: add by m2/dev

Andrey Muchnik 1MKJFT8T63

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

Mentions

wikipedia: Wikipedia Andrey Muchnik, Andrey Muchnik (topic). Also Wikidata Q23072507

History

2026-11-02: add by m2/dev

1MM2GSTKD3 1MM2GSTKD3

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

Mentions

wikipedia: Wikipedia Ordinal analysis#NSGZ (problem)

History

2026-11-02: add by m2/dev

Plane-curve counterexamples 1MM56CNBJ9

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

Mentions

arxiv: arXiv 2610.21093#RTS3, Plane-curve counterexamples (statement). In TBFPBPQV3G/e1, theorem 7.4

History

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

Stochastic dynamical system 1MMBXXSMZR

URI	`m2://inv/1MMBXXSMZR`
Kind	example
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.13916#JL1L, Stochastic dynamical system (example). In JS2JSD0507/e1, example 3.11

History

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

Area large deviations 1MMR1JME7G

URI	`m2://inv/1MMR1JME7G`
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.02531#S2UW, Area large deviations (statement). In 44EQ0MZE8G/e1, theorem 1.2

History

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

1MN1H8KNXW 1MN1H8KNXW

URI	`m2://inv/1MN1H8KNXW`
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 2103.12669#NJHX (statement). In ZA6XNBA90V/e1, corollary 4.4

History

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

1MN4RVJ3K0 1MN4RVJ3K0

URI	`m2://inv/1MN4RVJ3K0`
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.34946#3O4Z (statement). In Y27BAB2BB4/e1, proposition 6.6

History

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

Korzhenkova--Sep\'ulveda 1MN7CWCP0P

URI	`m2://inv/1MN7CWCP0P`
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.30330#WCA2, Korzhenkova--Sep\'ulveda (statement). In QBMDTMP5CX/e1, proposition 2.1

History

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

1MNG4H202E 1MNG4H202E

URI	`m2://inv/1MNG4H202E`
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.01828#D8FH (statement). In RQMJY73C8Q/e1, corollary VI.2

History

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

Elongated pentagonal cupola 1MNGG418RF

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#4DIF, Elongated pentagonal cupola (object)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#U17S, Elongated pentagonal cupola (object)

History

2026-11-02: add by m2/dev

Six Mile Township, Franklin County, Illinois 1MNPH8B99D

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

Mentions

wikipedia: Wikipedia List of places with numeric names#EZTU, Six Mile Township, Franklin County, Illinois (unknown)

History

2026-11-02: add by m2/dev

Characterizations 1MP8WHXHB9

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

Mentions

wikipedia: Wikipedia Topological homomorphism#8AST, Characterizations (statement)

History

2026-11-02: add by m2/dev

1MPBTRJ9HM 1MPBTRJ9HM

URI	`m2://inv/1MPBTRJ9HM`
Kind	definition
Layer	research
MSC	11-XX, 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.24701#KPO6 (definition)

History

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

Properties 1MPFBQZGQ3

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

Mentions

wikipedia: Wikipedia Lorenz curve#KL3U, Properties (statement)

History

2026-11-02: add by m2/dev

1MPJ71CJQ3 1MPJ71CJQ3

URI	`m2://inv/1MPJ71CJQ3`
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 2609.29185#W6L6 (statement)

History

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

Lebesgue covering lemma 1MPJTSMWYV

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

Mentions

lebl_ra: lebl_ra index/4.4.2/lebesgue-covering-lemma, Lebesgue covering lemma (concept). In E59CDZA4DP, index, section 4.4.2

History

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

Convex polygon 1MPJVYV8PA

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

Mentions

wikipedia: Wikipedia List of convexity topics#L081, Convex polygon (definition)

History

2026-11-02: add by m2/dev

1MPXC1R8K7 1MPXC1R8K7

URI	`m2://inv/1MPXC1R8K7`
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.19251#DPGP (statement). In CSW6NG0FRN/e1, proposition 4.17

History

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

Penman–Monteith equation 1MPYMCXE7K

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

Mentions

wikipedia: Wikipedia Penman–Monteith equation, Penman–Monteith equation (definition). Also Wikidata Q7163111

History

2026-11-02: add by m2/dev

Properties 1MQ988KQGV

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

Mentions

wikipedia: Wikipedia Halin graph#XLAL, Properties (statement)

History

2026-11-02: add by m2/dev

1MQB5NB2FV 1MQB5NB2FV

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Relations.tex#problem-1 (exercise). In P1C114YBXG, problem, section H

History

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

Ulf Lindström 1MQE7FMTGC

URI	`m2://inv/1MQE7FMTGC`
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 Q7878891, Ulf Lindström (unknown). Also nLab Ulf Lindström

History

2026-10-26: add by m2/dev

Tent map 1MQHDDPP8G

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

Mentions

wikipedia: Wikipedia Tent map, Tent map (definition). Also Wikidata Q11319849

History

2026-11-02: add by m2/dev

Applications 1MQPJKFKZX

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

Mentions

wikipedia: Wikipedia Linear map#ZM3G, Applications (example)

History

2026-11-02: add by m2/dev

Stability estimate 1MQR330SZ2

URI	`m2://inv/1MQR330SZ2`
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 2609.29185#F7MJ, Stability estimate (statement)

History

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

SHARK 1MQYKR8P1P

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

Mentions

wikipedia: Wikipedia SHARK, SHARK (definition). Also Wikidata Q2658354

History

2026-11-02: add by m2/dev

Hyperbolic honeycomb 1MR2FAAP21

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

Mentions

wikipedia: Wikipedia Convex uniform honeycomb#DGM3, Hyperbolic honeycomb (unknown)

History

2026-11-02: add by m2/dev

An exact competitive factor on the two-law family 1MR7K80AHP

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

Mentions

arxiv: arXiv 2610.15202#UWW0, An exact competitive factor on the two-law family (statement). In X1FPG0KYBM/e1, theorem V.3

History

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

Formal definition 1MR7XJPK3Z

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

Mentions

wikipedia: Wikipedia Information set (game theory)#NBA4, Formal definition (definition)

History

2026-11-02: add by m2/dev

1MREE8BYEQ 1MREE8BYEQ

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

Mentions

arxiv: arXiv 2609.35625#T706 (definition). In 7N144YJM0R/e1, definition 2

History

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

cf.\ \protect 1MRH89F6J6

URI	`m2://inv/1MRH89F6J6`
Kind	conjecture
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.28848#VC66, cf.\ \protect (conjecture)

History

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

1MRQ4NF6QJ 1MRQ4NF6QJ

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

Mentions

napkin: napkin tex/topology/top-more.tex#ques-8 (exercise). In RZP28ERRZV, ques, section 101.8

History

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

power associativity 1MRQ6C2TPZ

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

Mentions

wikidata: Wikidata Q1822837, power associativity (unknown). Also MathWorld PowerAssociativeAlgebra
wikipedia: Wikipedia Power associativity, Power associativity (definition). Also Wikidata Q1822837

History

2026-10-26: add by m2/dev

addition, of surreal numbers 1MRXE765YB

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

Mentions

hott_book: hott_book index/B.6/addition-of-surreal-numbers, addition, of surreal numbers (concept). In N54F33XE07, index, section B.6

History

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

Jacobian matrix 1MRXR69XGN

URI	`m2://inv/1MRXR69XGN`
Kind	concept
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Jacobian matrix 047NDTEPCV

Mentions

wikidata: Wikidata Q506041, Jacobian matrix (concept). Also EoM Jacobian, MathWorld Jacobian, nLab Jacobian
wikipedia: Wikipedia Jacobian matrix and determinant, Jacobian matrix and determinant (definition). Also Wikidata Q506041

History

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

1MRZB4TEA9 1MRZB4TEA9

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

Mentions

arxiv: arXiv 2610.21037#GNW6 (definition). In PYB2RFYVVE/e1, definition 2.4

History

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

1MS84RCVV5 1MS84RCVV5

URI	`m2://inv/1MS84RCVV5`
Kind	example
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 2401.14162#YIDE (example). In JC1XF1JE6J/e1, example 3.13

History

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

Absolute risk 1MSF0S4JCX

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

Mentions

wikipedia: Wikipedia Absolute risk, Absolute risk (definition). Also Wikidata Q47512925

History

2026-11-02: add by m2/dev

Representation theory of the symmetric group 1MSMHJC41G

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

Mentions

wikipedia: Wikipedia List of representation theory topics#N8IL, Representation theory of the symmetric group (topic)
wikipedia: Wikipedia List of permutation topics#869X, Representation theory of the symmetric group (topic)

History

2026-11-02: add by m2/dev

Generalized pentagonal number 1MSV4MHH8W

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

Mentions

wikipedia: Wikipedia Pentagonal number#I51S, Generalized pentagonal number (unknown)

History

2026-11-02: add by m2/dev

1-planarity 1MSV73BJ5S

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#KQTD, 1-planarity (definition)

History

2026-11-02: add by m2/dev

1MSWS7J08C 1MSWS7J08C

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

Mentions

arxiv: arXiv 2609.23660#X2CU (statement)

History

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

1MTFBGEPM5 1MTFBGEPM5

URI	`m2://inv/1MTFBGEPM5`
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.33829#DSSL (statement). In S34H2JTJHH/e1, theorem 1.9

History

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

Enumeration 1MTHCVFKSD

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

Mentions

wikipedia: Wikipedia Polyhex#569N, Enumeration (definition)

History

2026-11-02: add by m2/dev

Examples 1MTKRQWVBG

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

Mentions

wikipedia: Wikipedia Reduct#S8MU, Examples (example)

History

2026-11-02: add by m2/dev

Combinatorial Nullstellensatz 1MTX3J57EK

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

Mentions

wikipedia: Wikipedia Restricted sumset#QPEL, Combinatorial Nullstellensatz (unknown)

History

2026-11-02: add by m2/dev

1MV1FW7RBW 1MV1FW7RBW

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

Mentions

arxiv: arXiv 2610.16875#1VLA (statement). In KS30K5JXGB/e1, theorem 2.5

History

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

1MV4AFHP67 1MV4AFHP67

URI	`m2://inv/1MV4AFHP67`
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.23685#A7OG (statement)

History

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

1MV4EPGHM2 1MV4EPGHM2

URI	`m2://inv/1MV4EPGHM2`
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.14154#M11L (statement). In 8X6PXX2TRA/e1, corollary 8.1

History

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

Residual-time self-similarity 1MVD9WGQTB

URI	`m2://inv/1MVD9WGQTB`
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.18445#2441, Residual-time self-similarity (statement). In X63FGXZP4F/e1, theorem 4.1

History

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

1MVTKGNR1X 1MVTKGNR1X

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

Mentions

arxiv: arXiv 2609.37520#S0R9 (statement). In BDN507RN7J/e1, proposition 4.7.6

History

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

Robust sample complexity 1MVV9J5KXW

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

Mentions

arxiv: arXiv 2609.33291#ISQX, Robust sample complexity (definition). In HQN1Y9RP53/e1, definition 2.2

History

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

1MW4K1XVZG 1MW4K1XVZG

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

Mentions

napkin: napkin tex/alg-geom/zariski.tex#prob:punctured_plane (exercise). In RZP28ERRZV, sproblem, section 29.7

History

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

1MW8Q7Y474 1MW8Q7Y474

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

Mentions

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

History

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

Right column space 1MWJCBKV4J

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

Mentions

wikipedia: Wikipedia Row and column spaces#LA4W, Right column space (unknown)

History

2026-11-02: add by m2/dev

Examples 1MWMPYY4EN

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

Mentions

wikipedia: Wikipedia Pro rata#4AL4, Examples (example)

History

2026-11-02: add by m2/dev

Barry Simon 1MWMQ4M5FY

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#6CFG, Barry Simon (unknown)

History

2026-11-02: add by m2/dev

1MWN397887 1MWN397887

URI	`m2://inv/1MWN397887`
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 2512.21427#SBPO (statement). In G9XD78ZCAS/e1, lemma 2.1

History

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

1 gigameter 1MWN65RR02

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

Mentions

wikipedia: Wikipedia Orders of magnitude (length)#3MX7, 1 gigameter (unknown)

History

2026-11-02: add by m2/dev

Symmetric--skew-symmetric pair 1MWWRRB2VX

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

Mentions

arxiv: arXiv 2610.08980#AE8I, Symmetric--skew-symmetric pair (statement). In X407M6WFNR/e1, lemma 3.2

History

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

domain 1MWYHBKE2C

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

Mentions

wikipedia: Wikipedia Glossary of logic#HSBN, domain (definition)

History

2026-11-02: add by m2/dev

1MXA5WE7NH 1MXA5WE7NH

URI	`m2://inv/1MXA5WE7NH`
Kind	statement
Layer	research
MSC	11-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.18246#C61B (statement). In SN6F0MPPVF/e1, proposition 3.3

History

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

1MXAMY4C26 1MXAMY4C26

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

Mentions

wikipedia: Wikipedia Unfriendly partition#Z6ZO (problem)

History

2026-11-02: add by m2/dev

Turing machine 1MXBCXC459

URI	`m2://inv/1MXBCXC459`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Turing machine 758EYCN27B

Mentions

wikidata: Wikidata Q163310, Turing machine (definition). Also MathWorld TuringMachine, ProofWiki Definition:Turing_Machine
wikipedia: Wikipedia Turing machine, Turing machine (definition). Also Wikidata Q163310

History

2026-10-26: add by m2/dev

Leone Burton 1MXKF02X5K

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#BYGL, Leone Burton (topic)

History

2026-11-02: add by m2/dev

Linguistics and Philosophy 1MXSSZ2XBD

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

Mentions

wikipedia: Wikipedia List of logic journals#P6M2, Linguistics and Philosophy (definition)

History

2026-11-02: add by m2/dev

Examples 1MXV9FPPP3

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

Mentions

wikipedia: Wikipedia Laguerre–Pólya class#5FDL, Examples (example)

History

2026-11-02: add by m2/dev

1MY35ET65D 1MY35ET65D

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

Mentions

arxiv: arXiv 1911.06467#C4UL (definition). In G35G1NJKBX/e1, definition 1

History

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

The Turing Trust 1MY3GX40QN

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

Mentions

wikipedia: Wikipedia List of things named after Alan Turing#UTUA, The Turing Trust (unknown)

History

2026-11-02: add by m2/dev

Jianqing Fan 1MY791ZMV9

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

Mentions

wikipedia: Wikipedia Jianqing Fan, Jianqing Fan (topic). Also Wikidata Q8954138

History

2026-11-02: add by m2/dev

Bitonic tour 1MYKRDKDG7

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

Mentions

wikipedia: Wikipedia Bitonic tour, Bitonic tour (definition). Also Wikidata Q4918916

History

2026-11-02: add by m2/dev

Multinomial Naive Bayes 1MYVBH1PZM

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

Mentions

wikipedia: Wikipedia Naive Bayes classifier#K8RA, Multinomial Naive Bayes (unknown)

History

2026-11-02: add by m2/dev

Carlangelo Liverani 1MYVHPWFCS

URI	`m2://inv/1MYVHPWFCS`
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#0M5A, Carlangelo Liverani (unknown)

History

2026-11-02: add by m2/dev

1MYWE97X8H 1MYWE97X8H

URI	`m2://inv/1MYWE97X8H`
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 2310.14879#A1K0 (definition). In 3VZ55B2N0D/e1, definition 3.1

History

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

Definition 1MYYPST2JD

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

Mentions

wikipedia: Wikipedia Power-bounded element#GZCY, Definition (definition)

History

2026-11-02: add by m2/dev

Canadian traveller problem 1MZ1XHT9X5

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

Mentions

wikipedia: Wikipedia Canadian traveller problem, Canadian traveller problem (problem). Also Wikidata Q5030897

History

2026-11-02: add by m2/dev

Almost Sure Convergence of $\Z_t$ 1MZ3FN6NR3

URI	`m2://inv/1MZ3FN6NR3`
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.13884#X66I, Almost Sure Convergence of $\Z_t$ (statement). In N2NQ3QJYTW/e1, theorem 4.5

History

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

Large set 1MZ4ECCMJE

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

Mentions

wikipedia: Wikipedia Large set (combinatorics), Large set (definition). Also Wikidata Q129176006

History

2026-11-02: add by m2/dev

1MZ67A7788 1MZ67A7788

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

Mentions

open_logic: open_logic content/model-theory/lindstrom/ls-property.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 48.1

History

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

5-cubic honeycomb 1MZ7HW26KM

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#U9LI, 5-cubic honeycomb (object)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#M786, 5-cubic honeycomb (object)

History

2026-11-02: add by m2/dev

Root-mean-square estimation error 1MZA017850

URI	`m2://inv/1MZA017850`
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.40077#B7LJ, Root-mean-square estimation error (statement). In F0HMNYB8WB/e1, corollary 6.2

History

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

Statistics 1MZE5JFFVX

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#NDR9, Statistics (definition)

History

2026-11-02: add by m2/dev

Geometry of Steiner equiangular tight frames 1MZJ695H09

URI	`m2://inv/1MZJ695H09`
Kind	statement
Layer	research
MSC	46-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 1204.5958#47XC, Geometry of Steiner equiangular tight frames (statement). In XYCBKM4WKY/e1, theorem 58

History

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

Theorems 1MZKDJTEK2

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

Mentions

wikipedia: Wikipedia List of things named after Paul Erdős#TCBD, Theorems (statement)

History

2026-11-02: add by m2/dev

Ahmed Abbes 1MZKV2FNAR

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

Mentions

wikipedia: Wikipedia Ahmed Abbes, Ahmed Abbes (topic). Also Wikidata Q61919485

History

2026-11-02: add by m2/dev

1MZMYSJ7A1 1MZMYSJ7A1

URI	`m2://inv/1MZMYSJ7A1`
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.02213#8K4N (statement). In 43B5W08GMR/e1, theorem 1.3

History

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

1MZQCVW55S 1MZQCVW55S

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

Mentions

arxiv: arXiv 2610.13707#0K98 (statement). In 3564GWRNSF/e1, lemma 4.1

History

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

Generalizations 1MZR9HBKAK

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

Mentions

wikipedia: Wikipedia Birthday problem#1GMF, Generalizations (statement)

History

2026-11-02: add by m2/dev

List of things named after Alexander Grothendieck 1MZTVATGDH

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#4ZAD, List of things named after Alexander Grothendieck (topic)

History

2026-11-02: add by m2/dev