Inventory rows F4

Definitions and statement of the conjecture F406S80V9G

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

Mentions

wikipedia: Wikipedia Filling area conjecture#DLOJ, Definitions and statement of the conjecture (statement)

History

2026-11-02: add by m2/dev

F40ABA7NEN F40ABA7NEN

URI	`m2://inv/F40ABA7NEN`
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 2609.22240#VN89 (statement)

History

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

Condition number lower bound for Heun F40AKXW590

URI	`m2://inv/F40AKXW590`
Kind	statement
Layer	research
MSC	62-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.06308#XS1E, Condition number lower bound for Heun (statement). In HTWSDDAWGS/e1, theorem 5.2

History

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

F40BCWEK56 F40BCWEK56

URI	`m2://inv/F40BCWEK56`
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#LDDA (statement). In M4JGP708F4/e1, lemma 3.34

History

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

Halfway, Glasgow F40CDNS1BS

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

Mentions

wikipedia: Wikipedia List of places with numeric names#WGF8, Halfway, Glasgow (unknown)

History

2026-11-02: add by m2/dev

F40DA5Y7CW F40DA5Y7CW

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

Mentions

arxiv: arXiv 2610.18632#NAF8 (definition). In PTM5MVD4M0/e1, definition Definition

History

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

Fermat point F40K629HXZ

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

Mentions

wikipedia: Wikipedia List of triangle topics#DP84, Fermat point (definition)
wikipedia: Wikipedia List of mathematical properties of points#UJ1V, Fermat point (definition)

History

2026-11-02: add by m2/dev

Bilinear lifting F40P16MVE0

URI	`m2://inv/F40P16MVE0`
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.02721#JDD8, Bilinear lifting (statement). In XXFYVDVPPE/e1, lemma 3.6

History

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

Invertible matrix theorem F40PVMKEMZ

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

Mentions

wikipedia: Wikipedia Invertible matrix#ESXN, Invertible matrix theorem (statement)

History

2026-11-02: add by m2/dev

F40TE6GT07 F40TE6GT07

URI	`m2://inv/F40TE6GT07`
Kind	statement
Layer	research
MSC	19-XX, 20-XX, 22-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.14278#QCCW (statement). In RTE2C0PH4S/e1, lemma 2.2

History

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

Dorothy Swaine Thomas F40TJ9XQKX

URI	`m2://inv/F40TJ9XQKX`
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#8XY9, Dorothy Swaine Thomas (unknown)

History

2026-11-02: add by m2/dev

F40Y6BBBZ9 F40Y6BBBZ9

URI	`m2://inv/F40Y6BBBZ9`
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#0L0B (definition). In GYMGDQS25R/e1, definition 6.3

History

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

Ball-and-disk integrator F40ZHASNSQ

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

Mentions

wikipedia: Wikipedia Ball-and-disk integrator, Ball-and-disk integrator (definition). Also Wikidata Q4851172

History

2026-11-02: add by m2/dev

F413RNW5CX F413RNW5CX

URI	`m2://inv/F413RNW5CX`
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 2609.26996#HDHB (statement). In FP7Z8PJ4AW/e1, proposition 6.2

History

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

Isaac of Stella F414WQ0T38

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

Mentions

wikipedia: Wikipedia Isaac of Stella, Isaac of Stella (topic). Also Wikidata Q1673525

History

2026-11-02: add by m2/dev

Tomohiro Tachi F418WQS5M3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#GTAS, Tomohiro Tachi (unknown)

History

2026-11-02: add by m2/dev

F41B3D5DBH F41B3D5DBH

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

Mentions

arxiv: arXiv 2609.28141#2I2Q (statement)

History

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

The plateau acts through its first moment F41FNY22F0

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

Mentions

arxiv: arXiv 2610.06480#O644, The plateau acts through its first moment (statement). In 2Y47E704Z9/e1, lemma G.2

History

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

F41GJVVZHK F41GJVVZHK

URI	`m2://inv/F41GJVVZHK`
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 0906.4245#S11W (statement). In GPVBE4SEVF/e1, theorem 1.2

History

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

Exact margin implies direction-set convergence F41HGVVC1A

URI	`m2://inv/F41HGVVC1A`
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.11309#UVJ8, Exact margin implies direction-set convergence (statement). In TTEAQA1XXR/e1, lemma B.2

History

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

Ampère's circuital law in cgs units F41KY1NP0A

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

Mentions

wikipedia: Wikipedia Ampère's circuital law#34DQ, Ampère's circuital law in cgs units (statement)

History

2026-11-02: add by m2/dev

Glivenko–Cantelli lemma F41M27KQV8

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

Mentions

wikipedia: Wikipedia List of lemmas#9RJL, Glivenko–Cantelli lemma (statement)

History

2026-11-02: add by m2/dev

Example F41Q8BNW9H

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

Mentions

wikipedia: Wikipedia Collatz conjecture#LNX2, Example (example)

History

2026-11-02: add by m2/dev

Definition F41VJWJHDG

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

Mentions

wikipedia: Wikipedia Borel summation#IXWT, Definition (definition)

History

2026-11-02: add by m2/dev

F41ZRH4ZDT F41ZRH4ZDT

URI	`m2://inv/F41ZRH4ZDT`
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.32977#8IB5 (statement). In 4KT9TK3MG4/e1, corollary E.10

History

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

F424FKDTWR F424FKDTWR

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

Mentions

arxiv: arXiv 2609.28411#H3N4 (statement)

History

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

Danish Sugar Beet Auction F428Q5GTE7

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

Mentions

wikipedia: Wikipedia Danish Sugar Beet Auction, Danish Sugar Beet Auction (definition). Also Wikidata Q111165549

History

2026-11-02: add by m2/dev

transfinite F42G8ZADFW

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

Mentions

wikipedia: Wikipedia Glossary of set theory#TGXR, transfinite (definition)

History

2026-11-02: add by m2/dev

Orders of magnitude F42KWDCWZE

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

Mentions

wikipedia: Wikipedia Orders of magnitude (area), Orders of magnitude (definition). Also Wikidata Q934338

History

2026-11-02: add by m2/dev

Examples F42XBY3ZWB

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

Mentions

wikipedia: Wikipedia Routhian mechanics#RYGU, Examples (example)

History

2026-11-02: add by m2/dev

F42YECPSZF F42YECPSZF

URI	`m2://inv/F42YECPSZF`
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.29631#Q59R (statement)

History

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

Applications F43CD83PVQ

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

Mentions

wikipedia: Wikipedia Named set theory#PNHN, Applications (example)

History

2026-11-02: add by m2/dev

F43FEZF5N0 F43FEZF5N0

URI	`m2://inv/F43FEZF5N0`
Kind	statement
Layer	research
MSC	30-XX, 32-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.11902#VN84 (statement). In K66QKM4N5E/e1, lemma 2.11

History

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

F43FTZWK7V F43FTZWK7V

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

Mentions

arxiv: arXiv 2610.02395#NQ35 (statement). In APA7TRPA87/e1, proposition 1

History

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

Index of wave articles F43RXR624Q

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#Y0DT, Index of wave articles (topic)

History

2026-11-02: add by m2/dev

Alexander's subbase lemma F43V0D2S2F

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

Mentions

wikipedia: Wikipedia Alexander's subbase lemma, Alexander's subbase lemma (statement). Also Wikidata Q26882835

History

2026-11-02: add by m2/dev

Gotthold Eisenstein F43Z2FRKCA

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#9X0P, Gotthold Eisenstein (topic)

History

2026-11-02: add by m2/dev

F445N8HVF2 F445N8HVF2

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

Mentions

hott_book: hott_book categories.tex#ct:weq-iso-precat-cat (statement). In N54F33XE07, thm, section 2.9

History

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

Variants F446VWZVMT

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

Mentions

wikipedia: Wikipedia Universal approximation theorem#UCKN, Variants (statement)

History

2026-11-02: add by m2/dev

F44AZY9A1H F44AZY9A1H

URI	`m2://inv/F44AZY9A1H`
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 2406.07116#CCVL (statement). In 5B030CB2RK/e1, lemma 9.6

History

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

Scope F44D6AWBRY

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/free-vars-sentences.tex#defn-2, Scope (definition). In PKGMM3P5QY, defn, section 19.9

History

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

F44JNB5R8W F44JNB5R8W

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

Mentions

arxiv: arXiv 2610.04730#Y1OT (statement). In QHFP0837Q8/e1, corollary 3.10

History

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

Improved Euler's method F44K9KNSMH

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

Mentions

lebl_diffyqs: lebl_diffyqs index/4.7.1/improved-euler-s-method, Improved Euler's method (concept). In E9HS8K3A52, index, section 4.7.1

History

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

F44M8H8QJN F44M8H8QJN

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

Mentions

arxiv: arXiv 2610.13475#46X8 (definition). In P5SQ4CMX42/e1, definition 3

History

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

Avi Wigderson F44SD44VJQ

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#TA03, Avi Wigderson (topic)

History

2026-11-02: add by m2/dev

F44TRQ1NE1 F44TRQ1NE1

URI	`m2://inv/F44TRQ1NE1`
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.28649#2SB9 (statement)

History

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

Properties F453G8A9BN

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

Mentions

wikipedia: Wikipedia Compact convergence#N9L1, Properties (statement)

History

2026-11-02: add by m2/dev

F453XBH76N F453XBH76N

URI	`m2://inv/F453XBH76N`
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.26896#KRG8 (statement)

History

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

sufficiently nice F45AM4BRYJ

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#56Q6, sufficiently nice (definition)

History

2026-11-02: add by m2/dev

Bulletin of Mathematical Sciences F45KQX1PB7

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

Mentions

wikipedia: Wikipedia Bulletin of Mathematical Sciences, Bulletin of Mathematical Sciences (definition). Also Wikidata Q27727215

History

2026-11-02: add by m2/dev

F45KZZC431 F45KZZC431

URI	`m2://inv/F45KZZC431`
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 1011.5443#NXIK (statement). In VQ0K2GV62A/e1, proposition 2.13

History

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

F45MKQC34Z F45MKQC34Z

URI	`m2://inv/F45MKQC34Z`
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.20416#7DR0 (statement)

History

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

Pappus's centroid theorem F45RHF864C

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

Mentions

mathlib_1000: mathlib_1000 Q845088, Pappus's centroid theorem (statement). Also Wikidata Q845088
thousand_plus: thousand_plus Q845088, Pappus's centroid theorem (statement). Also Wikidata Q845088, Wikipedia Pappus's centroid theorem
wikidata: Wikidata Q845088, Pappus's centroid theorem (statement). Also MathWorld PappussCentroidTheorem
wikipedia: Wikipedia Pappus's centroid theorem, Pappus's centroid theorem (statement). Also Wikidata Q845088

History

2026-10-26: add by m2/dev

F45S5BDC3T F45S5BDC3T

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-264 (exercise). In VNMV985MXX, exercise, section 5.3

History

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

Historical GDP of China F45SSYFQP8

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

Mentions

wikipedia: Wikipedia Historical GDP of China, Historical GDP of China (definition). Also Wikidata Q4204577

History

2026-11-02: add by m2/dev

F461WVHK07 F461WVHK07

URI	`m2://inv/F461WVHK07`
Kind	definition
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.07963#PJND (definition). In HAGJKEZ1CK/e1, definition 2.7

History

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

F4627ATHEP F4627ATHEP

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

Mentions

arxiv: arXiv 2609.39517#ON1W (statement). In TWP8T68ABF/e1, theorem 0.2.2

History

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

Siegel, 1935 F463VJEJT3

URI	`m2://inv/F463VJEJT3`
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.35950#DE0M, Siegel, 1935 (statement). In BZN1G5W5FX/e1, theorem 1.2

History

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

Extensionality F468YSF961

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

Mentions

open_logic: open_logic content/set-theory/story/extensionality.tex#axiom-1, Extensionality (statement). In PKGMM3P5QY, axiom, section 75.4

History

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

Dorje C. Brody F4693DQDXZ

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

Mentions

wikipedia: Wikipedia Dorje C. Brody, Dorje C. Brody (topic). Also Wikidata Q50330994

History

2026-11-02: add by m2/dev

Lower Bound on the Sum F46B72XXMP

URI	`m2://inv/F46B72XXMP`
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.07671#L8IC, Lower Bound on the Sum (statement). In XHHBGCVG90/e1, lemma 5.2.2

History

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

Ampère's circuital law F46BEDXAQA

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

Mentions

wikidata: Wikidata Q51500, Ampère's circuital law (statement). Also ProofWiki Ampère-Maxwell_Law
wikipedia: Wikipedia Ampère's circuital law, Ampère's circuital law (statement). Also Wikidata Q51500

History

2026-10-26: add by m2/dev

F46E08FTF6 F46E08FTF6

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

Mentions

arxiv: arXiv 2609.28411#QN5N (statement)

History

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

List of things named after Pierre Deligne F46F9HV96M

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#FZQI, List of things named after Pierre Deligne (topic)

History

2026-11-02: add by m2/dev

Dual graph F46Q8S7SBN

URI	`m2://inv/F46Q8S7SBN`
Kind	definition
Layer	research
MSC	35-XX, 47-XX, 58-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.10964#PV9I, Dual graph (definition). In 16KVMD76PZ/e1, definition A.1

History

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

Patch test (finite elements) F46YT59MKD

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#ECPT, Patch test (finite elements) (definition)

History

2026-11-02: add by m2/dev

F46ZXN2N42 F46ZXN2N42

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

Mentions

austin_ula: austin_ula src/exercises/exercises6-3.xml#exercise-1 (exercise). In 649HGZKE96, exercise, section 6.3

History

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

Accuracy agrees between CPU and GPU; larger $n$ favours \OzII F47AJ0Z69A

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

Mentions

arxiv: arXiv 2609.29554#EMTF, Accuracy agrees between CPU and GPU; larger $n$ favours \OzII (unknown)

History

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

Theorems F47CGG218Y

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

Mentions

wikipedia: Wikipedia Discrepancy theory#ILZF, Theorems (statement)

History

2026-11-02: add by m2/dev

Properties F47CWM8CKM

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

Mentions

wikipedia: Wikipedia Nilpotent Lie algebra#WMVQ, Properties (statement)

History

2026-11-02: add by m2/dev

F47N45JYZC F47N45JYZC

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphalgorithms_exercises.ptx#exercise-2 (exercise). In QKM9DD2H56, exercise, section 12

History

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

Generalizations F47Y46EJ5C

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

Mentions

wikipedia: Wikipedia Upper half-plane#PS8I, Generalizations (statement)

History

2026-11-02: add by m2/dev

F483NMHYBN F483NMHYBN

URI	`m2://inv/F483NMHYBN`
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.33124#N7EQ (statement). In P27HYGQDAN/e1, proposition 18

History

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

Nikolaos J. Hatzidakis F48TR3T4QR

URI	`m2://inv/F48TR3T4QR`
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#5CIM, Nikolaos J. Hatzidakis (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GK2N, Nikolaos J. Hatzidakis (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#J467, Nikolaos J. Hatzidakis (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WNOT, Nikolaos J. Hatzidakis (topic)

History

2026-11-02: add by m2/dev

F48XVKA067 F48XVKA067

URI	`m2://inv/F48XVKA067`
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.05617#QX0D (statement). In 5JP3JTYAXK/e1, corollary 4.1

History

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

F48YKG47XF F48YKG47XF

URI	`m2://inv/F48YKG47XF`
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.32033#NEYZ (statement). In 17W5G060QX/e1, theorem 3.2

History

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

F48YPVX9BE F48YPVX9BE

URI	`m2://inv/F48YPVX9BE`
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.16060#P5T3 (statement). In X0BTF9HPGM/e1, lemma 3.8

History

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

Functional data analysis F493FV933N

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

Mentions

wikipedia: Wikipedia List of statistics articles#2E9S, Functional data analysis (topic)

History

2026-11-02: add by m2/dev

F499RD63B0 F499RD63B0

URI	`m2://inv/F499RD63B0`
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.26401#N7R4 (statement)

History

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

Lemoine cubic F49AMJTETF

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

Mentions

wikidata: Wikidata Q129175817, Lemoine cubic (unknown). Also MathWorld LemoineCubic

History

2026-10-26: add by m2/dev

Commutator form of the one-round theorem F49C1ZMVV4

URI	`m2://inv/F49C1ZMVV4`
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.04271#4BQS, Commutator form of the one-round theorem (statement). In WBXAW9G4JB/e1, lemma E.1

History

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

great dirhombicosidodecacron F49JTK1AY9

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

Mentions

wikidata: Wikidata Q5600341, great dirhombicosidodecacron (unknown). Also MathWorld GreatDirhombicosidodecacron
wikipedia: Wikipedia Great dirhombicosidodecacron, Great dirhombicosidodecacron (object). Also Wikidata Q5600341

History

2026-10-26: add by m2/dev

F49KPZTMPQ F49KPZTMPQ

URI	`m2://inv/F49KPZTMPQ`
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.10051#5P4R (statement). In VCHH2AC34R/e1, proposition 2.5

History

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

Example F49X4BBHDV

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

Mentions

wikipedia: Wikipedia Bending moment#LYYG, Example (example)

History

2026-11-02: add by m2/dev

Lovejoy's Law F49X4Y9DQV

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

Mentions

wikipedia: Wikipedia Think of the children#KIKZ, Lovejoy's Law (statement)

History

2026-11-02: add by m2/dev

F4A0DTEJBJ F4A0DTEJBJ

URI	`m2://inv/F4A0DTEJBJ`
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 2610.20758#IG3G (definition). In PG0B4PH9YH/e1, definition 5.7

History

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

F4A6NV1MSN F4A6NV1MSN

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

Mentions

arxiv: arXiv 2406.06762#4LUP (definition). In J99PFFJXPE/e1, definition 2.2

History

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

Howard Eves F4A85ZS2E8

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#Z60R, Howard Eves (topic)

History

2026-11-02: add by m2/dev

Recurrence relation F4ABJJ1F4F

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

Mentions

wikipedia: Wikipedia List of dynamical systems and differential equations topics#5JPX, Recurrence relation (definition)

History

2026-11-02: add by m2/dev

Maurice Auslander F4AEZ7MC6N

URI	`m2://inv/F4AEZ7MC6N`
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#7MTI, Maurice Auslander (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MQHJ, Maurice Auslander (topic)

History

2026-11-02: add by m2/dev

relating discrete and continuous simplex F4AG5511BJ

URI	`m2://inv/F4AG5511BJ`
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.08610#86M8, relating discrete and continuous simplex (statement). In CB2JWNS1E9/e1, lemma 4.1

History

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

Convergence by positive recursion F4AH91T9YB

URI	`m2://inv/F4AH91T9YB`
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.02531#JHBP, Convergence by positive recursion (statement). In 44EQ0MZE8G/e1, proposition 7.3

History

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

Tartaglia's formula F4AKB40W1Z

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

Mentions

wikipedia: Wikipedia Nicolo Tartaglia#8PQM, Tartaglia's formula (unknown)

History

2026-11-02: add by m2/dev

F4APTRPM8P F4APTRPM8P

URI	`m2://inv/F4APTRPM8P`
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.03255#GKNI (statement). In DCC0Y18670/e1, theorem A

History

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

F4AQCDV0WY F4AQCDV0WY

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

Mentions

arxiv: arXiv 2610.05179#P4G3 (statement). In 9EMCPF1F2T/e1, theorem 61

History

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

Picard's theorem on existence and uniqueness for systems F4ATAPJQEE

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#sys:picardthm, Picard's theorem on existence and uniqueness for systems (statement). In E9HS8K3A52, theorem, section 10.1.5

History

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

F4AWVR8GGY F4AWVR8GGY

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

Mentions

arxiv: arXiv 2609.25106#001Z (statement)

History

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

F4B29FNJ7T F4B29FNJ7T

URI	`m2://inv/F4B29FNJ7T`
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 2006.05158#LSD3 (statement). In 4VCW6SZQXK/e1, proposition 2

History

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

F4B76ZNBW7 F4B76ZNBW7

URI	`m2://inv/F4B76ZNBW7`
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.12353#S79C (statement). In 7TSXNR7TC5/e1, proposition IV.1

History

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

F4BCWNXJ4S F4BCWNXJ4S

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

Mentions

arxiv: arXiv 2609.20153#AIHY (definition)

History

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

F4BFZYVGP8 F4BFZYVGP8

URI	`m2://inv/F4BFZYVGP8`
Kind	statement
Layer	research
MSC	35-XX, 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 2204.04317#UBVF (statement). In 49V3ANDZTY/e1, theorem 6.7

History

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

F4BJYWGSVC F4BJYWGSVC

URI	`m2://inv/F4BJYWGSVC`
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.08500#B3O8 (statement). In ZPCYW4N0EH/e1, lemma 4.14

History

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

Robert G. Bland F4BM3ZMW34

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#I4T0, Robert G. Bland (topic)

History

2026-11-02: add by m2/dev

Dennis Gaitsgory F4BR4R7YY7

URI	`m2://inv/F4BR4R7YY7`
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#JKAG, Dennis Gaitsgory (topic)

History

2026-11-02: add by m2/dev

The uniqueness theorems F4BRM7SATE

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

Mentions

wikipedia: Wikipedia Graph C*-algebra#OQ1A, The uniqueness theorems (statement)

History

2026-11-02: add by m2/dev

Polyhedral approximation from the subdifferential F4C77TVYRH

URI	`m2://inv/F4C77TVYRH`
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#L1D4, Polyhedral approximation from the subdifferential (statement). In 9YAE8FNQST/e1, lemma 30.14

History

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

F4C7XJWCK6 F4C7XJWCK6

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

Mentions

applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-38 (exercise). In QKM9DD2H56, exercise, section 5

History

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

Principle F4C8NHYPXM

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

Mentions

wikipedia: Wikipedia Polar motion#N5NL, Principle (statement)

History

2026-11-02: add by m2/dev

kite graph F4CFWYFMFG

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

Mentions

wikidata: Wikidata Q3115458, kite graph (unknown). Also House of Graphs 782, MathWorld KiteGraph

History

2026-10-26: add by m2/dev

Finite-iteration approximation for the socket ensemble F4CK65E0XB

URI	`m2://inv/F4CK65E0XB`
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.24568#M09G, Finite-iteration approximation for the socket ensemble (statement)

History

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

Prismatic compound of antiprisms F4CKVXBYYE

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

Mentions

wikipedia: Wikipedia Prismatic compound of antiprisms, Prismatic compound of antiprisms (definition). Also Wikidata Q7245693

History

2026-11-02: add by m2/dev

F4CQTSCH2M F4CQTSCH2M

URI	`m2://inv/F4CQTSCH2M`
Kind	problem
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.22825#1M9O (problem)

History

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

Random variate F4CZ9246PR

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

Mentions

wikipedia: Wikipedia List of statistics articles#HLDK, Random variate (definition)

History

2026-11-02: add by m2/dev

negation F4D42M0F2N

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

Mentions

levin_dmoi: levin_dmoi index/1.2.1/negation, negation (concept). In Y91XFCEVHQ, index, section 1.2.1

History

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

light cone F4D822FD6Z

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

Mentions

wikidata: Wikidata Q1137903, light cone (unknown). Also MathWorld LightCone, nLab light cone
wikipedia: Wikipedia Light cone, Light cone (definition). Also Wikidata Q1137903

History

2026-10-26: add by m2/dev

Karatsuba algorithm F4DANA5A65

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

Mentions

wikidata: Wikidata Q629940, Karatsuba algorithm (unknown). Also MathWorld KaratsubaMultiplication
wikipedia: Wikipedia Karatsuba algorithm, Karatsuba algorithm (definition). Also Wikidata Q629940

History

2026-10-26: add by m2/dev

$L$-maximizers as limits of $\widecheck L_\varepsilon$-maxmizers for codimension-$2$ surfaces F4DVPEFYJD

URI	`m2://inv/F4DVPEFYJD`
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 2610.11911#CROD, $L$-maximizers as limits of $\widecheck L_\varepsilon$-maxmizers for codimension-$2$ surfaces (statement). In 5BYE5NYB89/e1, corollary 3.18

History

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

F4DVYHZBKA F4DVYHZBKA

URI	`m2://inv/F4DVYHZBKA`
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 2106.11898#K14P (statement). In KXXV5X8AG4/e1, proposition 4.10

History

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

F4DXFG7H0T F4DXFG7H0T

URI	`m2://inv/F4DXFG7H0T`
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 2309.01359#MEVQ (statement). In BFV19FC2G7/e1, proposition 2.2

History

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

F4E338HFGY F4E338HFGY

URI	`m2://inv/F4E338HFGY`
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.03449#R21C (statement). In 3XM05SYQ8D/e1, lemma 4.6

History

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

F4EDFNDV9V F4EDFNDV9V

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

Mentions

arxiv: arXiv 2204.01073#HGEY (statement). In W4TYN4PGE8/e1, theorem 6.11

History

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

Quadrilateral F4EE0W79HY

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#U1ZX, Quadrilateral (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#DS6F, Quadrilateral (definition)

History

2026-11-02: add by m2/dev

400,000 F4EG7EPZTN

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

Mentions

wikipedia: Wikipedia 100,000#G9NQ, 400,000 (unknown)

History

2026-11-02: add by m2/dev

F4EJ0CJGZG F4EJ0CJGZG

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

Mentions

open_logic: open_logic content/normal-modal-logic/filtrations/finite.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 52.1

History

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

Multiple Goss sums F4EJXTHZ4H

URI	`m2://inv/F4EJXTHZ4H`
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 2609.18777#BK01, Multiple Goss sums (definition). In TFZDPHDF7V/e1, definition 2.4

History

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

Applications F4EKP9CNBP

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

Mentions

wikipedia: Wikipedia Lévy flight#95FG, Applications (example)

History

2026-11-02: add by m2/dev

Probabilistic algorithm F4F24PV520

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

Mentions

wikipedia: Wikipedia List of probability topics#RPXO, Probabilistic algorithm (definition)

History

2026-11-02: add by m2/dev

F4FV78JRZK F4FV78JRZK

URI	`m2://inv/F4FV78JRZK`
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.21680#PVD6 (statement)

History

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

Journal of Non-Classical Logic F4FXGVVD2Z

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

Mentions

wikipedia: Wikipedia List of logic journals#2YTF, Journal of Non-Classical Logic (unknown)

History

2026-11-02: add by m2/dev

F4FZV7DRR0 F4FZV7DRR0

URI	`m2://inv/F4FZV7DRR0`
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 2301.04933#TFBU (statement). In Q70CTMCJTP/e1, lemma 3.5

History

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

F4FZWVXP9A F4FZWVXP9A

URI	`m2://inv/F4FZWVXP9A`
Kind	statement
Layer	research
MSC	05-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.07718#WO8O (statement). In CEKW9CNVVW/e1, corollary 7.2

History

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

F4G8FCJR9W F4G8FCJR9W

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#exercise-69 (exercise). In E59CDZA4DP, exercise, section 10.5.7

History

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

F4GZ9PNZVN F4GZ9PNZVN

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

Mentions

arxiv: arXiv 2609.36622#7RUL (example). In 9704QPRPR6/e1, example 5.1

History

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

Frieda Nugel F4H0GC03QW

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

Mentions

wikipedia: Wikipedia List of German mathematicians#EUAU, Frieda Nugel (unknown)

History

2026-11-02: add by m2/dev

Spring Research Conference F4H0NF99G5

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

Mentions

wikipedia: Wikipedia Spring Research Conference, Spring Research Conference (definition). Also Wikidata Q105972910

History

2026-11-02: add by m2/dev

Julius August Christoph Zech F4H59WS5WQ

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

Mentions

wikipedia: Wikipedia List of German mathematicians#2DC3, Julius August Christoph Zech (unknown)

History

2026-11-02: add by m2/dev

Morley's trisector theorem F4H9B4XWAD

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

Mentions

wikipedia: Wikipedia List of theorems#T9NF, Morley's trisector theorem (statement)

History

2026-11-02: add by m2/dev

Babuška–Lax–Milgram theorem F4HCDGXE8C

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

Mentions

wikipedia: Wikipedia List of theorems#NAAA, Babuška–Lax–Milgram theorem (statement)

History

2026-11-02: add by m2/dev

Katharina T. Huber F4HEE86GXJ

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

Mentions

wikipedia: Wikipedia Katharina T. Huber, Katharina T. Huber (topic). Also Wikidata Q102180231

History

2026-11-02: add by m2/dev

F4HJKDPMQ5 F4HJKDPMQ5

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

History

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

F4HMVBG6MN F4HMVBG6MN

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

Mentions

arxiv: arXiv 2204.01073#8FRS (statement). In W4TYN4PGE8/e1, theorem 4.1

History

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

Jacobian Bound F4HX7PQXJ9

URI	`m2://inv/F4HX7PQXJ9`
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.14344#3CQF, Jacobian Bound (statement). In ZVCD8RG1JJ/e1, corollary 2

History

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

Giulio Ascoli F4HXPWZQE3

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#LRRB, Giulio Ascoli (topic)

History

2026-11-02: add by m2/dev

F4J5KC9E1Z F4J5KC9E1Z

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

Mentions

arxiv: arXiv 2610.13214#NWI0 (statement). In 4GRNWWH88J/e1, theorem 1.1

History

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

F4JFCSPG8C F4JFCSPG8C

URI	`m2://inv/F4JFCSPG8C`
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 2504.00267#RJY4 (statement). In 38XJWDZ2PH/e1, proposition 3.16

History

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

Shimura subgroup F4JGDCK0V5

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

Mentions

wikipedia: Wikipedia Shimura subgroup, Shimura subgroup (definition). Also Wikidata Q7497060

History

2026-11-02: add by m2/dev

Definition F4JRVJ9KZM

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

Mentions

wikipedia: Wikipedia Converse nonimplication#1COF, Definition (definition)

History

2026-11-02: add by m2/dev

Seifert fiber space F4JVJGZRR1

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

Mentions

wikipedia: Wikipedia List of topics named after Leonhard Euler#FYUJ, Seifert fiber space (definition)

History

2026-11-02: add by m2/dev

F4JX85X127 F4JX85X127

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-64 (exercise). In E59CDZA4DP, exercise, section 1.7.3

History

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

Main axioms F4JYGRXJ93

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

Mentions

wikipedia: Wikipedia Numerosity (mathematics)#E1NA, Main axioms (statement)

History

2026-11-02: add by m2/dev

F4JZGXVXXD F4JZGXVXXD

URI	`m2://inv/F4JZGXVXXD`
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#U99W (statement). In NSYR6W27FP/e1, proposition 4.17

History

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

F4JZR108F2 F4JZR108F2

URI	`m2://inv/F4JZR108F2`
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.30957#DEBG (statement). In P5YB6R0RK3/e1, lemma 5.1

History

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

Examples F4K7777TR2

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

Mentions

wikipedia: Wikipedia Vojta's conjecture#Y13P, Examples (example)

History

2026-11-02: add by m2/dev

List of simple Lie groups F4K8AVXWZA

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#EKFN, List of simple Lie groups (definition)

History

2026-11-02: add by m2/dev

interval arithmetic F4KCX5MP8W

URI	`m2://inv/F4KCX5MP8W`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Interval arithmetic QPKKTE1ZY0

Mentions

wikidata: Wikidata Q1671453, interval arithmetic (unknown). Also MathWorld IntervalArithmetic
wikipedia: Wikipedia Interval arithmetic, Interval arithmetic (definition). Also Wikidata Q1671453

History

2026-10-26: add by m2/dev

paradox F4KGMVH3W4

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

Mentions

hott_book: hott_book index/A.3/paradox, paradox (concept). In N54F33XE07, index, section A.3

History

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

F4KKK7HD9M F4KKK7HD9M

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

Mentions

open_logic: open_logic content/sets-functions-relations/sets/pairs-and-products.tex#ex-2 (example). In PKGMM3P5QY, ex, section 82.5

History

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

Levy collapsing F4KQXATGB0

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

Mentions

wikipedia: Wikipedia List of forcing notions#NBDH, Levy collapsing (unknown)

History

2026-11-02: add by m2/dev

Upper set F4KWFJETVY

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

Mentions

wikipedia: Wikipedia List of order theory topics#FWNK, Upper set (definition)

History

2026-11-02: add by m2/dev

F4M4DDNNWH F4M4DDNNWH

URI	`m2://inv/F4M4DDNNWH`
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.20675#X03T (statement)

History

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

A BHV contrast in the closure but outside the RKHS F4M6P3CTP0

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

Mentions

arxiv: arXiv 2610.05388#F3U7, A BHV contrast in the closure but outside the RKHS (example). In 4HJK1986EJ/e1, example B.2

History

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

Mutagenesis F4MCC9FB0Z

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

Mentions

wikipedia: Wikipedia Mutagenesis, Mutagenesis (definition). Also Wikidata Q149299

History

2026-11-02: add by m2/dev

Continuity in probability F4MDE6TND2

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

Mentions

wikipedia: Wikipedia Continuity in probability, Continuity in probability (definition). Also Wikidata Q111914084

History

2026-11-02: add by m2/dev

F4MH68R0W6 F4MH68R0W6

URI	`m2://inv/F4MH68R0W6`
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.33383#I1QV (statement). In 8AHWRHTP5G/e1, lemma 8

History

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

Minimum on a fixed tree F4MK5BZPWZ

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

Mentions

arxiv: arXiv 2610.17400#C4EZ, Minimum on a fixed tree (statement). In 8VDXGR4SVD/e1, proposition 6.11

History

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

F4MNCF98Y2 F4MNCF98Y2

URI	`m2://inv/F4MNCF98Y2`
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.31604#WUUX (statement). In GSN5YTQS2K/e1, proposition 2.13

History

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

Statement F4MRAH243A

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

Mentions

wikipedia: Wikipedia Boolean Pythagorean triples problem#1C32, Statement (statement)

History

2026-11-02: add by m2/dev

List of things named after James Joseph Sylvester F4MS3T9X7Z

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

Mentions

wikipedia: Wikipedia List of things named after James Joseph Sylvester, List of things named after James Joseph Sylvester (topic). Also Wikidata Q6643292

History

2026-11-02: add by m2/dev

F4MV686486 F4MV686486

URI	`m2://inv/F4MV686486`
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.20675#YWBZ (statement)

History

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

Example F4MVNH2WF0

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

Mentions

wikipedia: Wikipedia Tautological consequence#MCWH, Example (example)

History

2026-11-02: add by m2/dev

Nathaniel Torporley F4N533BMD1

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

Mentions

wikipedia: Wikipedia Nathaniel Torporley, Nathaniel Torporley (topic). Also Wikidata Q3336771

History

2026-11-02: add by m2/dev

F4N9MJFVA2 F4N9MJFVA2

URI	`m2://inv/F4N9MJFVA2`
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 2504.13328#VN3A (statement). In 736Q32FYCG/e1, proposition 3.2

History

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

Variational principle F4NGMW99Y6

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

Mentions

wikipedia: Wikipedia Ivar Ekeland#W8JN, Variational principle (statement)

History

2026-11-02: add by m2/dev

Takeo Ohsawa F4NSBKR04R

URI	`m2://inv/F4NSBKR04R`
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#PERB, Takeo Ohsawa (unknown)

History

2026-11-02: add by m2/dev

F4NTA9KNV9 F4NTA9KNV9

URI	`m2://inv/F4NTA9KNV9`
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#3AF8 (statement). In EY54F2SX08/e1, lemma 6.1

History

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

F4NXG93JA0 F4NXG93JA0

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

Mentions

arxiv: arXiv 2609.26262#MVQ2 (statement)

History

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

Nash embedding theorem F4NZSZFD1N

URI	`m2://inv/F4NZSZFD1N`
Kind	statement
Layer	textbook
MSC	53-XX
Sources	4
Outcome	open
Node	Nash embedding theorems 8YQJQXQHVE

Mentions

mathlib_1000: mathlib_1000 Q1306092, Nash embedding theorem (statement). Also Wikidata Q1306092
thousand_plus: thousand_plus Q1306092, Nash embedding theorem (statement). Also Wikidata Q1306092, Wikipedia Nash embedding theorem
wikidata: Wikidata Q1306092, Nash embedding theorem (statement). Also nLab Nash embedding theorem
wikipedia: Wikipedia Nash embedding theorems, Nash embedding theorems (statement). Also Wikidata Q1306092

History

2026-10-26: add by m2/dev

F4P43ZKB94 F4P43ZKB94

URI	`m2://inv/F4P43ZKB94`
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 2610.01411#47FF (statement). In SD28S3K7BT/e1, theorem 33

History

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

F4P5RWJNH2 F4P5RWJNH2

URI	`m2://inv/F4P5RWJNH2`
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#IP8Y (statement). In 8BNPFYQDQX/e1, proposition 14.4

History

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

Drift plus penalty F4P8CAXYBR

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

Mentions

wikipedia: Wikipedia Drift plus penalty, Drift plus penalty (definition). Also Wikidata Q5307460

History

2026-11-02: add by m2/dev

Silvio Ballarin F4PXVCN82T

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#BQLX, Silvio Ballarin (unknown)

History

2026-11-02: add by m2/dev

F4Q1NM5E0Q F4Q1NM5E0Q

URI	`m2://inv/F4Q1NM5E0Q`
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.15982#LVI5 (statement). In KB50SHR229/e1, lemma C.5

History

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

F4Q1SWYCFR F4Q1SWYCFR

URI	`m2://inv/F4Q1SWYCFR`
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#227Q (statement). In CTAS41TRM2/e1, lemma 9.1

History

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

Allison Henrich F4Q3AFP1PE

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

Mentions

wikipedia: Wikipedia Allison Henrich, Allison Henrich (topic). Also Wikidata Q85278965

History

2026-11-02: add by m2/dev

F4Q4XGZKTS F4Q4XGZKTS

URI	`m2://inv/F4Q4XGZKTS`
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-8 (exercise). In Y91XFCEVHQ, exercise, section 3.6

History

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

F4QQJHH74G F4QQJHH74G

URI	`m2://inv/F4QQJHH74G`
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 2212.00617#W8G8 (statement). In K7505G10SS/e1, corollary 4.8

History

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

F4QQRTNY04 F4QQRTNY04

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#def:intervals (definition). In P1C114YBXG, definition, section J

History

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

Dunn index F4QR9B7T4A

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

Mentions

wikipedia: Wikipedia List of statistics articles#8UNK, Dunn index (definition)

History

2026-11-02: add by m2/dev

diffiety F4QSNJBQ8W

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

Mentions

wikidata: Wikidata Q5275393, diffiety (unknown). Also nLab diffiety
wikipedia: Wikipedia Diffiety, Diffiety (definition). Also Wikidata Q5275393

History

2026-10-26: add by m2/dev

Fazari, Ibrahim F4R80J2XYN

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

Mentions

wikipedia: Wikipedia List of Iranian mathematicians#3R6R, Fazari, Ibrahim (unknown)

History

2026-11-02: add by m2/dev

Canonical Huffman code F4RDFPCVJM

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

Mentions

wikipedia: Wikipedia Canonical Huffman code, Canonical Huffman code (definition). Also Wikidata Q4885542

History

2026-11-02: add by m2/dev

C\'ea--Babuška lemma F4RFH1YA59

URI	`m2://inv/F4RFH1YA59`
Kind	statement
Layer	research
MSC	35-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.20145#OCK6, C\'ea--Babuška lemma (statement). In HXKJ4MT1CX/e1, proposition 4.2

History

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

Bonnie Stewart F4RPWY9ESD

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#7DJA, Bonnie Stewart (unknown)

History

2026-11-02: add by m2/dev

586 (number) F4RQFNAF9E

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

Mentions

wikipedia: Wikipedia 500 (number)#QVFR, 586 (number) (unknown)

History

2026-11-02: add by m2/dev

Applications F4RR68TXYJ

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

Mentions

wikipedia: Wikipedia Process of elimination#EVWY, Applications (example)

History

2026-11-02: add by m2/dev

Michael Harris F4RX0EAHPG

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#9QNQ, Michael Harris (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#2AQ4, Michael Harris (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6I4T, Michael Harris (topic)

History

2026-11-02: add by m2/dev

second derivative test F4RXYV7307

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

Mentions

lebl_ra: lebl_ra index/3.3.2/second-derivative-test, second derivative test (concept). In E59CDZA4DP, index, section 3.3.2

History

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

Calabi conjecture F4RYQSC6XE

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

Mentions

wikipedia: Wikipedia Calabi conjecture, Calabi conjecture (statement). Also Wikidata Q5018293

History

2026-11-02: add by m2/dev

Streeter–Phelps equation F4RYZPG2EV

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

Mentions

wikipedia: Wikipedia List of named differential equations#0TLU, Streeter–Phelps equation (unknown)

History

2026-11-02: add by m2/dev

Hill sphere F4S5YVENHT

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

Mentions

wikipedia: Wikipedia Hill sphere, Hill sphere (definition). Also Wikidata Q498792

History

2026-11-02: add by m2/dev

F4SGZFPMPZ F4SGZFPMPZ

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

Mentions

arxiv: arXiv 2610.01228#QY7Z (definition). In HZAJ20XW7F/e1, definition 1

History

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

Barbara Rokowska F4SH0J4ZNP

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#QVPX, Barbara Rokowska (topic)

History

2026-11-02: add by m2/dev

Lexis diagram F4SXD110AX

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

Mentions

wikipedia: Wikipedia List of statistics articles#ZRR4, Lexis diagram (definition)

History

2026-11-02: add by m2/dev

Tail estimate F4T4DBS4YC

URI	`m2://inv/F4T4DBS4YC`
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#K0KV, Tail estimate (statement). In 8BNPFYQDQX/e1, lemma 7.4

History

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

F4T7VHD6W1 F4T7VHD6W1

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#exercise-6 (exercise). In E59CDZA4DP, exercise, section 4.1.1

History

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

F4T8QNY6YX F4T8QNY6YX

URI	`m2://inv/F4T8QNY6YX`
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 2507.12309#3O1M (statement). In ZR53K3E0FR/e1, corollary 37

History

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

Loss of locking F4TCF1ZTPR

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

Mentions

arxiv: arXiv 2610.15686#XTKX, Loss of locking (statement). In 4HCK722M2G/e1, corollary 6.6

History

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

Real cepstrum F4TDE53MZ2

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

Mentions

wikipedia: Wikipedia Cepstrum#23Q2, Real cepstrum (unknown)

History

2026-11-02: add by m2/dev

Aldridge Bousfield F4TED4N0VV

URI	`m2://inv/F4TED4N0VV`
Kind	topic
Layer	textbook
Sources	2
Outcome	out_of_scope (a person, not an item of mathematics)
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q24254204, Aldridge Bousfield (unknown). Also nLab Aldridge Bousfield
wikipedia: Wikipedia Aldridge Bousfield, Aldridge Bousfield (topic). Also Wikidata Q24254204

History

2026-10-26: add by m2/dev

F4TJ48A5FG F4TJ48A5FG

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

Mentions

arxiv: arXiv 2609.39700#JEW0 (statement). In E7W2HDNEKJ/e1, theorem 6.8

History

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

Canonical form (Boolean algebra) F4TKM6F7G1

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

Mentions

wikipedia: Wikipedia List of Boolean algebra topics#0VXE, Canonical form (Boolean algebra) (definition)

History

2026-11-02: add by m2/dev

F4TQSHVK20 F4TQSHVK20

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

Mentions

arxiv: arXiv 2609.26410#AQG6 (statement)

History

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

List of important publications in statistics F4TZQCJRVV

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

Mentions

wikipedia: Wikipedia Lists of mathematics topics#FJWC, List of important publications in statistics (topic)

History

2026-11-02: add by m2/dev

grade F4V9DGRQ8W

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#N438, grade (definition)

History

2026-11-02: add by m2/dev

Hedlund's theorem: ergodicity of geodesic and horocycle flows F4VCRCMEZ8

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

Mentions

wikipedia: Wikipedia Ergodic flow#IN36, Hedlund's theorem: ergodicity of geodesic and horocycle flows (statement)

History

2026-11-02: add by m2/dev

Kirsten Gillibrand F4VF9JZZ0P

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#JFC5, Kirsten Gillibrand (unknown)

History

2026-11-02: add by m2/dev

Champernowne constant F4VG8MPZJ2

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

Mentions

wikipedia: Wikipedia List of scientific constants named after people#YY3D, Champernowne constant (object)

History

2026-11-02: add by m2/dev

F4VHAK8FYK F4VHAK8FYK

URI	`m2://inv/F4VHAK8FYK`
Kind	problem
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.18600#MZ07 (problem). In 31D6TQVCNZ/e1, problem 4.3

History

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

Ultraconnected space F4VJRWMZHX

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

Mentions

wikipedia: Wikipedia Ultraconnected space, Ultraconnected space (definition). Also Wikidata Q7880520

History

2026-11-02: add by m2/dev

Algorithms F4VMKAWNN9

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

Mentions

wikipedia: Wikipedia Bipartite graph#3YLH, Algorithms (definition)

History

2026-11-02: add by m2/dev

F4VNDZTWBJ F4VNDZTWBJ

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

Mentions

arxiv: arXiv 2610.06746#KQLV (statement). In B8A6BPP922/e1, lemma 2.3

History

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

Minimum bounding box F4VQSVCN1K

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#S9AW, Minimum bounding box (definition)

History

2026-11-02: add by m2/dev

János Bolyai Mathematical Institute F4VR80YAND

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

Mentions

wikipedia: Wikipedia János Bolyai Mathematical Institute, János Bolyai Mathematical Institute (definition). Also Wikidata Q6319696

History

2026-11-02: add by m2/dev

F4VX6DEV5G F4VX6DEV5G

URI	`m2://inv/F4VX6DEV5G`
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 2509.10268#HH3X (statement). In YR15TN4V4F/e1, lemma 1

History

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

F4VZYFTW51 F4VZYFTW51

URI	`m2://inv/F4VZYFTW51`
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 0805.4273#MVJX (statement). In ZX3NV58FRX/e1, proposition 3.3

History

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

David Ruelle F4WF874BJ7

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#X639, David Ruelle (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#WYU0, David Ruelle (unknown)

History

2026-11-02: add by m2/dev

Dmitri Olegovich Orlov F4WKGZW8FK

URI	`m2://inv/F4WKGZW8FK`
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#GVVR, Dmitri Olegovich Orlov (topic)

History

2026-11-02: add by m2/dev

F4WKH5BDF9 F4WKH5BDF9

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

Mentions

arxiv: arXiv 2308.09645#D9XH (definition). In HVDSC1GQRD/e1, definition 1.1

History

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

F4X2HM7Q7Q F4X2HM7Q7Q

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

Mentions

arxiv: arXiv 2610.14692#PALP (statement). In NE5EH5FXRV/e1, lemma 4.8

History

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

F4X7AEF72H F4X7AEF72H

URI	`m2://inv/F4X7AEF72H`
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.28702#YZ0K (statement)

History

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

F4X7FRSV3J F4X7FRSV3J

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

Mentions

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

History

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

Jewels of Stringology F4XBTH1DG2

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

Mentions

wikipedia: Wikipedia List of mathematics books#ZV7V, Jewels of Stringology (unknown)

History

2026-11-02: add by m2/dev

F4XMPTYE8D F4XMPTYE8D

URI	`m2://inv/F4XMPTYE8D`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 53-XX, 57-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 2111.14699#GTVI (statement). In ES1CVGG59Y/e1, lemma 3.3

History

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

F4XSC8AYFT F4XSC8AYFT

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/IntroInduction.tex#prob:L-shapes (exercise). In P1C114YBXG, problem, section D

History

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

F4Y4JBS0S7 F4Y4JBS0S7

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

Mentions

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

History

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

Applications F4Y51DWJ6P

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

Mentions

wikipedia: Wikipedia Final value theorem#MXXI, Applications (example)

History

2026-11-02: add by m2/dev

Doug Stinson F4Y52NXQQ2

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

Mentions

wikipedia: Wikipedia Doug Stinson, Doug Stinson (topic). Also Wikidata Q3038041

History

2026-11-02: add by m2/dev

F4Y80HCP6E F4Y80HCP6E

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#thm:trivial subsets (statement). In P1C114YBXG, theorem, section J

History

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

F4YFW9S5GQ F4YFW9S5GQ

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_formal-num-sys.ptx#proof-1 (proof). In QKM9DD2H56, proof, section B.7

History

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

F4YKMHDD37 F4YKMHDD37

URI	`m2://inv/F4YKMHDD37`
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.09390#L9ZA (statement). In 7SSKW778T8/e1, proposition 8.3

History

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

Theorem F4YQG3GG77

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

Mentions

wikipedia: Wikipedia Hilbert's fourth problem#FCTV, Theorem (statement)

History

2026-11-02: add by m2/dev

F4YT1Z4EDP F4YT1Z4EDP

URI	`m2://inv/F4YT1Z4EDP`
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.25060#AV4W (statement)

History

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

Definition F4Z2X9G80G

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

Mentions

wikipedia: Wikipedia Effective method#3OM8, Definition (definition)

History

2026-11-02: add by m2/dev

Benini distribution F4Z7SJXD0B

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

Mentions

wikipedia: Wikipedia List of statistics articles#AGRA, Benini distribution (definition)

History

2026-11-02: add by m2/dev

Applications F4ZAAV7Q4S

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

Mentions

wikipedia: Wikipedia Taylor's law#9LNN, Applications (example)

History

2026-11-02: add by m2/dev

F4ZFJ5T7WH F4ZFJ5T7WH

URI	`m2://inv/F4ZFJ5T7WH`
Kind	example
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.25111#8GW1 (example)

History

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

Disjoint union (topology) F4ZJZQGPAC

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

Mentions

wikipedia: Wikipedia List of topologies#N955, Disjoint union (topology) (definition)

History

2026-11-02: add by m2/dev

Decimal without a zero F4ZNAG4F55

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

Mentions

wikipedia: Wikipedia Bijective numeration#SX48, Decimal without a zero (unknown)

History

2026-11-02: add by m2/dev

F4ZND2XBTK F4ZND2XBTK

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

Mentions

arxiv: arXiv 2406.06548#NWBV (statement). In SCC2N3WNYE/e1, proposition 5.1

History

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

Stemplot F4ZTD5SJZ2

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

Mentions

wikipedia: Wikipedia List of graphical methods#3K6L, Stemplot (definition)

History

2026-11-02: add by m2/dev

John Newsome Crossley F4ZVX898XC

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

Mentions

wikipedia: Wikipedia John Newsome Crossley, John Newsome Crossley (topic). Also Wikidata Q6227761

History

2026-11-02: add by m2/dev