Inventory rows 6R

trichotomy law 6R00PA2JYJ

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

Mentions

wikipedia: Wikipedia Glossary of logic#6WAR, trichotomy law (definition)

History

2026-11-02: add by m2/dev

interval representation, distinguishing 6R014PF6KJ

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

Mentions

applied_combinatorics: applied_combinatorics index/6.6/interval-representation-distinguishing, interval representation, distinguishing (concept). In QKM9DD2H56, index, section 6.6

History

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

6R06B9SX6V 6R06B9SX6V

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

Mentions

arxiv: arXiv 2610.13532#VV2Q (statement). In 9B0X8YPF3P/e1, theorem 9.1

History

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

Alissa Crans 6R0GY02A01

URI	`m2://inv/6R0GY02A01`
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 Q58010066, Alissa Crans (unknown). Also nLab Alissa Crans
wikipedia: Wikipedia Alissa Crans, Alissa Crans (topic). Also Wikidata Q58010066

History

2026-10-26: add by m2/dev

Ramanujan–Peterssen conjecture 6R0N9W6KZV

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

Mentions

wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#PZI9, Ramanujan–Peterssen conjecture (statement)

History

2026-11-02: add by m2/dev

Palm calculus 6R0PAJD7W6

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

Mentions

wikipedia: Wikipedia Palm calculus, Palm calculus (definition). Also Wikidata Q7128099

History

2026-11-02: add by m2/dev

primitive proposition 6R0QZ6TVFJ

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#S5LV, primitive proposition (definition)

History

2026-11-02: add by m2/dev

De Morgan Medal 6R0S8D1A8A

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

Mentions

wikipedia: Wikipedia De Morgan Medal, De Morgan Medal (definition). Also Wikidata Q507299

History

2026-11-02: add by m2/dev

Quantum least squares fitting 6R0VBD7DE7

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

Mentions

wikipedia: Wikipedia Quantum optimization algorithms#45EL, Quantum least squares fitting (unknown)

History

2026-11-02: add by m2/dev

Definitions 6R1030JEBB

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

Mentions

wikipedia: Wikipedia Percentile#J0SM, Definitions (definition)

History

2026-11-02: add by m2/dev

Double angle identity 6R11JQDG83

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

Mentions

wikipedia: Wikipedia Exsecant#LGG3, Double angle identity (statement)

History

2026-11-02: add by m2/dev

chain rule 6R11TRXR6D

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

Mentions

lebl_ra: lebl_ra index/11.3.1/chain-rule, chain rule (concept). In E59CDZA4DP, index, section 11.3.1

History

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

6R11Y3W95D 6R11Y3W95D

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

Mentions

arxiv: arXiv 2609.21116#GF0H (statement)

History

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

Elementary critical bounds 6R1468TMA5

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

Mentions

arxiv: arXiv 2609.33154#489H, Elementary critical bounds (statement). In N28DEYRBW7/e1, theorem 3.13

History

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

Spivak 6R15ZHR9GA

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#JFZ3, Spivak (definition)

History

2026-11-02: add by m2/dev

6R18119XKS 6R18119XKS

URI	`m2://inv/6R18119XKS`
Kind	statement
Layer	research
MSC	05-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.22076#L0VY (statement). In TTJB4HBG5R/e1, theorem 1.1

History

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

Annie Raoult 6R19G2NSJ5

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

Mentions

wikipedia: Wikipedia Annie Raoult, Annie Raoult (topic). Also Wikidata Q102230544

History

2026-11-02: add by m2/dev

Predictive Posterior and Evidence 6R1DBCB4BV

URI	`m2://inv/6R1DBCB4BV`
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 2212.14457#QZN0, Predictive Posterior and Evidence (statement). In PNRHHWGHM2/e1, theorem 3.1

History

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

PV-WAVE 6R1DHB6T2N

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

Mentions

wikipedia: Wikipedia List of statistical software#7OB2, PV-WAVE (unknown)

History

2026-11-02: add by m2/dev

6R1E8BK5SJ 6R1E8BK5SJ

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

Mentions

arxiv: arXiv 0709.4546#SA38 (statement). In 7H5Q5M7W96/e1, theorem 2.1

History

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

2-Yoneda lemma 6R1F5R8BJ9

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

Mentions

wikipedia: Wikipedia 2-Yoneda lemma, 2-Yoneda lemma (statement). Also Wikidata Q134303619

History

2026-11-02: add by m2/dev

Naoki Saito 6R1H1G7YJ6

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

Mentions

wikipedia: Wikipedia Naoki Saito (mathematician), Naoki Saito (topic). Also Wikidata Q102194603

History

2026-11-02: add by m2/dev

6R1KMA807P 6R1KMA807P

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

Mentions

arxiv: arXiv 2609.35340#LTDU (statement). In WCY07D1CJG/e1, proposition 3.4

History

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

6R1M3HSMWF 6R1M3HSMWF

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

Mentions

open_logic: open_logic content/normal-modal-logic/syntax-and-semantics/relational-models.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 54.6

History

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

Bob Toledo 6R1N2C2KPH

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#NDE5, Bob Toledo (unknown)

History

2026-11-02: add by m2/dev

6R1P37X6NB 6R1P37X6NB

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-nonlin-systems.tex#exercise-4 (exercise). In E9HS8K3A52, exercise, section 8.1.3

History

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

6R1T7KPSV2 6R1T7KPSV2

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

History

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

6R1TMBVJ7N 6R1TMBVJ7N

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

Mentions

arxiv: arXiv 2308.09645#HIQK (definition). In HVDSC1GQRD/e1, definition 1.2

History

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

6R1W5YZ4HG 6R1W5YZ4HG

URI	`m2://inv/6R1W5YZ4HG`
Kind	statement
Layer	research
MSC	35-XX, 37-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 1503.05744#QL1U (statement). In 5XKHZKEGAF/e1, corollary 4.8

History

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

No uniform equivariant suspension period 6R1WFGZ6VM

URI	`m2://inv/6R1WFGZ6VM`
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#69QO, No uniform equivariant suspension period (statement). In 7PACGDW3N7/e1, theorem 8.3

History

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

Omitting types theorem 6R21FMFC5H

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

Mentions

wikipedia: Wikipedia Type (model theory)#1VSE, Omitting types theorem (statement)

History

2026-11-02: add by m2/dev

Daphne Koller 6R21XCSG37

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#0RJL, Daphne Koller (unknown)

History

2026-11-02: add by m2/dev

Climate sensitivity 6R23S8V4NM

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

Mentions

wikipedia: Wikipedia Climate sensitivity, Climate sensitivity (definition). Also Wikidata Q521783

History

2026-11-02: add by m2/dev

independent 6R2GNW3CEK

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

Mentions

wikipedia: Wikipedia Glossary of logic#71FY, independent (definition)

History

2026-11-02: add by m2/dev

6R2MTDS85X 6R2MTDS85X

URI	`m2://inv/6R2MTDS85X`
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.32906#BLTR (statement). In R589MXXHX4/e1, theorem 5.9

History

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

6R2PTG8Q1M 6R2PTG8Q1M

URI	`m2://inv/6R2PTG8Q1M`
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.22205#JNJ3 (statement). In 7REABAAQED/e1, lemma

History

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

6R2QX8PW1K 6R2QX8PW1K

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

Mentions

arxiv: arXiv 2609.33300#VOA0 (statement). In AWF7ZHK4EM/e1, theorem 1.7

History

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

6R2SDCDPXE 6R2SDCDPXE

URI	`m2://inv/6R2SDCDPXE`
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.06544#CLTK (statement). In VCRB27RMN6/e1, proposition 9.1

History

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

Berkeley cardinal 6R2W0MANPJ

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

Mentions

wikipedia: Wikipedia Berkeley cardinal, Berkeley cardinal (definition). Also Wikidata Q25303846

History

2026-11-02: add by m2/dev

Malcolm Ludvigsen 6R311YGJCA

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

Mentions

wikipedia: Wikipedia Malcolm Ludvigsen, Malcolm Ludvigsen (topic). Also Wikidata Q6742450

History

2026-11-02: add by m2/dev

Victor Kac 6R314YAK8R

URI	`m2://inv/6R314YAK8R`
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 Q1385427, Victor Kac (unknown). Also nLab Victor Kac
wikipedia: Wikipedia Victor Kac, Victor Kac (topic). Also Wikidata Q1385427

History

2026-10-26: add by m2/dev

Basic properties 6R35YJRD12

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

Mentions

wikipedia: Wikipedia Compact operator#MRQN, Basic properties (statement)

History

2026-11-02: add by m2/dev

6R3CFC4W7E 6R3CFC4W7E

URI	`m2://inv/6R3CFC4W7E`
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.07546#Z2KG (statement). In H9YE46CGFN/e1, theorem 1

History

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

Arthur M. Okun 6R3N3NECNK

URI	`m2://inv/6R3N3NECNK`
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#NELT, Arthur M. Okun (unknown)

History

2026-11-02: add by m2/dev

6R3PC063B3 6R3PC063B3

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

Mentions

arxiv: arXiv 2609.31216#RX0A (statement). In M9CSGRSRB3/e1, lemma 2.3

History

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

Representations 6R3QE7NXR3

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

Mentions

wikipedia: Wikipedia F4 (mathematics)#ECB4, Representations (definition)

History

2026-11-02: add by m2/dev

Examples 6R3RMV28VQ

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

Mentions

wikipedia: Wikipedia Pythagorean triple#HW24, Examples (example)

History

2026-11-02: add by m2/dev

6R3V03J5K7 6R3V03J5K7

URI	`m2://inv/6R3V03J5K7`
Kind	example
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.14318#3KFI (example). In HA4SZZJ831/e1, example 2.1

History

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

Hilbert--Gelfand space 6R3WRGG5S0

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

Mentions

arxiv: arXiv 2610.14906#J2ZF, Hilbert--Gelfand space (definition). In 1F8ENX770M/e1, definition 2.2

History

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

Neighbourhood components analysis 6R3XHHNGRS

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

Mentions

wikipedia: Wikipedia Neighbourhood components analysis, Neighbourhood components analysis (definition). Also Wikidata Q6988163

History

2026-11-02: add by m2/dev

Novikov's condition 6R421GWSYH

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

Mentions

wikipedia: Wikipedia Novikov's condition, Novikov's condition (definition). Also Wikidata Q7064907

History

2026-11-02: add by m2/dev

Euler equations 6R4E40FTH3

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

Mentions

wikipedia: Wikipedia Euler equations (fluid dynamics), Euler equations (definition). Also Wikidata Q375175

History

2026-11-02: add by m2/dev

Sinkov statistic 6R4H98DSKF

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

Mentions

wikipedia: Wikipedia Sinkov statistic, Sinkov statistic (definition). Also Wikidata Q7524612

History

2026-11-02: add by m2/dev

Inverse function 6R4PGZBMER

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

Mentions

wikipedia: Wikipedia List of real analysis topics#2IJH, Inverse function (definition)

History

2026-11-02: add by m2/dev

Harold Jeffreys 6R4PJKXTGG

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

Mentions

wikipedia: Wikipedia List of mathematical probabilists#51VN, Harold Jeffreys (unknown)

History

2026-11-02: add by m2/dev

permutation 6R4PV6NBN0

URI	`m2://inv/6R4PV6NBN0`
Kind	concept
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Permutation 05RWFKVTJ7

Mentions

wikidata: Wikidata Q161519, permutation (concept). Also EoM Permutation, MathWorld Permutation, nLab permutation
wikipedia: Wikipedia Permutation, Permutation (definition). Also Wikidata Q161519

History

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

6R4Q2GGFFV 6R4Q2GGFFV

URI	`m2://inv/6R4Q2GGFFV`
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.02669#XJKN (statement). In NSBSWH6XB4/e1, lemma 4.4

History

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

6R4RH4VFTT 6R4RH4VFTT

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#example-4 (example). In E59CDZA4DP, example, section 6.2.2

History

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

Pairs S65--S68 6R4SHNFE79

URI	`m2://inv/6R4SHNFE79`
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.08865#5YR8, Pairs S65--S68 (statement). In SJ5JKGH94M/e1, theorem 20

History

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

6R51VC3FS6 6R51VC3FS6

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

Mentions

arxiv: arXiv 2609.35030#NO49 (statement). In DPT4P2BTEW/e1, lemma 9.6

History

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

6R569ZCF0M 6R569ZCF0M

URI	`m2://inv/6R569ZCF0M`
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.20077#1BWR (statement). In W5XRKWDADE/e1, lemma 6.5

History

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

Claudia Polini 6R578JHEHN

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

Mentions

wikipedia: Wikipedia Claudia Polini, Claudia Polini (topic). Also Wikidata Q58416608

History

2026-11-02: add by m2/dev

polynomial congruence 6R5N6252G2

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

Mentions

wikidata: Wikidata Q3686971, polynomial congruence (definition). Also EoM Congruence_equation, MathWorld CongruenceEquation, ProofWiki Definition:Polynomial_Congruence

History

2026-10-26: add by m2/dev

Definitions 6R5SCZK9N7

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

Mentions

wikipedia: Wikipedia Conditional expectation#GYR8, Definitions (definition)

History

2026-11-02: add by m2/dev

Wild bootstrap 6R5VC636P0

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

Mentions

wikipedia: Wikipedia Bootstrapping (statistics)#8LM1, Wild bootstrap (unknown)

History

2026-11-02: add by m2/dev

Order-4 octagonal tiling 6R5WCQ959Y

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

Mentions

wikipedia: Wikipedia Order-4 octagonal tiling, Order-4 octagonal tiling (object). Also Wikidata Q7100399

History

2026-11-02: add by m2/dev

6R66DHMQ9D 6R66DHMQ9D

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

Mentions

arxiv: arXiv 2610.18371#1392 (statement). In V9QJTE6S79/e1, theorem 1.2

History

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

Singular Monge--Ampère measures 6R6CTZJ5H3

URI	`m2://inv/6R6CTZJ5H3`
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 2610.17519#RQOH, Singular Monge--Ampère measures (example). In H2DNTQ5MKV/e1, example 3.5

History

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

Examples 6R6K7JKXZT

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

Mentions

wikipedia: Wikipedia Finitely generated group#UNLA, Examples (example)

History

2026-11-02: add by m2/dev

Tertiary ideal 6R6QHGNW5N

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

Mentions

wikipedia: Wikipedia Tertiary ideal, Tertiary ideal (definition). Also Wikidata Q7705272

History

2026-11-02: add by m2/dev

6R6S9A1JBH 6R6S9A1JBH

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

Mentions

arxiv: arXiv 2609.35396#YZ0N (statement). In 51N4SF53EV/e1, corollary 3.4

History

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

branchwidth 6R6SM4Z5KZ

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#RBCC, branchwidth (definition)

History

2026-11-02: add by m2/dev

loop space 6R6V01VYV8

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

Mentions

hott_book: hott_book index/6.2/loop-space, loop space (concept). In N54F33XE07, index, section 6.2

History

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

6R6WD5J79Q 6R6WD5J79Q

URI	`m2://inv/6R6WD5J79Q`
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.37901#70JL (statement). In 363WNMSDMA/e1, theorem 1

History

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

6R6ZSN0Z18 6R6ZSN0Z18

URI	`m2://inv/6R6ZSN0Z18`
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.01899#WZ44 (statement). In 638TEFBFGP/e1, lemma 4.2

History

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

Examples 6R72D3BTAB

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

Mentions

wikipedia: Wikipedia Irrationality sequence#ICNU, Examples (example)

History

2026-11-02: add by m2/dev

6R76631ZDY 6R76631ZDY

URI	`m2://inv/6R76631ZDY`
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#MNUY (statement). In 4V64K0DYSV/e1, lemma

History

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

Michael Maschler 6R79HT7KYA

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#3EVH, Michael Maschler (unknown)

History

2026-11-02: add by m2/dev

eigenvalue of a boundary value problem 6R7AZBTXK1

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

Mentions

lebl_diffyqs: lebl_diffyqs index/5.1.2/eigenvalue-of-a-boundary-value-problem, eigenvalue of a boundary value problem (concept). In E9HS8K3A52, index, section 5.1.2

History

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

6R7FBMR6MN 6R7FBMR6MN

URI	`m2://inv/6R7FBMR6MN`
Kind	conjecture
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.04833#QMOZ (conjecture). In AKB3CNDA0F/e1, conjecture 1.1

History

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

homotopy hypothesis 6R7G0CSVDA

URI	`m2://inv/6R7G0CSVDA`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Homotopy hypothesis 2E83D9ACDY

Mentions

wikidata: Wikidata Q16879377, homotopy hypothesis (unknown). Also nLab homotopy hypothesis
wikipedia: Wikipedia Homotopy hypothesis, Homotopy hypothesis (statement). Also Wikidata Q16879377

History

2026-10-26: add by m2/dev

6R7JSEK191 6R7JSEK191

URI	`m2://inv/6R7JSEK191`
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 2504.13516#W2RG (statement). In Z9JWKWH7CJ/e1, theorem 4.1

History

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

William Jaco 6R7R1THN6P

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#YEVP, William Jaco (topic)

History

2026-11-02: add by m2/dev

toroidal field 6R7YTZPS78

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

Mentions

wikidata: Wikidata Q115322793, toroidal field (unknown). Also MathWorld ToroidalField

History

2026-10-26: add by m2/dev

Von Mises–Fisher distribution 6R83YPKPV2

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

Mentions

wikipedia: Wikipedia Von Mises–Fisher distribution, Von Mises–Fisher distribution (definition). Also Wikidata Q7941489

History

2026-11-02: add by m2/dev

6R850RQ2NK 6R850RQ2NK

URI	`m2://inv/6R850RQ2NK`
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.10365#LZSI (statement). In PRVQPSBVHK/e1, corollary 13

History

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

6R8QTKX4M5 6R8QTKX4M5

URI	`m2://inv/6R8QTKX4M5`
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.32946#FYRH (statement). In 6AEBXNK614/e1, lemma 4.2

History

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

Diophantine equation 6R8R59TF6H

URI	`m2://inv/6R8R59TF6H`
Kind	definition
Layer	textbook
MSC	11Dxx
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Diophantine equation 08B1RTW7VZ

Mentions

wikidata: Wikidata Q905896, Diophantine equation (topic). Also EoM Diophantine_equations, MathWorld DiophantineEquation, ProofWiki Definition:Diophantine_Equation
wikipedia: Wikipedia Diophantine equation, Diophantine equation (definition). Also Wikidata Q905896

History

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

Markov structure 6R90VA66A3

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

Mentions

arxiv: arXiv 2609.26270#C99H, Markov structure (statement)

History

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

6R90W0NQJA 6R90W0NQJA

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

Mentions

arxiv: arXiv 2610.09086#LZIM (statement). In JPC86V77CH/e1, lemma 4.3

History

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

Lagrangian subspace 6R91M4WS9R

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

Mentions

wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#D50A, Lagrangian subspace (definition)

History

2026-11-02: add by m2/dev

Stirling cycle 6R97GMMJ4B

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

Mentions

wikipedia: Wikipedia Stirling cycle, Stirling cycle (definition). Also Wikidata Q910550

History

2026-11-02: add by m2/dev

6R9JJ3J8X8 6R9JJ3J8X8

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

Mentions

arxiv: arXiv 2610.04870#QWCP (statement). In X765ZXXVC3/e1, theorem 5.2

History

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

Nancy Temkin 6R9QF7Q1JS

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

Mentions

wikipedia: Wikipedia Nancy Temkin, Nancy Temkin (topic). Also Wikidata Q42305716

History

2026-11-02: add by m2/dev

6R9QK8NNJZ 6R9QK8NNJZ

URI	`m2://inv/6R9QK8NNJZ`
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.17541#61Z5 (statement). In 9PHDBFMHH6/e1, lemma A.2

History

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

Belief bias 6R9SN3714C

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

Mentions

wikipedia: Wikipedia List of cognitive biases#0KAD, Belief bias (unknown)

History

2026-11-02: add by m2/dev

6RA44WCDRA 6RA44WCDRA

URI	`m2://inv/6RA44WCDRA`
Kind	conjecture
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.31615#Y6RX (conjecture). In TNV6XTEWEG/e1, conjecture 1

History

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

Jürgen Moser 6RANZ0M68N

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#XL1J, Jürgen Moser (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#0X4V, Jürgen Moser (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#X5AH, Jürgen Moser (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZF23, Jürgen Moser (topic)
wikipedia: Wikipedia List of German mathematicians#9OMK, Jürgen Moser (topic)

History

2026-11-02: add by m2/dev

Conductor detector 6RAPBMY3BJ

URI	`m2://inv/6RAPBMY3BJ`
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.05652#6UCL, Conductor detector (statement). In 8BNPFYQDQX/e1, theorem 10.4

History

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

6RASDBXRPA 6RASDBXRPA

URI	`m2://inv/6RASDBXRPA`
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.25367#1DIA (statement)

History

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

6RB01EWB4A 6RB01EWB4A

URI	`m2://inv/6RB01EWB4A`
Kind	example
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#1JIQ (example). In ZYNZ95FSFD/e1, example 1.2

History

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

Meyniel (1973) 6RBAE02Y2T

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

Mentions

wikipedia: Wikipedia Hamiltonian path#UOPS, Meyniel (1973) (statement)

History

2026-11-02: add by m2/dev

Kozma and Oravecz 6RBAY1HTBB

URI	`m2://inv/6RBAY1HTBB`
Kind	statement
Layer	research
MSC	26-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 2503.19729#ABOI, Kozma and Oravecz (statement). In 40YZ43TS8K/e1, theorem 2.2

History

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

Ivo Lah 6RBDQ0P7HK

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

Mentions

wikipedia: Wikipedia List of actuaries#XATU, Ivo Lah (unknown)

History

2026-11-02: add by m2/dev

Definition (Jacobi's bialternant formula) 6RBDQHPBAD

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

Mentions

wikipedia: Wikipedia Schur polynomial#PIFL, Definition (Jacobi's bialternant formula) (definition)

History

2026-11-02: add by m2/dev

6RBEMBDD8D 6RBEMBDD8D

URI	`m2://inv/6RBEMBDD8D`
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 2303.10636#FZ3K (statement). In 9SV2RAEPXM/e1, theorem 3.2

History

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

6RBFA26S4M 6RBFA26S4M

URI	`m2://inv/6RBFA26S4M`
Kind	conjecture
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.31489#MMHW (conjecture). In ZKBG58PN1J/e1, conjecture 5.11

History

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

Konstantin Khanin 6RBJCYRN88

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

Mentions

wikipedia: Wikipedia Konstantin Khanin, Konstantin Khanin (topic). Also Wikidata Q30525230

History

2026-11-02: add by m2/dev

Applications 6RBQXCX64Z

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

Mentions

wikipedia: Wikipedia Polynomial interpolation#CHVA, Applications (example)

History

2026-11-02: add by m2/dev

Mathematics in the Renaissance 6RBXHZ7GBK

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

Mentions

wikipedia: Wikipedia History of mathematics#ZFLP, Mathematics in the Renaissance (unknown)

History

2026-11-02: add by m2/dev

idempotent 6RBZNNVH8F

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

Mentions

wikipedia: Wikipedia Glossary of logic#M9Y0, idempotent (definition)

History

2026-11-02: add by m2/dev

6RBZVBXZVM 6RBZVBXZVM

URI	`m2://inv/6RBZVBXZVM`
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.13931#CH71 (statement). In EXA79VR78Q/e1, lemma A.3

History

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

6RC2SJR79K 6RC2SJR79K

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

Mentions

arxiv: arXiv 2409.20170#U0TM (definition). In QXJP79APHN/e1, definition 5.6

History

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

Heine–Borel theorem 6RC4W99DJT

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

Mentions

wikipedia: Wikipedia List of misnamed theorems#F47D, Heine–Borel theorem (statement)

History

2026-11-02: add by m2/dev

Change of basis 6RC8PCW6BE

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

Mentions

arxiv: arXiv 2609.20550#AM5F, Change of basis (statement)

History

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

6RC8RQ673V 6RC8RQ673V

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

Mentions

arxiv: arXiv 2609.21052#HXRM (example)

History

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

Example 6RCA1FNSE9

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

Mentions

wikipedia: Wikipedia Engel expansion#M9JA, Example (example)

History

2026-11-02: add by m2/dev

Stable causality 6RCAXK4F1K

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

Mentions

wikipedia: Wikipedia Causality conditions#7UHO, Stable causality (unknown)

History

2026-11-02: add by m2/dev

6RCJM0K1C9 6RCJM0K1C9

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

Mentions

arxiv: arXiv 2609.31220#KM4L (statement). In JMWCGMNE84/e1, theorem 5.8

History

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

6RCTW6W31D 6RCTW6W31D

URI	`m2://inv/6RCTW6W31D`
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#8A2A (statement). In QXY3W2JV2N/e1, proposition 3.1

History

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

resummation identity 6RCX74CG45

URI	`m2://inv/6RCX74CG45`
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.39511#30YV, resummation identity (statement). In 6W9H24A378/e1, theorem 4

History

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

Principal indecomposable module 6RCYSF2P6Y

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

Mentions

wikipedia: Wikipedia Principal indecomposable module, Principal indecomposable module (definition). Also Wikidata Q7245081

History

2026-11-02: add by m2/dev

Analytical Society 6RD17ZS9B2

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

Mentions

wikipedia: Wikipedia Analytical Society, Analytical Society (definition). Also Wikidata Q2845279

History

2026-11-02: add by m2/dev

Barber, Erde 6RD3J7GW3G

URI	`m2://inv/6RD3J7GW3G`
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 2609.31331#MEW9, Barber, Erde (statement). In TWB64HRHWZ/e1, theorem 7

History

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

6RD5H0CA4G 6RD5H0CA4G

URI	`m2://inv/6RD5H0CA4G`
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.22777#84I8 (statement)

History

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

6RDBKWV9KD 6RDBKWV9KD

URI	`m2://inv/6RDBKWV9KD`
Kind	statement
Layer	research
MSC	17-XX, 57-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.09354#B8LO (statement). In 5VAJC29KA2/e1, lemma 2.1

History

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

Definition 6RDFAB2VR4

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

Mentions

wikipedia: Wikipedia Bonferroni correction#O4N8, Definition (definition)

History

2026-11-02: add by m2/dev

Michel Balinski 6RDFY0MTEQ

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

Mentions

wikipedia: Wikipedia Michel Balinski, Michel Balinski (topic). Also Wikidata Q15769189

History

2026-11-02: add by m2/dev

Optimal matching 6RDNR5AZQN

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

Mentions

wikipedia: Wikipedia Optimal matching, Optimal matching (definition). Also Wikidata Q7098946

History

2026-11-02: add by m2/dev

Idealised population 6RDRYE6GAF

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

Mentions

wikipedia: Wikipedia List of statistics articles#X1DB, Idealised population (definition)

History

2026-11-02: add by m2/dev

regression analysis 6RDWRHDDPG

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#MXVI, regression analysis (definition)

History

2026-11-02: add by m2/dev

6RDXJ5KE30 6RDXJ5KE30

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

Mentions

open_logic: open_logic content/normal-modal-logic/filtrations/filtrations-def.tex#cor-1 (statement). In PKGMM3P5QY, cor, section 51.10

History

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

Borsuk--Ulam 6REHNEYPZ4

URI	`m2://inv/6REHNEYPZ4`
Kind	statement
Layer	research
MSC	46-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 2310.01868#MUWV, Borsuk--Ulam (statement). In MQ8S73F6X7/e1, theorem 9

History

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

Trigonometric substitution 6RF15DN4DX

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

Mentions

wikipedia: Wikipedia Trigonometric substitution, Trigonometric substitution (definition). Also Wikidata Q1191963

History

2026-11-02: add by m2/dev

mouse 6RF9M6H2HY

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

Mentions

wikipedia: Wikipedia Glossary of set theory#6O08, mouse (definition)

History

2026-11-02: add by m2/dev

6RFA8V40TC 6RFA8V40TC

URI	`m2://inv/6RFA8V40TC`
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 2610.07471#4N2Y (statement). In 7DHCS5SEHT/e1, lemma 3

History

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

Applications 6RFBD8NQ1D

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

Mentions

wikipedia: Wikipedia Ellipsoid#R90N, Applications (example)

History

2026-11-02: add by m2/dev

Terminology 6RFEGFE6MN

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

Mentions

wikipedia: Wikipedia List of polynomial topics#KMMM, Terminology (definition)

History

2026-11-02: add by m2/dev

Dirichlet distribution 6RFVTF5M9F

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

Mentions

wikipedia: Wikipedia Dirichlet distribution, Dirichlet distribution (definition). Also Wikidata Q981016

History

2026-11-02: add by m2/dev

Augmented Dickey–Fuller test 6RFXCYP6MF

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

Mentions

wikipedia: Wikipedia List of statistics articles#IXJZ, Augmented Dickey–Fuller test (definition)

History

2026-11-02: add by m2/dev

6RFZVEFJYD 6RFZVEFJYD

URI	`m2://inv/6RFZVEFJYD`
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 2610.03856#9CQX (definition). In HTBRYNPHSJ/e1, definition 4.1

History

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

Curvature estimate 6RG3FYZNQS

URI	`m2://inv/6RG3FYZNQS`
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.15511#9OPJ, Curvature estimate (statement). In TZM08VJAQT/e1, proposition 2.9

History

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

6RG8ECJ5KT 6RG8ECJ5KT

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

Mentions

arxiv: arXiv 2609.36884#92HJ (definition). In Z7E16PFFCP/e1, definition 3.27

History

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

6RGFX4G3BK 6RGFX4G3BK

URI	`m2://inv/6RGFX4G3BK`
Kind	example
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.11292#3OK5 (example). In Y35XMETFV7/e1, example 2.5

History

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

Examples 6RGHR4W8N9

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

Mentions

wikipedia: Wikipedia Boxicity#1P1U, Examples (example)

History

2026-11-02: add by m2/dev

Grover operator 6RGKRSWQWN

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

Mentions

wikipedia: Wikipedia Grover's algorithm#EZ1B, Grover operator (unknown)

History

2026-11-02: add by m2/dev

Binary octahedral group 6RH22NX9W1

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

Mentions

wikipedia: Wikipedia Binary octahedral group, Binary octahedral group (definition). Also Wikidata Q4913904

History

2026-11-02: add by m2/dev

Modular $S$-covariance 6RH28EY1JP

URI	`m2://inv/6RH28EY1JP`
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.08787#K2EQ, Modular $S$-covariance (statement). In CCQ5XXWYDZ/e1, proposition III.6

History

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

Glossary of probability and statistics 6RH2MC74BT

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

Mentions

wikipedia: Wikipedia Lists of statistics topics#O98Q, Glossary of probability and statistics (topic)

History

2026-11-02: add by m2/dev

6RHA6WZHDX 6RHA6WZHDX

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

Mentions

arxiv: arXiv 2408.01345#N6TT (statement). In PT5PBPCS3P/e1, theorem 4.2

History

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

Łoś' theorem 6RHFXSV5ZV

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

Mentions

wikipedia: Wikipedia List of theorems#KSXA, Łoś' theorem (definition)

History

2026-11-02: add by m2/dev

6RHJFN4SAZ 6RHJFN4SAZ

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

Mentions

arxiv: arXiv 2609.37706#3ZZH (statement). In 6YY27KRJFN/e1, proposition 4.48

History

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

6RHTY9F5WX 6RHTY9F5WX

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

Mentions

napkin: napkin tex/calculus/taylor.tex#definition-5 (definition). In RZP28ERRZV, definition, section 34.5

History

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

6RJ04ZYZ84 6RJ04ZYZ84

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

Mentions

arxiv: arXiv 2610.20801#KDUV (statement). In A1GWWGRXPA/e1, proposition 4.10

History

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

Jan Hogendijk 6RJ9S7A02W

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

Mentions

wikipedia: Wikipedia Jan Hogendijk, Jan Hogendijk (topic). Also Wikidata Q1681854

History

2026-11-02: add by m2/dev

6RJKD9GSK0 6RJKD9GSK0

URI	`m2://inv/6RJKD9GSK0`
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.16245#BL2I (statement). In 60CQJN845D/e1, theorem 5

History

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

Anton Davidoglu 6RJKEBRVP4

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

Mentions

wikipedia: Wikipedia Anton Davidoglu, Anton Davidoglu (topic). Also Wikidata Q4775723

History

2026-11-02: add by m2/dev

Marcus Stern 6RJMN8J4QR

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#Y56J, Marcus Stern (unknown)

History

2026-11-02: add by m2/dev

6RJTSWWCQT 6RJTSWWCQT

URI	`m2://inv/6RJTSWWCQT`
Kind	definition
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#GJUZ (definition). In WRE0P7V6Z3/e1, definition 8.2

History

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

Definition and properties 6RJXTW8VGX

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

Mentions

wikipedia: Wikipedia Supersingular isogeny graph#CJ2L, Definition and properties (definition)

History

2026-11-02: add by m2/dev

Pocket set theory 6RK4HPRE97

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

Mentions

wikipedia: Wikipedia Pocket set theory, Pocket set theory (definition). Also Wikidata Q954925

History

2026-11-02: add by m2/dev

left field 6RK52S7VZB

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

Mentions

wikipedia: Wikipedia Glossary of logic#RDS8, left field (definition)

History

2026-11-02: add by m2/dev

intermediate invariant 6RK5M0RTJQ

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#BCCG, intermediate invariant (definition)

History

2026-11-02: add by m2/dev

6RK6X09J0G 6RK6X09J0G

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

Mentions

arxiv: arXiv 2610.16339#TYX7 (statement). In ER5EH4W919/e1, lemma 9.7

History

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

Number Theory Library 6RK92Y1Y42

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

Mentions

wikipedia: Wikipedia Number Theory Library, Number Theory Library (definition). Also Wikidata Q7069563

History

2026-11-02: add by m2/dev

6RKAP4HZ88 6RKAP4HZ88

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

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/minimization-representable.tex#prop:rep-minimization (statement). In PKGMM3P5QY, prop, section 29.10

History

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

Properties and theorems 6RKBHJA0TC

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

Mentions

wikipedia: Wikipedia Laplace transform#B5TL, Properties and theorems (statement)

History

2026-11-02: add by m2/dev

Strictness from the totally real block 6RKC2VPM41

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

Mentions

arxiv: arXiv 2610.00077#Q5VS, Strictness from the totally real block (statement). In C04B15GH1T/e1, corollary 3.8

History

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

Separable point 6RKD1M2Y2C

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

Mentions

wikipedia: Wikipedia List of mathematical properties of points#4SBT, Separable point (definition)

History

2026-11-02: add by m2/dev

Jean Van Heijenoort 6RKHCYH0K4

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

Mentions

wikipedia: Wikipedia List of logicians#1FEP, Jean Van Heijenoort (topic)

History

2026-11-02: add by m2/dev

Attention 6RKM0DFQW6

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

Mentions

wikipedia: Wikipedia Attention (machine learning), Attention (definition). Also Wikidata Q103701642

History

2026-11-02: add by m2/dev

Statement 6RKMFQD3VR

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

Mentions

wikipedia: Wikipedia Fisher–Tippett–Gnedenko theorem#V7QB, Statement (statement)

History

2026-11-02: add by m2/dev

Turing completeness 6RKW0CT32H

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

Mentions

wikidata: Wikidata Q197970, Turing completeness (concept). Also MathWorld Universality
wikipedia: Wikipedia Turing completeness, Turing completeness (definition). Also Wikidata Q197970

History

2026-10-26: add by m2/dev

Compound of five truncated cubes 6RKXTDGVMH

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#MKTY, Compound of five truncated cubes (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#E2V4, Compound of five truncated cubes (definition)

History

2026-11-02: add by m2/dev

Cyclicity Conjecture 6RM5DRQQ3G

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

Mentions

arxiv: arXiv 2610.10093#6BSH, Cyclicity Conjecture (problem). In NJDN112PFS/e1, problem 1.1

History

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

6RM6E1F5GC 6RM6E1F5GC

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

Mentions

arxiv: arXiv 1903.07030#7FVQ (definition). In 9H45HQE7AZ/e1, definition 3.1

History

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

Focal subgroup theorem 6RM6X39DDP

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

Mentions

wikipedia: Wikipedia List of theorems#FAFY, Focal subgroup theorem (statement)

History

2026-11-02: add by m2/dev

6RMB0M1X1K 6RMB0M1X1K

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

Mentions

hott_book: hott_book homotopy.tex#proof-11 (proof). In N54F33XE07, proof, section 7.1.6

History

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

Definition 6RME8SCK49

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

Mentions

wikipedia: Wikipedia Reflective subcategory#LM3D, Definition (definition)

History

2026-11-02: add by m2/dev

Algebra Project 6RMK7R88BC

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

Mentions

wikipedia: Wikipedia Algebra Project, Algebra Project (definition). Also Wikidata Q4723970

History

2026-11-02: add by m2/dev

Naples Manor 6RMP2KXZGB

URI	`m2://inv/6RMP2KXZGB`
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#MSWV, Naples Manor (unknown)

History

2026-11-02: add by m2/dev

Jeans instability 6RMP6V2XYR

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

Mentions

wikipedia: Wikipedia Jeans instability, Jeans instability (definition). Also Wikidata Q1130216

History

2026-11-02: add by m2/dev

Bi-infinite cycles 6RMQJ7JXP1

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

Mentions

arxiv: arXiv 2609.29671#2HGL, Bi-infinite cycles (statement)

History

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

Planar tree 6RMRFT91M7

URI	`m2://inv/6RMRFT91M7`
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 2312.05005#O7UG, Planar tree (definition). In SMJMAQ2S3J/e1, definition 20

History

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

Van Benthem's theorem 6RMW0H655B

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

Mentions

wikipedia: Wikipedia Van Benthem's theorem, Van Benthem's theorem (statement). Also Wikidata Q141591971

History

2026-11-02: add by m2/dev

LTI system theory 6RMXQ58JZ1

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

Mentions

wikipedia: Wikipedia List of types of systems theory#GVG8, LTI system theory (definition)

History

2026-11-02: add by m2/dev

6RMYH6F7AK 6RMYH6F7AK

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

Mentions

lebl_ra: lebl_ra ch-der.tex#example-3 (example). In E59CDZA4DP, example, section 3.1.1

History

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

6RMZQ7TQSZ 6RMZQ7TQSZ

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

Mentions

arxiv: arXiv 2610.11043#8MLX (statement). In R3NJYPZH52/e1, proposition 4.3

History

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

Whole of Government Accounts 6RN44DS1WB

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

Mentions

wikipedia: Wikipedia Whole of Government Accounts, Whole of Government Accounts (definition). Also Wikidata Q7997557

History

2026-11-02: add by m2/dev

6RN5QMY5TJ 6RN5QMY5TJ

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

Mentions

arxiv: arXiv 2610.02061#HFRX (statement). In F5STMSPR6X/e1, proposition 4.5

History

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

Monroe D. Donsker 6RN5VT73TN

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#KE7H, Monroe D. Donsker (unknown)

History

2026-11-02: add by m2/dev

6RN78SYX7S 6RN78SYX7S

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

Mentions

arxiv: arXiv 2610.08655#98A5 (statement). In ZT7H1ZDN96/e1, proposition 7.3

History

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

6RN9XTCF52 6RN9XTCF52

URI	`m2://inv/6RN9XTCF52`
Kind	unknown
Layer	research
MSC	01-XX, 11-XX, 26-XX
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

arxiv: arXiv 2609.33529#ONQ2 (unknown). In RQZGQG3PBR/e1, unknown II.12.9

History

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

Delay before a phase 6RNF4KB734

URI	`m2://inv/6RNF4KB734`
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#EKBY, Delay before a phase (statement). In 5E9G06XJKC/e1, lemma E.5

History

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

6RNJ23V4HT 6RNJ23V4HT

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

Mentions

arxiv: arXiv 2609.33679#1FXU (unknown). In 3N9E9T6AF5/e1, unknown 8.1

History

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

6RNJSWYERM 6RNJSWYERM

URI	`m2://inv/6RNJSWYERM`
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.06108#VJ3E (statement). In D3WKY1PW64/e1, proposition 3.11

History

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

6RNMAB7JMN 6RNMAB7JMN

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

Mentions

arxiv: arXiv 0907.5545#JIIA (definition). In K3GWCTV5YE/e1, definition 5

History

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

6RP5NKDNW4 6RP5NKDNW4

URI	`m2://inv/6RP5NKDNW4`
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.08935#SGRE (statement). In G02N9D40B9/e1, proposition 4.2.8

History

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

Alan M. Frieze 6RPF2TPFWD

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

Mentions

wikipedia: Wikipedia Alan M. Frieze, Alan M. Frieze (topic). Also Wikidata Q4707185

History

2026-11-02: add by m2/dev

6RPVTFP29F 6RPVTFP29F

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

Mentions

arxiv: arXiv 2610.10377#R7TV (statement). In 6HP7BR9WZM/e1, proposition 3.12

History

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

6RPYSZZNCK 6RPYSZZNCK

URI	`m2://inv/6RPYSZZNCK`
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 math/0301148#ZWWW (statement). In 5RE15848Z0/e1, proposition 4.1

History

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

Mahlo cardinal 6RQAGZEG1N

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#AFQA, Mahlo cardinal (definition)

History

2026-11-02: add by m2/dev

6RQPNN7AF1 6RQPNN7AF1

URI	`m2://inv/6RQPNN7AF1`
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.09648#RQFM (statement). In WB9PTPN54H/e1, lemma 3.3

History

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

Continuously orbit equivalent odometers with non-commensurable normalizer groups 6RQQAH7F4C

URI	`m2://inv/6RQQAH7F4C`
Kind	example
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#N3MH, Continuously orbit equivalent odometers with non-commensurable normalizer groups (example). In XG3BJ2QXXP/e1, example 3.12

History

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

Envy-free pricing 6RQVA2WM8Z

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

Mentions

wikipedia: Wikipedia Envy-free pricing, Envy-free pricing (definition). Also Wikidata Q96377317

History

2026-11-02: add by m2/dev

Uniform and saturated isotropic estimates 6RR0GQ2071

URI	`m2://inv/6RR0GQ2071`
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.14509#PO0N, Uniform and saturated isotropic estimates (statement). In N6GD8392QB/e1, lemma 9.2

History

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

Definition 6RR3WCXW9T

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

Mentions

wikipedia: Wikipedia Dyadic cubes#D6DI, Definition (definition)

History

2026-11-02: add by m2/dev

Local unstable manifolds 6RR8SWWV3T

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

Mentions

arxiv: arXiv 2609.33771#1GHJ, Local unstable manifolds (statement). In ZXQA7QH0H0/e1, theorem 4.20

History

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

Grothendieck existence theorem 6RRC0J4CDZ

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

Mentions

wikipedia: Wikipedia Grothendieck existence theorem, Grothendieck existence theorem (statement). Also Wikidata Q5610727

History

2026-11-02: add by m2/dev

6RRD31HPE2 6RRD31HPE2

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

Mentions

arxiv: arXiv 2609.38366#I4XH (statement). In XRSVDG4FJS/e1, corollary 1.2

History

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

Guerra's bound for fractional moments 6RRGJHV95V

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

Mentions

arxiv: arXiv 2610.06480#JI94, Guerra's bound for fractional moments (statement). In 2Y47E704Z9/e1, proposition B.6

History

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

6RRGRJ8QR0 6RRGRJ8QR0

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

Mentions

open_logic: open_logic content/methods/proofs/proof-by-contradiction.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 44.11

History

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

6RRJFFK91T 6RRJFFK91T

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

Mentions

arxiv: arXiv 2610.22268#BVQ5 (statement). In 9ZD87293QS/e1, theorem 3.3

History

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

Book II. On Propositions 6RRWSHEWJE

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

Mentions

wikipedia: Wikipedia Sum of Logic#FIS5, Book II. On Propositions (statement)

History

2026-11-02: add by m2/dev

Reciprocal difference 6RRXA30HDC

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

Mentions

wikidata: Wikidata Q7302462, Reciprocal difference (concept). Also MathWorld ReciprocalDifference

History

2026-10-26: add by m2/dev

Beck's theorem 6RRYKBXP18

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

Mentions

wikipedia: Wikipedia Glossary of category theory#OEAC, Beck's theorem (definition)

History

2026-11-02: add by m2/dev

Fenchel–Moreau theorem 6RSA0R1H2G

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

Mentions

wikipedia: Wikipedia List of theorems#DY5I, Fenchel–Moreau theorem (statement)

History

2026-11-02: add by m2/dev

6RSBFC40YF 6RSBFC40YF

URI	`m2://inv/6RSBFC40YF`
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.19660#A9DV (statement). In YKVVY2BW1B/e1, lemma 2.1

History

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

6RSC6Z1NPE 6RSC6Z1NPE

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

Mentions

hott_book: hott_book categories.tex#ct:functor-assoc (statement). In N54F33XE07, lem, section 2.2

History

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

6RSEKMYM0F 6RSEKMYM0F

URI	`m2://inv/6RSEKMYM0F`
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#574R (statement)

History

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

Étale group scheme 6RSH1F3AME

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

Mentions

wikipedia: Wikipedia Étale group scheme, Étale group scheme (definition). Also Wikidata Q8078425

History

2026-11-02: add by m2/dev

6RSQJEAVHD 6RSQJEAVHD

URI	`m2://inv/6RSQJEAVHD`
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.01473#ICUW (statement). In ABS9M47F4K/e1, lemma 4.19

History

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

6RSRY0277V 6RSRY0277V

URI	`m2://inv/6RSRY0277V`
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.18992#1RC6 (statement). In S7PNTM0GZC/e1, lemma 3.8

History

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

faithful group action 6RSVFPZ31P

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

Mentions

wikidata: Wikidata Q121074575, faithful group action (definition). Also MathWorld FaithfulGroupAction, ProofWiki Definition:Faithful_Group_Action

History

2026-10-26: add by m2/dev

Characterizations 6RSVGP23DP

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

Mentions

wikipedia: Wikipedia Vector bornology#JIRU, Characterizations (statement)

History

2026-11-02: add by m2/dev

Feller-continuous process 6RSXVBXC3X

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

Mentions

wikipedia: Wikipedia List of statistics articles#US8L, Feller-continuous process (definition)

History

2026-11-02: add by m2/dev

6RSYVZMZDK 6RSYVZMZDK

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

Mentions

arxiv: arXiv 2610.02042#ALNR (example). In P3HWTYFDBX/e1, example 3.2

History

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

History of the World Wide Web 6RSZ0F5HW7

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

Mentions

wikipedia: Wikipedia List of websites founded before 1995#Q3FE, History of the World Wide Web (unknown)

History

2026-11-02: add by m2/dev

Generalizations 6RT2HD6FQB

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

Mentions

wikipedia: Wikipedia Modular form#05F4, Generalizations (statement)

History

2026-11-02: add by m2/dev

CMR length under Gaussian long memory 6RTABZHZRN

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

Mentions

arxiv: arXiv 2609.33866#SVDD, CMR length under Gaussian long memory (statement). In Y3MSGX6472/e1, theorem 4

History

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

Conjugation of isometries in Euclidean space 6RTGR9SG8A

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

Mentions

wikipedia: Wikipedia List of group theory topics#HM5Q, Conjugation of isometries in Euclidean space (definition)

History

2026-11-02: add by m2/dev

6RTHRTJ3PP 6RTHRTJ3PP

URI	`m2://inv/6RTHRTJ3PP`
Kind	problem
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.12633#S4KI (problem). In NGZ5AZ70NN/e1, problem 5.16

History

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

6RTQ2BNJE8 6RTQ2BNJE8

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

Mentions

arxiv: arXiv 2610.13680#339K (unknown). In QNBFHFZ3H0/e1, unknown 98

History

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

6RTQ819N3J 6RTQ819N3J

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

Mentions

arxiv: arXiv 2406.06762#YXAZ (statement). In J99PFFJXPE/e1, proposition 2.5

History

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

6RTRV68HM8 6RTRV68HM8

URI	`m2://inv/6RTRV68HM8`
Kind	definition
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#UR5Y (definition). In EY54F2SX08/e1, definition 5.1

History

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

Black hole stability conjecture 6RTSQHM7RD

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

Mentions

wikipedia: Wikipedia Black hole stability conjecture, Black hole stability conjecture (statement). Also Wikidata Q113447473

History

2026-11-02: add by m2/dev

Example where all elements are maximal but none are greatest 6RTWQKB0R2

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

Mentions

wikipedia: Wikipedia Greatest element and least element#JQAL, Example where all elements are maximal but none are greatest (example)

History

2026-11-02: add by m2/dev

Telescoping recursion 6RTYPX1HAR

URI	`m2://inv/6RTYPX1HAR`
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.37466#J1M0, Telescoping recursion (statement). In KA3KMJQMDY/e1, lemma 3

History

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

Solid sets 6RV0PEREJ6

URI	`m2://inv/6RV0PEREJ6`
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#MALU, Solid sets (statement). In 9YAE8FNQST/e1, corollary 14.14

History

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

6RV8X350JG 6RV8X350JG

URI	`m2://inv/6RV8X350JG`
Kind	definition
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.16362#TR74 (definition). In 4NJ4T3DEQB/e1, definition 1.1

History

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

Properties 6RVDAFRNFH

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

Mentions

wikipedia: Wikipedia Fréchet–Urysohn space#NWLV, Properties (statement)

History

2026-11-02: add by m2/dev

6RVGBE7V08 6RVGBE7V08

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Topology.tex#problem-4 (exercise). In P1C114YBXG, problem, section K

History

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

Ruth Lyttle Satter Prize in Mathematics 6RVK8AR8QG

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

Mentions

wikipedia: Wikipedia Ruth Lyttle Satter Prize in Mathematics, Ruth Lyttle Satter Prize in Mathematics (definition). Also Wikidata Q2177698

History

2026-11-02: add by m2/dev

Virginia Kiryakova 6RVKX88CCV

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

Mentions

wikipedia: Wikipedia Virginia Kiryakova, Virginia Kiryakova (topic). Also Wikidata Q102361618

History

2026-11-02: add by m2/dev

6RVQ6P4BYW 6RVQ6P4BYW

URI	`m2://inv/6RVQ6P4BYW`
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.20225#2M8A (statement)

History

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

6RVV6XA0YG 6RVV6XA0YG

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

Mentions

napkin: napkin tex/linalg/eigenvalues.tex#definition-7 (definition). In RZP28ERRZV, definition, section 58.8

History

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

FISH 6RVVHZZ3NV

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

Mentions

wikipedia: Wikipedia FISH (cipher), FISH (definition). Also Wikidata Q5425865

History

2026-11-02: add by m2/dev

6RVZXX2SCS 6RVZXX2SCS

URI	`m2://inv/6RVZXX2SCS`
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.16431#9V2S (statement). In 7NX9HA8VPM/e1, proposition 4.4

History

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

Operator topologies 6RW27BHFKF

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

Mentions

wikipedia: Wikipedia List of topologies#HWZD, Operator topologies (definition)
wikipedia: Wikipedia List of topologies#SOEE, Operator topologies (definition)

History

2026-11-02: add by m2/dev

Bourque–Ligh conjecture 6RW2K99BR3

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

Mentions

wikipedia: Wikipedia GCD matrix#1S4F, Bourque–Ligh conjecture (statement)

History

2026-11-02: add by m2/dev

Galilean invariance 6RW67RR24W

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

Mentions

wikidata: Wikidata Q2481895, Galilean invariance (definition). Also EoM Galilean_relativity_principle, ProofWiki Definition:Galilean_Relativity
wikipedia: Wikipedia Galilean invariance, Galilean invariance (definition). Also Wikidata Q2481895

History

2026-10-26: add by m2/dev

Partially observable Markov decision process 6RWEQ4PWNE

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

Mentions

wikipedia: Wikipedia Partially observable Markov decision process, Partially observable Markov decision process (definition). Also Wikidata Q176814

History

2026-11-02: add by m2/dev

Newton polytope 6RWEYGT5SV

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

Mentions

arxiv: arXiv 2609.24078#07XH, Newton polytope (definition)

History

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

6RWTSWGDN1 6RWTSWGDN1

URI	`m2://inv/6RWTSWGDN1`
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.20991#648T (statement). In H98ZC5YBSD/e1, corollary 1.4

History

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

6RWXSF606C 6RWXSF606C

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

Mentions

arxiv: arXiv 2610.10230#P04C (definition). In YS75517SF7/e1, definition 4.1

History

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

6RWZ1EZJZ4 6RWZ1EZJZ4

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

Mentions

arxiv: arXiv 2610.05506#AA1P (statement). In FT53PMB1TE/e1, corollary 1.1.6

History

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

Statement 6RX8YAB0T7

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

Mentions

wikipedia: Wikipedia Plünnecke–Ruzsa inequality#3S62, Statement (statement)

History

2026-11-02: add by m2/dev

6RXFR8G02M 6RXFR8G02M

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#example-4 (example). In E59CDZA4DP, example, section 8.3.1

History

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

Generalizations 6RXVRCYSDS

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

Mentions

wikipedia: Wikipedia Witten conjecture#0F5X, Generalizations (statement)

History

2026-11-02: add by m2/dev

Application 6RXVYRHG4P

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

Mentions

wikipedia: Wikipedia Dupin hypersurface#PQ7F, Application (example)

History

2026-11-02: add by m2/dev

stem group 6RY3XJWWFW

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

Mentions

wikidata: Wikidata Q131514319, stem group (unknown). Also LMFDB knowl group.stem_group

History

2026-10-26: add by m2/dev

List of functional analysis topics 6RYAAR9S0Y

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#U8R4, List of functional analysis topics (topic)

History

2026-11-02: add by m2/dev

clique, maximum size 6RYCMPBRJ1

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

Mentions

applied_combinatorics: applied_combinatorics index/5.4.2/clique-maximum-size, clique, maximum size (concept). In QKM9DD2H56, index, section 5.4.2

History

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

6RYCPZ2WJ2 6RYCPZ2WJ2

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

Mentions

arxiv: arXiv 2609.32300#OVWX (statement). In VNE8N0D2FB/e1, proposition 5.7

History

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

$\kappa$-fellow traveling radius 6RYJ630JJ7

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

Mentions

arxiv: arXiv 2609.25468#4WFY, $\kappa$-fellow traveling radius (definition)

History

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

6RYPMHBZMH 6RYPMHBZMH

URI	`m2://inv/6RYPMHBZMH`
Kind	statement
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.28411#A7XY (statement)

History

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

6RYR1K5EQB 6RYR1K5EQB

URI	`m2://inv/6RYR1K5EQB`
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 2610.11545#WWN9 (definition). In VN084GGZGK/e1, definition 5.16

History

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

Champernowne constant 6RYVBV8H58

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

Mentions

wikidata: Wikidata Q1061180, Champernowne constant (object). Also MathWorld ChampernowneConstant, OEIS A033307, ProofWiki Definition:Champernowne_Constant
wikipedia: Wikipedia Champernowne constant, Champernowne constant (object). Also Wikidata Q1061180

History

2026-10-26: add by m2/dev

Theorem (2) 6RYXH6W95D

URI	`m2://inv/6RYXH6W95D`
Kind	statement
Layer	textbook
Sources	1
Outcome	deferred (the item has no name of its own, and the write role names it)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Sylow theorems#8PTM, Theorem (2) (statement)

History

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

6RZ1V6HS9H 6RZ1V6HS9H

URI	`m2://inv/6RZ1V6HS9H`
Kind	example
Layer	research
MSC	26-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.08211#5LFA (example). In 1QRK9HXJWT/e1, example 2.7

History

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

Serge Massar 6RZ56PX26D

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

Mentions

wikipedia: Wikipedia Serge Massar, Serge Massar (topic). Also Wikidata Q107777138

History

2026-11-02: add by m2/dev

Plancherel's theorem 6RZEB0NVFN

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

Mentions

wikipedia: Wikipedia Fourier series#6666, Plancherel's theorem (statement)

History

2026-11-02: add by m2/dev

Definitions 6RZNPQVB9G

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

Mentions

wikipedia: Wikipedia Stack (mathematics)#6KOU, Definitions (definition)

History

2026-11-02: add by m2/dev

\textbf{Extrinsic operator identifies the embedding-induced Riemannian metric for fixed bandwidth 6RZSD80GZK

URI	`m2://inv/6RZSD80GZK`
Kind	statement
Layer	research
MSC	53-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.17032#WJV5, \textbf{Extrinsic operator identifies the embedding-induced Riemannian metric for fixed bandwidth (statement). In MXPK9A2HK2/e1, theorem 3.5

History

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