Inventory rows DR

DR067BFZSZ DR067BFZSZ

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

Mentions

open_logic: open_logic content/set-theory/choice/vitali.tex#vitalicover (statement). In PKGMM3P5QY, lem, section 71.6

History

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

Classification of real prime subsheaves DR08T9JJ81

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

Mentions

arxiv: arXiv 2610.15887#HDF6, Classification of real prime subsheaves (statement). In 87QYNZZ67Z/e1, proposition 5.3

History

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

Sharp moment upper bound DR099SNF8G

URI	`m2://inv/DR099SNF8G`
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 2605.14343#AHMM, Sharp moment upper bound (statement). In SP58NHA6N4/e1, theorem 3

History

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

Murata's constant DR0DSRF7TW

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

Mentions

wikidata: Wikidata Q55729753, Murata's constant (object). Also MathWorld MuratasConstant, OEIS A065485

History

2026-10-26: add by m2/dev

DR0DVPX3B0 DR0DVPX3B0

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

Mentions

arxiv: arXiv 2609.30363#8G4M (statement). In QHBBP180QJ/e1, proposition 11

History

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

DR0NQJEY1W DR0NQJEY1W

URI	`m2://inv/DR0NQJEY1W`
Kind	definition
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 2108.10246#E0EW (definition). In XD0YT3XCW2/e1, definition 2.4

History

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

DR0Q546J6Z DR0Q546J6Z

URI	`m2://inv/DR0Q546J6Z`
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 2407.20385#D8E0 (statement). In PZRSZ19KAH/e1, theorem A.4

History

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

DR0Q5P02CX DR0Q5P02CX

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

Mentions

arxiv: arXiv 2610.11760#99VA (statement). In NBNERWXW53/e1, lemma S11.2

History

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

alternating DR0RHR7W2D

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#CC8M, alternating (definition)

History

2026-11-02: add by m2/dev

DR0TW67GYT DR0TW67GYT

URI	`m2://inv/DR0TW67GYT`
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.02484#D8CM (statement). In D1V0MQZTFQ/e1, proposition 5.2

History

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

A self-contained ray determinant obstruction DR10ZGA3QQ

URI	`m2://inv/DR10ZGA3QQ`
Kind	statement
Layer	research
MSC	11-XX, 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.04099#W45F, A self-contained ray determinant obstruction (statement). In QPJ6FWG5HD/e1, proposition 2.42

History

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

Two Strike, South Dakota DR13RJE9X6

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

Mentions

wikipedia: Wikipedia List of places with numeric names#UYLI, Two Strike, South Dakota (unknown)

History

2026-11-02: add by m2/dev

Ami Harten DR15T59DQZ

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

Mentions

wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6VMB, Ami Harten (topic)

History

2026-11-02: add by m2/dev

Definition DR18N80ETE

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

Mentions

wikipedia: Wikipedia Direct limit of groups#R4VZ, Definition (definition)

History

2026-11-02: add by m2/dev

DR1JW7DZ3V DR1JW7DZ3V

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

Mentions

arxiv: arXiv 2610.18078#E4F0 (definition). In YVK8EFSYNJ/e1, definition 3.4

History

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

Kolmogorov space DR1JW8MVXT

URI	`m2://inv/DR1JW8MVXT`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	T0 space 07SG12TQH3

Mentions

wikidata: Wikidata Q1148924, Kolmogorov space (definition). Also ProofWiki Definition:Kolmogorov_Space
wikipedia: Wikipedia Kolmogorov space, Kolmogorov space (definition). Also Wikidata Q1148924

History

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

System of linear inequalities DR1N9E2P5K

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

Mentions

wikipedia: Wikipedia Linear inequality#C2BW, System of linear inequalities (unknown)

History

2026-11-02: add by m2/dev

Mikael de la Salle DR1V8NPTQP

URI	`m2://inv/DR1V8NPTQP`
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#EALU, Mikael de la Salle (unknown)

History

2026-11-02: add by m2/dev

DR2CB5DAKR DR2CB5DAKR

URI	`m2://inv/DR2CB5DAKR`
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.10968#ZAYX (statement). In KJRV9ZW833/e1, lemma A.2

History

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

Megagon DR2CW8PKT8

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

Mentions

wikipedia: Wikipedia Megagon, Megagon (definition). Also Wikidata Q6808377

History

2026-11-02: add by m2/dev

Donald A. Martin DR2E9ZYQ6B

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

Mentions

wikipedia: Wikipedia List of logicians#2I4F, Donald A. Martin (topic)

History

2026-11-02: add by m2/dev

DR2FQ6GZXB DR2FQ6GZXB

URI	`m2://inv/DR2FQ6GZXB`
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.19882#SZCM (statement)

History

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

DR2G94XPYP DR2G94XPYP

URI	`m2://inv/DR2G94XPYP`
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.20583#EAOY (statement). In 5YEEPDPAQE/e1, proposition 2.4

History

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

DR2T63MM12 DR2T63MM12

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

Mentions

arxiv: arXiv 2610.01247#D1WZ (definition). In 6EVNCRZ118/e1, definition 4

History

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

h-cobordism DR2XDN6CMX

URI	`m2://inv/DR2XDN6CMX`
Kind	statement
Layer	textbook
MSC	57-XX
Sources	4
Outcome	open
Node	None yet. Write the node.

Mentions

mathlib_1000: mathlib_1000 Q1946642, H-cobordism theorem (statement). Also Wikidata Q1946642
mathlib_1000: mathlib_1000 Q1946642X, S–cobordism theorem (statement). Also Wikidata Q1946642
thousand_plus: thousand_plus Q1946642, H-cobordism theorem (statement). Also Wikidata Q1946642, Wikipedia H-cobordism theorem
thousand_plus: thousand_plus Q1946642X, S–cobordism theorem (statement). Also Wikidata Q1946642
wikidata: Wikidata Q1946642, h-cobordism (concept). Also MathWorld h-Cobordism, nLab h-cobordism
wikipedia: Wikipedia H-cobordism, H-cobordism (definition). Also Wikidata Q1946642

History

2026-10-26: add by m2/dev

Three Little Pigs DR3391QCDX

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

Mentions

wikipedia: Wikipedia List of places with numeric names#XMGW, Three Little Pigs (unknown)

History

2026-11-02: add by m2/dev

DR33V5BYS2 DR33V5BYS2

URI	`m2://inv/DR33V5BYS2`
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#PZO6 (statement). In 51N4SF53EV/e1, theorem 3.1

History

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

Compact classification DR3DM6MBJK

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

Mentions

arxiv: arXiv 2609.22832#5JXB, Compact classification (statement)

History

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

Comparison density DR3K0W82XC

URI	`m2://inv/DR3K0W82XC`
Kind	definition
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#FLP1, Comparison density (definition). In JY6RYSNXMJ/e1, definition 6

History

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

List of things named after Siméon Denis Poisson DR3KJZY22E

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#JJY1, List of things named after Siméon Denis Poisson (unknown)

History

2026-11-02: add by m2/dev

DR4395VPNM DR4395VPNM

URI	`m2://inv/DR4395VPNM`
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 2311.16795#RS3Q (statement). In P6AM09F3S8/e1, proposition 3.1

History

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

DR44DA42TZ DR44DA42TZ

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

Mentions

arxiv: arXiv 2609.22708#2OET (statement)

History

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

Christian Reiher DR4J52TGY6

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

Mentions

wikipedia: Wikipedia List of German mathematicians#CKPS, Christian Reiher (topic)

History

2026-11-02: add by m2/dev

DR4SDXK7VH DR4SDXK7VH

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_rationals.ptx#theorem-4 (statement). In QKM9DD2H56, theorem, section B.16.1

History

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

DR4T30AYZN DR4T30AYZN

URI	`m2://inv/DR4T30AYZN`
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#LXXT (statement). In 51N4SF53EV/e1, lemma 2.9

History

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

Fundamental theorem of noncommutative algebra DR57RE4VHR

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

Mentions

wikipedia: Wikipedia Invariant subspace#YODA, Fundamental theorem of noncommutative algebra (statement)

History

2026-11-02: add by m2/dev

DR5BPS9C4D DR5BPS9C4D

URI	`m2://inv/DR5BPS9C4D`
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#GADN (statement). In ZT7H1ZDN96/e1, proposition 3.4

History

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

Well-formed formula DR5BV2AH8B

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

Mentions

wikipedia: Wikipedia List of mathematical abbreviations#INYH, Well-formed formula (statement)

History

2026-11-02: add by m2/dev

multivariable calculus DR5C1RK277

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

Mentions

wikidata: Wikidata Q2035437, multivariable calculus (topic). Also MathWorld MultivariableCalculus
wikipedia: Wikipedia Multivariable calculus, Multivariable calculus (definition). Also Wikidata Q2035437

History

2026-10-26: add by m2/dev

DR5M1Z7HAW DR5M1Z7HAW

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

Mentions

open_logic: open_logic content/set-theory/ord-arithmetic/multiplication.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 71.11

History

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

T-schema DR5WVNC27M

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#0YBR, T-schema (definition)

History

2026-11-02: add by m2/dev

``continuity'' of functions in type theory DR5ZC765DV

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

Mentions

hott_book: hott_book index/1.3/continuity-of-functions-in-type-theory, ``continuity'' of functions in type theory (concept). In N54F33XE07, index, section 1.3

History

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

DR674W9YJ2 DR674W9YJ2

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-conc.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 3.6

History

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

Mathematics of cyclic redundancy checks DR6B5WQDP8

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

Mentions

wikipedia: Wikipedia Mathematics of cyclic redundancy checks, Mathematics of cyclic redundancy checks (definition). Also Wikidata Q15995284

History

2026-11-02: add by m2/dev

History of representation theory DR6CK3FFF1

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

Mentions

wikipedia: Wikipedia History of representation theory, History of representation theory (definition). Also Wikidata Q131405325

History

2026-11-02: add by m2/dev

DR6D7DGF0A DR6D7DGF0A

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

Mentions

arxiv: arXiv 2512.16003#U6YR (definition). In BJGS6ZCQ12/e1, definition 3.12

History

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

DR6DA63YHM DR6DA63YHM

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

Mentions

napkin: napkin tex/alg-NT/artin.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 8.6

History

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

Applications DR6G1T3E2Y

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

Mentions

wikipedia: Wikipedia Fisher's exact test#M0JM, Applications (example)

History

2026-11-02: add by m2/dev

holomorphic implicit function theorem DR6HQ20PG9

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

Mentions

lebl_scv: lebl_scv index/1.3/holomorphic-implicit-function-theorem, holomorphic implicit function theorem (concept). In VNMV985MXX, index, section 1.3

History

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

DR6Q4HJHB6 DR6Q4HJHB6

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

Mentions

arxiv: arXiv 2610.16875#ZU5V (statement). In KS30K5JXGB/e1, lemma 2.16

History

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

Kantorovich theorem DR6QXQ3HG1

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

Mentions

wikipedia: Wikipedia List of theorems#D1HT, Kantorovich theorem (statement)

History

2026-11-02: add by m2/dev

metaplectic structure DR71X0ENKC

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

Mentions

wikidata: Wikidata Q6823154, metaplectic structure (unknown). Also nLab metaplectic structure
wikipedia: Wikipedia Metaplectic structure, Metaplectic structure (definition). Also Wikidata Q6823154

History

2026-10-26: add by m2/dev

DR78EGFC6P DR78EGFC6P

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

Mentions

open_logic: open_logic content/normal-modal-logic/tableaux/soundness.tex#cor:entailment-soundness (statement). In PKGMM3P5QY, cor, section 55.12

History

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

Unified super-fast analytic Richardson rates DR79AAJW1P

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

Mentions

arxiv: arXiv 2610.16094#X5VM, Unified super-fast analytic Richardson rates (statement). In RHBS9QDHC3/e1, theorem 1.4

History

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

Exact-record scalar backtracking DR7S30HCWS

URI	`m2://inv/DR7S30HCWS`
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#Q4ZB, Exact-record scalar backtracking (statement). In X1FPG0KYBM/e1, theorem S.4

History

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

G. N. Watson DR7WDS8ZF4

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#KVHS, G. N. Watson (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NOIU, G. N. Watson (unknown)

History

2026-11-02: add by m2/dev

DR7YMS29YP DR7YMS29YP

URI	`m2://inv/DR7YMS29YP`
Kind	definition
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.19882#BRYK (definition)

History

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

Mandelbrot set DR7YSVPQN5

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

Mentions

wikipedia: Wikipedia List of paradoxes#6FBQ, Mandelbrot set (topic)

History

2026-11-02: add by m2/dev

Non-Examples DR832WZY5M

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

Mentions

wikipedia: Wikipedia Regular sequence#9J1M, Non-Examples (counterexample)

History

2026-11-02: add by m2/dev

Metaphysics of identity DR85YPAXNA

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

Mentions

wikipedia: Wikipedia Identity (philosophy)#VSXA, Metaphysics of identity (statement)

History

2026-11-02: add by m2/dev

nonabelian cohomology DR88A0HAVY

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

Mentions

wikidata: Wikidata Q16937600, nonabelian cohomology (unknown). Also nLab nonabelian cohomology
wikipedia: Wikipedia Nonabelian cohomology, Nonabelian cohomology (definition). Also Wikidata Q16937600

History

2026-10-26: add by m2/dev

scalar DR8AF0FV4N

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

Mentions

wikidata: Wikidata Q1289248, scalar (unknown). Also EoM Scalar, MathWorld Scalar
wikipedia: Wikipedia Scalar (mathematics), Scalar (definition). Also Wikidata Q1289248

History

2026-10-26: add by m2/dev

DR8BG7GTBT DR8BG7GTBT

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

Mentions

arxiv: arXiv 2609.25762#SJC4 (statement)

History

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

Lindelöf hypothesis and growth of the zeta function DR8EZAAVB2

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

Mentions

wikipedia: Wikipedia Riemann hypothesis#IMKR, Lindelöf hypothesis and growth of the zeta function (statement)

History

2026-11-02: add by m2/dev

truncated triangular trapezohedron DR8GN20BKF

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

Mentions

wikidata: Wikidata Q1495163, truncated triangular trapezohedron (object). Also MathWorld DuerersSolid
wikipedia: Wikipedia Truncated triangular trapezohedron, Truncated triangular trapezohedron (definition). Also Wikidata Q1495163

History

2026-10-26: add by m2/dev

DR8HWH4CSW DR8HWH4CSW

URI	`m2://inv/DR8HWH4CSW`
Kind	statement
Layer	research
MSC	30-XX, 32-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 2610.22288#HF8K (statement). In X38P26DK6S/e1, lemma 4.16

History

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

DR8JKTC00K DR8JKTC00K

URI	`m2://inv/DR8JKTC00K`
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.15770#PY97 (statement). In DXFR0BNE47/e1, lemma 2.1

History

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

Shmuel Weinberger DR93HVZYZZ

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#7A26, Shmuel Weinberger (topic)

History

2026-11-02: add by m2/dev

Rate three and quantization under mixing DR93QGS9HV

URI	`m2://inv/DR93QGS9HV`
Kind	statement
Layer	research
MSC	11-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.37368#UG2M, Rate three and quantization under mixing (statement). In FRMCKEGVJZ/e1, corollary 7

History

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

Name DR96PQ0CNV

URI	`m2://inv/DR96PQ0CNV`
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 2506.08233#Y6R4, Name (definition). In 2TXXQ2575Y/e1, definition 3.4

History

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

fundamental DR99RED13K

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#GUYW, fundamental (definition)

History

2026-11-02: add by m2/dev

DR9E6H0JKR DR9E6H0JKR

URI	`m2://inv/DR9E6H0JKR`
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.07099#D9KO (statement). In 9GNAHRCYFT/e1, proposition 3.2

History

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

Cheeger bound DR9P4SGVFB

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

Mentions

wikipedia: Wikipedia List of statistics articles#6Q1M, Cheeger bound (definition)

History

2026-11-02: add by m2/dev

Generalizations DR9Q483CBD

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

Mentions

wikipedia: Wikipedia Prince Rupert's cube#XE17, Generalizations (statement)

History

2026-11-02: add by m2/dev

Basic examples of signatures DR9V47BWV9

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

Mentions

napkin: napkin tex/alg-NT/classgrp.tex#example-5, Basic examples of signatures (example). In RZP28ERRZV, example, section 9.3

History

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

Parzen window DR9X5PQGV9

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

Mentions

wikipedia: Wikipedia List of statistics articles#L8IB, Parzen window (definition)

History

2026-11-02: add by m2/dev

Dimensions of the two moment problems DRA1VTYVQ1

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

Mentions

arxiv: arXiv 2609.22027#EX44, Dimensions of the two moment problems (statement)

History

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

equilibrium solution, stable DRA5C1T87H

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

Mentions

active_calculus: active_calculus index/7.2.3/equilibrium-solution-stable, equilibrium solution, stable (concept). In 907G4C4EJ1, index, section 7.2.3

History

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

DRA6NKZE17 DRA6NKZE17

URI	`m2://inv/DRA6NKZE17`
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#G26H (statement). In 17ACAG0N9C/e1, proposition 7.6

History

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

Siegel's paradox DRA81Q6SYQ

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

Mentions

wikipedia: Wikipedia Siegel's paradox, Siegel's paradox (statement). Also Wikidata Q17492400

History

2026-11-02: add by m2/dev

DRAE5T8S6K DRAE5T8S6K

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

Mentions

napkin: napkin tex/linalg/vector-space.tex#ques-5 (exercise). In RZP28ERRZV, ques, section 62.7

History

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

Definition DRAESGXP6C

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

Mentions

wikipedia: Wikipedia Hausdorff distance#G2S3, Definition (definition)

History

2026-11-02: add by m2/dev

Wallpaper group DRAFGCJAXM

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

Mentions

wikipedia: Wikipedia List of group theory topics#PKSJ, Wallpaper group (definition)
wikipedia: Wikipedia List of Lie groups topics#1GPN, Wallpaper group (definition)
wikipedia: Wikipedia List of mathematical examples#V14B, Wallpaper group (definition)

History

2026-11-02: add by m2/dev

Examples DRAKBBQMY6

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

Mentions

wikipedia: Wikipedia Causal Markov condition#JL92, Examples (example)

History

2026-11-02: add by m2/dev

Retrospective gambler's fallacy DRB0TNZPS6

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

Mentions

wikipedia: Wikipedia Gambler's fallacy#4UFK, Retrospective gambler's fallacy (unknown)

History

2026-11-02: add by m2/dev

Properties DRBEVY0ZFR

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

Mentions

wikipedia: Wikipedia Bickley–Naylor functions#D7RW, Properties (statement)

History

2026-11-02: add by m2/dev

DRBG4DMWZF DRBG4DMWZF

URI	`m2://inv/DRBG4DMWZF`
Kind	example
Layer	research
MSC	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 2609.25188#92ZC (example)

History

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

Division algorithm DRBMCDK5ZM

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

Mentions

wikipedia: Wikipedia List of algorithms#9HSI, Division algorithm (definition)

History

2026-11-02: add by m2/dev

Sample space DRBS8BDK0Q

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

Mentions

wikipedia: Wikipedia List of statistics articles#6XDO, Sample space (definition)

History

2026-11-02: add by m2/dev

productive set DRBZA0G1E7

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

Mentions

wikidata: Wikidata Q118347482, productive set (unknown). Also EoM Productive_set, MathWorld ProductiveSet

History

2026-10-26: add by m2/dev

Amy Tsui DRCANEE0HM

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

Mentions

wikipedia: Wikipedia Amy Tsui, Amy Tsui (topic). Also Wikidata Q63993053

History

2026-11-02: add by m2/dev

DRCBCR38FF DRCBCR38FF

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

Mentions

arxiv: arXiv 2610.07695#LOYJ (definition). In 8Z47D12KSX/e1, definition 4.11

History

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

DRCBHXV6SV DRCBHXV6SV

URI	`m2://inv/DRCBHXV6SV`
Kind	statement
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 2610.12330#264W (statement). In XHSKEPT3VD/e1, lemma 3.3

History

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

Sara Shakulova DRCCQ2QRCT

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

Mentions

wikipedia: Wikipedia Sara Shakulova, Sara Shakulova (topic). Also Wikidata Q20595772

History

2026-11-02: add by m2/dev

DRCFANEEVX DRCFANEEVX

URI	`m2://inv/DRCFANEEVX`
Kind	statement
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 2402.17852#UJD3 (statement). In 1WCXV5PVZA/e1, lemma 2.8

History

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

Definition DRCQB80Q8T

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

Mentions

wikipedia: Wikipedia Biproduct#32L9, Definition (definition)

History

2026-11-02: add by m2/dev

Degree, character independence, and reflection DRCSK1G8FE

URI	`m2://inv/DRCSK1G8FE`
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#U5IT, Degree, character independence, and reflection (statement). In 8BNPFYQDQX/e1, lemma 2.17

History

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

Definition DRCW3XZJBG

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

Mentions

wikipedia: Wikipedia Hecke algebra of a finite group#0HCQ, Definition (definition)

History

2026-11-02: add by m2/dev

DRCW9JSWJ2 DRCW9JSWJ2

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

History

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

⊩ DRCYH531M0

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

Mentions

wikipedia: Wikipedia Glossary of set theory#PCPI, ⊩ (definition)

History

2026-11-02: add by m2/dev

C-normal subgroup DRD3A1G65B

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

Mentions

wikipedia: Wikipedia C-normal subgroup, C-normal subgroup (definition). Also Wikidata Q5015134

History

2026-11-02: add by m2/dev

DRD50PFZ3P DRD50PFZ3P

URI	`m2://inv/DRD50PFZ3P`
Kind	statement
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 2609.28824#D7JE (statement)

History

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

Weighted collision-removal principle DRD6JA84BN

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

Mentions

arxiv: arXiv 2609.23922#I63K, Weighted collision-removal principle (statement)

History

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

DRD9N10CGJ DRD9N10CGJ

URI	`m2://inv/DRD9N10CGJ`
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 math/9807180#TNMI (statement). In VR3766BVE5/e1, proposition 2.10

History

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

Source confusion DRDDV1ED8P

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

Mentions

wikipedia: Wikipedia List of cognitive biases#WQHO, Source confusion (unknown)

History

2026-11-02: add by m2/dev

Dustin Clausen DRDFZJDVX4

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

Mentions

wikipedia: Wikipedia Dustin Clausen, Dustin Clausen (topic). Also Wikidata Q102432328

History

2026-11-02: add by m2/dev

Examples DRDG9E09B5

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

Mentions

wikipedia: Wikipedia Borsuk–Ulam theorem#C75U, Examples (example)

History

2026-11-02: add by m2/dev

Paul Lévy DRDNMAC97X

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

Mentions

wikipedia: Wikipedia Paul Lévy (mathematician), Paul Lévy (topic). Also Wikidata Q441127

History

2026-11-02: add by m2/dev

Implementations DRDX48K1HW

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

Mentions

wikipedia: Wikipedia Embarrassingly parallel#6LN4, Implementations (definition)

History

2026-11-02: add by m2/dev

compactly generated space DRDZ96KCVK

URI	`m2://inv/DRDZ96KCVK`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Compactly generated space 4M5JXYVQ2X

Mentions

wikidata: Wikidata Q1738274, compactly generated space (unknown). Also nLab compactly generated topological space
wikipedia: Wikipedia Compactly generated space, Compactly generated space (definition). Also Wikidata Q1738274

History

2026-10-26: add by m2/dev

Examples DRDZCBP2X8

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

Mentions

wikipedia: Wikipedia Coalgebra#RSVH, Examples (example)

History

2026-11-02: add by m2/dev

Sydney Goldstein DRDZFZ7BX4

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#5OC4, Sydney Goldstein (topic)

History

2026-11-02: add by m2/dev

The Ramanujan–Petersson conjecture over global function fields DRDZZX3V1P

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

Mentions

wikipedia: Wikipedia Ramanujan–Petersson conjecture#7GAC, The Ramanujan–Petersson conjecture over global function fields (statement)

History

2026-11-02: add by m2/dev

cancellation property DRE0JHTV8W

URI	`m2://inv/DRE0JHTV8W`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Cancellation property 6CR9A0EWPN

Mentions

wikidata: Wikidata Q2298524, cancellation property (unknown). Also EoM Cancellation_law
wikipedia: Wikipedia Cancellation property, Cancellation property (definition). Also Wikidata Q2298524

History

2026-10-26: add by m2/dev

rational parameterization DRE8XYZMQF

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

Mentions

wikipedia: Wikipedia Parametric equation#CNSI, rational parameterization (definition)

History

2026-11-02: add by m2/dev

bifolium DRE91G3K7G

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

Mentions

wikidata: Wikidata Q2780405, bifolium (unknown). Also MathWorld Bifolium
wikipedia: Wikipedia Bifolium, Bifolium (definition). Also Wikidata Q2780405

History

2026-10-26: add by m2/dev

Formal definition DRE99SVWVM

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

Mentions

wikipedia: Wikipedia Strong cardinal#133K, Formal definition (definition)

History

2026-11-02: add by m2/dev

Matthew Stewart DRE9H68BY8

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

Mentions

wikipedia: Wikipedia Matthew Stewart (mathematician), Matthew Stewart (topic). Also Wikidata Q3299807

History

2026-11-02: add by m2/dev

DRED7ATK9K DRED7ATK9K

URI	`m2://inv/DRED7ATK9K`
Kind	statement
Layer	research
MSC	55-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.16606#5PQR (statement). In A798V7TX99/e1, proposition 5.33

History

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

DREDA1W13G DREDA1W13G

URI	`m2://inv/DREDA1W13G`
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.23617#O4O6 (statement)

History

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

Inverse uniform distribution DREX17763J

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

Mentions

wikipedia: Wikipedia Inverse distribution#J2R9, Inverse uniform distribution (unknown)

History

2026-11-02: add by m2/dev

Edward Odell DRF58JEE1X

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

Mentions

wikipedia: Wikipedia Edward Odell, Edward Odell (topic). Also Wikidata Q11696228

History

2026-11-02: add by m2/dev

Applications DRF9X42AKK

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

Mentions

wikipedia: Wikipedia Unit disk graph#2KE9, Applications (example)

History

2026-11-02: add by m2/dev

DRFBMWD3KW DRFBMWD3KW

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

Mentions

arxiv: arXiv 2610.11047#XOWZ (statement). In MNQAZ70XTH/e1, lemma 3.7

History

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

Anankastic conditional DRFF80TDM6

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

Mentions

wikipedia: Wikipedia Anankastic conditional, Anankastic conditional (definition). Also Wikidata Q4751414

History

2026-11-02: add by m2/dev

Anthony Hilton DRFPHMTMC2

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

Mentions

wikipedia: Wikipedia Anthony Hilton, Anthony Hilton (topic). Also Wikidata Q573410

History

2026-11-02: add by m2/dev

Kathi Irvine DRFVCJAWD1

URI	`m2://inv/DRFVCJAWD1`
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#FGON, Kathi Irvine (topic)

History

2026-11-02: add by m2/dev

DRG7ACVW1H DRG7ACVW1H

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

Mentions

arxiv: arXiv 2609.21860#JQP4 (definition)

History

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

Properties DRG82R1PDQ

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

Mentions

wikipedia: Wikipedia Fermat pseudoprime#1Y4X, Properties (statement)

History

2026-11-02: add by m2/dev

DRG9NZ3KNP DRG9NZ3KNP

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

Mentions

arxiv: arXiv 2508.21045#A4CK (statement). In CGA36VE1C5/e1, fact 12.7.1

History

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

DRGABKC0RH DRGABKC0RH

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/soundness.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 8.14

History

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

DRGCQ3VSPJ DRGCQ3VSPJ

URI	`m2://inv/DRGCQ3VSPJ`
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.13429#EXXD (statement). In B2VB5T5WQD/e1, lemma 4.5

History

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

DRGFEY7Q4Q DRGFEY7Q4Q

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

Mentions

arxiv: arXiv 2609.28195#JRB5 (statement)

History

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

Exact all-alphabet characterization DRGSS6XESZ

URI	`m2://inv/DRGSS6XESZ`
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#NF4X, Exact all-alphabet characterization (statement). In 9YAE8FNQST/e1, corollary 28.15

History

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

DRGY3ZRV7G DRGY3ZRV7G

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

Mentions

arxiv: arXiv 2610.10545#XG2W (statement). In ZA75D59G8K/e1, corollary 2.4

History

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

Applications DRH1CAYP69

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

Mentions

wikipedia: Wikipedia Leimkuhler–Matthews method#VP9M, Applications (example)

History

2026-11-02: add by m2/dev

DRH38F1E97 DRH38F1E97

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

Mentions

arxiv: arXiv 2609.40096#CAB8 (statement). In XFE35F9NEV/e1, proposition 2.2

History

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

C*-algebra theory DRH5PX38P1

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#5CLM, C*-algebra theory (definition)

History

2026-11-02: add by m2/dev

Bilevel gradient and primitive variance DRH6SK7BAJ

URI	`m2://inv/DRH6SK7BAJ`
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.01843#0FL3, Bilevel gradient and primitive variance (statement). In EDG9ZFDSWK/e1, proposition 4.2

History

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

Theorem DRHAWY06VD

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

Mentions

wikipedia: Wikipedia Hahn–Banach theorem#X82C, Theorem (statement)

History

2026-11-02: add by m2/dev

No fixed probabilistic test DRHBGBNY0B

URI	`m2://inv/DRHBGBNY0B`
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.32078#DIS5, No fixed probabilistic test (statement). In 5PN85N6EJF/e1, theorem 7.3

History

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

DRHBNQNPQE DRHBNQNPQE

URI	`m2://inv/DRHBNQNPQE`
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.13833#E8FQ (definition). In VD4JP4HVBX/e1, definition 6.4

History

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

Subtractive notation DRHBQQCHSY

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

Mentions

wikipedia: Wikipedia Sign-value notation#C4KI, Subtractive notation (unknown)

History

2026-11-02: add by m2/dev

DRHDWWMK7Z DRHDWWMK7Z

URI	`m2://inv/DRHDWWMK7Z`
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.30105#BL7O (statement)

History

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

DRHK72VBMX DRHK72VBMX

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

Mentions

arxiv: arXiv 0809.3835#FUOT (statement). In V4J1J8YC7V/e1, lemma 10

History

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

Stable twist DRHK8PAGQZ

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

Mentions

arxiv: arXiv 2610.10583#ITI0, Stable twist (statement). In 5BZQS1KY9A/e1, lemma 4.7

History

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

Mathematical system theory DRJ611RJE1

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#7LD2, Mathematical system theory (definition)

History

2026-11-02: add by m2/dev

Examples DRJA1H6G3A

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

Mentions

wikipedia: Wikipedia Algorithmically random sequence#M6XQ, Examples (example)

History

2026-11-02: add by m2/dev

DRJA727KTS DRJA727KTS

URI	`m2://inv/DRJA727KTS`
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 2307.02473#Q532 (statement). In RGXMK94YW1/e1, lemma 5.4

History

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

pullback DRJAE9E0HV

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

Mentions

hott_book: hott_book index/5.8/pullback, pullback (concept). In N54F33XE07, index, section 5.8

History

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

Semi-orthogonal matrix DRJD2SW7AB

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

Mentions

wikipedia: Wikipedia Semi-orthogonal matrix, Semi-orthogonal matrix (definition). Also Wikidata Q7449314

History

2026-11-02: add by m2/dev

DRJDH3W73G DRJDH3W73G

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

Mentions

arxiv: arXiv 2609.30779#FMFH (statement). In 64V4DXGBKB/e1, lemma 3.3

History

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

DRJE0Y1XHV DRJE0Y1XHV

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

Mentions

arxiv: arXiv 2609.32090#IDRO (statement). In HJWWFBA63D/e1, proposition 3.1

History

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

DRJHM3PJRW DRJHM3PJRW

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

Mentions

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

History

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

Shift identity DRJQPNNCZT

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

Mentions

wikipedia: Wikipedia Quadratic Jordan algebra#O2TP, Shift identity (statement)

History

2026-11-02: add by m2/dev

Applications DRJTNQ1H7C

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

Mentions

wikipedia: Wikipedia Four-valued logic#AFVI, Applications (example)

History

2026-11-02: add by m2/dev

Godbersen's conjecture DRJVS8GE5T

URI	`m2://inv/DRJVS8GE5T`
Kind	conjecture
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 2610.04527#3TJH, Godbersen's conjecture (conjecture). In Z9ZXAC6TZQ/e1, conjecture 1

History

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

Geometric Comparison Lemma DRK9Q84YBB

URI	`m2://inv/DRK9Q84YBB`
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.33018#MTB3, Geometric Comparison Lemma (statement). In 8XVS0QJ2AH/e1, lemma 50

History

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

absolute value DRKG061534

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

Mentions

wikipedia: Wikipedia Complex plane#UE5B, absolute value (definition)

History

2026-11-02: add by m2/dev

Maximal index in the support DRKGBN651S

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

Mentions

arxiv: arXiv 2212.06621#562U, Maximal index in the support (definition). In DB223AABTH/e1, definition 2.1

History

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

cylindrical algebraic decomposition DRKJ223DMK

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

Mentions

wikidata: Wikidata Q5199280, cylindrical algebraic decomposition (concept). Also MathWorld CylindricalAlgebraicDecomposition
wikipedia: Wikipedia Cylindrical algebraic decomposition, Cylindrical algebraic decomposition (object). Also Wikidata Q5199280

History

2026-10-26: add by m2/dev

forcing, graded DRKKFYRDXZ

URI	`m2://inv/DRKKFYRDXZ`
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 2609.32733#LBJC, forcing, graded (statement). In PCAS8S14J6/e1, lemma C.4

History

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

Efficient implementation of symmetric subspace projection; informal DRKM6AVKYP

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

Mentions

arxiv: arXiv 2609.39992#QUYY, Efficient implementation of symmetric subspace projection; informal (statement). In WF64CGYVK1/e1, theorem 2

History

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

Fourth-moment bound for weighted increments DRKNK9CJWZ

URI	`m2://inv/DRKNK9CJWZ`
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.06372#B65C, Fourth-moment bound for weighted increments (statement). In G3E1P350Z6/e1, proposition 7.12

History

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

Median-of-means for bulk sampling DRKPC60FZ5

URI	`m2://inv/DRKPC60FZ5`
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.15974#HFOP, Median-of-means for bulk sampling (statement). In 61ZHQ7BTKP/e1, corollary 6.2

History

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

Gribov ambiguity DRKPQC7ES7

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

Mentions

wikidata: Wikidata Q5608550, Gribov ambiguity (unknown). Also nLab Gribov ambiguity

History

2026-10-26: add by m2/dev

natural numbers, encoded as a $\w$-type DRKS6JK96M

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

Mentions

hott_book: hott_book index/8.3/natural-numbers-encoded-as-a-w-type, natural numbers, encoded as a $\w$-type (concept). In N54F33XE07, index, section 8.3

History

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

DRKT0VCRHZ DRKT0VCRHZ

URI	`m2://inv/DRKT0VCRHZ`
Kind	statement
Layer	research
MSC	03-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 1209.3562#VERO (statement). In KZH1DCS18C/e1, theorem 5.2

History

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

DRKY6TW6X9 DRKY6TW6X9

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

Mentions

arxiv: arXiv 2610.00909#N0GG (statement). In Z4TD36VFPW/e1, lemma 5.3

History

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

line DRKZPKMW4V

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#W49S, line (definition)

History

2026-11-02: add by m2/dev

Examples DRM2Y8ZGWP

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

Mentions

wikipedia: Wikipedia Indefinite sum#SP48, Examples (example)

History

2026-11-02: add by m2/dev

DRMAGCS8GJ DRMAGCS8GJ

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

Mentions

arxiv: arXiv 2610.14458#ZW4Q (statement). In WJ76MVYAZQ/e1, proposition 4.7

History

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

Applications DRMJ4B2DDN

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

Mentions

wikipedia: Wikipedia Linear-feedback shift register#OC2D, Applications (example)

History

2026-11-02: add by m2/dev

DRMQA7F6GE DRMQA7F6GE

URI	`m2://inv/DRMQA7F6GE`
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.24041#N9N5 (statement)

History

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

Plücker formula DRMTXJDZ7Q

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

Mentions

wikipedia: Wikipedia Plücker formula, Plücker formula (statement). Also Wikidata Q3077627

History

2026-11-02: add by m2/dev

DRMWXSF5JD DRMWXSF5JD

URI	`m2://inv/DRMWXSF5JD`
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.22272#4LXP (statement). In 4VZV5V0YD6/e1, theorem 1

History

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

DRMX77SN43 DRMX77SN43

URI	`m2://inv/DRMX77SN43`
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 2310.13621#35TL (statement). In DG0EZ1BPV5/e1, lemma 7.2

History

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

Mint DRN03RGRK5

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

Mentions

wikipedia: Wikipedia Mint (web analytics software), Mint (definition). Also Wikidata Q6869544

History

2026-11-02: add by m2/dev

Jana Jurečková DRNRQD32SM

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

Mentions

wikipedia: Wikipedia Jana Jurečková, Jana Jurečková (topic). Also Wikidata Q15119834

History

2026-11-02: add by m2/dev

Kepler triangle DRNRXAW0J8

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

Mentions

wikipedia: Wikipedia List of triangle topics#Z7BM, Kepler triangle (definition)
wikipedia: Wikipedia List of mathematical shapes#RHAA, Kepler triangle (definition)
wikipedia: Wikipedia List of things named after Johannes Kepler#84RF, Kepler triangle (definition)

History

2026-11-02: add by m2/dev

DRNSVAHD1Q DRNSVAHD1Q

URI	`m2://inv/DRNSVAHD1Q`
Kind	statement
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 2610.12330#ZQ24 (statement). In XHSKEPT3VD/e1, lemma 3.2

History

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

Benders decomposition DRNVCYC2Q9

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

Mentions

wikipedia: Wikipedia Benders decomposition, Benders decomposition (definition). Also Wikidata Q3042795

History

2026-11-02: add by m2/dev

DRNWHRBP8G DRNWHRBP8G

URI	`m2://inv/DRNWHRBP8G`
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 2409.03423#L4IP (statement). In 8C5YCMN81V/e1, proposition 2

History

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

vector DRNYR7XWWX

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

Mentions

lebl_scv: lebl_scv index/2.2/vector, vector (concept). In VNMV985MXX, index, section 2.2

History

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

Descent obstruction DRP16YDSTE

URI	`m2://inv/DRP16YDSTE`
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.15831#1SAN, Descent obstruction (statement). In CVESAPNMCQ/e1, proposition 2.9

History

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

DRP2FVXJPC DRP2FVXJPC

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

Mentions

arxiv: arXiv 2609.37106#O2JO (statement). In XNK04XFP2C/e1, theorem 6.5

History

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

Material inference DRP8JBZ9E5

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

Mentions

wikipedia: Wikipedia Material inference, Material inference (definition). Also Wikidata Q17103604

History

2026-11-02: add by m2/dev

Graph structure theorem DRPETTZF6A

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

Mentions

mathlib_1000: mathlib_1000 Q5597098, Graph structure theorem (statement). Also Wikidata Q5597098
thousand_plus: thousand_plus Q5597098, Graph structure theorem (statement). Also Wikidata Q5597098, Wikipedia Graph structure theorem
wikipedia: Wikipedia Graph structure theorem, Graph structure theorem (statement). Also Wikidata Q5597098

History

2026-10-26: add by m2/dev

Procedure DRPHAHXD6Q

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

Mentions

wikipedia: Wikipedia Pearson's chi-squared test#NKUO, Procedure (definition)

History

2026-11-02: add by m2/dev

DRPKYZK3DE DRPKYZK3DE

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#prop:contalg (statement). In E59CDZA4DP, prop, section 10.2.2

History

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

DRPRE37BHE DRPRE37BHE

URI	`m2://inv/DRPRE37BHE`
Kind	statement
Layer	research
MSC	16-XX, 20-XX, 22-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.11800#XWW1 (statement). In 8TSZ2E32K3/e1, lemma 2.3

History

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

Polynormal subgroup DRPTR79RG4

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

Mentions

wikipedia: Wikipedia Polynormal subgroup, Polynormal subgroup (definition). Also Wikidata Q7226651

History

2026-11-02: add by m2/dev

DRPY500M5V DRPY500M5V

URI	`m2://inv/DRPY500M5V`
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.21472#7MF9 (statement)

History

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

DRPZFH59X5 DRPZFH59X5

URI	`m2://inv/DRPZFH59X5`
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 1008.4946#IURF (example). In R4ZM6Q4SHH/e1, example

History

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

DRQ9QENW66 DRQ9QENW66

URI	`m2://inv/DRQ9QENW66`
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#JRKQ (definition). In F605BQ3AYX/e1, definition 5.4

History

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

Single-output posterior image characterization DRQCP8306C

URI	`m2://inv/DRQCP8306C`
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.09472#04J5, Single-output posterior image characterization (statement). In 35925M9GJW/e1, lemma 1

History

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

DRQHQMKQHA DRQHQMKQHA

URI	`m2://inv/DRQHQMKQHA`
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.14204#F3A4 (statement). In GZAY1Y12YD/e1, theorem C

History

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

DRQKD2S8Q6 DRQKD2S8Q6

URI	`m2://inv/DRQKD2S8Q6`
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.07451#8GEN (statement). In P7KT88N75Q/e1, proposition 2.9

History

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

Parareal DRQYRFBBY3

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

Mentions

wikipedia: Wikipedia Parareal, Parareal (definition). Also Wikidata Q25304113

History

2026-11-02: add by m2/dev

Versions of the Identity Type DRR0PQ89Z1

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

Mentions

wikipedia: Wikipedia Identity type#CRQK, Versions of the Identity Type (statement)

History

2026-11-02: add by m2/dev

DRR1GQ8GG3 DRR1GQ8GG3

URI	`m2://inv/DRR1GQ8GG3`
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.08664#GZMQ (statement). In 1YY0P4ZS0T/e1, proposition 40

History

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

Substructure search DRR1K8RSAF

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

Mentions

wikipedia: Wikipedia Substructure search, Substructure search (definition). Also Wikidata Q130850909

History

2026-11-02: add by m2/dev

Adelic algebraic group DRREQCKK3M

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

Mentions

wikipedia: Wikipedia Adelic algebraic group, Adelic algebraic group (definition). Also Wikidata Q525964

History

2026-11-02: add by m2/dev

ABX test DRRQQ131AV

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

Mentions

wikipedia: Wikipedia ABX test, ABX test (definition). Also Wikidata Q287654

History

2026-11-02: add by m2/dev

DRRVYPBRVA DRRVYPBRVA

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

Mentions

arxiv: arXiv 2609.27078#TQI6 (definition)

History

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

DRRX6CWKX1 DRRX6CWKX1

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#lemma:continuouscompact (statement). In E59CDZA4DP, lemma, section 4.5.2

History

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

Non-Hermitian quantum mechanics DRS04QCC1P

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

Mentions

wikipedia: Wikipedia List of things named after Charles Hermite#TRF7, Non-Hermitian quantum mechanics (unknown)

History

2026-11-02: add by m2/dev

H-object DRS5QE3TC1

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

Mentions

wikipedia: Wikipedia H-object, H-object (definition). Also Wikidata Q105081710

History

2026-11-02: add by m2/dev

Cookoo's Egg DRS8BWBQR3

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

Mentions

wikipedia: Wikipedia Look-and-say sequence#JY1K, Cookoo's Egg (unknown)

History

2026-11-02: add by m2/dev

DRS9RRH3KW DRS9RRH3KW

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

Mentions

arxiv: arXiv 2609.29806#A6QI (statement)

History

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

Complexity of the quantum Gibbs sampler DRS9XN036K

URI	`m2://inv/DRS9XN036K`
Kind	statement
Layer	research
MSC	49-XX, 60-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.27103#Y26M, Complexity of the quantum Gibbs sampler (statement)

History

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

DRSD6GZ0BX DRSD6GZ0BX

URI	`m2://inv/DRSD6GZ0BX`
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.32887#658I (statement). In Z7XFG5ZKV1/e1, proposition 2

History

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

SOS-convexity DRSE90J4Q3

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

Mentions

wikipedia: Wikipedia SOS-convexity, SOS-convexity (definition). Also Wikidata Q97179825

History

2026-11-02: add by m2/dev

DRSQAGMY5F DRSQAGMY5F

URI	`m2://inv/DRSQAGMY5F`
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.25656#4AF2 (definition)

History

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

DRSXREC58J DRSXREC58J

URI	`m2://inv/DRSXREC58J`
Kind	definition
Layer	research
MSC	30-XX, 32-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.10505#5VUA (definition). In JW8HH6EPG2/e1, definition 1.1

History

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

Stochastic Localization DRSYW9TCEY

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

Mentions

arxiv: arXiv 2609.30105#5J6Y, Stochastic Localization (definition)

History

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

DRT40Q5N4Q DRT40Q5N4Q

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

Mentions

arxiv: arXiv 2610.11157#XSEB (example). In G30YTST9ZK/e1, example 3.1

History

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

Special cases DRTEVN2VPK

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

Mentions

wikipedia: Wikipedia Phase-type distribution#4VMY, Special cases (statement)

History

2026-11-02: add by m2/dev

DRTFY7VKD2 DRTFY7VKD2

URI	`m2://inv/DRTFY7VKD2`
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 2605.30285#VFPZ (statement). In YMY0NNSM27/e1, proposition 2.1

History

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

DRTRNN3RKW DRTRNN3RKW

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

Mentions

arxiv: arXiv 2610.14434#6L1P (statement). In TW93XZXMHE/e1, lemma 2.2

History

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

Examples DRV869JSKN

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

Mentions

wikipedia: Wikipedia False precision#3C5S, Examples (example)

History

2026-11-02: add by m2/dev

DRVHHY4JPY DRVHHY4JPY

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

Mentions

arxiv: arXiv 2610.14374#OYGG (statement). In YPTC532FEG/e1, theorem 27

History

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

DRVT2QQAFB DRVT2QQAFB

URI	`m2://inv/DRVT2QQAFB`
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.10078#KE50 (statement). In YVGRZK1HRS/e1, theorem 1.10

History

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

Miami Springs DRVTZB3CG0

URI	`m2://inv/DRVTZB3CG0`
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#R5YX, Miami Springs (unknown)

History

2026-11-02: add by m2/dev

DRVXTEKDX8 DRVXTEKDX8

URI	`m2://inv/DRVXTEKDX8`
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.01737#RZI0 (statement). In M4JGP708F4/e1, proposition 3.38

History

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

DRW2E7YBNX DRW2E7YBNX

URI	`m2://inv/DRW2E7YBNX`
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.02993#TYG7 (statement). In TJH58FRGEN/e1, lemma 5.11

History

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

DRW8VGMMAN DRW8VGMMAN

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

Mentions

arxiv: arXiv 2102.09374#YZ3F (definition). In TGAHH1F8K5/e1, definition 2.1

History

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

primitive Pythagorean triple DRWHV4CNW3

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

Mentions

wikidata: Wikidata Q131470698, primitive Pythagorean triple (unknown). Also MathWorld PrimitivePythagoreanTriple

History

2026-10-26: add by m2/dev

Arithmetical number DRWV879EZ4

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

Mentions

wikipedia: Wikipedia Definable real number#ZMVY, Arithmetical number (unknown)

History

2026-11-02: add by m2/dev

DRWVTK881R DRWVTK881R

URI	`m2://inv/DRWVTK881R`
Kind	statement
Layer	research
MSC	05-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.07280#TAJL (statement). In 1FJKW4WGEN/e1, lemma 4.9

History

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

existential generalization DRWZAJCZEX

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

Mentions

wikipedia: Wikipedia Glossary of logic#4UJ9, existential generalization (definition)

History

2026-11-02: add by m2/dev

DRX35XPG28 DRX35XPG28

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

Mentions

arxiv: arXiv 2610.13680#FLDN (unknown). In QNBFHFZ3H0/e1, unknown 103

History

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

Chebyshev expansion DRXA4PEYEN

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

Mentions

wikipedia: Wikipedia Chebyshev polynomials#M6ML, Chebyshev expansion (unknown)

History

2026-11-02: add by m2/dev

DRXAPRB2AR DRXAPRB2AR

URI	`m2://inv/DRXAPRB2AR`
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.20126#60NA (statement). In KVXDWX9B11/e1, lemma 2.3

History

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

11/8 conjecture DRXD61FQSH

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

Mentions

wikipedia: Wikipedia 4-manifold#BK7J, 11/8 conjecture (unknown)

History

2026-11-02: add by m2/dev

Statement DRXQ1SRBG4

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

Mentions

wikipedia: Wikipedia Krein's condition#8A3B, Statement (statement)

History

2026-11-02: add by m2/dev

Fieller's theorem DRY505ETN6

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

Mentions

wikipedia: Wikipedia List of statistics articles#CYG7, Fieller's theorem (statement)

History

2026-11-02: add by m2/dev

G\'acs-Reif DRY8GQ4MYR

URI	`m2://inv/DRY8GQ4MYR`
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 math/0003117#BIEP, G\'acs-Reif (statement). In WD2NCBV9F0/e1, proposition 6.15

History

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

DRY9PQ5QQM DRY9PQ5QQM

URI	`m2://inv/DRY9PQ5QQM`
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 2610.03373#CPSQ (statement). In ZA7DBT3NWR/e1, proposition 3.8

History

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

DRYAHBSG78 DRYAHBSG78

URI	`m2://inv/DRYAHBSG78`
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 2303.14022#IJ3L (statement). In NSYR6W27FP/e1, theorem 3.12

History

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

DRYKYDWEZE DRYKYDWEZE

URI	`m2://inv/DRYKYDWEZE`
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.26114#82HY (statement)

History

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

DRYXVAR87C DRYXVAR87C

URI	`m2://inv/DRYXVAR87C`
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.02993#3LI1 (statement). In TJH58FRGEN/e1, corollary 5.9

History

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

DRYZG2ZXTY DRYZG2ZXTY

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

Mentions

arxiv: arXiv 2610.08193#ICV0 (statement). In 8XAKGH8S2D/e1, proposition 4.21

History

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

DRZ6JBE1FY DRZ6JBE1FY

URI	`m2://inv/DRZ6JBE1FY`
Kind	statement
Layer	research
MSC	35-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 2609.35001#BO1C (statement). In 1PN6NESQER/e1, lemma 2.8

History

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

Heuristic argument DRZJ1F71FZ

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

Mentions

wikipedia: Wikipedia Heuristic argument, Heuristic argument (definition). Also Wikidata Q16945639

History

2026-11-02: add by m2/dev

Statement DRZKKAQYKQ

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

Mentions

wikipedia: Wikipedia Isbell's zigzag theorem#Y1N2, Statement (statement)

History

2026-11-02: add by m2/dev

DRZQDP6NG6 DRZQDP6NG6

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

Mentions

arxiv: arXiv 2610.08382#GZOS (definition). In GYMGDQS25R/e1, definition 2.8

History

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

Szpilrajn extension theorem DRZQG34P78

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

Mentions

mathlib_1000: mathlib_1000 Q869647, Szpilrajn extension theorem (statement). Also Mathlib extend_partialOrder, Wikidata Q869647
thousand_plus: thousand_plus Q869647, Szpilrajn extension theorem (statement). Also Mathlib extend_partialOrder, Wikidata Q869647, Wikipedia Szpilrajn extension theorem
wikipedia: Wikipedia Szpilrajn extension theorem, Szpilrajn extension theorem (statement). Also Wikidata Q869647

History

2026-10-26: add by m2/dev

Platos dialogues DRZXBNT2TV

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

Mentions

wikipedia: Wikipedia Plato#RML3, Platos dialogues (unknown)

History

2026-11-02: add by m2/dev

Division theorem DRZXHA55T1

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

Mentions

wikipedia: Wikipedia Weierstrass preparation theorem#8NGO, Division theorem (statement)

History

2026-11-02: add by m2/dev