Inventory rows Q7

$p$-test for integrals Q702MRK5C3

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

Mentions

lebl_ra: lebl_ra index/8.5/p-test-for-integrals, $p$-test for integrals (concept). In E59CDZA4DP, index, section 8.5

History

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

DUHK Q705TB89VN

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

Mentions

wikipedia: Wikipedia Cryptographically secure pseudorandom number generator#1ZCE, DUHK (unknown)

History

2026-11-02: add by m2/dev

Q707B8D7Y7 Q707B8D7Y7

URI	`m2://inv/Q707B8D7Y7`
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#0YFQ (statement). In 5E9G06XJKC/e1, lemma C.13

History

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

Applications Q70EEZ9HY1

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

Mentions

wikipedia: Wikipedia Feynman–Kac formula#LQDG, Applications (example)

History

2026-11-02: add by m2/dev

Business law Q70TNEHF6S

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

Mentions

wikipedia: Wikipedia Survivorship bias#EPA4, Business law (statement)

History

2026-11-02: add by m2/dev

additively Q70TP5173F

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

Mentions

wikipedia: Wikipedia Glossary of set theory#ANNU, additively (definition)

History

2026-11-02: add by m2/dev

Q710BHSH5K Q710BHSH5K

URI	`m2://inv/Q710BHSH5K`
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.12188#COL6 (statement). In 52HWCGK5QJ/e1, lemma 2.3

History

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

Gail F. Burrill Q7171F2KYW

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#SZOL, Gail F. Burrill (topic)

History

2026-11-02: add by m2/dev

Applications Q71BY2SAD7

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

Mentions

wikipedia: Wikipedia Weil's conjecture on Tamagawa numbers#QFS1, Applications (example)

History

2026-11-02: add by m2/dev

counterterm Q71DM87YX3

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

Mentions

wikidata: Wikidata Q4231754, counterterm (unknown). Also nLab counterterm

History

2026-10-26: add by m2/dev

Q71GD7SMCR Q71GD7SMCR

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

Mentions

arxiv: arXiv 2609.37606#1YF6 (statement). In WNFW6GY38C/e1, lemma 9.2

History

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

Plancherel Q71NEBMJJC

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

Mentions

wikipedia: Wikipedia Glossary of real and complex analysis#1GY8, Plancherel (definition)

History

2026-11-02: add by m2/dev

Calcutta Statistical Association Q71Q5JE7P5

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

Mentions

wikipedia: Wikipedia List of academic statistical associations#89P3, Calcutta Statistical Association (unknown)

History

2026-11-02: add by m2/dev

200,000 Q71RN3HEBV

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

Mentions

wikipedia: Wikipedia 100,000#UN4P, 200,000 (unknown)

History

2026-11-02: add by m2/dev

Q71TQD52DC Q71TQD52DC

URI	`m2://inv/Q71TQD52DC`
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.15525#O2DH (statement). In EFDRME13PT/e1, proposition 9.6

History

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

Left-Symmetric Structures on $\mathfrak{osp}(1|2)$ Q71WGN8S0D

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

Mentions

arxiv: arXiv 2610.12489#ZQ2B, Left-Symmetric Structures on $\mathfrak{osp}(1|2)$ (statement). In FDWFVD08SE/e1, theorem 4.9

History

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

Q71WX948WZ Q71WX948WZ

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

Mentions

arxiv: arXiv 2609.20002#NY62 (statement)

History

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

Q71Z3QW88V Q71Z3QW88V

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

Mentions

arxiv: arXiv 2609.33263#59Z2 (statement). In 6S5EH3388Z/e1, lemma 2.12

History

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

First order approximation is Gram's law Q726JG92EV

URI	`m2://inv/Q726JG92EV`
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 2406.06548#I43R, First order approximation is Gram's law (statement). In SCC2N3WNYE/e1, theorem 4.1

History

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

Q728HEPCQ5 Q728HEPCQ5

URI	`m2://inv/Q728HEPCQ5`
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.24523#EA72 (statement)

History

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

Morse lemma Q728TTH7Z6

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

Mentions

wikipedia: Wikipedia List of lemmas#8R6Y, Morse lemma (definition)

History

2026-11-02: add by m2/dev

Fundamental theorem on homomorphisms Q72ADQWVHM

URI	`m2://inv/Q72ADQWVHM`
Kind	statement
Layer	textbook
MSC	16-XX
Sources	4
Outcome	node (a node has the same name as the row)
Node	Correspondence theorem 0S9ZVZ34MD

Mentions

mathlib_1000: mathlib_1000 Q1065966, Isomorphism theorem (statement). Also Mathlib QuotientGroup.quotientKerEquivRange, Mathlib QuotientGroup.quotientInfEquivProdNormalQuotient, Mathlib QuotientGroup.quotientQuotientEquivQuotient, Wikidata Q1065966
mathlib_1000: mathlib_1000 Q1187646, Fundamental theorem on homomorphisms (statement). Also Mathlib QuotientGroup.quotientKerEquivRange, Wikidata Q1187646
mathlib_1000: mathlib_1000 Q3527189, Lattice theorem (statement). Also Mathlib QuotientGroup.quotientQuotientEquivQuotient, Wikidata Q3527189
mathlib_overview: mathlib_overview General algebra > Group theory > first isomorphism theorem, first isomorphism theorem (unknown). Also Mathlib QuotientGroup.quotientKerEquivRange
mathlib_overview: mathlib_overview General algebra > Group theory > second isomorphism theorem, second isomorphism theorem (unknown). Also Mathlib QuotientGroup.quotientInfEquivProdNormalQuotient
mathlib_overview: mathlib_overview General algebra > Group theory > third isomorphism theorem, third isomorphism theorem (unknown). Also Mathlib QuotientGroup.quotientQuotientEquivQuotient
thousand_plus: thousand_plus Q1065966, Isomorphism theorem (statement). Also Mathlib QuotientGroup.quotientKerEquivRange, Mathlib QuotientGroup.quotientInfEquivProdNormalQuotient, Mathlib QuotientGroup.quotientQuotientEquivQuotient, Wikidata Q1065966, Wikipedia Isomorphism theorem
thousand_plus: thousand_plus Q1187646, Fundamental theorem on homomorphisms (statement). Also Mathlib QuotientGroup.quotientKerEquivRange, Wikidata Q1187646, Wikipedia Fundamental theorem on homomorphisms
thousand_plus: thousand_plus Q3527189, Lattice theorem (statement). Also Mathlib QuotientGroup.quotientQuotientEquivQuotient, Wikidata Q3527189, Wikipedia Lattice theorem
wikipedia: Wikipedia Fundamental theorem on homomorphisms, Fundamental theorem on homomorphisms (statement). Also Wikidata Q1187646
wikipedia: Wikipedia Correspondence theorem, Correspondence theorem (statement). Also Wikidata Q3527189
wikipedia: Wikipedia Isomorphism theorems, Isomorphism theorems (statement). Also Wikidata Q1065966

History

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

cograph Q72CBZVW2E

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

Mentions

wikidata: Wikidata Q5141281, cograph (unknown). Also MathWorld Cograph
wikipedia: Wikipedia Cograph, Cograph (definition). Also Wikidata Q5141281

History

2026-10-26: add by m2/dev

Elisabeth M. Werner Q72D617ABY

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

Mentions

wikipedia: Wikipedia Elisabeth M. Werner, Elisabeth M. Werner (topic). Also Wikidata Q19519796

History

2026-11-02: add by m2/dev

Theorems regarding multivariate limits and continuity Q72DDRVTVZ

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

Mentions

wikipedia: Wikipedia Multivariable calculus#ZCDB, Theorems regarding multivariate limits and continuity (statement)

History

2026-11-02: add by m2/dev

Q72GAMFY90 Q72GAMFY90

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

Mentions

arxiv: arXiv 2610.20466#YJSK (statement). In M4ZVJWM8YA/e1, lemma 3.14

History

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

Adriaan Anthonisz Q72HBS069E

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

Mentions

wikipedia: Wikipedia Adriaan Anthonisz, Adriaan Anthonisz (topic). Also Wikidata Q2300631

History

2026-11-02: add by m2/dev

Aristotle's wheel paradox Q72KKFZJEG

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

Mentions

wikidata: Wikidata Q3561493, Aristotle's wheel paradox (unknown). Also MathWorld AristotlesWheelParadox
wikipedia: Wikipedia Aristotle's wheel paradox, Aristotle's wheel paradox (statement). Also Wikidata Q3561493

History

2026-10-26: add by m2/dev

Bruria Kaufman Q72N0HTWTT

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#08TZ, Bruria Kaufman (unknown)

History

2026-11-02: add by m2/dev

Hurewicz theorem Q72PJBC4DA

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

Mentions

napkin: napkin tex/homology/singular.tex#thm:hurewicz, Hurewicz theorem (statement). In RZP28ERRZV, theorem, section 55.2

History

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

Limit point Q731H33DM1

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

Mentions

wikipedia: Wikipedia Glossary of general topology#M7RM, Limit point (definition)

History

2026-11-02: add by m2/dev

Recovery by proper losses Q73336KQR6

URI	`m2://inv/Q73336KQR6`
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.39190#45RB, Recovery by proper losses (statement). In J144J3ANFZ/e1, lemma 2.3

History

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

Principle of the algorithm Q733BK5XDQ

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

Mentions

wikipedia: Wikipedia Hybrid stochastic simulation#JMHJ, Principle of the algorithm (statement)

History

2026-11-02: add by m2/dev

Bidomain model Q733D9NJAD

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

Mentions

wikipedia: Wikipedia Bidomain model, Bidomain model (definition). Also Wikidata Q4904213

History

2026-11-02: add by m2/dev

Mapping cone (topology) Q734PTVKN4

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

Mentions

wikipedia: Wikipedia List of algebraic topology topics#DENZ, Mapping cone (topology) (definition)

History

2026-11-02: add by m2/dev

Finite volume method Q736KPRPA6

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

Mentions

wikipedia: Wikipedia List of partial differential equation topics#PPUZ, Finite volume method (definition)

History

2026-11-02: add by m2/dev

Q737FCQ202 Q737FCQ202

URI	`m2://inv/Q737FCQ202`
Kind	example
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.16554#Y8GT (example). In GWNT8HEZG1/e1, example 4.46

History

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

Q739YYPD7R Q739YYPD7R

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

Mentions

lebl_ra: lebl_ra ch-vol1-intro.tex#defn-3 (definition). In E59CDZA4DP, defn, section 11.9.1

History

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

Q73A2QQCVD Q73A2QQCVD

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

Mentions

napkin: napkin tex/riemann-surface/affine-projective.tex#exercise-5 (exercise). In RZP28ERRZV, exercise, section 82.3

History

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

Q73D9BBMYK Q73D9BBMYK

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

Mentions

open_logic: open_logic content/proof-theory/sequent-calculus/proof-examples.tex#prop:G3c-axioms (statement). In PKGMM3P5QY, prop, section 61.10

History

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

Q73DYM5RDA Q73DYM5RDA

URI	`m2://inv/Q73DYM5RDA`
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.12912#GY8Q (definition). In PDKBKKJ4BV/e1, definition 1.2

History

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

Q73EF6T4V2 Q73EF6T4V2

URI	`m2://inv/Q73EF6T4V2`
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.22667#YNVT (statement)

History

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

Q74693C9CE Q74693C9CE

URI	`m2://inv/Q74693C9CE`
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.12633#GW39 (statement). In NGZ5AZ70NN/e1, lemma 4.7

History

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

Q746GT9P6D Q746GT9P6D

URI	`m2://inv/Q746GT9P6D`
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.36181#5SAN (statement). In 1KSE33PVS6/e1, proposition 81

History

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

Removal lemma Q748JC40G0

URI	`m2://inv/Q748JC40G0`
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#A6PY, Removal lemma (statement). In SBZNH932ZV/e1, lemma 4.6

History

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

Galahad library Q74D24P2T9

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

Mentions

wikipedia: Wikipedia Galahad library, Galahad library (definition). Also Wikidata Q5517895

History

2026-11-02: add by m2/dev

Q74FCN10RK Q74FCN10RK

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

Mentions

arxiv: arXiv 2609.27125#QVNT (statement)

History

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

Q74FXATMF7 Q74FXATMF7

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

Mentions

open_logic: open_logic content/normal-modal-logic/axioms-systems/proofs-in-K.tex#prop-2 (statement). In PKGMM3P5QY, prop, section 50.8

History

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

Q74PYE5EFB Q74PYE5EFB

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

Mentions

open_logic: open_logic content/incompleteness/incompleteness-provability/first-incompleteness-thm.tex#thm:first-incompleteness (statement). In PKGMM3P5QY, thm, section 27.9

History

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

Reduction to the averaged count Q74QB0YP2Y

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

Mentions

arxiv: arXiv 2609.33027#9AUV, Reduction to the averaged count (statement). In E2AF84709B/e1, proposition 24

History

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

Demographics of Turkey Q74TCYE8BR

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

Mentions

wikipedia: Wikipedia Demographics of Turkey, Demographics of Turkey (definition). Also Wikidata Q1185988

History

2026-11-02: add by m2/dev

Proposition Q751G8H7GB

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

Mentions

wikipedia: Wikipedia Normal matrix#0GB5, Proposition (statement)

History

2026-11-02: add by m2/dev

Taxicab(5, 2, n) Q75A3G3X5K

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#DA9R, Taxicab(5, 2, n) (definition)

History

2026-11-02: add by m2/dev

1100 (number) Q764CYBXSY

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

Mentions

wikipedia: Wikipedia 1000 (number)#V6MW, 1100 (number) (unknown)

History

2026-11-02: add by m2/dev

Q768HEWYCP Q768HEWYCP

URI	`m2://inv/Q768HEWYCP`
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 2012.05048#S52W (statement). In NY9HW1E6DY/e1, lemma 2.5

History

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

Stationary Probabilities of Vacant Configurations Q769BV4NEB

URI	`m2://inv/Q769BV4NEB`
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 2603.16304#UNAO, Stationary Probabilities of Vacant Configurations (statement). In NEGP0YBA3C/e1, proposition 4.2

History

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

Symmetric perturbations Q76HMSYJ2R

URI	`m2://inv/Q76HMSYJ2R`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 49-XX, 58-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.05164#RDVK, Symmetric perturbations (statement). In JY6RYSNXMJ/e1, corollary 1

History

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

Q76MB99F0A Q76MB99F0A

URI	`m2://inv/Q76MB99F0A`
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 2301.02848#F7U0 (statement). In G6WQDW52TJ/e1, theorem 1.3

History

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

Construction Q76PHQ11FD

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

Mentions

wikipedia: Wikipedia Von Neumann's elephant#7O0G, Construction (definition)

History

2026-11-02: add by m2/dev

Tide Q76RB51Q0J

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

Mentions

wikipedia: Wikipedia Tide, Tide (definition). Also Wikidata Q23384

History

2026-11-02: add by m2/dev

Even-Paz protocol Q76SX89ZVT

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

Mentions

wikipedia: Wikipedia List of unsolved problems in fair division#JPPH, Even-Paz protocol (definition)

History

2026-11-02: add by m2/dev

Stability for tangent maps Q76W6H49Q5

URI	`m2://inv/Q76W6H49Q5`
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.13214#1UDG, Stability for tangent maps (statement). In 4GRNWWH88J/e1, proposition 2.4

History

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

Bounds on $\Xi^{\ssc[0],\iota}$ and $\Pi^{\ssc[0],\iota,\kappa}$ Q76ZESAS1V

URI	`m2://inv/Q76ZESAS1V`
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 1905.02785#JCE8, Bounds on $\Xi^{\ssc[0],\iota}$ and $\Pi^{\ssc[0],\iota,\kappa}$ (statement). In PF9KV74Q02/e1, lemma 5.2

History

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

Q771039AA8 Q771039AA8

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

Mentions

arxiv: arXiv 2609.31327#P4A7 (definition). In F605BQ3AYX/e1, definition 4.1

History

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

Q7749RFZGG Q7749RFZGG

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

Mentions

arxiv: arXiv 2609.37271#F6Y1 (statement). In 9WP2QGKMG8/e1, proposition 1.3

History

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

Newell-Whitehead-Segel equation Q776X74N1N

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

Mentions

wikipedia: Wikipedia Reaction–diffusion system#YMPM, Newell-Whitehead-Segel equation (unknown)

History

2026-11-02: add by m2/dev

Q778DMCRKF Q778DMCRKF

URI	`m2://inv/Q778DMCRKF`
Kind	statement
Layer	research
MSC	11-XX, 37-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.24623#O2VK (statement)

History

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

Arithmetic Riemann–Roch theorem Q77D1HD7W2

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

Mentions

wikipedia: Wikipedia List of theorems#9FCS, Arithmetic Riemann–Roch theorem (definition)

History

2026-11-02: add by m2/dev

David Rubin Q77KT58XE6

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

Mentions

wikipedia: Wikipedia David Rubin (writer), David Rubin (topic). Also Wikidata Q27909633

History

2026-11-02: add by m2/dev

Applications Q782V3AAZ1

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

Mentions

wikipedia: Wikipedia Homology (mathematics)#9YFQ, Applications (example)

History

2026-11-02: add by m2/dev

Differential privacy Q7863KEPNY

URI	`m2://inv/Q7863KEPNY`
Kind	example
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 1803.10042#571U, Differential privacy (example). In 718SP8YERQ/e1, example A1

History

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

Q786J0HAZ3 Q786J0HAZ3

URI	`m2://inv/Q786J0HAZ3`
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.00525#AMKA (statement). In JN34PDDXH8/e1, lemma 2.14

History

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

Q78B1NJZHH Q78B1NJZHH

URI	`m2://inv/Q78B1NJZHH`
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.22074#B4TO (definition). In F3BKXXPR3K/e1, definition 2.16

History

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

Stone--Weierstrass, complex version Q78BSR7PMQ

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

Mentions

lebl_ra: lebl_ra index/1.7.2/stone-weierstrass-complex-version, Stone--Weierstrass, complex version (concept). In E59CDZA4DP, index, section 1.7.2

History

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

Lehmer–Schur algorithm Q78CJTAXX3

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

Mentions

wikipedia: Wikipedia Lehmer–Schur algorithm, Lehmer–Schur algorithm (definition). Also Wikidata Q6518935

History

2026-11-02: add by m2/dev

Origin Q78KR3JMXZ

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#5N75, Origin (definition)

History

2026-11-02: add by m2/dev

Notation Q78NGH2TBZ

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

Mentions

wikipedia: Wikipedia Eccentricity (mathematics)#FXWI, Notation (definition)

History

2026-11-02: add by m2/dev

Q78VCV0W1E Q78VCV0W1E

URI	`m2://inv/Q78VCV0W1E`
Kind	statement
Layer	research
MSC	13-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.10925#JRHI (statement). In 9604WYX0BW/e1, lemma 5.8

History

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

Universal generalization Q78WA34GK8

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

Mentions

wikipedia: Wikipedia Universal generalization, Universal generalization (definition). Also Wikidata Q5364991

History

2026-11-02: add by m2/dev

Smooth Riemann mapping theorem Q791BWPCN1

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

Mentions

wikipedia: Wikipedia Riemann mapping theorem#LEU7, Smooth Riemann mapping theorem (statement)

History

2026-11-02: add by m2/dev

Rapidly decreasing Q79840RF24

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

Mentions

wikipedia: Wikipedia Vanish at infinity#TF2B, Rapidly decreasing (unknown)

History

2026-11-02: add by m2/dev

effectively decidable theory Q7991TCMXC

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

Mentions

wikipedia: Wikipedia Glossary of logic#BWB6, effectively decidable theory (definition)

History

2026-11-02: add by m2/dev

Q7992JJG20 Q7992JJG20

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

Mentions

arxiv: arXiv 2610.13877#FD95 (statement). In NBMA6DBKJG/e1, corollary 4.10

History

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

Q79AAMMVSF Q79AAMMVSF

URI	`m2://inv/Q79AAMMVSF`
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.08697#3GK3 (statement). In GJ4ZMDQF3C/e1, theorem 1

History

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

Q79FTEVMRA Q79FTEVMRA

URI	`m2://inv/Q79FTEVMRA`
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.20702#GBKA (statement)

History

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

Rate of convergence Q79TCRSK24

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

Mentions

wikipedia: Wikipedia Rate of convergence, Rate of convergence (definition). Also Wikidata Q1783502

History

2026-11-02: add by m2/dev

Ideal iid affine branch and GPV coupling Q7A1PX4S6Y

URI	`m2://inv/Q7A1PX4S6Y`
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.37482#7ADC, Ideal iid affine branch and GPV coupling (statement). In 9QDRMZX8EY/e1, theorem 0.8

History

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

Directional component analysis Q7A3WDV3JE

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

Mentions

wikipedia: Wikipedia Directional component analysis, Directional component analysis (definition). Also Wikidata Q116675920

History

2026-11-02: add by m2/dev

Q7A7D1RF0M Q7A7D1RF0M

URI	`m2://inv/Q7A7D1RF0M`
Kind	definition
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 2609.33733#526L (definition). In QBAP8C82FG/e1, definition 1

History

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

Nicolas Bourbaki Q7A8V0RXDF

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

Mentions

wikipedia: Wikipedia List of mathematics history topics#ODE2, Nicolas Bourbaki (topic)

History

2026-11-02: add by m2/dev

Q7AN9AN3CZ Q7AN9AN3CZ

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

History

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

J. Richard Landis Q7ATYWA724

URI	`m2://inv/Q7ATYWA724`
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#1H38, J. Richard Landis (unknown)

History

2026-11-02: add by m2/dev

First Hardy–Littlewood conjecture Q7B0H27QFC

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

Mentions

wikipedia: Wikipedia First Hardy–Littlewood conjecture#I7OY, First Hardy–Littlewood conjecture (statement)

History

2026-11-02: add by m2/dev

Robert Jerrard Q7B4K3ZHQ7

URI	`m2://inv/Q7B4K3ZHQ7`
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#22QJ, Robert Jerrard (unknown)

History

2026-11-02: add by m2/dev

Difference of the theorems Q7B641Z7B9

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

Mentions

wikipedia: Wikipedia Dimension doubling theorem#W9S3, Difference of the theorems (statement)

History

2026-11-02: add by m2/dev

Turkey Q7B8FNC21X

URI	`m2://inv/Q7B8FNC21X`
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 Q43, Turkey (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/Turkey

History

2026-10-26: add by m2/dev

Q7BMC0WVXS Q7BMC0WVXS

URI	`m2://inv/Q7BMC0WVXS`
Kind	statement
Layer	research
MSC	13-XX, 16-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.14060#T2QL (statement). In X47RYAZF8P/e1, lemma 3.10

History

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

Exponential hierarchy Q7BPFJR0ZY

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

Mentions

wikipedia: Wikipedia Exponential hierarchy, Exponential hierarchy (definition). Also Wikidata Q3760905

History

2026-11-02: add by m2/dev

Q7BRJSY9MF Q7BRJSY9MF

URI	`m2://inv/Q7BRJSY9MF`
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#W199 (statement)

History

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

Q7BYJNVS1A Q7BYJNVS1A

URI	`m2://inv/Q7BYJNVS1A`
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.13670#MODA (statement). In 4PGTZ19B26/e1, lemma 5.7

History

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

Q7C37SB2YK Q7C37SB2YK

URI	`m2://inv/Q7C37SB2YK`
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 2608.00864#8Q69 (statement). In PRF0P3D637/e1, lemma 3.1

History

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

Q7CBQCJNEP Q7CBQCJNEP

URI	`m2://inv/Q7CBQCJNEP`
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.06321#KT4M (statement). In PGV1116XX4/e1, lemma 4.4

History

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

Number of affine-code components Q7CFRPRQCW

URI	`m2://inv/Q7CFRPRQCW`
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#HYHH, Number of affine-code components (statement). In 9YAE8FNQST/e1, proposition 25.7

History

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

Examples Q7CJ4ERKF8

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

Mentions

wikipedia: Wikipedia Composite Bézier curve#MAQN, Examples (example)

History

2026-11-02: add by m2/dev

Q7CVKQQRYN Q7CVKQQRYN

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#exercise-27 (exercise). In E59CDZA4DP, exercise, section 8.3.4

History

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

Q7CXXBBRRG Q7CXXBBRRG

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

Mentions

arxiv: arXiv 2308.05066#C2DW (definition). In 1QSCT53ZED/e1, definition 7.4

History

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

\emph{Bony--Weyl paralinearization and exact homogeneity Q7D45G04WN

URI	`m2://inv/Q7D45G04WN`
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.37593#D6Q0, \emph{Bony--Weyl paralinearization and exact homogeneity (statement). In YTF96VHKAH/e1, corollary A.10

History

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

Adolf Lindenbaum Q7D94FMZZ9

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

Mentions

wikipedia: Wikipedia Adolf Lindenbaum, Adolf Lindenbaum (topic). Also Wikidata Q363167

History

2026-11-02: add by m2/dev

Ludwig Berwald Q7DF2SYTYG

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

Mentions

wikipedia: Wikipedia Ludwig Berwald, Ludwig Berwald (topic). Also Wikidata Q1374578

History

2026-11-02: add by m2/dev

Explicit and implicit methods Q7DHKA71SC

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

Mentions

wikipedia: Wikipedia List of mathematics-based methods#F0EB, Explicit and implicit methods (definition)

History

2026-11-02: add by m2/dev

Feferman–Vaught theorem Q7DQCPDM3Q

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

Mentions

wikipedia: Wikipedia List of theorems#ZTGB, Feferman–Vaught theorem (statement)

History

2026-11-02: add by m2/dev

Q7DXHHSEHV Q7DXHHSEHV

URI	`m2://inv/Q7DXHHSEHV`
Kind	statement
Layer	research
MSC	13-XX, 16-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.14060#29ZE (statement). In X47RYAZF8P/e1, lemma 5.12

History

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

Harald Bohr Q7DY5GHQE2

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#78JS, Harald Bohr (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7XII, Harald Bohr (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NPM1, Harald Bohr (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#P5HJ, Harald Bohr (topic)

History

2026-11-02: add by m2/dev

Properties Q7E16KRR05

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

Mentions

wikipedia: Wikipedia Fibered manifold#IO3K, Properties (statement)

History

2026-11-02: add by m2/dev

$A[{X_i}]$ is a UFD when $A$ is a UFD Q7E1S3CJDK

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

Mentions

mathlib_overview: mathlib_overview General algebra > Polynomials and power series > $A[{X_i}]$ is a UFD when $A$ is a UFD, $A[{X_i}]$ is a UFD when $A$ is a UFD (unknown). Also Mathlib MvPolynomial.uniqueFactorizationMonoid
mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > $A[{X_i}]$ is a UFD when $A$ is a UFD, $A[{X_i}]$ is a UFD when $A$ is a UFD (unknown). Also Mathlib MvPolynomial.uniqueFactorizationMonoid

History

2026-10-26: add by m2/dev

Kazimierz Cwojdziński Q7E42JWMSM

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

Mentions

wikipedia: Wikipedia Kazimierz Cwojdziński, Kazimierz Cwojdziński (topic). Also Wikidata Q11737775

History

2026-11-02: add by m2/dev

Erdős–Turán conjecture on additive bases Q7EA45VH8Z

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#0FFD, Erdős–Turán conjecture on additive bases (conjecture)

History

2026-11-02: add by m2/dev

Q7EB13R7KZ Q7EB13R7KZ

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

Mentions

arxiv: arXiv 2609.21274#BQKM (statement)

History

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

Q7EB8KXBEY Q7EB8KXBEY

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/CartesianProducts.tex#definition-2 (definition). In P1C114YBXG, definition, section 1

History

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

Convex curve Q7EBTN83AJ

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

Mentions

wikipedia: Wikipedia Convex curve, Convex curve (definition). Also Wikidata Q3001187

History

2026-11-02: add by m2/dev

Theorem 2 Q7EDNKS832

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

Mentions

wikipedia: Wikipedia Dual norm#YEQL, Theorem 2 (statement)

History

2026-11-02: add by m2/dev

Dedekind's complementary module Q7EE5CSM5S

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

Mentions

wikipedia: Wikipedia List of things named after Richard Dedekind#DA2T, Dedekind's complementary module (definition)

History

2026-11-02: add by m2/dev

Qubit Q7EG8QFR8H

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

Mentions

wikipedia: Wikipedia List of mathematical topics in quantum theory#P8A8, Qubit (definition)

History

2026-11-02: add by m2/dev

Non-standard positional numeral systems Q7EHXDKBY6

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

Mentions

wikipedia: Wikipedia Non-standard positional numeral systems, Non-standard positional numeral systems (definition). Also Wikidata Q875255

History

2026-11-02: add by m2/dev

Q7ERT1YTVJ Q7ERT1YTVJ

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#proof-18 (proof). In E59CDZA4DP, proof, section 4.4.1

History

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

Breeder's equation Q7ESWEH3AM

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

Mentions

wikipedia: Wikipedia Heritability#3ST5, Breeder's equation (unknown)

History

2026-11-02: add by m2/dev

Random idea sizes Q7F1FEG92H

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

Mentions

arxiv: arXiv 2610.18445#GP5Q, Random idea sizes (statement). In X63FGXZP4F/e1, theorem 3.7

History

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

Properties Q7FATW9Z3T

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

Mentions

wikipedia: Wikipedia Saturated set (intersection of open sets)#NP4M, Properties (statement)

History

2026-11-02: add by m2/dev

Dudley triangle Q7FW2TQYPR

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

Mentions

wikipedia: Wikipedia Dudley triangle, Dudley triangle (definition). Also Wikidata Q5312038

History

2026-11-02: add by m2/dev

Q7FX4S199H Q7FX4S199H

URI	`m2://inv/Q7FX4S199H`
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.25345#WQBW (statement)

History

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

Shift distance Q7FZ4ERY9P

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

Mentions

arxiv: arXiv 2609.20979#Q26Q, Shift distance (definition)

History

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

Raabe's test Q7GRNNKMA2

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

Mentions

wikidata: Wikidata Q1789463, Raabe's test (statement). Also MathWorld RaabesTest

History

2026-10-26: add by m2/dev

Jae-Kwang Kim Q7H0BR9N90

URI	`m2://inv/Q7H0BR9N90`
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#UT9L, Jae-Kwang Kim (unknown)

History

2026-11-02: add by m2/dev

Prime ordinal Q7H2R1J137

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

Mentions

wikipedia: Wikipedia Ordinal arithmetic#CJTL, Prime ordinal (unknown)

History

2026-11-02: add by m2/dev

Unmatched-sink regimes Q7H7R8VC04

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

Mentions

arxiv: arXiv 2609.25039#5LUZ, Unmatched-sink regimes (statement)

History

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

Q7HDCVVNT6 Q7HDCVVNT6

URI	`m2://inv/Q7HDCVVNT6`
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.18618#EJVS (statement). In C8VC86B6H8/e1, lemma 6.2

History

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

Joseph Liouville Q7HDGJV3BQ

URI	`m2://inv/Q7HDGJV3BQ`
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 Q214549, Joseph Liouville (unknown). Also nLab Joseph Liouville
wikipedia: Wikipedia Joseph Liouville, Joseph Liouville (topic). Also Wikidata Q214549

History

2026-10-26: add by m2/dev

Theorem Q7HDSZF99F

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

Mentions

wikipedia: Wikipedia Strong set order#BFAU, Theorem (statement)

History

2026-11-02: add by m2/dev

Special case of power-law forces Q7HMK2RMBF

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

Mentions

wikipedia: Wikipedia Virial theorem#KHOU, Special case of power-law forces (statement)

History

2026-11-02: add by m2/dev

Q7HMZ9Q5B1 Q7HMZ9Q5B1

URI	`m2://inv/Q7HMZ9Q5B1`
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.20910#9IZZ (statement). In CETHKW9EBV/e1, theorem 4.6

History

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

separation of variables Q7HZNWSNMG

URI	`m2://inv/Q7HZNWSNMG`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Separation of variables 47NFRVB564

Mentions

wikidata: Wikidata Q913323, separation of variables (statement). Also EoM Fourier_method, MathWorld SeparationofVariables, ProofWiki Separation_of_Variables
wikipedia: Wikipedia Separation of variables, Separation of variables (definition). Also Wikidata Q913323

History

2026-10-26: add by m2/dev

proof Q7J14FE12C

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

Mentions

hott_book: hott_book index/A.1/proof, proof (concept). In N54F33XE07, index, section A.1

History

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

Applications Q7JD3CA8K3

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

Mentions

wikipedia: Wikipedia Situation semantics#8EGL, Applications (example)

History

2026-11-02: add by m2/dev

Morita Q7JDSHR6PG

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

Mentions

wikipedia: Wikipedia Glossary of ring theory#7X1D, Morita (definition)

History

2026-11-02: add by m2/dev

Q7JHRNVK9J Q7JHRNVK9J

URI	`m2://inv/Q7JHRNVK9J`
Kind	statement
Layer	research
MSC	14-XX, 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 2401.07983#4IOF (statement). In 4WJ9HYVSZY/e1, theorem 3.9

History

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

Q7JN57FJCQ Q7JN57FJCQ

URI	`m2://inv/Q7JN57FJCQ`
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.10576#TLHE (statement). In N3ZA5MDZBW/e1, corollary 7

History

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

Trigonometric formulas Q7JWDCQ1DS

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

Mentions

wikipedia: Wikipedia Quadrilateral#KDM7, Trigonometric formulas (statement)

History

2026-11-02: add by m2/dev

Q7JXWBTQT3 Q7JXWBTQT3

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

Mentions

arxiv: arXiv 2609.37124#IJ8R (statement). In 2QF1YG9DD0/e1, theorem 4.6

History

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

Campbell's theorem Q7K226P620

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

Mentions

wikipedia: Wikipedia Campbell's theorem (probability), Campbell's theorem (statement). Also Wikidata Q5027968

History

2026-11-02: add by m2/dev

Jeffreys, Harold Q7K2MSSA02

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

Mentions

wikipedia: Wikipedia List of statisticians#T40C, Jeffreys, Harold (unknown)

History

2026-11-02: add by m2/dev

Edmund Landau Q7KD5QV8P9

URI	`m2://inv/Q7KD5QV8P9`
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 Q58750, Edmund Landau (unknown). Also ProofWiki Mathematician:Edmund_Georg_Hermann_Landau
wikipedia: Wikipedia Edmund Landau, Edmund Landau (topic). Also Wikidata Q58750

History

2026-10-26: add by m2/dev

Q7KFK4DN5G Q7KFK4DN5G

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

Mentions

napkin: napkin tex/H113/quotient.tex#problem-1 (exercise). In RZP28ERRZV, problem, section 3.6

History

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

Johnston, Robert Mackenzie Q7KVTZYV2R

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

Mentions

wikipedia: Wikipedia List of statisticians#AM15, Johnston, Robert Mackenzie (topic)

History

2026-11-02: add by m2/dev

CA compromise Q7KVV7VN6J

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

Mentions

wikipedia: Wikipedia Certificate authority#VYQ2, CA compromise (unknown)

History

2026-11-02: add by m2/dev

Hankel matrix Q7KXFQX01M

URI	`m2://inv/Q7KXFQX01M`
Kind	concept
Layer	textbook
Sources	2
Outcome	open
Node	Hankel matrix PQ1D8FQB3E

Mentions

wikidata: Wikidata Q1575637, Hankel matrix (concept). Also MathWorld HankelMatrix
wikipedia: Wikipedia Hankel matrix, Hankel matrix (object). Also Wikidata Q1575637

History

2026-10-26: add by m2/dev

Q7KXWCZ4QF Q7KXWCZ4QF

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

Mentions

arxiv: arXiv 2609.21552#YPY8 (statement)

History

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

Zhihong Xia Q7KYXNTDR2

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

Mentions

wikipedia: Wikipedia Zhihong Xia, Zhihong Xia (topic). Also Wikidata Q21033473

History

2026-11-02: add by m2/dev

Q7M8DWTZFH Q7M8DWTZFH

URI	`m2://inv/Q7M8DWTZFH`
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 2108.03672#ORA5 (definition). In EZZSZ1F071/e1, definition 4.15

History

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

David Kazhdan Q7M8JF1A0S

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#BRIO, David Kazhdan (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9FBN, David Kazhdan (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#I902, David Kazhdan (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Q447, David Kazhdan (topic)

History

2026-11-02: add by m2/dev

Q7MN5MBXPE Q7MN5MBXPE

URI	`m2://inv/Q7MN5MBXPE`
Kind	example
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.19260#LY40 (example). In PWXT7J9JX3/e1, example 2.17

History

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

Siegel's conjecture Q7MSR8QXBD

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#V1WG, Siegel's conjecture (conjecture)

History

2026-11-02: add by m2/dev

Universal boundary formula Q7MXQ6FVNB

URI	`m2://inv/Q7MXQ6FVNB`
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#W0PN, Universal boundary formula (statement). In Y1DR0DPWD0/e1, proposition 4.4

History

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

Q7N2EB7XPY Q7N2EB7XPY

URI	`m2://inv/Q7N2EB7XPY`
Kind	statement
Layer	research
MSC	49-XX, 51-XX, 52-XX, 53-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.03305#FYBT (statement). In WAJ5AZHF62/e1, lemma 3.7

History

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

Q7N43Y96D5 Q7N43Y96D5

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

Mentions

arxiv: arXiv 2606.12009#80BF (statement). In DNAN4SV8AM/e1, corollary 1.5

History

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

Q7N443WQSD Q7N443WQSD

URI	`m2://inv/Q7N443WQSD`
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.36181#T75V (statement). In 1KSE33PVS6/e1, proposition 39

History

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

Variations Q7N9ZH3ECT

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

Mentions

wikipedia: Wikipedia Box plot#U2MN, Variations (statement)

History

2026-11-02: add by m2/dev

Q7NHQDD781 Q7NHQDD781

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

Mentions

napkin: napkin tex/set-theory/forcing.tex#definition-7 (definition). In RZP28ERRZV, definition, section 90.5

History

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

Platonic solid Q7NWMWTARE

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

Mentions

wikipedia: Wikipedia List of polygons, polyhedra and polytopes#ORMR, Platonic solid (definition)

History

2026-11-02: add by m2/dev

Method of images Q7P21SBSFK

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

Mentions

wikipedia: Wikipedia Method of images, Method of images (definition). Also Wikidata Q2563425

History

2026-11-02: add by m2/dev

Unified shader model Q7P2M04TQ1

URI	`m2://inv/Q7P2M04TQ1`
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#Q1N7, Unified shader model (unknown)

History

2026-11-02: add by m2/dev

Julie Rowlett Q7PABS5R6P

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

Mentions

wikipedia: Wikipedia Julie Rowlett, Julie Rowlett (topic). Also Wikidata Q56331837

History

2026-11-02: add by m2/dev

Q7PD0YNPQ2 Q7PD0YNPQ2

URI	`m2://inv/Q7PD0YNPQ2`
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#OLQ3 (statement). In 5RE15848Z0/e1, theorem 0.8

History

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

Example Q7PE9GSTTB

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

Mentions

wikipedia: Wikipedia Rational set#C0Z2, Example (example)

History

2026-11-02: add by m2/dev

Q7PH3KMXXJ Q7PH3KMXXJ

URI	`m2://inv/Q7PH3KMXXJ`
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.25896#7002 (statement)

History

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

386 (number) Q7PJ0RCETR

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

Mentions

wikipedia: Wikipedia 300 (number)#EBDV, 386 (number) (unknown)

History

2026-11-02: add by m2/dev

Lenore E. Bixby Q7PKS8C4ZM

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#Y33N, Lenore E. Bixby (topic)

History

2026-11-02: add by m2/dev

Q7PPMTSMSA Q7PPMTSMSA

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

Mentions

lebl_scv: lebl_scv scv.tex#proof-34 (proof). In VNMV985MXX, proof, section 2.5

History

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

Riemann mapping theorem Q7PR8FHM0F

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

Mentions

wikipedia: Wikipedia List of theorems#HC3J, Riemann mapping theorem (statement)

History

2026-11-02: add by m2/dev

Q7PZZW62HJ Q7PZZW62HJ

URI	`m2://inv/Q7PZZW62HJ`
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#0Y0B (statement). In 363WNMSDMA/e1, proposition 7

History

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

Properties Q7Q39AR7AG

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

Mentions

wikipedia: Wikipedia False discovery rate#ARL0, Properties (statement)

History

2026-11-02: add by m2/dev

Altıeylül Q7Q3RMY375

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

Mentions

wikipedia: Wikipedia List of places with numeric names#TABD, Altıeylül (unknown)

History

2026-11-02: add by m2/dev

Q7Q8T5F1R9 Q7Q8T5F1R9

URI	`m2://inv/Q7Q8T5F1R9`
Kind	example
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.17817#T6T6 (example). In M8TSJ24RC2/e1, example 3.17

History

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

Q7Q8YK5MG4 Q7Q8YK5MG4

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

Mentions

arxiv: arXiv 2610.12054#85NQ (statement). In 1A01NFHBGA/e1, proposition 3.7

History

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

Substructure (mathematics) Q7QAFMTMR5

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#0W6V, Substructure (mathematics) (definition)

History

2026-11-02: add by m2/dev

Visual Turing Test Q7QBTF7PBJ

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

Mentions

wikipedia: Wikipedia Visual Turing Test, Visual Turing Test (definition). Also Wikidata Q22909663

History

2026-11-02: add by m2/dev

Q7QCJR5BB7 Q7QCJR5BB7

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

Mentions

austin_ula: austin_ula src/section3-1.xml#proposition-triangular-invertibility (statement). In 649HGZKE96, proposition, section 3.1.4

History

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

Civic statistics Q7QDDRQ3DG

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

Mentions

wikipedia: Wikipedia Civic statistics, Civic statistics (definition). Also Wikidata Q85752644

History

2026-11-02: add by m2/dev

Spectral certificate for full-rank preservation Q7QSMCXPQD

URI	`m2://inv/Q7QSMCXPQD`
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.28029#9OH9, Spectral certificate for full-rank preservation (statement)

History

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

positive skew Q7QSTV1VCX

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

Mentions

wikipedia: Wikipedia Skewness#DGA5, positive skew (definition)

History

2026-11-02: add by m2/dev

Wilson, Harold Q7QWN3236Y

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

Mentions

wikipedia: Wikipedia List of statisticians#I6A8, Wilson, Harold (unknown)

History

2026-11-02: add by m2/dev

geometric–harmonic mean Q7R8WNHGDP

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

Mentions

wikidata: Wikidata Q1093209, geometric–harmonic mean (unknown). Also MathWorld Harmonic-GeometricMean
wikipedia: Wikipedia Geometric–harmonic mean, Geometric–harmonic mean (definition). Also Wikidata Q1093209

History

2026-10-26: add by m2/dev

Mishnat ha-Middot Q7RCTB8E9X

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

Mentions

wikipedia: Wikipedia Mishnat ha-Middot, Mishnat ha-Middot (definition). Also Wikidata Q6575987

History

2026-11-02: add by m2/dev

Safe and Sophie Germain primes Q7RE5409DT

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

Mentions

wikipedia: Wikipedia Safe and Sophie Germain primes, Safe and Sophie Germain primes (conjecture). Also Wikidata Q105971314

History

2026-11-02: add by m2/dev

Gaussian correlation inequality Q7RGJMAS2Z

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

Mentions

wikipedia: Wikipedia List of inequalities#X7ZE, Gaussian correlation inequality (statement)

History

2026-11-02: add by m2/dev

John Rowning Q7RNT68GSP

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

Mentions

wikipedia: Wikipedia John Rowning, John Rowning (topic). Also Wikidata Q18762011

History

2026-11-02: add by m2/dev

Witt design Q7RRHM0PCW

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

Mentions

wikipedia: Wikipedia Steiner system#NCPG, Witt design (unknown)

History

2026-11-02: add by m2/dev

faraday Q7RV6V6522

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

Mentions

wikidata: Wikidata Q1396128, faraday (definition). Also ProofWiki Definition:Faraday_(Unit)

History

2026-10-26: add by m2/dev

Q7RZYDM8E3 Q7RZYDM8E3

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

Mentions

applied_combinatorics: applied_combinatorics source/s_strings_binom-thm.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 2.6

History

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

spinor bundle Q7S6FCVGPK

URI	`m2://inv/Q7S6FCVGPK`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Spinor bundle PYYQQKAZ0C

Mentions

wikidata: Wikidata Q1049915, spinor bundle (unknown). Also nLab spinor bundle
wikipedia: Wikipedia Spinor bundle, Spinor bundle (definition). Also Wikidata Q1049915

History

2026-10-26: add by m2/dev

Variants Q7S8HE3JJ1

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

Mentions

wikipedia: Wikipedia Huge cardinal#P6H6, Variants (statement)

History

2026-11-02: add by m2/dev

reflexive transitive closure Q7SB1P3X81

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

Mentions

wikidata: Wikidata Q93447297, reflexive transitive closure (definition). Also ProofWiki Definition:Reflexive_Transitive_Closure

History

2026-10-26: add by m2/dev

Q7SC7EAHWH Q7SC7EAHWH

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

Mentions

arxiv: arXiv 2512.07340#GEYB (statement). In WXE3PVAZBT/e1, lemma 5.4

History

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

Q7SN896ZV7 Q7SN896ZV7

URI	`m2://inv/Q7SN896ZV7`
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.10413#5626 (statement). In 68MTQ59QTQ/e1, lemma 4.4

History

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

Q7SP32X72K Q7SP32X72K

URI	`m2://inv/Q7SP32X72K`
Kind	problem
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#F8XY (problem). In 78X5SKJX8J/e1, problem 6.7

History

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

Q7SSHK9KTE Q7SSHK9KTE

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

Mentions

napkin: napkin tex/cats/categories.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 36.5

History

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

Q7SXH1YJ5X Q7SXH1YJ5X

URI	`m2://inv/Q7SXH1YJ5X`
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 alg-geom/9506022#QXNY (statement). In AQGEM4XAKD/e1, theorem 0.3

History

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

logarithmic mean Q7T02N1CQZ

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

Mentions

wikidata: Wikidata Q954389, logarithmic mean (unknown). Also MathWorld Arithmetic-Logarithmic-GeometricMeanInequality
wikipedia: Wikipedia Logarithmic mean, Logarithmic mean (definition). Also Wikidata Q954389

History

2026-10-26: add by m2/dev

Marco Abate Q7T3VXK582

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

Mentions

wikipedia: Wikipedia Marco Abate, Marco Abate (topic). Also Wikidata Q3845859

History

2026-11-02: add by m2/dev

Q7T40KV7JV Q7T40KV7JV

URI	`m2://inv/Q7T40KV7JV`
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.11886#9DDL (statement). In T0APQY74CA/e1, theorem 2

History

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

Q7T4824TA9 Q7T4824TA9

URI	`m2://inv/Q7T4824TA9`
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 2412.14956#9PG7 (statement). In T8BQ6HHZYT/e1, proposition 3.5

History

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

Vinogradov's mean-value theorem Q7TKCFTFA3

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

Mentions

wikipedia: Wikipedia Vinogradov's mean-value theorem, Vinogradov's mean-value theorem (statement). Also Wikidata Q18359323

History

2026-11-02: add by m2/dev

collar Q7TMG3Q3GA

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

Mentions

wikipedia: Wikipedia Glossary of algebraic topology#3321, collar (definition)

History

2026-11-02: add by m2/dev

Total algebra Q7TS3CHS54

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

Mentions

wikipedia: Wikipedia Total algebra, Total algebra (definition). Also Wikidata Q30704565

History

2026-11-02: add by m2/dev

Johann Hommel Q7TZ4PB9DZ

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

Mentions

wikipedia: Wikipedia Johann Hommel, Johann Hommel (topic). Also Wikidata Q78090

History

2026-11-02: add by m2/dev

Cyclic spherical quadrilateral Q7V2J0J4RJ

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

Mentions

wikipedia: Wikipedia Cyclic quadrilateral#B439, Cyclic spherical quadrilateral (unknown)

History

2026-11-02: add by m2/dev

Q7V7CZVXTC Q7V7CZVXTC

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

Mentions

arxiv: arXiv 2609.38188#FJ8D (statement). In 7615KVXDB5/e1, lemma 3.11

History

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

Field trace Q7VKEM4JWX

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#WZUA, Field trace (definition)

History

2026-11-02: add by m2/dev

Q7VRE2TX0B Q7VRE2TX0B

URI	`m2://inv/Q7VRE2TX0B`
Kind	example
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.16554#LGU1 (example). In GWNT8HEZG1/e1, example 4.47

History

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

Forbidden algebra types Q7VT498ZHP

URI	`m2://inv/Q7VT498ZHP`
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 2609.40054#QJ4D, Forbidden algebra types (definition). In CA4C9PFM1E/e1, definition 4.1.5

History

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

Q7VX6EGBDP Q7VX6EGBDP

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

Mentions

arxiv: arXiv 2609.21765#J13A (statement)

History

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

Q7VY5WYG8J Q7VY5WYG8J

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#proof-1 (proof). In Y91XFCEVHQ, proof, section 4.2

History

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

Branislav Jurčo Q7VZVB6A6G

URI	`m2://inv/Q7VZVB6A6G`
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 Q102434078, Branislav Jurčo (unknown). Also nLab Branislav Jurco

History

2026-10-26: add by m2/dev

Type I and type II errors Q7W27C519R

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

Mentions

wikipedia: Wikipedia Type I and type II errors, Type I and type II errors (definition). Also Wikidata Q989120

History

2026-11-02: add by m2/dev

Q7W4TYJ738 Q7W4TYJ738

URI	`m2://inv/Q7W4TYJ738`
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.10576#VLWU (statement). In N3ZA5MDZBW/e1, corollary 5

History

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

Q7W6BB96VV Q7W6BB96VV

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

Mentions

arxiv: arXiv 2609.23994#8ZG0 (statement)

History

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

Trig Derivatives Q7W6MHZS1Q

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

Mentions

wikipedia: Wikipedia Differentiation rules#G36U, Trig Derivatives (unknown)

History

2026-11-02: add by m2/dev

premise Q7WKZ218DS

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

Mentions

wikipedia: Wikipedia Glossary of logic#NHG7, premise (definition)

History

2026-11-02: add by m2/dev

SSQ approximation of the RDF Q7WP6CD36T

URI	`m2://inv/Q7WP6CD36T`
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.15549#IBT6, SSQ approximation of the RDF (statement). In S96K5CR1B7/e1, lemma 4

History

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

Exact Laplace identity Q7WWEKB5RT

URI	`m2://inv/Q7WWEKB5RT`
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.14616#F2FP, Exact Laplace identity (statement). In 17ACAG0N9C/e1, lemma 8.1

History

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

Job-shop scheduling Q7X9N8QMRZ

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

Mentions

wikipedia: Wikipedia Job-shop scheduling, Job-shop scheduling (definition). Also Wikidata Q6206757

History

2026-11-02: add by m2/dev

Antal Jákli Q7XFP8HJXV

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#QD3J, Antal Jákli (unknown)

History

2026-11-02: add by m2/dev

Cristina Bazgan Q7XNHH7YQB

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#E2MN, Cristina Bazgan (unknown)

History

2026-11-02: add by m2/dev

A universal cross-instance risk relation Q7XPBCREPB

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

Mentions

arxiv: arXiv 2610.15202#TS5H, A universal cross-instance risk relation (statement). In X1FPG0KYBM/e1, theorem V.2

History

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

Adaptive step size Q7XQPDN39Y

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

Mentions

wikipedia: Wikipedia Adaptive step size, Adaptive step size (definition). Also Wikidata Q4680766

History

2026-11-02: add by m2/dev

Theorem Q7Y7CRTDZN

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

Mentions

wikipedia: Wikipedia Ideal lattice#C9R4, Theorem (statement)

History

2026-11-02: add by m2/dev

Soft output Viterbi algorithm Q7Y8ZJJV4C

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

Mentions

wikipedia: Wikipedia List of algebraic coding theory topics#HP3T, Soft output Viterbi algorithm (definition)

History

2026-11-02: add by m2/dev

Non-Desarguesian plane Q7YC7DHH1G

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

Mentions

wikipedia: Wikipedia Non-Desarguesian plane, Non-Desarguesian plane (definition). Also Wikidata Q3391357

History

2026-11-02: add by m2/dev

Q7YFFF2ZVQ Q7YFFF2ZVQ

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_counting-addmult.ptx#example-3 (example). In Y91XFCEVHQ, example, section 2.1

History

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

Group theory via covering spaces Q7YMDHQSMX

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

Mentions

napkin: napkin tex/topology/cover-project.tex#theorem-2, Group theory via covering spaces (statement). In RZP28ERRZV, theorem, section 97.5

History

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

Almost-everywhere second-order boundary geometry Q7YTCH035X

URI	`m2://inv/Q7YTCH035X`
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.17519#QNPE, Almost-everywhere second-order boundary geometry (statement). In H2DNTQ5MKV/e1, lemma A.1

History

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

Q7YTM4VD3W Q7YTM4VD3W

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-14 (exercise). In E9HS8K3A52, exercise, section 6.8.5

History

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

Theorem Q7YWZBKWQN

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

Mentions

wikipedia: Wikipedia Direct integral#LOUP, Theorem (statement)

History

2026-11-02: add by m2/dev

cluster sampling Q7YZY1KX7Y

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

Mentions

wikipedia: Wikipedia Glossary of probability and statistics#FYMP, cluster sampling (definition)

History

2026-11-02: add by m2/dev

Separation of retained points Q7Z485X7HD

URI	`m2://inv/Q7Z485X7HD`
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.06490#5K78, Separation of retained points (statement). In NKXTXH59P1/e1, lemma E.17

History

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

Formal definition of a Hopf bifurcation Q7Z82PCBSK

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

Mentions

wikipedia: Wikipedia Hopf bifurcation#WCMY, Formal definition of a Hopf bifurcation (definition)

History

2026-11-02: add by m2/dev

Geometric median Q7ZC4F5RJ1

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

Mentions

wikipedia: Wikipedia Geometric median, Geometric median (definition). Also Wikidata Q5535496

History

2026-11-02: add by m2/dev

Watchman route problem Q7ZX5R0ZFF

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

Mentions

wikipedia: Wikipedia Watchman route problem, Watchman route problem (problem). Also Wikidata Q7973176

History

2026-11-02: add by m2/dev

Ana Casís Q7ZZCB11SK

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#RKVI, Ana Casís (topic)

History

2026-11-02: add by m2/dev

Q7ZZK4MBQY Q7ZZK4MBQY

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

Mentions

arxiv: arXiv 2610.21692#D5GG (definition). In CT4N0JGDP4/e1, definition 4.1

History

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