Inventory rows 1Z

Notation 1Z03T9SGKM

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

Mentions

wikipedia: Wikipedia Repeating decimal#HP6B, Notation (definition)

History

2026-11-02: add by m2/dev

1Z0932SZFY 1Z0932SZFY

URI	`m2://inv/1Z0932SZFY`
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 2411.13671#HQFW (statement). In PN02WN5AA6/e1, lemma 1

History

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

1Z0CEP30QC 1Z0CEP30QC

URI	`m2://inv/1Z0CEP30QC`
Kind	definition
Layer	research
MSC	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 2303.09207#H9EG (definition). In 9DQKY7KGE8/e1, definition 6.21

History

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

1Z0EM26Y7E 1Z0EM26Y7E

URI	`m2://inv/1Z0EM26Y7E`
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 2506.16491#0UF6 (statement). In P9J6P06Y40/e1, lemma 4.17

History

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

Robert S. Boyer 1Z0MPQ4YW8

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

Mentions

wikipedia: Wikipedia Robert S. Boyer, Robert S. Boyer (topic). Also Wikidata Q4588776

History

2026-11-02: add by m2/dev

AKS primality test 1Z0P431SZ4

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

Mentions

wikipedia: Wikipedia List of number theory topics#M3ID, AKS primality test (definition)

History

2026-11-02: add by m2/dev

Bott residue formula 1Z0PS84VBN

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

Mentions

wikipedia: Wikipedia Bott residue formula, Bott residue formula (statement). Also Wikidata Q4948981

History

2026-11-02: add by m2/dev

1Z0W87X6GA 1Z0W87X6GA

URI	`m2://inv/1Z0W87X6GA`
Kind	statement
Layer	research
MSC	20-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.06699#UGB7 (statement). In GXHKRV5BPY/e1, lemma B.1

History

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

900,000 1Z0Y6QBYZB

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

Mentions

wikipedia: Wikipedia 100,000#SV4Q, 900,000 (unknown)

History

2026-11-02: add by m2/dev

Primary extension 1Z11Z773E9

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

Mentions

wikipedia: Wikipedia Primary extension, Primary extension (definition). Also Wikidata Q7243126

History

2026-11-02: add by m2/dev

1Z13P4H7KR 1Z13P4H7KR

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

Mentions

hott_book: hott_book equivalences.tex#thm:total-space-of-the-fibers (statement). In N54F33XE07, lem, section 3.8

History

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

Hypercone 1Z13RSDM6P

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#21LG, Hypercone (definition)

History

2026-11-02: add by m2/dev

Construction 1Z1BEM77AS

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

Mentions

wikipedia: Wikipedia Elongated pentagonal cupola#B197, Construction (definition)

History

2026-11-02: add by m2/dev

1Z1BNP6N1E 1Z1BNP6N1E

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

Mentions

arxiv: arXiv 2610.13505#EU2P (definition). In 6Z1DDCYCQ8/e1, definition 18

History

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

First-difference estimator 1Z1KF30ASC

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

Mentions

wikipedia: Wikipedia First-difference estimator, First-difference estimator (definition). Also Wikidata Q5452193

History

2026-11-02: add by m2/dev

1Z1WN9H44Y 1Z1WN9H44Y

URI	`m2://inv/1Z1WN9H44Y`
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.21632#2AAR (statement). In Q4RZTN2EX6/e1, theorem D

History

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

Alexandru D. Ionescu 1Z1YHGXEF5

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

Mentions

wikipedia: Wikipedia Alexandru D. Ionescu, Alexandru D. Ionescu (topic). Also Wikidata Q96242926

History

2026-11-02: add by m2/dev

Minds, Machines and Gödel 1Z20C0XTXK

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

Mentions

wikipedia: Wikipedia Minds, Machines and Gödel, Minds, Machines and Gödel (definition). Also Wikidata Q2195216

History

2026-11-02: add by m2/dev

1Z21V356TV 1Z21V356TV

URI	`m2://inv/1Z21V356TV`
Kind	definition
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.10937#569A (definition). In 6VVK3YTABP/e1, definition 2.9

History

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

cf.\ 1Z2ECGX8CA

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

Mentions

arxiv: arXiv 2609.26201#SFQ3, cf.\ (statement)

History

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

Kenneth E. Iverson 1Z2P3PNJSS

URI	`m2://inv/1Z2P3PNJSS`
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 Q92629, Kenneth E. Iverson (unknown). Also ProofWiki Mathematician:Kenneth_Eugene_Iverson
wikipedia: Wikipedia Kenneth E. Iverson, Kenneth E. Iverson (topic). Also Wikidata Q92629

History

2026-10-26: add by m2/dev

1Z2VM6RJHB 1Z2VM6RJHB

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#defn-9 (definition). In E59CDZA4DP, defn, section 6.3.2

History

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

1Z2W081FJ1 1Z2W081FJ1

URI	`m2://inv/1Z2W081FJ1`
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.21358#O9M0 (statement). In XV70TXYS5A/e1, proposition 2.20

History

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

Inter-laboratory calibration 1Z351G6A28

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

Mentions

wikipedia: Wikipedia Analytical quality control#DLR7, Inter-laboratory calibration (unknown)

History

2026-11-02: add by m2/dev

1Z37WPHF57 1Z37WPHF57

URI	`m2://inv/1Z37WPHF57`
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 2610.13715#K09N (statement). In FAVGZDVJS9/e1, theorem 3.2

History

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

Injective module 1Z3KTEV36X

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

Mentions

wikipedia: Wikipedia List of homological algebra topics#8WSN, Injective module (definition)
wikipedia: Wikipedia List of commutative algebra topics#9CFX, Injective module (definition)

History

2026-11-02: add by m2/dev

1Z3N2ZCMVY 1Z3N2ZCMVY

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

Mentions

arxiv: arXiv 2609.36016#Y3CR (example). In NAM9ZMPHZ9/e1, example A.1

History

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

1Z427CKH3X 1Z427CKH3X

URI	`m2://inv/1Z427CKH3X`
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.26948#UOVV (statement)

History

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

1Z43BV05D4 1Z43BV05D4

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

Mentions

arxiv: arXiv 2610.16834#RSN6 (example). In Q0DTV6PJJW/e1, example 6.6

History

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

Topological dictionary 1Z45XMV3DF

URI	`m2://inv/1Z45XMV3DF`
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.33469#344B, Topological dictionary (statement). In TC5QA4AB4Z/e1, proposition 4.19

History

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

1Z472BFGN8 1Z472BFGN8

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

Mentions

open_logic: open_logic content/intuitionistic-logic/semantics/relational-models.tex#prop:true-monotonic (statement). In PKGMM3P5QY, prop, section 32.5

History

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

Any type 1Z4AT4SHZH

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

Mentions

wikipedia: Wikipedia Any type, Any type (definition). Also Wikidata Q4129836

History

2026-11-02: add by m2/dev

kernel density estimation 1Z4HWYFP7D

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#N3J0, kernel density estimation (definition)

History

2026-11-02: add by m2/dev

Correlation matrices 1Z4JM543DJ

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

Mentions

wikipedia: Wikipedia Correlation#RBM5, Correlation matrices (unknown)

History

2026-11-02: add by m2/dev

1Z4K0D1572 1Z4K0D1572

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

Mentions

arxiv: arXiv 2610.03661#XRBK (statement). In ESDKTYDHC8/e1, theorem 5

History

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

1Z4RDE37NZ 1Z4RDE37NZ

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

Mentions

arxiv: arXiv 2609.38735#1PJD (statement). In XZ71J0DQSE/e1, proposition 5.2

History

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

Chern Medal 1Z4VNBY6KW

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

Mentions

wikidata: Wikidata Q1070276, Chern Medal (unknown). Also MathWorld ChernPrize
wikipedia: Wikipedia Chern Medal, Chern Medal (topic). Also Wikidata Q1070276

History

2026-10-26: add by m2/dev

Example 2 1Z4WRRB7Q6

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

Mentions

wikipedia: Wikipedia Titu's lemma#MSTD, Example 2 (example)

History

2026-11-02: add by m2/dev

1Z4WX15A8V 1Z4WX15A8V

URI	`m2://inv/1Z4WX15A8V`
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 2608.24190#AZ9A (statement). In DW7FVA587C/e1, lemma 4.6

History

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

Gustavus Simmons 1Z548949G6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#2DAO, Gustavus Simmons (topic)

History

2026-11-02: add by m2/dev

1Z59PE7J9Z 1Z59PE7J9Z

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

Mentions

arxiv: arXiv 2610.00934#Q5Z8 (statement). In SHCQDPCF2J/e1, lemma 3.12

History

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

Mexicans in Holyoke, Massachusetts 1Z5DZYH8F2

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

Mentions

wikipedia: Wikipedia Demographics of Holyoke, Massachusetts#7N9Y, Mexicans in Holyoke, Massachusetts (unknown)

History

2026-11-02: add by m2/dev

Glossary of graph theory 1Z5Q6HA1N1

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

Mentions

wikipedia: Wikipedia Glossary of graph theory, Glossary of graph theory (topic). Also Wikidata Q166507

History

2026-11-02: add by m2/dev

Structure Sheaf 1Z5QQZRQYB

URI	`m2://inv/1Z5QQZRQYB`
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.28495#S8YH, Structure Sheaf (definition)

History

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

Fibration calculus 1Z5QW27WEX

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

Mentions

arxiv: arXiv 2609.28220#C10G, Fibration calculus (statement)

History

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

Hartogs 1Z6722WVVV

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

Mentions

wikipedia: Wikipedia Glossary of set theory#RW2L, Hartogs (definition)

History

2026-11-02: add by m2/dev

P-compact group 1Z6CP90QA6

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

Mentions

wikipedia: Wikipedia P-compact group, P-compact group (definition). Also Wikidata Q7116927

History

2026-11-02: add by m2/dev

1Z6KFPBS1V 1Z6KFPBS1V

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

Mentions

arxiv: arXiv 2610.11082#ZVES (statement). In GFPFFN0BXV/e1, lemma 13

History

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

1Z6MCXXFD6 1Z6MCXXFD6

URI	`m2://inv/1Z6MCXXFD6`
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.04349#R240 (statement). In GWF7VKMY61/e1, proposition 4.3

History

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

Statement 1Z6X6DB19M

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

Mentions

wikipedia: Wikipedia Closed range theorem#NJHT, Statement (statement)

History

2026-11-02: add by m2/dev

1Z6Z6EFDEK 1Z6Z6EFDEK

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

Mentions

arxiv: arXiv 2610.21572#8FL8 (problem). In 5TSFJEF45V/e1, problem

History

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

1Z6ZRNTFH7 1Z6ZRNTFH7

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

Mentions

arxiv: arXiv 2609.36377#A2P3 (statement). In M98F6VRPZ2/e1, corollary 2.6

History

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

Bennett's inequality 1Z71AZGPG5

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

Mentions

wikipedia: Wikipedia List of statistics articles#8Q8C, Bennett's inequality (statement)

History

2026-11-02: add by m2/dev

1Z78E81EYR 1Z78E81EYR

URI	`m2://inv/1Z78E81EYR`
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 2411.16465#2NDJ (statement). In 900P3XBZ5P/e1, lemma 2.2

History

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

1Z79FCZ2QE 1Z79FCZ2QE

URI	`m2://inv/1Z79FCZ2QE`
Kind	conjecture
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.20237#9N3R (conjecture)

History

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

Examples 1Z7CMB8FZK

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

Mentions

wikipedia: Wikipedia Galois ring#TFHT, Examples (example)

History

2026-11-02: add by m2/dev

1Z7ENZH458 1Z7ENZH458

URI	`m2://inv/1Z7ENZH458`
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.06488#1CI7 (statement). In XG3BJ2QXXP/e1, proposition 2.10

History

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

Notation 1Z7F284J7E

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

Mentions

wikipedia: Wikipedia Four-vector#7EI4, Notation (definition)

History

2026-11-02: add by m2/dev

automorphism, of $\Sn^1$ 1Z7SFS02SC

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

Mentions

hott_book: hott_book index/5.4/automorphism-of-sn-1, automorphism, of $\Sn^1$ (concept). In N54F33XE07, index, section 5.4

History

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

Continuous Bernoulli distribution 1Z7SV7P4TM

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

Mentions

wikipedia: Wikipedia List of probability distributions#EWTT, Continuous Bernoulli distribution (definition)

History

2026-11-02: add by m2/dev

1Z87CPQ17W 1Z87CPQ17W

URI	`m2://inv/1Z87CPQ17W`
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 2610.19461#E46L (statement). In D5X5P2QD6A/e1, corollary 7.1

History

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

Cyprián Karásek Lvovický 1Z886W2ZFY

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

Mentions

wikipedia: Wikipedia Cyprián Karásek Lvovický, Cyprián Karásek Lvovický (topic). Also Wikidata Q3496110

History

2026-11-02: add by m2/dev

Definition 1Z88TKCXSQ

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

Mentions

wikipedia: Wikipedia Shimizu L-function#0M91, Definition (definition)

History

2026-11-02: add by m2/dev

1Z8K1Q65BW 1Z8K1Q65BW

URI	`m2://inv/1Z8K1Q65BW`
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.24917#7IVC (statement)

History

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

1Z8K9H2GE9 1Z8K9H2GE9

URI	`m2://inv/1Z8K9H2GE9`
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.14455#H2A1 (statement). In 5KARPAJDCP/e1, lemma 3.2

History

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

$G$-invariant Erd\H{o}s--Hanani theorem 1Z8WT9XKNW

URI	`m2://inv/1Z8WT9XKNW`
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#61U4, $G$-invariant Erd\H{o}s--Hanani theorem (statement). In H8NGNDP0XT/e1, theorem 3

History

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

Cramér–Rao bound 1Z90M6THJK

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

Mentions

wikipedia: Wikipedia Cramér–Rao bound, Cramér–Rao bound (definition). Also Wikidata Q1138810

History

2026-11-02: add by m2/dev

1Z931HD5R7 1Z931HD5R7

URI	`m2://inv/1Z931HD5R7`
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.06461#BHJR (statement). In QXY3W2JV2N/e1, proposition 3.10

History

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

Mixed Poisson distribution 1Z9AC58HBF

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

Mentions

wikipedia: Wikipedia Mixed Poisson distribution, Mixed Poisson distribution (definition). Also Wikidata Q110794647

History

2026-11-02: add by m2/dev

Flat topology 1Z9F4R0C2E

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

Mentions

wikipedia: Wikipedia Flat topology, Flat topology (definition). Also Wikidata Q5457855

History

2026-11-02: add by m2/dev

1Z9GT292YN 1Z9GT292YN

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

Mentions

napkin: napkin tex/set-theory/CH.tex#definition-1 (definition). In RZP28ERRZV, definition, section 88.2

History

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

Gian Michele Graf 1ZA8E3XN0M

URI	`m2://inv/1ZA8E3XN0M`
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#2467, Gian Michele Graf (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7DU8, Gian Michele Graf (unknown)

History

2026-11-02: add by m2/dev

Zoltán Füredi 1ZABDH9SWH

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#4H68, Zoltán Füredi (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#B932, Zoltán Füredi (topic)

History

2026-11-02: add by m2/dev

Fangcheng 1ZAJBYR6FG

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

Mentions

wikipedia: Wikipedia Fangcheng (mathematics), Fangcheng (definition). Also Wikidata Q28224644

History

2026-11-02: add by m2/dev

finitely presented 1ZAKEH4X30

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#2EP6, finitely presented (definition)

History

2026-11-02: add by m2/dev

Bisymmetric Hendecahedron 1ZAN9XWATF

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

Mentions

wikipedia: Wikipedia Hendecahedron#R33D, Bisymmetric Hendecahedron (unknown)

History

2026-11-02: add by m2/dev

Remote rekeying 1ZAQTYKCN3

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

Mentions

wikipedia: Wikipedia List of telecommunications encryption terms#TSNO, Remote rekeying (unknown)

History

2026-11-02: add by m2/dev

Ambrose−Kakutani–Krengel–Kubo theorem 1ZAR2WBD2C

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

Mentions

wikipedia: Wikipedia Ergodic flow#OFN5, Ambrose−Kakutani–Krengel–Kubo theorem (statement)

History

2026-11-02: add by m2/dev

1ZARXTAVZG 1ZARXTAVZG

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

Mentions

arxiv: arXiv 2610.22074#71TC (statement). In F3BKXXPR3K/e1, lemma D.3

History

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

1ZAVDB3SVN 1ZAVDB3SVN

URI	`m2://inv/1ZAVDB3SVN`
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.03011#ECBV (statement). In VE8FB6K8EN/e1, theorem 6.2

History

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

Finite-sample class-centered prediction-error certificate 1ZAXGKCR34

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

Mentions

arxiv: arXiv 2609.32652#127W, Finite-sample class-centered prediction-error certificate (statement). In 6KAZWJ8RFX/e1, proposition 2.3

History

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

Gert Sabidussi 1ZAZ84RH86

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#B0CF, Gert Sabidussi (topic)

History

2026-11-02: add by m2/dev

Volume of a cone 1ZB0YFXH73

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

Mentions

wikipedia: Wikipedia Cone#9290, Volume of a cone (unknown)

History

2026-11-02: add by m2/dev

1ZB28JF9JS 1ZB28JF9JS

URI	`m2://inv/1ZB28JF9JS`
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.33050#M0YH (statement). In VDSBMQ0G9W/e1, proposition 5.6

History

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

1ZB3E2EM0R 1ZB3E2EM0R

URI	`m2://inv/1ZB3E2EM0R`
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.30575#3464 (statement). In 6WFFY0QM27/e1, proposition 3.2

History

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

1ZBBFJNRTP 1ZBBFJNRTP

URI	`m2://inv/1ZBBFJNRTP`
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#6ECA (statement). In BDN507RN7J/e1, proposition 4.2.2

History

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

existential variable 1ZBJMNE7MD

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

Mentions

wikipedia: Wikipedia Glossary of logic#5DDP, existential variable (definition)

History

2026-11-02: add by m2/dev

Properties 1ZBRKDJPW9

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

Mentions

wikipedia: Wikipedia Generalized multivariate log-gamma distribution#PT6V, Properties (statement)

History

2026-11-02: add by m2/dev

Denis Diderot 1ZBVEJGAWW

URI	`m2://inv/1ZBVEJGAWW`
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 Q448, Denis Diderot (unknown). Also nLab Denis Diderot

History

2026-10-26: add by m2/dev

1ZC0C1JE2Q 1ZC0C1JE2Q

URI	`m2://inv/1ZC0C1JE2Q`
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.25100#JJPB (statement)

History

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

local system 1ZC2JEK9MS

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#RG9A, local system (definition)

History

2026-11-02: add by m2/dev

Chebyshev Integral 1ZC5K6369Q

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

Mentions

wikidata: Wikidata Q14555033, Chebyshev Integral (concept). Also MathWorld ChebyshevIntegral
wikipedia: Wikipedia Chebyshev integral, Chebyshev integral (definition). Also Wikidata Q14555033

History

2026-10-26: add by m2/dev

Algebraic properties 1ZCRGQ37TN

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

Mentions

wikipedia: Wikipedia Butterfly graph#5IMG, Algebraic properties (statement)

History

2026-11-02: add by m2/dev

open ball 1ZCV4KF5WN

URI	`m2://inv/1ZCV4KF5WN`
Kind	unknown
Layer	textbook
Sources	1
Outcome	node (a node has the same name as the row)
Node	Open ball 0DC3MPR7C9

Mentions

wikidata: Wikidata Q2921739, open ball (unknown). Also MathWorld OpenBall

History

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

1ZCVZVWHWF 1ZCVZVWHWF

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

Mentions

arxiv: arXiv 2609.27752#PTC2 (statement)

History

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

Friedmann–Lemaître–Robertson–Walker metric 1ZCW1A3N6R

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

Mentions

wikipedia: Wikipedia Friedmann–Lemaître–Robertson–Walker metric, Friedmann–Lemaître–Robertson–Walker metric (definition). Also Wikidata Q742982

History

2026-11-02: add by m2/dev

1ZDAXW293H 1ZDAXW293H

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

Mentions

arxiv: arXiv dg-ga/9612010#IBXV (statement). In CM39SWC4A6/e1, lemma 3.3

History

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

David Hilbert Award 1ZDP2ZM3JV

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

Mentions

wikipedia: Wikipedia David Hilbert Award, David Hilbert Award (definition). Also Wikidata Q17044081

History

2026-11-02: add by m2/dev

cobordism 1ZDP6EZJ6R

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#YBDO, cobordism (definition)

History

2026-11-02: add by m2/dev

Jackson's inequality 1ZDRNV8BFE

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

Mentions

wikipedia: Wikipedia List of inequalities#C9H9, Jackson's inequality (statement)

History

2026-11-02: add by m2/dev

Kelvin's statement of the second law of the thermodynamics 1ZDTKBNS77

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

Mentions

wikipedia: Wikipedia Second law of thermodynamics#9YXZ, Kelvin's statement of the second law of the thermodynamics (unknown)

History

2026-11-02: add by m2/dev

Set of multiplicative recurrence 1ZDZW2QZT8

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

Mentions

arxiv: arXiv 2610.00843#V25T, Set of multiplicative recurrence (definition). In 1K7M5TD0M2/e1, definition 1.1

History

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

1ZDZWCY7MM 1ZDZWCY7MM

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

Mentions

arxiv: arXiv 2610.03517#GKZ5 (statement). In 3CGS9GSKTQ/e1, lemma 5.1

History

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

1ZE4SN1BZB 1ZE4SN1BZB

URI	`m2://inv/1ZE4SN1BZB`
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.23671#JGJY (statement)

History

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

1ZE7JJ606D 1ZE7JJ606D

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

Mentions

arxiv: arXiv 2609.40191#83I2 (statement). In F0D8VSM4Z4/e1, proposition 5.3

History

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

Henselization 1ZE7SYDAAK

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#LOWA, Henselization (definition)

History

2026-11-02: add by m2/dev

1ZEAQ7P2GK 1ZEAQ7P2GK

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

Mentions

arxiv: arXiv 2609.34845#Q3Y0 (statement). In SBZNH932ZV/e1, theorem 3.7

History

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

1ZEC4GW0RN 1ZEC4GW0RN

URI	`m2://inv/1ZEC4GW0RN`
Kind	statement
Layer	research
MSC	05-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.36332#TQRV (statement). In APK7X4MFAX/e1, proposition 3

History

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

Decomposition of $S$ in $H^{1-s}$ 1ZEEWTY0BF

URI	`m2://inv/1ZEEWTY0BF`
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.18797#J1MQ, Decomposition of $S$ in $H^{1-s}$ (statement). In HVZW77G66Z/e1, lemma 3.2

History

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

1ZEHJ6DGC5 1ZEHJ6DGC5

URI	`m2://inv/1ZEHJ6DGC5`
Kind	statement
Layer	research
MSC	14-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 2609.38030#U45I (statement). In XYYEJN00D8/e1, lemma 2.16

History

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

Erich Hecke 1ZEKNHPVRV

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

Mentions

wikipedia: Wikipedia Erich Hecke, Erich Hecke (topic). Also Wikidata Q687638

History

2026-11-02: add by m2/dev

Transit times $t_+, t_-$ 1ZEMT8A9T0

URI	`m2://inv/1ZEMT8A9T0`
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.16404#MRWC, Transit times $t_+, t_-$ (definition). In PQ7W037C2H/e1, definition 4.2

History

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

Daniel Tătaru 1ZEN6VNHJ6

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

Mentions

wikipedia: Wikipedia Daniel Tătaru, Daniel Tătaru (topic). Also Wikidata Q1162893

History

2026-11-02: add by m2/dev

1ZEP985TM6 1ZEP985TM6

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

Mentions

arxiv: arXiv 2610.03126#YS68 (definition). In ZJ6VQCRDVR/e1, definition 8

History

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

Corresponding conditional 1ZEPYRFHDF

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

Mentions

wikipedia: Wikipedia Corresponding conditional, Corresponding conditional (definition). Also Wikidata Q5172913

History

2026-11-02: add by m2/dev

Yoneda embedding 1ZEV9VK0ZN

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

Mentions

mathlib_overview: mathlib_overview General algebra > Category theory > Yoneda embedding, Yoneda embedding (unknown). Also Mathlib CategoryTheory.yoneda

History

2026-10-26: add by m2/dev

The only possible normalized escape 1ZF7R9V2CF

URI	`m2://inv/1ZF7R9V2CF`
Kind	statement
Layer	research
MSC	14-XX, 35-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.18788#M90U, The only possible normalized escape (statement). In KFEASG3ZHS/e1, lemma 7.2

History

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

1ZFJP852SV 1ZFJP852SV

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

Mentions

arxiv: arXiv 2609.37967#37G7 (statement). In BR2E3CXQE0/e1, theorem

History

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

Upper Bound 1ZFM0MAG77

URI	`m2://inv/1ZFM0MAG77`
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.04600#GPY9, Upper Bound (statement). In 4V64K0DYSV/e1, theorem 6.1

History

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

Perspective control 1ZFSD0WVZV

URI	`m2://inv/1ZFSD0WVZV`
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#DVEK, Perspective control (unknown)

History

2026-11-02: add by m2/dev

$\Pi\mathsfW$-pretopos 1ZFV3KGB2X

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

Mentions

hott_book: hott_book index/C.1.4/pi-mathsfw-pretopos, $\Pi\mathsfW$-pretopos (concept). In N54F33XE07, index, section C.1.4

History

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

1ZG7F189QG 1ZG7F189QG

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

Mentions

wikipedia: Wikipedia Monotone dualization#37NQ (problem)

History

2026-11-02: add by m2/dev

Algorithm 1ZG9M91ZNQ

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

Mentions

wikipedia: Wikipedia Backfitting algorithm#HSLF, Algorithm (definition)

History

2026-11-02: add by m2/dev

Alp Eden 1ZGEK35TRH

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

Mentions

wikipedia: Wikipedia Alp Eden, Alp Eden (topic). Also Wikidata Q98271325

History

2026-11-02: add by m2/dev

1ZGJ356Z5C 1ZGJ356Z5C

URI	`m2://inv/1ZGJ356Z5C`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 49-XX, 58-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.13629#GTKN (statement). In PQNYA0C510/e1, theorem 1.3

History

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

Kenneth Appel 1ZGJGDQ609

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#4B85, Kenneth Appel (topic)

History

2026-11-02: add by m2/dev

Head/tail breaks 1ZGQ4MMP60

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

Mentions

wikipedia: Wikipedia Head/tail breaks, Head/tail breaks (definition). Also Wikidata Q18348808

History

2026-11-02: add by m2/dev

Extension lemma 1ZGRHB7PN9

URI	`m2://inv/1ZGRHB7PN9`
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.15340#T34B, Extension lemma (statement). In 9NVKKW8HDH/e1, lemma 2.90

History

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

Methods 1ZGXK0MP2Q

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

Mentions

wikipedia: Wikipedia Environmental statistics#4OIT, Methods (definition)

History

2026-11-02: add by m2/dev

Polyhedral prism 1ZH2DS75R3

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

Mentions

wikipedia: Wikipedia Prism (geometry)#2JWG, Polyhedral prism (unknown)

History

2026-11-02: add by m2/dev

1ZH4B007T6 1ZH4B007T6

URI	`m2://inv/1ZH4B007T6`
Kind	statement
Layer	research
MSC	05-XX, 20-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.04305#1CDO (statement). In Y1DR0DPWD0/e1, theorem

History

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

Numbers, planetary 1ZH4JTGNAF

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

Mentions

wikipedia: Wikipedia Magic square#DSTM, Numbers, planetary (unknown)

History

2026-11-02: add by m2/dev

Manin triple 1ZHF8AFE23

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

Mentions

wikipedia: Wikipedia Manin triple, Manin triple (definition). Also Wikidata Q6749777

History

2026-11-02: add by m2/dev

Milly Dowler 1ZHGZ8NZ2Q

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

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#MOF3, Milly Dowler (unknown)

History

2026-11-02: add by m2/dev

1ZHMRTVG94 1ZHMRTVG94

URI	`m2://inv/1ZHMRTVG94`
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.18061#XC16 (statement). In Y8A35AV31M/e1, corollary 6.9

History

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

Reflexive 1ZHSB4KWWD

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

Mentions

wikipedia: Wikipedia List of first-order theories#8CNZ, Reflexive (definition)

History

2026-11-02: add by m2/dev

Theorem of the cube 1ZJ0FBKDGW

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

Mentions

wikipedia: Wikipedia List of theorems#ZB55, Theorem of the cube (statement)

History

2026-11-02: add by m2/dev

1ZJ0PWX1FQ 1ZJ0PWX1FQ

URI	`m2://inv/1ZJ0PWX1FQ`
Kind	statement
Layer	research
MSC	03-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.01919#DZSR (statement). In 4H727T2YAS/e1, theorem 9.11

History

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

Olav Kallenberg 1ZJCDJ7B6X

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#VTP0, Olav Kallenberg (topic)

History

2026-11-02: add by m2/dev

Gaisi Takeuti 1ZJKF19VW2

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

Mentions

wikipedia: Wikipedia List of logicians#1Y0H, Gaisi Takeuti (topic)

History

2026-11-02: add by m2/dev

1ZJSYF993M 1ZJSYF993M

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

Mentions

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

History

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

1ZJXGBS02T 1ZJXGBS02T

URI	`m2://inv/1ZJXGBS02T`
Kind	statement
Layer	research
MSC	05-XX, 20-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.04305#34EC (statement). In Y1DR0DPWD0/e1, lemma 7.1

History

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

Axiom 7 1ZKGG0MJGB

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

Mentions

wikipedia: Wikipedia Huzita–Hatori axioms#UDSL, Axiom 7 (statement)

History

2026-11-02: add by m2/dev

1ZKHHP8VZ4 1ZKHHP8VZ4

URI	`m2://inv/1ZKHHP8VZ4`
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 2506.21337#BRHX (definition). In EPZN0JTG2Z/e1, definition 1

History

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

1ZKQ4P8ZZN 1ZKQ4P8ZZN

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

Mentions

arxiv: arXiv 2002.11125#U2BZ (proof). In ME61RVCACP/e1, proof

History

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

1ZKSYDG4XN 1ZKSYDG4XN

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

Mentions

hott_book: hott_book hits.tex#thm:S1ump (statement). In N54F33XE07, lem, section 5.2

History

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

1ZM0Y8PQEH 1ZM0Y8PQEH

URI	`m2://inv/1ZM0Y8PQEH`
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.36717#R0V1 (statement). In 69FBWG9P3B/e1, proposition 3.4

History

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

1ZM2EF14JY 1ZM2EF14JY

URI	`m2://inv/1ZM2EF14JY`
Kind	problem
Layer	research
MSC	18-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.16241#ZD5Y (problem). In WNDHZVY4WK/e1, problem 3

History

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

ZFA 1ZM2V35FKT

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

Mentions

wikipedia: Wikipedia Glossary of set theory#B0AI, ZFA (definition)

History

2026-11-02: add by m2/dev

1ZM57HQ2E5 1ZM57HQ2E5

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

Mentions

arxiv: arXiv 2609.31365#PUQX (definition). In 19GENJ3NCP/e1, definition 6.5

History

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

ד 1ZM8594MSC

URI	`m2://inv/1ZM8594MSC`
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 Q15080, ד (unknown). Also ProofWiki Symbols:Hebrew/Daleth

History

2026-10-26: add by m2/dev

The theorem 1ZM89KT3HE

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

Mentions

wikipedia: Wikipedia Gowers' theorem#RSRN, The theorem (statement)

History

2026-11-02: add by m2/dev

1ZMG4R11QM 1ZMG4R11QM

URI	`m2://inv/1ZMG4R11QM`
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#5HC7 (statement). In BDN507RN7J/e1, proposition 3.2.26

History

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

$N$-smoothed theta function 1ZMGMDNXWF

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

Mentions

arxiv: arXiv 2610.10365#9IQP, $N$-smoothed theta function (definition). In PRVQPSBVHK/e1, definition 6

History

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

Definition 1ZMNYFQFPA

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

Mentions

wikipedia: Wikipedia Eutactic star#VYLI, Definition (definition)

History

2026-11-02: add by m2/dev

1ZN1PPTF44 1ZN1PPTF44

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

Mentions

arxiv: arXiv 2310.14879#W2EM (statement). In 3VZ55B2N0D/e1, lemma 5.27

History

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

Monotone Boolean function 1ZN39S2R6Y

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

Mentions

wikipedia: Wikipedia Monotonic function#7UFF, Monotone Boolean function (unknown)

History

2026-11-02: add by m2/dev

1ZNA5R7YRB 1ZNA5R7YRB

URI	`m2://inv/1ZNA5R7YRB`
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 2207.07461#QA2M (statement). In GAG532VMPF/e1, corollary 3.4.8

History

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

Basu's theorem: Special cases 1ZNBFSZ5SV

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

Mentions

wikipedia: Wikipedia Robert V. Hogg#8DEI, Basu's theorem: Special cases (statement)

History

2026-11-02: add by m2/dev

Linial--Radhakrishnan 1ZNGTYARTG

URI	`m2://inv/1ZNGTYARTG`
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.23362#0AJH, Linial--Radhakrishnan (statement)

History

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

iron-59 1ZNHMA1W58

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

Mentions

wikidata: Wikidata Q18844934, iron-59 (definition). Also ProofWiki Definition:Iron/59

History

2026-10-26: add by m2/dev

Multiplication table 1ZNNDBCCVZ

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

Mentions

wikipedia: Wikipedia List of things named after Pythagoras#F8DG, Multiplication table (definition)

History

2026-11-02: add by m2/dev

András Gyárfás 1ZNPQPVYY7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#RH3E, András Gyárfás (topic)

History

2026-11-02: add by m2/dev

Properties 1ZNQQMQR83

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

Mentions

wikipedia: Wikipedia Stably free module#S16U, Properties (statement)

History

2026-11-02: add by m2/dev

Zdeněk Frolík 1ZP226C58S

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

Mentions

wikipedia: Wikipedia Zdeněk Frolík, Zdeněk Frolík (topic). Also Wikidata Q8067941

History

2026-11-02: add by m2/dev

integer partition 1ZP2TJP9HG

URI	`m2://inv/1ZP2TJP9HG`
Kind	statement
Layer	textbook
MSC	11-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Integer partition 0JV30XN73Z

Mentions

mathlib_100: mathlib_100 45, The Partition Theorem (statement). Also Mathlib Nat.Partition.card_odds_eq_card_distincts
mathlib_1000: mathlib_1000 Q1082910, Euler's partition theorem (statement). Also Mathlib Nat.Partition.card_odds_eq_card_distincts, Wikidata Q1082910
thousand_plus: thousand_plus Q1082910, Euler's partition theorem (statement). Also Mathlib Nat.Partition.card_odds_eq_card_distincts, Wikidata Q1082910
wikidata: Wikidata Q1082910, integer partition (unknown). Also MathWorld Partition
wikipedia: Wikipedia Integer partition, Integer partition (definition). Also Wikidata Q1082910

History

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

1ZP2VBPKEJ 1ZP2VBPKEJ

URI	`m2://inv/1ZP2VBPKEJ`
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#OGGM (statement). In N2NQ3QJYTW/e1, theorem 4.1

History

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

Generalizations 1ZP3HHNHHW

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

Mentions

wikipedia: Wikipedia Long division#OYZZ, Generalizations (statement)

History

2026-11-02: add by m2/dev

1ZP7FKM3J9 1ZP7FKM3J9

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

Mentions

lebl_ra: lebl_ra ch-real-nums.tex#exercise:dominatingb (exercise). In E59CDZA4DP, exercise, section 7.1.1

History

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

hypothesis, inductive 1ZP9QJWEQJ

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

Mentions

hott_book: hott_book index/A.9/hypothesis-inductive, hypothesis, inductive (concept). In N54F33XE07, index, section A.9

History

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

Admissible geometries are the relative interior 1ZPBW3DD8M

URI	`m2://inv/1ZPBW3DD8M`
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.00039#ZY86, Admissible geometries are the relative interior (statement). In 2YQ3WX6VSW/e1, proposition 3.2

History

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

1ZPD1M617M 1ZPD1M617M

URI	`m2://inv/1ZPD1M617M`
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#8554 (statement). In TBFPBPQV3G/e1, proposition 7.3

History

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

1ZPDC9N30P 1ZPDC9N30P

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

Mentions

arxiv: arXiv 2609.37103#121P (statement). In 6Q8YMAWFZN/e1, proposition 4.4

History

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

Concomitant 1ZPHA2MVVG

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

Mentions

wikipedia: Wikipedia Concomitant (statistics), Concomitant (definition). Also Wikidata Q17007513

History

2026-11-02: add by m2/dev

Implementations 1ZPNET0F0R

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

Mentions

wikipedia: Wikipedia Baum–Welch algorithm#R7U8, Implementations (definition)

History

2026-11-02: add by m2/dev

Seismic tomography 1ZPZJ6SFWD

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

Mentions

wikipedia: Wikipedia Seismic tomography, Seismic tomography (definition). Also Wikidata Q1850768

History

2026-11-02: add by m2/dev

False premise 1ZQ48AMPJE

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

Mentions

wikipedia: Wikipedia False premise, False premise (definition). Also Wikidata Q662538

History

2026-11-02: add by m2/dev

Formal definition 1ZQ4CGP4WT

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

Mentions

wikipedia: Wikipedia Cassini oval#5LXD, Formal definition (definition)

History

2026-11-02: add by m2/dev

1ZQ4WK0B0N 1ZQ4WK0B0N

URI	`m2://inv/1ZQ4WK0B0N`
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 2511.08099#D5VC (statement). In 5NK801XBGA/e1, corollary 2.4

History

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

Mildred Barnard 1ZQ9QRD5SE

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

Mentions

wikipedia: Wikipedia Mildred Barnard, Mildred Barnard (topic). Also Wikidata Q37922330

History

2026-11-02: add by m2/dev

Implementation 1ZQDQNKJY9

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

Mentions

wikipedia: Wikipedia Automatic differentiation#3H3J, Implementation (definition)

History

2026-11-02: add by m2/dev

Zariski's main theorem: power series form 1ZQG5GZKCW

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

Mentions

wikipedia: Wikipedia Zariski's main theorem#BTB8, Zariski's main theorem: power series form (statement)

History

2026-11-02: add by m2/dev

Kirsi Peltonen 1ZQK1RE5HZ

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

Mentions

wikipedia: Wikipedia Kirsi Peltonen, Kirsi Peltonen (topic). Also Wikidata Q56223945

History

2026-11-02: add by m2/dev

1ZQK7E4PH0 1ZQK7E4PH0

URI	`m2://inv/1ZQK7E4PH0`
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.06488#R88U (statement). In XG3BJ2QXXP/e1, lemma 2.8

History

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

MLwiN 1ZQYJNARQX

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

Mentions

wikipedia: Wikipedia MLwiN, MLwiN (definition). Also Wikidata Q6716702

History

2026-11-02: add by m2/dev

Betti's theorem 1ZR0PF6Z7S

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

Mentions

mathlib_1000: mathlib_1000 Q794269, Betti's theorem (statement). Also Wikidata Q794269
thousand_plus: thousand_plus Q794269, Betti's theorem (statement). Also Wikidata Q794269, Wikipedia Betti's theorem
wikipedia: Wikipedia Betti's theorem, Betti's theorem (statement). Also Wikidata Q794269

History

2026-10-26: add by m2/dev

Five Rivers, New Brunswick 1ZR2SR2MRR

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

Mentions

wikipedia: Wikipedia List of places with numeric names#KLXS, Five Rivers, New Brunswick (unknown)

History

2026-11-02: add by m2/dev

1ZRAR27JGG 1ZRAR27JGG

URI	`m2://inv/1ZRAR27JGG`
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#NBRA (statement). In KAYGQMQPGS/e1, lemma 3.1

History

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

The Hammocks 1ZRC588M28

URI	`m2://inv/1ZRC588M28`
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#OFY9, The Hammocks (unknown)

History

2026-11-02: add by m2/dev

1ZRH118EGV 1ZRH118EGV

URI	`m2://inv/1ZRH118EGV`
Kind	statement
Layer	research
MSC	14-XX, 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 2504.07573#OA6W (statement). In 78X5SKJX8J/e1, theorem 1.4

History

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

Applying Mason's gain formula 1ZRK0MNGPZ

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

Mentions

wikipedia: Wikipedia Signal-flow graph#1G0A, Applying Mason's gain formula (statement)

History

2026-11-02: add by m2/dev

Pathwise Uniqueness in the Young regime 1ZRM5MAAKQ

URI	`m2://inv/1ZRM5MAAKQ`
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 2312.06473#NBB8, Pathwise Uniqueness in the Young regime (statement). In P1MYSYHSGX/e1, theorem 3.8

History

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

Implementations 1ZRRT3C7RE

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

Mentions

wikipedia: Wikipedia Van Wijngaarden grammar#C8MH, Implementations (definition)

History

2026-11-02: add by m2/dev

Kolmogorov continuity criterion 1ZRXM1RSX2

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

Mentions

arxiv: arXiv 2610.10080#K7DJ, Kolmogorov continuity criterion (statement). In N6EBNRZCYX/e1, lemma A.4

History

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

1ZRYQZV4SM 1ZRYQZV4SM

URI	`m2://inv/1ZRYQZV4SM`
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.04809#M0YB (statement). In 2VHV0RNTNV/e1, lemma 8.3

History

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

abductive reasoning 1ZRZ315DKA

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

Mentions

wikidata: Wikidata Q308495, abductive reasoning (unknown). Also nLab abductive reasoning
wikipedia: Wikipedia Abductive reasoning, Abductive reasoning (definition). Also Wikidata Q308495

History

2026-10-26: add by m2/dev

1ZS7GVY0QX 1ZS7GVY0QX

URI	`m2://inv/1ZS7GVY0QX`
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 2407.02022#3JLY (definition). In RZDNWV9E29/e1, definition 1.6

History

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

Sealedenvelope.com 1ZS7KZRNFV

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

Mentions

wikipedia: Wikipedia Sealedenvelope.com, Sealedenvelope.com (definition). Also Wikidata Q65044300

History

2026-11-02: add by m2/dev

The Turing School 1ZSDH2ZXNK

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

Mentions

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

History

2026-11-02: add by m2/dev

1ZSTJADHFT 1ZSTJADHFT

URI	`m2://inv/1ZSTJADHFT`
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.11031#B3ZZ (definition). In 9DMJXFRQN9/e1, definition 4.2

History

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

Statement 1ZSVW8AV7K

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

Mentions

wikipedia: Wikipedia Sidorenko's conjecture#UCL0, Statement (statement)

History

2026-11-02: add by m2/dev

1ZSXPKNJBW 1ZSXPKNJBW

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

Mentions

wikipedia: Wikipedia List edge-coloring#0PPC (problem)

History

2026-11-02: add by m2/dev

Applications 1ZSYS2AG1K

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

Mentions

wikipedia: Wikipedia Integral equation#3O40, Applications (example)

History

2026-11-02: add by m2/dev

1ZSZ8P2B5E 1ZSZ8P2B5E

URI	`m2://inv/1ZSZ8P2B5E`
Kind	problem
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 2307.16868#1Q3R (problem). In H1BA0DYXA1/e1, problem

History

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

Nader Masmoudi 1ZTDKQEW07

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

Mentions

wikipedia: Wikipedia Nader Masmoudi, Nader Masmoudi (topic). Also Wikidata Q16025086

History

2026-11-02: add by m2/dev

1ZTH3YS5PG 1ZTH3YS5PG

URI	`m2://inv/1ZTH3YS5PG`
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 2610.05320#2622 (statement). In MVXZWHKEX8/e1, lemma 6.4

History

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

Properties 1ZTQWPMX3R

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

Mentions

wikipedia: Wikipedia Power law#0PI5, Properties (statement)

History

2026-11-02: add by m2/dev

Commognition 1ZV09A5PCM

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

Mentions

wikipedia: Wikipedia Commognition, Commognition (topic). Also Wikidata Q141273817

History

2026-11-02: add by m2/dev

History of projective geometry 1ZV3PJPSD6

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

Mentions

wikipedia: Wikipedia Projective geometry#RGW3, History of projective geometry (unknown)

History

2026-11-02: add by m2/dev

1ZV6S8J4D4 1ZV6S8J4D4

URI	`m2://inv/1ZV6S8J4D4`
Kind	statement
Layer	research
MSC	11-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.40123#GCHZ (statement). In WK2YHYEDZ9/e1, proposition 4.8

History

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

Example 1ZV7WVV747

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

Mentions

wikipedia: Wikipedia Blocking (statistics)#A38Q, Example (example)

History

2026-11-02: add by m2/dev

Formulation 1ZVA8H3YMG

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

Mentions

wikipedia: Wikipedia Alekseev–Gröbner formula#Q0VG, Formulation (definition)

History

2026-11-02: add by m2/dev

1ZVDSP3K0S 1ZVDSP3K0S

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

Mentions

arxiv: arXiv 2609.21668#5NJ3 (statement)

History

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

1ZVKVF2WP2 1ZVKVF2WP2

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

Mentions

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

History

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

1ZVMRXV0XM 1ZVMRXV0XM

URI	`m2://inv/1ZVMRXV0XM`
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.15402#XSVK (statement). In WSE8SEHVXG/e1, lemma 23

History

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

Definition 1ZVSQY2ZTA

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

Mentions

wikipedia: Wikipedia Profinite group#1BZF, Definition (definition)

History

2026-11-02: add by m2/dev

Hilbertian field 1ZW17JZDW0

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

Mentions

wikipedia: Wikipedia Thin set (Serre)#DQP6, Hilbertian field (unknown)

History

2026-11-02: add by m2/dev

Heini Halberstam 1ZWFWHR6GN

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ASJJ, Heini Halberstam (unknown)

History

2026-11-02: add by m2/dev

1ZWQT5567Q 1ZWQT5567Q

URI	`m2://inv/1ZWQT5567Q`
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 2610.04382#UG1M (statement). In 7VW8XD28G1/e1, theorem 1

History

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

Miklós Csörgő 1ZWRAECQPG

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#SOSB, Miklós Csörgő (topic)

History

2026-11-02: add by m2/dev

Wronskian 1ZWXPCSFGD

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

Mentions

wikipedia: Wikipedia List of named matrices#DKHU, Wronskian (definition)

History

2026-11-02: add by m2/dev

Chvátal's art gallery theorem 1ZWZA61NXV

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

Mentions

wikipedia: Wikipedia Art gallery problem#DRIE, Chvátal's art gallery theorem (statement)

History

2026-11-02: add by m2/dev

1ZX109MRV2 1ZX109MRV2

URI	`m2://inv/1ZX109MRV2`
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 2610.13180#5013 (statement). In 7TSVFYEGD8/e1, lemma 3.3

History

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

1ZXCZX1M9M 1ZXCZX1M9M

URI	`m2://inv/1ZXCZX1M9M`
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 2312.14319#0UVY (statement). In V0S2EZ53GB/e1, proposition 2.1

History

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

1ZXD7GQG2P 1ZXD7GQG2P

URI	`m2://inv/1ZXD7GQG2P`
Kind	problem
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 2304.02722#78C1 (problem). In AH7D55D3WV/e1, problem 12.1

History

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

1ZXDH15SM7 1ZXDH15SM7

URI	`m2://inv/1ZXDH15SM7`
Kind	statement
Layer	research
MSC	05-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 2302.06336#8EA3 (statement). In CCRSWBXWXW/e1, theorem 1.3

History

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

Conventions 1ZXFSA3GG1

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

Mentions

wikipedia: Wikipedia Strike and dip#S194, Conventions (definition)

History

2026-11-02: add by m2/dev

1ZXNKZGCZX 1ZXNKZGCZX

URI	`m2://inv/1ZXNKZGCZX`
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.24314#17FO (statement)

History

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

1ZXPMM9MFD 1ZXPMM9MFD

URI	`m2://inv/1ZXPMM9MFD`
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.08912#DQ2K (statement). In DK5QY64NGH/e1, proposition 4.5

History

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

Statistical epidemiology 1ZXZG5HBKA

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

Mentions

wikipedia: Wikipedia Statistical epidemiology, Statistical epidemiology (topic). Also Wikidata Q7604393

History

2026-11-02: add by m2/dev

Rosser's equation 1ZY063PDDZ

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

Mentions

wikipedia: Wikipedia Rosser's equation, Rosser's equation (definition). Also Wikidata Q16932429

History

2026-11-02: add by m2/dev

The genus formula 1ZY25PFKJA

URI	`m2://inv/1ZY25PFKJA`
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.33185#ZIRW, The genus formula (statement). In QX30H2WNA7/e1, proposition 4.5

History

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

A-Integrable 1ZY8N4PW5R

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

Mentions

wikidata: Wikidata Q122889481, A-Integrable (concept). Also MathWorld A-Integrable

History

2026-10-26: add by m2/dev

1ZYA1DDZTV 1ZYA1DDZTV

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

Mentions

arxiv: arXiv 2609.28669#ET1R (definition)

History

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

1ZYGQPNA3J 1ZYGQPNA3J

URI	`m2://inv/1ZYGQPNA3J`
Kind	statement
Layer	research
MSC	26-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.34918#NNEO (statement). In B3MNVE9149/e1, proposition 6.1

History

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

apocalypse number 1ZYQR9RJ2A

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

Mentions

wikidata: Wikidata Q125396104, apocalypse number (unknown). Also MathWorld ApocalypseNumber

History

2026-10-26: add by m2/dev

1ZYVQWY45H 1ZYVQWY45H

URI	`m2://inv/1ZYVQWY45H`
Kind	statement
Layer	research
Sources	1
Outcome	record (an item of a paper that no node asks 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#IRVV (statement). In CY1FE8W1ZW/e1, lemma 0.183

History

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

1ZYW85RF0H 1ZYW85RF0H

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

Mentions

arxiv: arXiv 2610.22082#PLOW (statement). In 7PACGDW3N7/e1, lemma 11.2

History

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

Semilinearity 1ZYXJN7CP4

URI	`m2://inv/1ZYXJN7CP4`
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.32651#EAEL, Semilinearity (statement). In WFJXSE3VDT/e1, lemma 2.6

History

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

1ZZ5X3AX1A 1ZZ5X3AX1A

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

Mentions

arxiv: arXiv 2610.16541#6M2P (statement). In D0XH7W96T3/e1, proposition 3.3

History

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

Hermite's cotangent identity 1ZZ5XCAA5C

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

Mentions

wikipedia: Wikipedia Hermite's cotangent identity, Hermite's cotangent identity (statement). Also Wikidata Q16965721

History

2026-11-02: add by m2/dev

Theorem 1ZZ6PGSJ0R

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

Mentions

wikipedia: Wikipedia Yamada–Watanabe theorem#L8WS, Theorem (statement)

History

2026-11-02: add by m2/dev

1ZZARX9K11 1ZZARX9K11

URI	`m2://inv/1ZZARX9K11`
Kind	problem
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.25291#I3UP (problem)

History

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

1ZZBA5R8Z4 1ZZBA5R8Z4

URI	`m2://inv/1ZZBA5R8Z4`
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 2204.01073#4MHC (statement). In W4TYN4PGE8/e1, lemma 2.30

History

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

Hensel's lemma 1ZZFZF22E1

URI	`m2://inv/1ZZFZF22E1`
Kind	statement
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Hensel's lemma 010QVB71T2

Mentions

wikidata: Wikidata Q1424496, Hensel's lemma (statement). Also MathWorld HenselsLemma, nLab Hensel's lemma, ProofWiki Hensel's_Lemma
wikipedia: Wikipedia Hensel's lemma, Hensel's lemma (statement). Also Wikidata Q1424496

History

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

Alexandra Duel-Hallen 1ZZGAYDTG9

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#JNOW, Alexandra Duel-Hallen (unknown)

History

2026-11-02: add by m2/dev

History of group theory 1ZZJ3MME4N

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

Mentions

wikipedia: Wikipedia History of group theory, History of group theory (definition). Also Wikidata Q1053855

History

2026-11-02: add by m2/dev

1ZZVB0FQ0T 1ZZVB0FQ0T

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

Mentions

arxiv: arXiv 0911.1417#GIFM (statement). In BBD7TZW79R/e1, theorem 5.13

History

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