Inventory rows 86

locality of the collapse 86041196BN

URI	`m2://inv/86041196BN`
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#6XRU, locality of the collapse (statement). In PCAS8S14J6/e1, proposition 9.1

History

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

Applications 86050SS45B

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

Mentions

wikipedia: Wikipedia Tridiagonal matrix#OD0S, Applications (example)

History

2026-11-02: add by m2/dev

Juliana Freire 860K9C4M0X

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ISSM, Juliana Freire (unknown)

History

2026-11-02: add by m2/dev

860ND64Y8Z 860ND64Y8Z

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

Mentions

lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-3 (exercise). In E59CDZA4DP, exercise, section 11.9.6

History

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

860RR374J7 860RR374J7

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

Mentions

arxiv: arXiv 2609.28265#Q7NX (statement)

History

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

Pendulum 860RYMZEXS

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#RKXP, Pendulum (unknown)

History

2026-11-02: add by m2/dev

Argue the beard 860VJ0DWBY

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

Mentions

wikipedia: Wikipedia Sorites paradox#1LEH, Argue the beard (unknown)

History

2026-11-02: add by m2/dev

Apeirogonal prism 860Y7050WV

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

Mentions

wikipedia: Wikipedia Apeirogonal prism, Apeirogonal prism (definition). Also Wikidata Q13422697

History

2026-11-02: add by m2/dev

860YFKPSVY 860YFKPSVY

URI	`m2://inv/860YFKPSVY`
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 2211.10816#O7GT (statement). In 8VNN8PX49Y/e1, theorem 8

History

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

Root-poset descent formula 860ZDYWBN4

URI	`m2://inv/860ZDYWBN4`
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.24541#60R1, Root-poset descent formula (statement)

History

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

Join count statistic 8610GR4AZY

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

Mentions

wikipedia: Wikipedia Join count statistic, Join count statistic (definition). Also Wikidata Q125821274

History

2026-11-02: add by m2/dev

Elastic map 86124SBDD8

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

Mentions

wikipedia: Wikipedia Elastic map, Elastic map (definition). Also Wikidata Q4476452

History

2026-11-02: add by m2/dev

connection form 861G1MMF34

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

Mentions

wikidata: Wikidata Q5161687, connection form (unknown). Also EoM Connection_form
wikipedia: Wikipedia Connection form, Connection form (definition). Also Wikidata Q5161687

History

2026-10-26: add by m2/dev

Definition 861GFZMJKS

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

Mentions

wikipedia: Wikipedia Differential graded Lie algebra#4EAO, Definition (definition)

History

2026-11-02: add by m2/dev

861JM6AJQJ 861JM6AJQJ

URI	`m2://inv/861JM6AJQJ`
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 1804.06366#KZIN (statement). In 89XYDVXG38/e1, theorem 5.3

History

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

Fagin's theorem 861N6JWCK9

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

Mentions

wikipedia: Wikipedia List of theorems#5J1K, Fagin's theorem (statement)

History

2026-11-02: add by m2/dev

intensional type theory 861NE23EY4

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

Mentions

hott_book: hott_book index/1.15/intensional-type-theory, intensional type theory (concept). In N54F33XE07, index, section 1.15

History

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

axiom, of choice, type-theoretic 861NGQJ565

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

Mentions

hott_book: hott_book index/A.6/axiom-of-choice-type-theoretic, axiom, of choice, type-theoretic (concept). In N54F33XE07, index, section A.6

History

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

861WRVPPHT 861WRVPPHT

URI	`m2://inv/861WRVPPHT`
Kind	statement
Layer	research
MSC	03-XX, 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.39824#V0BG (statement). In REPGS464V6/e1, theorem 1.2

History

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

8621N0WXVD 8621N0WXVD

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

Mentions

open_logic: open_logic content/set-theory/ordinals/iso.tex#ordisounique (statement). In PKGMM3P5QY, prop, section 72.5

History

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

8621R6BXD1 8621R6BXD1

URI	`m2://inv/8621R6BXD1`
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.34471#CDB0 (statement). In BQ6MCMHCJK/e1, proposition 3.6

History

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

Full-field anchor family 8624F6R0N2

URI	`m2://inv/8624F6R0N2`
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.15815#CZ8Y, Full-field anchor family (statement). In 9C75CTY5C3/e1, theorem 3.2

History

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

Statistical Science 8626G1TTZG

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

Mentions

wikipedia: Wikipedia List of statistics journals#N6UT, Statistical Science (definition)

History

2026-11-02: add by m2/dev

classification of abelian simple groups 862A0R3RSK

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

Mentions

mathlib_overview: mathlib_overview General algebra > Group theory > classification of abelian simple groups, classification of abelian simple groups (unknown). Also Mathlib CommGroup.is_simple_iff_prime_card

History

2026-10-26: add by m2/dev

Variations 862D0YA9AA

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

Mentions

wikipedia: Wikipedia Multiply perfect number#CX0L, Variations (statement)

History

2026-11-02: add by m2/dev

862D4EQ20J 862D4EQ20J

URI	`m2://inv/862D4EQ20J`
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.21047#NRU1 (statement)

History

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

862T4HYEK1 862T4HYEK1

URI	`m2://inv/862T4HYEK1`
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 2609.25289#5Z35 (statement)

History

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

Kenmotu point 862XKVH0F6

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

Mentions

wikidata: Wikidata Q130214553, Kenmotu point (unknown). Also MathWorld KenmotuPoint

History

2026-10-26: add by m2/dev

Stanislaw Saks 863510GG7Y

URI	`m2://inv/863510GG7Y`
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#GFR6, Stanislaw Saks (topic)

History

2026-11-02: add by m2/dev

Phase reduction 8637SZ1KXV

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

Mentions

wikipedia: Wikipedia Phase reduction, Phase reduction (definition). Also Wikidata Q60769125

History

2026-11-02: add by m2/dev

863D4RMJYZ 863D4RMJYZ

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

Mentions

lebl_scv: lebl_scv scv.tex#example-17 (example). In VNMV985MXX, example, section 4.6

History

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

863YHPQ3MJ 863YHPQ3MJ

URI	`m2://inv/863YHPQ3MJ`
Kind	definition
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.21921#C9KK (definition). In CM2YEK9T4F/e1, definition 7.3

History

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

Dirac equation 863YNPQFBH

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

Mentions

wikipedia: Wikipedia List of named differential equations#T0TY, Dirac equation (definition)

History

2026-11-02: add by m2/dev

Variants 8647T4TD9E

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

Mentions

wikipedia: Wikipedia Polynomial-time approximation scheme#QWXN, Variants (statement)

History

2026-11-02: add by m2/dev

8648XCANQV 8648XCANQV

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

Mentions

napkin: napkin tex/rep-theory/rep-alg.tex#exercise-3 (exercise). In RZP28ERRZV, exercise, section 80.5

History

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

Kit Fine 864JJEYVVE

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

Mentions

wikipedia: Wikipedia List of logicians#UUSM, Kit Fine (topic)

History

2026-11-02: add by m2/dev

Inversion formula 864VEXYQR9

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

Mentions

wikipedia: Wikipedia Zak transform#1IFD, Inversion formula (statement)

History

2026-11-02: add by m2/dev

Isotropy 864ZRQ0KAM

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

Mentions

wikipedia: Wikipedia Isotropy, Isotropy (definition). Also Wikidata Q273163

History

2026-11-02: add by m2/dev

8652K0TFZM 8652K0TFZM

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

Mentions

arxiv: arXiv 2609.20516#K6IK (definition)

History

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

Rigid ampleness for polygonal domains 8659JWB6HQ

URI	`m2://inv/8659JWB6HQ`
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.25987#OOZW, Rigid ampleness for polygonal domains (statement)

History

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

Dois Irmãos das Missões 865KPQ3T7V

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

Mentions

wikipedia: Wikipedia List of places with numeric names#ZKR2, Dois Irmãos das Missões (unknown)

History

2026-11-02: add by m2/dev

Cyclotomic Field 865QG1N2QB

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

Mentions

napkin: napkin tex/alg-NT/norm-trace.tex#prob:ring_int_cyclotomic, Cyclotomic Field (exercise). In RZP28ERRZV, dproblem, section 15.4

History

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

Simplification of disjunctive antecedents 865TPMZJR3

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

Mentions

wikipedia: Wikipedia Simplification of disjunctive antecedents, Simplification of disjunctive antecedents (definition). Also Wikidata Q105626333

History

2026-11-02: add by m2/dev

quotient ring 865WY9056D

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#30ZJ, quotient ring (definition)

History

2026-11-02: add by m2/dev

Unified super-fast analytic Richardson rates 86679P615R

URI	`m2://inv/86679P615R`
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#WZYU, Unified super-fast analytic Richardson rates (statement). In RHBS9QDHC3/e1, theorem 1.5

History

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

866F55EC88 866F55EC88

URI	`m2://inv/866F55EC88`
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.02550#6UQC (statement). In H154EDZR62/e1, lemma 1

History

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

binomial theorem, Newton's 866MZ0MGQ3

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

Mentions

applied_combinatorics: applied_combinatorics index/8.3/binomial-theorem-newton-s, binomial theorem, Newton's (concept). In QKM9DD2H56, index, section 8.3

History

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

866PASNP4J 866PASNP4J

URI	`m2://inv/866PASNP4J`
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 2610.09133#KGV8 (statement). In E7BPGPP9Z5/e1, theorem 8.2

History

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

866PZPHYQ3 866PZPHYQ3

URI	`m2://inv/866PZPHYQ3`
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.36423#NLOG (statement). In Q5Z178SAHP/e1, lemma 4.7

History

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

866YAGYP6X 866YAGYP6X

URI	`m2://inv/866YAGYP6X`
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.18281#00O7 (statement). In QYD0EJM85G/e1, proposition 3.2

History

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

Anchor families of prescribed codimension 8676SSZ4SM

URI	`m2://inv/8676SSZ4SM`
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.15815#AQWZ, Anchor families of prescribed codimension (statement). In 9C75CTY5C3/e1, corollary 5.14

History

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

Proposition 86773Z854K

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

Mentions

wikipedia: Wikipedia Dimension theory (algebra)#8Q44, Proposition (statement)

History

2026-11-02: add by m2/dev

The Oxford Murders 867D9J2AC5

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

Mentions

wikipedia: Wikipedia List of films about mathematicians#9ZUF, The Oxford Murders (unknown)

History

2026-11-02: add by m2/dev

867MTJKM8P 867MTJKM8P

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

Mentions

napkin: napkin tex/topology/top-more.tex#sproblem-1 (exercise). In RZP28ERRZV, sproblem, section 101.9

History

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

Grothendieck–Riemann–Roch theorem 867NM1A81Z

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#5VN9, Grothendieck–Riemann–Roch theorem (statement)

History

2026-11-02: add by m2/dev

CDMF 867VVGK1SZ

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

Mentions

wikipedia: Wikipedia CDMF, CDMF (definition). Also Wikidata Q5009972

History

2026-11-02: add by m2/dev

Reinhold Furth 86810AVCPZ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#UT3B, Reinhold Furth (unknown)

History

2026-11-02: add by m2/dev

Universal algebraic geometry 8681BKSHVN

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

Mentions

wikipedia: Wikipedia Universal algebraic geometry, Universal algebraic geometry (definition). Also Wikidata Q4060648

History

2026-11-02: add by m2/dev

Sethi-Ullman algorithm 8682HV5X91

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

Mentions

wikipedia: Wikipedia List of algorithms#8FUK, Sethi-Ullman algorithm (unknown)

History

2026-11-02: add by m2/dev

proper fraction 868750ZGD0

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

Mentions

wikidata: Wikidata Q11922678, proper fraction (unknown). Also MathWorld ProperFraction

History

2026-10-26: add by m2/dev

Proactive secret sharing 868BP28ZGG

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

Mentions

wikipedia: Wikipedia Proactive secret sharing, Proactive secret sharing (definition). Also Wikidata Q7246816

History

2026-11-02: add by m2/dev

868NH29C2Y 868NH29C2Y

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

Mentions

arxiv: arXiv 2609.30067#O80E (statement)

History

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

868NJZDD5G 868NJZDD5G

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

Mentions

arxiv: arXiv 2610.22317#O11D (statement). In 2W5Z97BBW4/e1, corollary 3.10

History

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

Hans Hahn 868NWQ02CV

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#HV7Y, Hans Hahn (topic)

History

2026-11-02: add by m2/dev

868QR7KQ45 868QR7KQ45

URI	`m2://inv/868QR7KQ45`
Kind	statement
Layer	research
MSC	11-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.18503#F06F (statement). In RW315W172S/e1, corollary 3.8

History

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

868R00CX37 868R00CX37

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

Mentions

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

History

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

868SD8QCG3 868SD8QCG3

URI	`m2://inv/868SD8QCG3`
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.20391#JBLG (statement). In CTAS41TRM2/e1, theorem 4.8

History

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

868SY91AWP 868SY91AWP

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

Mentions

arxiv: arXiv 2603.21971#O8HE (statement). In R6KSZ9H8CY/e1, lemma 7.3

History

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

Projectile motion 868T1P0G2M

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

Mentions

wikipedia: Wikipedia List of mathematical topics in classical mechanics#3YFS, Projectile motion (definition)

History

2026-11-02: add by m2/dev

868VXG847J 868VXG847J

URI	`m2://inv/868VXG847J`
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 2511.08099#W3U1 (definition). In 5NK801XBGA/e1, definition 1.1

History

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

Dyson Telescope Game 868YFR80FR

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

Mentions

wikipedia: Wikipedia List of PSPACE-complete problems#ZT3B, Dyson Telescope Game (unknown)

History

2026-11-02: add by m2/dev

Woodbury identity 8695FCC8RR

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

Mentions

wikipedia: Wikipedia Max A. Woodbury#7QZI, Woodbury identity (statement)

History

2026-11-02: add by m2/dev

Megan Wawro 869AX3PKVS

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

Mentions

wikipedia: Wikipedia Megan Wawro, Megan Wawro (topic). Also Wikidata Q77021357

History

2026-11-02: add by m2/dev

869C38K98Y 869C38K98Y

URI	`m2://inv/869C38K98Y`
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.18468#YVM5 (statement). In VP29RN7ZMA/e1, proposition 3.3

History

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

869ES1VKPZ 869ES1VKPZ

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

Mentions

arxiv: arXiv 2609.39317#3NT0 (statement). In QM1T8JDK4A/e1, proposition 6.10

History

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

869JHWB5GB 869JHWB5GB

URI	`m2://inv/869JHWB5GB`
Kind	statement
Layer	research
MSC	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.10930#0O70 (statement). In HX63A1PH1W/e1, lemma 6.44

History

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

self-similar marking of $C_4$ 869KBMF5HN

URI	`m2://inv/869KBMF5HN`
Kind	problem
Layer	research
MSC	05-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 2610.00916#GPVO, self-similar marking of $C_4$ (problem). In 3MMFCTKPPJ/e1, problem 9.1

History

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

869MT8KP26 869MT8KP26

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

Mentions

open_logic: open_logic content/first-order-logic/natural-deduction/derivations.tex#ex-1 (example). In PKGMM3P5QY, ex, section 13.4

History

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

869P34HYCZ 869P34HYCZ

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

Mentions

open_logic: open_logic content/second-order-logic/metatheory/loewenheim-skolem.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 65.3

History

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

Ilie Popa 869T86HG5B

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

Mentions

wikipedia: Wikipedia Ilie Popa (mathematician), Ilie Popa (topic). Also Wikidata Q102132844

History

2026-11-02: add by m2/dev

Three cups problem 86A5GEJZC6

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

Mentions

wikipedia: Wikipedia List of impossible puzzles#XCT3, Three cups problem (problem)

History

2026-11-02: add by m2/dev

Amanda Chetwynd 86ACX2ZMNF

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#BL1N, Amanda Chetwynd (topic)

History

2026-11-02: add by m2/dev

1004 (number) 86AF2TQR7M

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

Mentions

wikipedia: Wikipedia 1000 (number)#NIN0, 1004 (number) (unknown)

History

2026-11-02: add by m2/dev

Factorization of the conditional inverse 86AZJEAXQ4

URI	`m2://inv/86AZJEAXQ4`
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.14906#DSYY, Factorization of the conditional inverse (statement). In 1F8ENX770M/e1, proposition 5.5

History

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

86B3K5F2DB 86B3K5F2DB

URI	`m2://inv/86B3K5F2DB`
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.36230#ZY9M (statement). In 6190HR2KFH/e1, theorem

History

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

Fourier transform 86BD5RQK9H

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

Mentions

wikipedia: Wikipedia List of transforms#DIU0, Fourier transform (definition)

History

2026-11-02: add by m2/dev

Box-Pierce test 86BDHME4YK

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

Mentions

wikipedia: Wikipedia Ljung–Box test#ZXQQ, Box-Pierce test (unknown)

History

2026-11-02: add by m2/dev

86BEZK2AVF 86BEZK2AVF

URI	`m2://inv/86BEZK2AVF`
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.09594#RSDD (statement). In TVE5WK2MH8/e1, lemma 2.5

History

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

Path loss 86BSJFGMCT

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

Mentions

wikipedia: Wikipedia Path loss, Path loss (definition). Also Wikidata Q1478845

History

2026-11-02: add by m2/dev

86BT2HBQDY 86BT2HBQDY

URI	`m2://inv/86BT2HBQDY`
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.35183#ZXTP (statement). In FYM5XFD9RR/e1, theorem 1.2

History

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

86BVYRTNXZ 86BVYRTNXZ

URI	`m2://inv/86BVYRTNXZ`
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 2109.12716#C7AF (statement). In 6X76XBE3HV/e1, corollary 5.7

History

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

Product numerical range 86CCJ6AMTY

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

Mentions

wikipedia: Wikipedia Product numerical range, Product numerical range (definition). Also Wikidata Q7247779

History

2026-11-02: add by m2/dev

86CG6S6RDZ 86CG6S6RDZ

URI	`m2://inv/86CG6S6RDZ`
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#HE2G (statement). In 1KSE33PVS6/e1, lemma 21

History

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

86CJVZJNFJ 86CJVZJNFJ

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

Mentions

arxiv: arXiv 2610.03628#USOS (statement). In P8KT6JV9N1/e1, theorem 4.12

History

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

symmetric spectrum 86CQQ2TRC5

URI	`m2://inv/86CQQ2TRC5`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Symmetric spectrum 1RY6DQJ1RV

Mentions

wikidata: Wikidata Q17090831, symmetric spectrum (unknown). Also nLab symmetric spectrum
wikipedia: Wikipedia Symmetric spectrum, Symmetric spectrum (definition). Also Wikidata Q17090831

History

2026-10-26: add by m2/dev

Applications 86CSPN0384

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

Mentions

wikipedia: Wikipedia Statistics#DX8P, Applications (example)

History

2026-11-02: add by m2/dev

Generalization 86D8KEXYJN

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

Mentions

wikipedia: Wikipedia Double pushout graph rewriting#DX0X, Generalization (statement)

History

2026-11-02: add by m2/dev

Finite-Jet seminorm 86D9G9QR78

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

Mentions

arxiv: arXiv 2610.12239#RKHC, Finite-Jet seminorm (statement). In CW9MNA6K58/e1, lemma 9.4

History

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

Statement 86DASSZBDP

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

Mentions

wikipedia: Wikipedia Ursescu theorem#MDI3, Statement (statement)

History

2026-11-02: add by m2/dev

Remark 86DCAK19VV

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

Mentions

wikipedia: Wikipedia Quadratic Gauss sum#YMUV, Remark (unknown)

History

2026-11-02: add by m2/dev

86DGY10W9M 86DGY10W9M

URI	`m2://inv/86DGY10W9M`
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.26477#SRMN (statement)

History

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

Non-local control flow 86DGYFY4YP

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

Mentions

wikipedia: Wikipedia Control flow#Q9QG, Non-local control flow (unknown)

History

2026-11-02: add by m2/dev

86DH39PHYN 86DH39PHYN

URI	`m2://inv/86DH39PHYN`
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 2606.00589#2SSX (statement). In C8JAGP8VCQ/e1, lemma 2.9

History

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

Steinerberger 86DJ2N2ZCA

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

Mentions

arxiv: arXiv 2503.19729#O68X, Steinerberger (statement). In 40YZ43TS8K/e1, theorem 2.3

History

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

86DK1JVABJ 86DK1JVABJ

URI	`m2://inv/86DK1JVABJ`
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.30663#5YCS (statement). In 3JZDKWS8NK/e1, lemma 9.3

History

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

Formal definition 86DN23RT9Q

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

Mentions

wikipedia: Wikipedia Automata theory#1WMN, Formal definition (definition)

History

2026-11-02: add by m2/dev

Universal quadratic form 86DVQHAMQY

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

Mentions

wikipedia: Wikipedia Universal quadratic form, Universal quadratic form (definition). Also Wikidata Q7894152

History

2026-11-02: add by m2/dev

Conditional Planning 86DY9HBQKV

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

Mentions

wikipedia: Wikipedia Automated planning and scheduling#7IQD, Conditional Planning (unknown)

History

2026-11-02: add by m2/dev

86EBCW8ZE4 86EBCW8ZE4

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

Mentions

napkin: napkin tex/alg-NT/artin.tex#ex:artin_cyclotomic (example). In RZP28ERRZV, example, section 8.6

History

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

86ECD2X4PT 86ECD2X4PT

URI	`m2://inv/86ECD2X4PT`
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.35421#W7S3 (statement). In KE8B8KMDJJ/e1, lemma 1

History

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

T4 86EDYDFMTG

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

Mentions

wikipedia: Wikipedia Glossary of general topology#K8SY, T4 (definition)

History

2026-11-02: add by m2/dev

86EEYCFK30 86EEYCFK30

URI	`m2://inv/86EEYCFK30`
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.02743#LYH0 (statement). In GQH4ZPDWET/e1, lemma 8.1

History

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

Attractive-Repulsive Kernels 86EGG0X78B

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

Mentions

arxiv: arXiv 2609.20998#Y3AL, Attractive-Repulsive Kernels (example)

History

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

Daniel Bennequin 86EH892TDC

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

Mentions

wikipedia: Wikipedia Daniel Bennequin, Daniel Bennequin (topic). Also Wikidata Q15804490

History

2026-11-02: add by m2/dev

86EJWK746J 86EJWK746J

URI	`m2://inv/86EJWK746J`
Kind	statement
Layer	research
MSC	11-XX, 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.31249#HSBK (statement). In RAVR2W9S0B/e1, lemma 2.4

History

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

Hurwitz's theorem 86EPAZ01DA

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

Mentions

wikipedia: Wikipedia List of algebraic geometry topics#SP5V, Hurwitz's theorem (statement)

History

2026-11-02: add by m2/dev

86EQAX84Q3 86EQAX84Q3

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

Mentions

arxiv: arXiv 2408.01345#WG83 (definition). In PT5PBPCS3P/e1, definition 2.13

History

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

86ERKAFFV1 86ERKAFFV1

URI	`m2://inv/86ERKAFFV1`
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 2205.09049#IYZI (statement). In 37S7MNMZ2F/e1, corollary 31

History

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

Static local matrix elements 86EXWJ8EDE

URI	`m2://inv/86EXWJ8EDE`
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.16351#YDBB, Static local matrix elements (statement). In 1QSV7EQE3T/e1, lemma S39

History

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

Daniel Harlow 86EZJW6PTQ

URI	`m2://inv/86EZJW6PTQ`
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 Q58238281, Daniel Harlow (unknown). Also nLab Daniel Harlow

History

2026-10-26: add by m2/dev

86F4V9H7Y1 86F4V9H7Y1

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

Mentions

arxiv: arXiv 2610.00843#E458 (statement). In 1K7M5TD0M2/e1, proposition 6.2

History

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

extended real number line 86F5E9RCZ6

URI	`m2://inv/86F5E9RCZ6`
Kind	definition
Layer	textbook
Sources	3
Outcome	node (a node has the same Wikidata item as the row)
Node	Extended real number line 0GSZ7B0CGR

Mentions

mathlib_overview: mathlib_overview General algebra > Numbers > extended real number, extended real number (unknown). Also Mathlib EReal
wikidata: Wikidata Q2039387, extended real number line (definition). Also Mathlib EReal, MathWorld AffinelyExtendedRealNumbers, ProofWiki Definition:Extended_Real_Number_Line
wikipedia: Wikipedia Extended real number line, Extended real number line (definition). Also Wikidata Q2039387

History

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

The Riemann Hypothesis 86FT5AW0Z6

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

Mentions

wikipedia: Wikipedia Artin L-function#ZPXH, The Riemann Hypothesis (statement)

History

2026-11-02: add by m2/dev

Josephine Robinson Roe 86FYS4VEVV

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

Mentions

wikipedia: Wikipedia Josephine Robinson Roe, Josephine Robinson Roe (topic). Also Wikidata Q90480082

History

2026-11-02: add by m2/dev

86G1Y93EHB 86G1Y93EHB

URI	`m2://inv/86G1Y93EHB`
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.17875#9IK3 (statement). In AQX7DGD360/e1, proposition 5.7

History

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

monostatic polytope 86G6T0VTNJ

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

Mentions

wikidata: Wikidata Q6901973, monostatic polytope (unknown). Also MathWorld UnistablePolyhedron
wikipedia: Wikipedia Monostatic polytope, Monostatic polytope (definition). Also Wikidata Q6901973

History

2026-10-26: add by m2/dev

Chen--Xie , binary case of Theorems 1--2 86G8D30Q37

URI	`m2://inv/86G8D30Q37`
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.20344#VFAP, Chen--Xie , binary case of Theorems 1--2 (statement)

History

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

Bryce DeWitt 86GHGAPMWK

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#F3HV, Bryce DeWitt (unknown)

History

2026-11-02: add by m2/dev

Control of chaos 86GJ5MZZFX

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

Mentions

wikipedia: Wikipedia Control of chaos, Control of chaos (definition). Also Wikidata Q49315702

History

2026-11-02: add by m2/dev

86GKFFQTSD 86GKFFQTSD

URI	`m2://inv/86GKFFQTSD`
Kind	statement
Layer	research
MSC	05-XX, 26-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.06944#14D7 (statement). In 1HSWBXDXWV/e1, proposition 4.1

History

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

Autoregressive fractionally integrated moving average 86GTK945P5

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

Mentions

wikipedia: Wikipedia List of statistics articles#ZUHI, Autoregressive fractionally integrated moving average (definition)

History

2026-11-02: add by m2/dev

convex-affine potentials 86H6Z553CR

URI	`m2://inv/86H6Z553CR`
Kind	example
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 2210.06147#87N1, convex-affine potentials (example). In 94RBNQA07A/e1, example 3.19

History

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

type, family of 86HE9PD7M7

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

Mentions

hott_book: hott_book index/1.3/type-family-of, type, family of (concept). In N54F33XE07, index, section 1.3

History

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

86HG9NFQB5 86HG9NFQB5

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

Mentions

arxiv: arXiv 2610.19251#LIJ1 (statement). In CSW6NG0FRN/e1, lemma 2.11

History

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

Between-group design experiment 86HK252GYT

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

Mentions

wikipedia: Wikipedia Between-group design experiment, Between-group design experiment (definition). Also Wikidata Q4899058

History

2026-11-02: add by m2/dev

86HMP92XT7 86HMP92XT7

URI	`m2://inv/86HMP92XT7`
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.26337#VXZX (definition)

History

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

integral geometry 86HRQEDF17

URI	`m2://inv/86HRQEDF17`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Integral geometry TAN5G5EQ96

Mentions

wikidata: Wikidata Q2725319, integral geometry (topic). Also EoM Integral_geometry
wikipedia: Wikipedia Integral geometry, Integral geometry (definition). Also Wikidata Q2725319

History

2026-10-26: add by m2/dev

86JDCTHV9P 86JDCTHV9P

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_logic-prop.ptx#example-5 (example). In Y91XFCEVHQ, example, section 4.1.3

History

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

Annular Decomposition Theorem 86JKJCPFRM

URI	`m2://inv/86JKJCPFRM`
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 2609.26592#7G8I, Annular Decomposition Theorem (statement)

History

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

86JQ8H30BH 86JQ8H30BH

URI	`m2://inv/86JQ8H30BH`
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.29665#B71U (statement)

History

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

Behrend function 86JXXZ715N

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

Mentions

wikipedia: Wikipedia Behrend function, Behrend function (definition). Also Wikidata Q25105401

History

2026-11-02: add by m2/dev

86JYGQFSWZ 86JYGQFSWZ

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

Mentions

arxiv: arXiv 2610.16241#N0B6 (statement). In WNDHZVY4WK/e1, proposition 2.5

History

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

Satisfaction 86JZV8363N

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

Mentions

open_logic: open_logic content/many-valued-logic/syntax-and-semantics/valuations-sat.tex#defn:satisfaction, Satisfaction (definition). In PKGMM3P5QY, defn, section 42.1

History

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

86KBSXFZH8 86KBSXFZH8

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

Mentions

arxiv: arXiv 2609.25289#IFMG (problem)

History

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

Alexander Braverman 86KPADNNAR

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

Mentions

wikipedia: Wikipedia Alexander Braverman, Alexander Braverman (topic). Also Wikidata Q2641863

History

2026-11-02: add by m2/dev

Fish 86KQ5ZWC1W

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

Mentions

wikipedia: Wikipedia Fish (cryptography), Fish (definition). Also Wikidata Q879717

History

2026-11-02: add by m2/dev

Persistent state 86KRM3K5DS

URI	`m2://inv/86KRM3K5DS`
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.15824#QQ1V, Persistent state (statement). In GDZXR87FJV/e1, statement 5

History

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

86KX38R4JY 86KX38R4JY

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

Mentions

napkin: napkin tex/H113/grp-intro.tex#def:cyclic_group (example). In RZP28ERRZV, example, section 2.1

History

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

86M0W2R861 86M0W2R861

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

Mentions

open_logic: open_logic content/normal-modal-logic/frame-definability/equivalence-S5.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 52.6

History

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

86M4E9RMZM 86M4E9RMZM

URI	`m2://inv/86M4E9RMZM`
Kind	statement
Layer	research
MSC	18-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 2403.16388#K3ZC (statement). In HH4ADHZ8XD/e1, proposition 2.7

History

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

Complex affine space 86M6QRH4P0

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

Mentions

wikipedia: Wikipedia Complex affine space, Complex affine space (definition). Also Wikidata Q5156605

History

2026-11-02: add by m2/dev

Paradox 86MFKVJQ1J

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

Mentions

wikipedia: Wikipedia Ladder paradox#GSFG, Paradox (statement)

History

2026-11-02: add by m2/dev

86MFPV0ZYE 86MFPV0ZYE

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

Mentions

open_logic: open_logic content/set-theory/z/powerset.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 76.7

History

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

A four-state chain 86MYNVN2JB

URI	`m2://inv/86MYNVN2JB`
Kind	example
Layer	research
MSC	05-XX, 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.13063#FTS4, A four-state chain (example). In R5AFFWBMAF/e1, example A.1

History

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

homotopy, equivalence, topological 86NBZSZSRK

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

Mentions

hott_book: hott_book index/u1.u1/homotopy-equivalence-topological, homotopy, equivalence, topological (concept). In N54F33XE07, index, section u1.u1

History

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

Efficient LDP Agnostic Learning of GMMs 86NEV9GVZP

URI	`m2://inv/86NEV9GVZP`
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.21033#GMFQ, Efficient LDP Agnostic Learning of GMMs (statement). In A8C1M9BSWH/e1, theorem F.2

History

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

86NJ7MWK8F 86NJ7MWK8F

URI	`m2://inv/86NJ7MWK8F`
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#FTNN (statement). In CGA36VE1C5/e1, fact 8.2.3

History

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

Leopold Löwenheim 86NW2YHMJ5

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

Mentions

wikipedia: Wikipedia List of logicians#6XWI, Leopold Löwenheim (topic)

History

2026-11-02: add by m2/dev

Theorem 86NXRR8K4E

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

Mentions

wikipedia: Wikipedia Quantum capacity#RZBR, Theorem (statement)

History

2026-11-02: add by m2/dev

Frobenius polynomial 86NXWYHQ49

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

Mentions

wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#8BG7, Frobenius polynomial (definition)

History

2026-11-02: add by m2/dev

Stress–energy tensor 86NZKFYSCW

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

Mentions

wikipedia: Wikipedia List of mathematical topics in relativity#0XQ0, Stress–energy tensor (definition)

History

2026-11-02: add by m2/dev

86PG248BCJ 86PG248BCJ

URI	`m2://inv/86PG248BCJ`
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.31458#CO86 (statement). In SNWC76WKWT/e1, lemma E.1

History

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

First nonlinear transfer diagnostic 86PPAYTRDE

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

Mentions

arxiv: arXiv 2609.27799#8FYX, First nonlinear transfer diagnostic (statement)

History

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

Construction 86PT7DW3J7

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

Mentions

wikipedia: Wikipedia 4 21 polytope#A84Z, Construction (definition)

History

2026-11-02: add by m2/dev

86Q9ECWS2M 86Q9ECWS2M

URI	`m2://inv/86Q9ECWS2M`
Kind	statement
Layer	research
MSC	35-XX, 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.31294#NTBZ (statement). In 6GK9EJMWY4/e1, theorem 3.5

History

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

Definition 86QHSQY4NM

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

Mentions

wikipedia: Wikipedia Derivative#MMB6, Definition (definition)

History

2026-11-02: add by m2/dev

Grandi's series 86QNR6GB5S

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

Mentions

wikipedia: Wikipedia Grandi's series, Grandi's series (definition). Also Wikidata Q967588

History

2026-11-02: add by m2/dev

submersion 86QY7EWB3Q

URI	`m2://inv/86QY7EWB3Q`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Submersion BMY55EW3RF

Mentions

wikidata: Wikidata Q1420023, submersion (definition). Also MathWorld Submersion, ProofWiki Definition:Submersion
wikipedia: Wikipedia Submersion (mathematics), Submersion (definition). Also Wikidata Q1420023

History

2026-10-26: add by m2/dev

list of United States presidential elections where winner lost popular vote 86QY94WEPK

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

Mentions

wikidata: Wikidata Q24963437, list of United States presidential elections where winner lost popular vote (object). Also OEIS A230052

History

2026-10-26: add by m2/dev

86R5NK469P 86R5NK469P

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

Mentions

arxiv: arXiv 2610.13100#B7NQ (statement). In CC6S1HVK0T/e1, lemma 5.41

History

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

PQ tree 86R6A6MRQ9

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

Mentions

wikipedia: Wikipedia PQ tree, PQ tree (definition). Also Wikidata Q4046245

History

2026-11-02: add by m2/dev

Alfred Kempe 86S3KEVG2M

URI	`m2://inv/86S3KEVG2M`
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#J9OZ, Alfred Kempe (topic)

History

2026-11-02: add by m2/dev

Convex specialization 86S3VGJ7SE

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

Mentions

arxiv: arXiv 2609.38741#A6QA, Convex specialization (statement). In 1SQH3PTYMD/e1, lemma 8

History

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

Word (formal language theory) 86S4J0547J

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

Mentions

wikipedia: Wikipedia Formal language#4CAH, Word (formal language theory) (unknown)

History

2026-11-02: add by m2/dev

86S5WRJ5GP 86S5WRJ5GP

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

Mentions

arxiv: arXiv 2610.09648#H5PS (statement). In WB9PTPN54H/e1, lemma 5.1

History

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

86S8NW2NDN 86S8NW2NDN

URI	`m2://inv/86S8NW2NDN`
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.31907#3X77 (definition). In 6B2PCEGCYZ/e1, definition 2.5

History

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

86S9WKCRGH 86S9WKCRGH

URI	`m2://inv/86S9WKCRGH`
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.21399#IJ6E (statement)

History

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

86SBT1KSDW 86SBT1KSDW

URI	`m2://inv/86SBT1KSDW`
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.08151#94YO (statement). In A0HQ7ZGK3B/e1, corollary 1

History

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

Donald L. Burkholder 86SEKGKJYW

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

Mentions

wikipedia: Wikipedia List of presidents of the Institute of Mathematical Statistics#YGOR, Donald L. Burkholder (topic)

History

2026-11-02: add by m2/dev

Chain complex 86SV3NFA97

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

Mentions

wikipedia: Wikipedia List of homological algebra topics#IVC1, Chain complex (definition)
wikipedia: Wikipedia List of algebraic topology topics#GAIE, Chain complex (definition)

History

2026-11-02: add by m2/dev

Tamari lattice 86SV5FAK4M

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

Mentions

wikipedia: Wikipedia Tamari lattice, Tamari lattice (definition). Also Wikidata Q7680890

History

2026-11-02: add by m2/dev

maximal, points of a poset 86SX9DWYSH

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

Mentions

applied_combinatorics: applied_combinatorics index/6.3/maximal-points-of-a-poset, maximal, points of a poset (concept). In QKM9DD2H56, index, section 6.3

History

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

Emptiness problem 86SXQ6PJ4Y

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

Mentions

wikipedia: Wikipedia Emptiness problem, Emptiness problem (problem). Also Wikidata Q1277962

History

2026-11-02: add by m2/dev

Equation xy = yx 86T9KQ74D2

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

Mentions

wikipedia: Wikipedia Equation xy = yx, Equation xy = yx (definition). Also Wikidata Q23815594

History

2026-11-02: add by m2/dev

86TA5HQF82 86TA5HQF82

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

Mentions

arxiv: arXiv 2609.27635#ZTX9 (statement)

History

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

Weyl gauge 86TB9VMR0W

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

Mentions

wikipedia: Wikipedia List of things named after Hermann Weyl#QMBM, Weyl gauge (definition)

History

2026-11-02: add by m2/dev

Bianchi group 86TC49PM5D

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

Mentions

wikipedia: Wikipedia Bianchi group, Bianchi group (definition). Also Wikidata Q4902527

History

2026-11-02: add by m2/dev

Construction 86TDGYC88S

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

Mentions

wikipedia: Wikipedia Hoffman's packing puzzle#FFUO, Construction (definition)

History

2026-11-02: add by m2/dev

86TFHQA30N 86TFHQA30N

URI	`m2://inv/86TFHQA30N`
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 2606.00589#GGD5 (statement). In C8JAGP8VCQ/e1, lemma 2.19

History

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

RSA-350 86TFZ77TR7

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

Mentions

wikipedia: Wikipedia RSA numbers#188S, RSA-350 (unknown)

History

2026-11-02: add by m2/dev

Weyl metrics 86TRQZBCQY

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

Mentions

wikipedia: Wikipedia Weyl metrics, Weyl metrics (definition). Also Wikidata Q7990331

History

2026-11-02: add by m2/dev

Physical-cell projection 86TVK1T0JR

URI	`m2://inv/86TVK1T0JR`
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.32107#17Z1, Physical-cell projection (statement). In F11G5M3JA5/e1, lemma 4.1

History

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

86TW2Y1D08 86TW2Y1D08

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

Mentions

arxiv: arXiv 2610.01915#L3PC (statement). In 6HJQXZS0A6/e1, lemma 4.7

History

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

86TY9VXPGR 86TY9VXPGR

URI	`m2://inv/86TY9VXPGR`
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.11997#B9O5 (statement). In REVYK9ZEP2/e1, corollary 9

History

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

86TZ7DYM26 86TZ7DYM26

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

Mentions

arxiv: arXiv 2005.03073#7XSE (proof). In P2ETMXKVDS/e1, proof

History

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

[1], [2], . . . , [n] 86V8XDBYHC

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#DQLV, [1], [2], . . . , [n] (definition)

History

2026-11-02: add by m2/dev

86VB00ZDPF 86VB00ZDPF

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

Mentions

arxiv: arXiv 2609.20716#M7KV (statement)

History

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

Gromov-Shubin 86VD47SWFA

URI	`m2://inv/86VD47SWFA`
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 math/9902147#2JZR, Gromov-Shubin (statement). In 7CK21JGM5A/e1, proposition 4.3

History

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

86VF3TAC3Y 86VF3TAC3Y

URI	`m2://inv/86VF3TAC3Y`
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 2609.23972#P08L (statement)

History

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

86VJ8TM715 86VJ8TM715

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

Mentions

arxiv: arXiv 2106.06387#SG6N (unknown). In 4YJH4FPWDA/e1, unknown 3.17

History

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

uniqueness conjecture for Markov numbers 86VJVRBQSJ

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#AKX5, uniqueness conjecture for Markov numbers (definition)

History

2026-11-02: add by m2/dev

Words and profiles 86VNXJWJ14

URI	`m2://inv/86VNXJWJ14`
Kind	definition
Layer	research
MSC	05-XX
Sources	1
Outcome	node (a node of the research layer states the row (corpus arxiv AX9.2))
Node	Words and profiles KHZ89X6Y8R

Mentions

arxiv: arXiv 2610.13556#TOY4, Words and profiles (definition). In 5ZB8N3YY72/e1, definition 2.1
arxiv: arXiv 2610.13580#DCUG, Words and profiles (definition). In KEQ57N9N7Z/e1, definition 2.1

History

2026-10-28: add by m2/v0.4.2
2026-11-02: outcome by m2 corpus adopt
2026-11-03: outcome by m2 corpus adopt

86VRZKXNB3 86VRZKXNB3

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

Mentions

lebl_scv: lebl_scv scv.tex#prop:realgraphcoords (statement). In VNMV985MXX, prop, section 2.2

History

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

86VXCG2109 86VXCG2109

URI	`m2://inv/86VXCG2109`
Kind	statement
Layer	research
MSC	11-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.02111#XQRT (statement). In NC5ZRF6F8N/e1, corollary 1.6

History

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

86W4F4ZMR7 86W4F4ZMR7

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

Mentions

arxiv: arXiv 2609.37562#KSEV (definition). In PYY8DFK2JS/e1, definition 3.1

History

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

86W4PTTZYN 86W4PTTZYN

URI	`m2://inv/86W4PTTZYN`
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.32937#2JYU (statement). In RB0SJRQP6X/e1, lemma A.1

History

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

86WAM052AY 86WAM052AY

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

Mentions

napkin: napkin tex/H113/ring-flavors.tex#lemma-1 (statement). In RZP28ERRZV, lemma, section 4.7

History

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

associativity, of path concatenation 86WCDQ5YFE

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

Mentions

hott_book: hott_book index/1.1/associativity-of-path-concatenation, associativity, of path concatenation (concept). In N54F33XE07, index, section 1.1

History

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

86WEBZF543 86WEBZF543

URI	`m2://inv/86WEBZF543`
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.09129#4PDK (statement). In Z1RZSF68XZ/e1, corollary 2.2

History

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

Kummer graph 86WEBZQ1GX

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

Mentions

wikidata: Wikidata Q3115512, Kummer graph (unknown). Also House of Graphs 1206, MathWorld KummerGraph

History

2026-10-26: add by m2/dev

Doubling time 86WHVNJ2BQ

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

Mentions

wikipedia: Wikipedia List of exponential topics#YP63, Doubling time (definition)

History

2026-11-02: add by m2/dev

Anatoly Yakovenko 86WM7060X8

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

Mentions

wikipedia: Wikipedia Anatoly Yakovenko, Anatoly Yakovenko (topic). Also Wikidata Q115947586

History

2026-11-02: add by m2/dev

Compactness theorem 86WMC8DNFG

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

Mentions

wikipedia: Wikipedia First-order logic#X0RG, Compactness theorem (statement)

History

2026-11-02: add by m2/dev

Two-dimensional conformal field theory 86WMPGBNP8

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

Mentions

wikipedia: Wikipedia List of string theory topics#3W73, Two-dimensional conformal field theory (definition)

History

2026-11-02: add by m2/dev

86X1NNX67Z 86X1NNX67Z

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

Mentions

arxiv: arXiv 1903.07030#OE0G (definition). In 9H45HQE7AZ/e1, definition 6.1

History

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

86X9GWRM8M 86X9GWRM8M

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

Mentions

arxiv: arXiv 2504.01057#2BV0 (statement). In 69QFBXJENW/e1, proposition 3.4

History

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

86XAT4ZFGX 86XAT4ZFGX

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

Mentions

arxiv: arXiv 2504.19468#2AYW (statement). In EY54F2SX08/e1, lemma 4.1

History

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

Subsetting 86XBZNARF6

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

Mentions

wikipedia: Wikipedia Subsetting, Subsetting (definition). Also Wikidata Q7631984

History

2026-11-02: add by m2/dev

Roland Speicher 86XGYQ8FRV

URI	`m2://inv/86XGYQ8FRV`
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#34JG, Roland Speicher (topic)

History

2026-11-02: add by m2/dev

quadrisecant 86XK9VBWKP

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#SDLN, quadrisecant (definition)

History

2026-11-02: add by m2/dev

86XPVC3EPN 86XPVC3EPN

URI	`m2://inv/86XPVC3EPN`
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 2308.05715#V5T9 (statement). In FC0SB9JFWH/e1, lemma 8.3

History

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

Minitab 86XZ5253DX

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

Mentions

wikipedia: Wikipedia List of statistical software#H8N0, Minitab (definition)

History

2026-11-02: add by m2/dev

86Y5RRBRGG 86Y5RRBRGG

URI	`m2://inv/86Y5RRBRGG`
Kind	definition
Layer	research
MSC	37-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 2610.16580#WMUU (definition). In MQPBZX4DR6/e1, definition 2.6

History

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

SOFA 86YF8TQMTW

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#N6DE, SOFA (unknown)

History

2026-11-02: add by m2/dev

86YGA12ZKY 86YGA12ZKY

URI	`m2://inv/86YGA12ZKY`
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 2210.16706#VOBS (statement). In JSRVKPT87E/e1, theorem

History

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

Types of physical unclonable function 86YH2GKQ0A

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

Mentions

wikipedia: Wikipedia Types of physical unclonable function, Types of physical unclonable function (definition). Also Wikidata Q18355523

History

2026-11-02: add by m2/dev

Density upper-bound 86YMW5SYQV

URI	`m2://inv/86YMW5SYQV`
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.39409#L6LJ, Density upper-bound (statement). In CQ0Z7QA0A5/e1, lemma 4.3

History

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

Kleitman's theorem 86YNX2NPC2

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

Mentions

mathlib_overview: mathlib_overview Combinatorics > Set families > Kleitman's theorem, Kleitman's theorem (unknown). Also Mathlib Finset.card_biUnion_le_of_intersecting

History

2026-10-26: add by m2/dev

86YRSBJH5Q 86YRSBJH5Q

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

Mentions

applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_surjections.ptx#theorem-1 (statement). In QKM9DD2H56, theorem, section 7.3

History

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

Projection bias 86YSE9S55D

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

Mentions

wikipedia: Wikipedia List of cognitive biases#CCGE, Projection bias (definition)

History

2026-11-02: add by m2/dev

Alpha Graph 86YYP651BV

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

Mentions

wikipedia: Wikipedia Existential graph#0O7E, Alpha Graph (unknown)

History

2026-11-02: add by m2/dev

86Z0Q8DQ4V 86Z0Q8DQ4V

URI	`m2://inv/86Z0Q8DQ4V`
Kind	statement
Layer	research
MSC	19-XX, 46-XX, 47-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.17060#UFD8 (statement). In 5KR3MHYVV6/e1, lemma 5.5

History

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

Albert Arnold Bennett Jr. 86ZB0TPR2X

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

Mentions

wikipedia: Wikipedia Albert Arnold Bennett Jr., Albert Arnold Bennett Jr. (topic). Also Wikidata Q102145059

History

2026-11-02: add by m2/dev

Hollylynne Lee 86ZB7FYDW0

URI	`m2://inv/86ZB7FYDW0`
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#R92R, Hollylynne Lee (unknown)

History

2026-11-02: add by m2/dev

Affine pencil of quadratic phases 86ZC90C655

URI	`m2://inv/86ZC90C655`
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#6EZ0, Affine pencil of quadratic phases (statement). In 5BZQS1KY9A/e1, lemma 5.7

History

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

rank–nullity theorem 86ZCAEE63N

URI	`m2://inv/86ZCAEE63N`
Kind	statement
Layer	textbook
MSC	15-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Rank–nullity theorem 0W4FSW1TVB

Mentions

mathlib_1000: mathlib_1000 Q303402, Rank–nullity theorem (statement). Also Mathlib LinearMap.rank_range_add_rank_ker, Wikidata Q303402
thousand_plus: thousand_plus Q303402, Rank–nullity theorem (statement). Also Mathlib LinearMap.rank_range_add_rank_ker, Wikidata Q303402, Wikipedia Rank–nullity theorem
wikidata: Wikidata Q303402, rank–nullity theorem (statement). Also MathWorld Rank-NullityTheorem
wikipedia: Wikipedia Rank–nullity theorem, Rank–nullity theorem (statement). Also Wikidata Q303402

History

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

Hausdorff continuity and uniform convergence 86ZCP3BYNG

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

Mentions

arxiv: arXiv 2610.09602#JW9I, Hausdorff continuity and uniform convergence (statement). In 4AQ48WSBDQ/e1, corollary 5.4

History

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

Turing jump 86ZESA6RX1

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

Mentions

wikipedia: Wikipedia Turing jump, Turing jump (definition). Also Wikidata Q6128725

History

2026-11-02: add by m2/dev

Yitang Zhang 86ZHEZ4C8V

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

Mentions

wikipedia: Wikipedia List of Chinese mathematicians#0LLI, Yitang Zhang (topic)

History

2026-11-02: add by m2/dev