Inventory rows 49

Applications 4900G844V3

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

Mentions

wikipedia: Wikipedia Hodge structure#187I, Applications (example)

History

2026-11-02: add by m2/dev

490196EXZY 490196EXZY

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

Mentions

arxiv: arXiv 2504.00596#ZGKH (statement). In F8RC6AENB0/e1, proposition 3.12

History

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

Group method of data handling 4902P27P0T

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

Mentions

wikipedia: Wikipedia Group method of data handling, Group method of data handling (definition). Also Wikidata Q3507155

History

2026-11-02: add by m2/dev

4904WSQF0V 4904WSQF0V

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

Mentions

arxiv: arXiv 2609.28540#R82L (statement)

History

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

490F6ZKDF3 490F6ZKDF3

URI	`m2://inv/490F6ZKDF3`
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.17547#JPF5 (statement). In XJ59TDP4HA/e1, fact 4.15

History

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

490HW2J1W4 490HW2J1W4

URI	`m2://inv/490HW2J1W4`
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.25718#L7XE (statement)

History

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

Examples 490M7201FC

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

Mentions

wikipedia: Wikipedia Fixed-point property#9YJO, Examples (example)

History

2026-11-02: add by m2/dev

Theorem 490SFK77YK

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

Mentions

wikipedia: Wikipedia Metrizable topological vector space#WF3Q, Theorem (statement)

History

2026-11-02: add by m2/dev

Compound of cube and octahedron 490VGJ3X1W

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

Mentions

wikipedia: Wikipedia Compound of cube and octahedron, Compound of cube and octahedron (definition). Also Wikidata Q5156846

History

2026-11-02: add by m2/dev

4913C0DTZZ 4913C0DTZZ

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-116 (exercise). In VNMV985MXX, exercise, section 2.4

History

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

Hypergraph coloring problem 491C0TC76W

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

Mentions

arxiv: arXiv 2609.28794#U85E, Hypergraph coloring problem (definition)

History

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

491CBRYKCB 491CBRYKCB

URI	`m2://inv/491CBRYKCB`
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.19309#X9AA (statement). In XKENQH35DW/e1, lemma B.1

History

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

Examples 491D8D08MJ

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

Mentions

wikipedia: Wikipedia Cubic threefold#P3J1, Examples (example)

History

2026-11-02: add by m2/dev

491DNJN0C0 491DNJN0C0

URI	`m2://inv/491DNJN0C0`
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.24412#GS64 (statement)

History

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

Windkessel effect 491ESB3FCM

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

Mentions

wikipedia: Wikipedia Windkessel effect, Windkessel effect (definition). Also Wikidata Q488128

History

2026-11-02: add by m2/dev

Duality gap 491HAZZMB0

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

Mentions

wikipedia: Wikipedia Duality gap, Duality gap (definition). Also Wikidata Q5310264

History

2026-11-02: add by m2/dev

Charged area 491NEB9E9Z

URI	`m2://inv/491NEB9E9Z`
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#MWTO, Charged area (statement). In WBXAW9G4JB/e1, lemma C.2

History

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

\bf Full-rank $B$ conjecture 491NGF3XE9

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

Mentions

arxiv: arXiv 2609.26089#C2KG, \bf Full-rank $B$ conjecture (conjecture)

History

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

Rachel Kuske 491RZV4F5T

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

Mentions

wikipedia: Wikipedia Rachel Kuske, Rachel Kuske (topic). Also Wikidata Q18393017

History

2026-11-02: add by m2/dev

491T6Z8N3X 491T6Z8N3X

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

Mentions

applied_combinatorics: applied_combinatorics source/s_kitchensink_online.ptx#proof-2 (proof). In QKM9DD2H56, proof, section 16.1.1

History

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

Properties 491T83AFD3

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

Mentions

wikipedia: Wikipedia Vector area#7OP8, Properties (statement)

History

2026-11-02: add by m2/dev

Slow-time dichotomy 491WKRGFD8

URI	`m2://inv/491WKRGFD8`
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.19953#IZNU, Slow-time dichotomy (statement). In CHPJWBREES/e1, lemma A.1

History

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

Israel Gohberg 4920G2W5RS

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#MN6Q, Israel Gohberg (topic)

History

2026-11-02: add by m2/dev

Numerical model of the Solar System 4924JMY69S

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

Mentions

wikipedia: Wikipedia Numerical model of the Solar System, Numerical model of the Solar System (definition). Also Wikidata Q7069658

History

2026-11-02: add by m2/dev

Solèr's theorem 4926E0YK3K

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

Mentions

mathlib_1000: mathlib_1000 Q48996535, Solèr's theorem (statement). Also Wikidata Q48996535
thousand_plus: thousand_plus Q48996535, Solèr's theorem (statement). Also Wikidata Q48996535, Wikipedia Solèr's theorem
wikipedia: Wikipedia Solèr's theorem, Solèr's theorem (statement). Also Wikidata Q48996535

History

2026-10-26: add by m2/dev

Pigeonhole principle 492C538DGM

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

Mentions

wikipedia: Wikipedia Combinatorial principles#JT60, Pigeonhole principle (statement)

History

2026-11-02: add by m2/dev

492FRDYGAX 492FRDYGAX

URI	`m2://inv/492FRDYGAX`
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.36412#0TXK (statement). In 6HKGGCMBCK/e1, lemma 5.5

History

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

Cartan's theorem 492R6EA2SG

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

Mentions

wikipedia: Wikipedia List of things named after Élie Cartan#M2B1, Cartan's theorem (statement)

History

2026-11-02: add by m2/dev

Applications 492XN2Y0VD

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

Mentions

wikipedia: Wikipedia Predictive modelling#LL3E, Applications (example)

History

2026-11-02: add by m2/dev

Phrenology 4931TPN6PZ

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

Mentions

wikipedia: Wikipedia List of superseded scientific theories#P9BR, Phrenology (unknown)

History

2026-11-02: add by m2/dev

Uniform mean depth 493DDMDGY7

URI	`m2://inv/493DDMDGY7`
Kind	statement
Layer	research
MSC	81-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 2610.06742#3MNA, Uniform mean depth (statement). In 24FJ7C8WPN/e1, lemma 8

History

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

Parameter space 493DY7K7WH

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

Mentions

wikipedia: Wikipedia Parameter space, Parameter space (definition). Also Wikidata Q2600211

History

2026-11-02: add by m2/dev

Lilly Sanathanan 493K2DQ6Q1

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

Mentions

wikipedia: Wikipedia List of fellows of the American Statistical Association#069X, Lilly Sanathanan (topic)

History

2026-11-02: add by m2/dev

commutative semigroup 493Q937EF3

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

Mentions

wikidata: Wikidata Q27672715, commutative semigroup (unknown). Also MathWorld AbelianSemigroup

History

2026-10-26: add by m2/dev

4945NDTZKF 4945NDTZKF

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

Mentions

open_logic: open_logic content/first-order-logic/tableaux/provability-consistency.tex#prop:explicit-inc (statement). In PKGMM3P5QY, prop, section 22.7

History

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

Antonella Zanna 4946MNXT38

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

Mentions

wikipedia: Wikipedia Antonella Zanna, Antonella Zanna (topic). Also Wikidata Q91713682

History

2026-11-02: add by m2/dev

Function gap and gradient norm 494C1VAYRV

URI	`m2://inv/494C1VAYRV`
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.15125#QKS2, Function gap and gradient norm (statement). In V5GT8NJKCM/e1, corollary 4.4

History

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

Imaginary number 494CJ5EZ2J

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

Mentions

wikipedia: Wikipedia List of types of numbers#S06A, Imaginary number (definition)

History

2026-11-02: add by m2/dev

Locally testable code 494J4P8NQ3

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

Mentions

wikipedia: Wikipedia Locally testable code, Locally testable code (definition). Also Wikidata Q6664705

History

2026-11-02: add by m2/dev

494QBCNW23 494QBCNW23

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

Mentions

arxiv: arXiv 2610.08837#HX3J (statement). In KBH265QSBT/e1, lemma 7.1

History

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

Arm triangle choke 494QKFD1KR

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

Mentions

wikipedia: Wikipedia List of triangle topics#G9X6, Arm triangle choke (unknown)

History

2026-11-02: add by m2/dev

8-cube honeycomb 494S6SCV1M

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#XEN1, 8-cube honeycomb (definition)

History

2026-11-02: add by m2/dev

School Mathematics Project 494TANNCP0

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

Mentions

wikipedia: Wikipedia School Mathematics Project, School Mathematics Project (definition). Also Wikidata Q7432285

History

2026-11-02: add by m2/dev

knot sum 494Z52NXR3

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

Mentions

wikidata: Wikidata Q91779227, knot sum (unknown). Also MathWorld KnotSum

History

2026-10-26: add by m2/dev

Cooley–Tukey FFT algorithm 495CFTC1YB

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

Mentions

wikipedia: Wikipedia List of harmonic analysis topics#6K4N, Cooley–Tukey FFT algorithm (definition)

History

2026-11-02: add by m2/dev

Nieuw Archief voor Wiskunde 495H8NJ38Q

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

Mentions

wikipedia: Wikipedia Nieuw Archief voor Wiskunde, Nieuw Archief voor Wiskunde (definition). Also Wikidata Q18088024

History

2026-11-02: add by m2/dev

Definition 495KKNYTRE

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

Mentions

wikipedia: Wikipedia Quasisymmetric map#WS7G, Definition (definition)

History

2026-11-02: add by m2/dev

Frobenius controls polynomial factorization 495Q2V21WH

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

Mentions

napkin: napkin tex/alg-NT/frobenius.tex#thm:factor_poly_frob, Frobenius controls polynomial factorization (statement). In RZP28ERRZV, theorem, section 13.7

History

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

495XA2VBHD 495XA2VBHD

URI	`m2://inv/495XA2VBHD`
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.07285#YOP0 (statement). In S284XRA4WK/e1, lemma C.1

History

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

Polylogism 4965GVBQR4

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

Mentions

wikipedia: Wikipedia Polylogism, Polylogism (definition). Also Wikidata Q2102902

History

2026-11-02: add by m2/dev

49669GRS1F 49669GRS1F

URI	`m2://inv/49669GRS1F`
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.17585#0Z18 (statement). In FBWDPA01XY/e1, lemma 3.5

History

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

Identity coset 496AFMYXEH

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

Mentions

arxiv: arXiv 2609.37368#3026, Identity coset (statement). In FRMCKEGVJZ/e1, lemma 5

History

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

496DGZFB0D 496DGZFB0D

URI	`m2://inv/496DGZFB0D`
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.23343#3V32 (statement)

History

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

496FY1ZXR9 496FY1ZXR9

URI	`m2://inv/496FY1ZXR9`
Kind	example
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.33015#ZOTM (example). In W6Y6NPK648/e1, example 2.4

History

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

496GQHEND8 496GQHEND8

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

Mentions

arxiv: arXiv 2505.04593#AOA0 (statement). In PEXJPV3NP8/e1, theorem 2.5

History

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

Scholz conjecture 496Z6H357E

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

Mentions

wikipedia: Wikipedia Addition chain#XYJD, Scholz conjecture (statement)

History

2026-11-02: add by m2/dev

49738HHD0D 49738HHD0D

URI	`m2://inv/49738HHD0D`
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.26386#510E (statement)

History

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

497CYSMEBJ 497CYSMEBJ

URI	`m2://inv/497CYSMEBJ`
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.14080#32VM (statement). In 1DRD5FAJ4C/e1, corollary 3.1

History

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

linear extension 497G0EX93S

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

Mentions

applied_combinatorics: applied_combinatorics index/6.4/linear-extension, linear extension (concept). In QKM9DD2H56, index, section 6.4

History

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

Matsumoto zeta function 497NN85RZR

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

Mentions

wikipedia: Wikipedia List of zeta functions#O71Q, Matsumoto zeta function (definition)

History

2026-11-02: add by m2/dev

Examples 497PNM9R4T

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

Mentions

wikipedia: Wikipedia Cartan's criterion#DUHG, Examples (example)

History

2026-11-02: add by m2/dev

497TYNHSHP 497TYNHSHP

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

Mentions

arxiv: arXiv 2610.18302#2G8E (definition). In VJTRH1S4JA/e1, definition 4.8

History

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

497V6ZTVEF 497V6ZTVEF

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

Mentions

open_logic: open_logic content/first-order-logic/tableaux/identity.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 22.4

History

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

497W1BZRKT 497W1BZRKT

URI	`m2://inv/497W1BZRKT`
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.19658#68CG (statement). In G00EYA9DXG/e1, corollary 6.4

History

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

Følner sequence 497YFGYV3Q

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

Mentions

wikipedia: Wikipedia Følner sequence, Følner sequence (definition). Also Wikidata Q5511721

History

2026-11-02: add by m2/dev

Tomohiko Sakamoto 4981HF86R5

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

Mentions

wikipedia: Wikipedia Determination of the day of the week#WVI7, Tomohiko Sakamoto (unknown)

History

2026-11-02: add by m2/dev

Boundary-value problem 498440AWPP

URI	`m2://inv/498440AWPP`
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#LTRT, Boundary-value problem (statement). In CQ0Z7QA0A5/e1, theorem 2.11

History

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

History of popular psychology 498951Y56X

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

Mentions

wikipedia: Wikipedia Popular psychology#91ML, History of popular psychology (unknown)

History

2026-11-02: add by m2/dev

Nonessential dual components 4989J880T4

URI	`m2://inv/4989J880T4`
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.33327#SUDJ, Nonessential dual components (statement). In A5R31P82BK/e1, lemma 2.6

History

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

Key management 498G3EHMJZ

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

Mentions

wikipedia: Wikipedia List of telecommunications encryption terms#NE5G, Key management (definition)

History

2026-11-02: add by m2/dev

498MV7AJ6V 498MV7AJ6V

URI	`m2://inv/498MV7AJ6V`
Kind	definition
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.30976#XG66 (definition). In 4QY9J1A0KT/e1, definition 6

History

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

William Morton Kahan 498R7MXH97

URI	`m2://inv/498R7MXH97`
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#E9OC, William Morton Kahan (topic)

History

2026-11-02: add by m2/dev

Harmonic series (mathematics) 498X6HYTTS

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

Mentions

wikipedia: Wikipedia List of mathematical proofs#70DU, Harmonic series (mathematics) (definition)

History

2026-11-02: add by m2/dev

4990YW03VA 4990YW03VA

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

Mentions

arxiv: arXiv 2610.04870#9T80 (definition). In X765ZXXVC3/e1, definition 6.11

History

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

selection 49915CEQTY

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

Mentions

wikipedia: Wikipedia Glossary of Principia Mathematica#9RWD, selection (definition)

History

2026-11-02: add by m2/dev

Examples 4993KG4Y6H

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

Mentions

wikipedia: Wikipedia Amenable number#6M3N, Examples (example)

History

2026-11-02: add by m2/dev

Associative reinforcement learning 4998HEEF3K

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

Mentions

wikipedia: Wikipedia Reinforcement learning#G62T, Associative reinforcement learning (unknown)

History

2026-11-02: add by m2/dev

49999R77GM 49999R77GM

URI	`m2://inv/49999R77GM`
Kind	definition
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 2311.16205#B0WG (definition). In 3GE9PS9AH0/e1, definition 2.0.3

History

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

Definition 499J354WS9

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

Mentions

wikipedia: Wikipedia Nested intervals#7EYL, Definition (definition)

History

2026-11-02: add by m2/dev

Figure Five, Arkansas 499SCE9MT3

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

Mentions

wikipedia: Wikipedia List of places with numeric names#30OQ, Figure Five, Arkansas (unknown)

History

2026-11-02: add by m2/dev

No accumulation of threshold contacts 499YJYZ28B

URI	`m2://inv/499YJYZ28B`
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.00033#BYUX, No accumulation of threshold contacts (statement). In SHMMW4JXZ1/e1, lemma 17

History

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

49A1XBQRP0 49A1XBQRP0

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

Mentions

arxiv: arXiv 2302.05529#GQ1G (statement). In 9VPMHV0M4R/e1, lemma 1.3

History

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

49AAZ77BQ3 49AAZ77BQ3

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#example-9 (example). In E9HS8K3A52, example, section 6.4.3

History

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

Lévy's constant 49APQ3RGVV

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

Mentions

wikidata: Wikidata Q2994920, Lévy's constant (object). Also MathWorld LevyConstant, OEIS A086702
wikipedia: Wikipedia Lévy's constant, Lévy's constant (object). Also Wikidata Q2994920

History

2026-10-26: add by m2/dev

Milnor–Moore theorem 49AQCEJ52G

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

Mentions

wikipedia: Wikipedia Milnor–Moore theorem, Milnor–Moore theorem (statement). Also Wikidata Q18206257

History

2026-11-02: add by m2/dev

49AYGZBBYZ 49AYGZBBYZ

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

Mentions

arxiv: arXiv 2610.18061#TXGD (statement). In Y8A35AV31M/e1, theorem 2.1

History

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

49B4B2869N 49B4B2869N

URI	`m2://inv/49B4B2869N`
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.07963#95DW (statement). In HAGJKEZ1CK/e1, corollary 5.5

History

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

49BBCNE73R 49BBCNE73R

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

Mentions

arxiv: arXiv 2609.33018#VBDW (definition). In 8XVS0QJ2AH/e1, definition 22

History

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

ZUC stream cipher 49BC9GH0NX

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

Mentions

wikipedia: Wikipedia ZUC stream cipher, ZUC stream cipher (definition). Also Wikidata Q60995314

History

2026-11-02: add by m2/dev

49BMSKFCVY 49BMSKFCVY

URI	`m2://inv/49BMSKFCVY`
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.09557#VYVU (statement). In VHC7FQVPCZ/e1, theorem 1.1

History

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

Grandis transfer functors 49BNJAED7Y

URI	`m2://inv/49BNJAED7Y`
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 2609.33469#0QW8, Grandis transfer functors (statement). In TC5QA4AB4Z/e1, corollary 3.17

History

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

49BQTJBHS1 49BQTJBHS1

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

Mentions

arxiv: arXiv 2610.19214#93RU (statement). In WZPD7TNNY9/e1, corollary 2.3

History

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

Hippias 49BXTMCSW9

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

Mentions

wikipedia: Wikipedia List of Greek mathematicians#HU1E, Hippias (unknown)

History

2026-11-02: add by m2/dev

Doubling-window scheme: single-trajectory window adaptivity 49BYW68P86

URI	`m2://inv/49BYW68P86`
Kind	statement
Layer	research
MSC	49-XX, 90-XX, 93-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 2610.00295#T2JL, Doubling-window scheme: single-trajectory window adaptivity (statement). In 7HXP270BD0/e1, theorem 3.30

History

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

Nesting algorithm 49C4QNQAS3

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

Mentions

wikipedia: Wikipedia List of algorithms#6X2R, Nesting algorithm (definition)

History

2026-11-02: add by m2/dev

49CC4D2FSG 49CC4D2FSG

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

Mentions

arxiv: arXiv math/9602216#G7WO (statement). In SD43497T8C/e1, theorem 2.9

History

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

Definition 49CC6SG49F

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

Mentions

wikipedia: Wikipedia Multifractal system#QT67, Definition (definition)

History

2026-11-02: add by m2/dev

binomial 49CFZ43BVX

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#E5D6, binomial (definition)

History

2026-11-02: add by m2/dev

Gδ set 49CK298ZPV

URI	`m2://inv/49CK298ZPV`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	G-delta set V1TBNP8R3S

Mentions

wikidata: Wikidata Q127244, Gδ set (definition). Also MathWorld G-DeltaSet, ProofWiki Definition:G-Delta_Set
wikipedia: Wikipedia Gδ set, Gδ set (definition). Also Wikidata Q127244

History

2026-10-26: add by m2/dev

GDES 49CMSA56GN

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

Mentions

wikipedia: Wikipedia GDES, GDES (definition). Also Wikidata Q2327219

History

2026-11-02: add by m2/dev

49CPGQJH4B 49CPGQJH4B

URI	`m2://inv/49CPGQJH4B`
Kind	statement
Layer	research
MSC	20-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 2605.16669#QTXQ (statement). In 1463YCCRP5/e1, lemma 7.14

History

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

49CQ7BD0P0 49CQ7BD0P0

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#prob:set-builder examples (exercise). In P1C114YBXG, problem, section J

History

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

49CQJ15CF6 49CQJ15CF6

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

Mentions

arxiv: arXiv 2610.20466#KX0E (statement). In M4ZVJWM8YA/e1, lemma 5.24

History

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

49CQJ7S1GZ 49CQJ7S1GZ

URI	`m2://inv/49CQJ7S1GZ`
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.17871#5D6P (statement). In H17E7PBG1M/e1, theorem 3

History

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

Interior nonemptiness at expected dimension zero 49CWJPAZN2

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

Mentions

arxiv: arXiv 2609.20572#8P5X, Interior nonemptiness at expected dimension zero (statement)

History

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

49CWPX9SMX 49CWPX9SMX

URI	`m2://inv/49CWPX9SMX`
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#NPGU (statement)

History

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

49CXHT9ARG 49CXHT9ARG

URI	`m2://inv/49CXHT9ARG`
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.03242#M1VQ (statement). In MJE6HRC6PX/e1, proposition 8.1

History

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

Regularity at the contact set 49DDE8YHHK

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

Mentions

arxiv: arXiv 2610.06490#SW20, Regularity at the contact set (statement). In NKXTXH59P1/e1, lemma A.14

History

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

Theorems 49DJTERX3C

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

Mentions

open_logic: open_logic content/first-order-logic/axiomatic-deduction/proof-theoretic-notions.tex#defn-2, Theorems (definition). In PKGMM3P5QY, defn, section 8.6

History

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

Wu's method of characteristic set 49DT12Q1G6

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

Mentions

wikipedia: Wikipedia Wu's method of characteristic set, Wu's method of characteristic set (definition). Also Wikidata Q8038857

History

2026-11-02: add by m2/dev

49DT1PMW6J 49DT1PMW6J

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

Mentions

arxiv: arXiv 2610.11785#4UDR (statement). In 2XSZDXZ52E/e1, corollary 3.2

History

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

49E4DV0PF6 49E4DV0PF6

URI	`m2://inv/49E4DV0PF6`
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.04844#7OFZ (statement). In 5MX3N62ENP/e1, theorem 1

History

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

Split-radix FFT algorithm 49EPNZ4BY3

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

Mentions

wikipedia: Wikipedia Split-radix FFT algorithm, Split-radix FFT algorithm (definition). Also Wikidata Q17103599

History

2026-11-02: add by m2/dev

15,000 Moving Circles 49EQP4Y6SN

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

Mentions

wikipedia: Wikipedia Hamid Naderi Yeganeh#6XWO, 15,000 Moving Circles (unknown)

History

2026-11-02: add by m2/dev

49ERNAFXDH 49ERNAFXDH

URI	`m2://inv/49ERNAFXDH`
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 2609.33469#VLE6 (statement). In TC5QA4AB4Z/e1, lemma 4.4

History

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

Lakes of Wada 49EW2Q56ZD

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

Mentions

wikipedia: Wikipedia List of examples in general topology#H8J0, Lakes of Wada (definition)

History

2026-11-02: add by m2/dev

Penny Haxell 49EZ8J14FE

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

Mentions

wikipedia: Wikipedia Penny Haxell, Penny Haxell (topic). Also Wikidata Q21002304

History

2026-11-02: add by m2/dev

Prevalence adjusted bias adjusted kappa 49F5FFNTD0

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

Mentions

wikipedia: Wikipedia List of analyses of categorical data#3YNK, Prevalence adjusted bias adjusted kappa (unknown)

History

2026-11-02: add by m2/dev

1 000 000 000 000 000 000 000 000 000 000 000 000 000 000 49F7E526JT

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

Mentions

wikipedia: Wikipedia Orders of magnitude (numbers)#69Z5, 1 000 000 000 000 000 000 000 000 000 000 000 000 000 000 (unknown)

History

2026-11-02: add by m2/dev

49F8PVKK15 49F8PVKK15

URI	`m2://inv/49F8PVKK15`
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#MVMN (statement). In YR15TN4V4F/e1, lemma 7

History

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

49FF22BMKB 49FF22BMKB

URI	`m2://inv/49FF22BMKB`
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#VA3W (statement)

History

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

National Pigeon Service 49FQ5NG2PB

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

Mentions

wikipedia: Wikipedia National Pigeon Service, National Pigeon Service (definition). Also Wikidata Q6974919

History

2026-11-02: add by m2/dev

49FR53R1C2 49FR53R1C2

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#proof-8 (proof). In E59CDZA4DP, proof, section 4.2.3

History

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

Normal basis 49FYHJ5YZQ

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

Mentions

wikipedia: Wikipedia Normal basis, Normal basis (definition). Also Wikidata Q3527199

History

2026-11-02: add by m2/dev

ATS theorem 49G1N7W1NP

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

Mentions

mathlib_1000: mathlib_1000 Q4054114, ATS theorem (statement). Also Wikidata Q4054114
thousand_plus: thousand_plus Q4054114, ATS theorem (statement). Also Wikidata Q4054114, Wikipedia ATS theorem
wikipedia: Wikipedia ATS theorem, ATS theorem (statement). Also Wikidata Q4054114

History

2026-10-26: add by m2/dev

Mathematical Foundations of Quantum Mechanics 49G3FX3SSY

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

Mentions

wikipedia: Wikipedia Mathematical Foundations of Quantum Mechanics, Mathematical Foundations of Quantum Mechanics (definition). Also Wikidata Q19902709

History

2026-11-02: add by m2/dev

Hellinger distance 49GAKF6WNV

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

Mentions

wikipedia: Wikipedia Hellinger distance, Hellinger distance (definition). Also Wikidata Q3030678

History

2026-11-02: add by m2/dev

49GE3BE2AX 49GE3BE2AX

URI	`m2://inv/49GE3BE2AX`
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.06541#M2ZF (statement). In R604B78EVK/e1, lemma 3.6

History

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

Staircase paradox 49GHPSHDRP

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

Mentions

wikipedia: Wikipedia Staircase paradox, Staircase paradox (statement). Also Wikidata Q112701864

History

2026-11-02: add by m2/dev

Realization of angular profiles 49GK8DV0SM

URI	`m2://inv/49GK8DV0SM`
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.37704#47VD, Realization of angular profiles (statement). In HGTFJ325A4/e1, lemma 6.9

History

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

49H6ZBRP1K 49H6ZBRP1K

URI	`m2://inv/49H6ZBRP1K`
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.08383#UBWM (statement). In 5F8S516DT5/e1, lemma 4.1.2

History

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

Decorrelating bulk/boundary quotients: an upper bound 49H9SKK7SW

URI	`m2://inv/49H9SKK7SW`
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 2502.09121#O79L, Decorrelating bulk/boundary quotients: an upper bound (statement). In 559PF7Q5BT/e1, lemma 7

History

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

Coverage under smoothness conditions 49HHZT56KB

URI	`m2://inv/49HHZT56KB`
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.25388#1FF0, Coverage under smoothness conditions (statement)

History

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

49HTM1AEWD 49HTM1AEWD

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

Mentions

napkin: napkin tex/riemann-surface/complex-structure.tex#example-5 (example). In RZP28ERRZV, example, section 83.4

History

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

Rate–distortion theory 49HVHJR7SH

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

Mentions

wikipedia: Wikipedia Rate–distortion theory, Rate–distortion theory (definition). Also Wikidata Q843483

History

2026-11-02: add by m2/dev

Ahmes 49HXPN492R

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

Mentions

wikidata: Wikidata Q1073335, Ahmes (unknown). Also ProofWiki Mathematician:Ahmes
wikipedia: Wikipedia Ahmes, Ahmes (definition). Also Wikidata Q1073335

History

2026-10-26: add by m2/dev

49HXRASWDB 49HXRASWDB

URI	`m2://inv/49HXRASWDB`
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 2412.20238#MCXC (statement). In V8CA0STSPB/e1, theorem 17

History

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

Definition 49HZCVCTCG

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

Mentions

wikipedia: Wikipedia Asano contraction#HYJ3, Definition (definition)

History

2026-11-02: add by m2/dev

49J1CHEGTZ 49J1CHEGTZ

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

Mentions

arxiv: arXiv 2609.34845#9A5M (statement). In SBZNH932ZV/e1, theorem 8.5

History

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

circumscribed triangle 49J7KPFSK8

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

Mentions

wikidata: Wikidata Q117307909, circumscribed triangle (unknown). Also MathWorld CircumscribedTriangle

History

2026-10-26: add by m2/dev

topology, formal 49JAXAW7T6

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

Mentions

hott_book: hott_book index/B.5/topology-formal, topology, formal (concept). In N54F33XE07, index, section B.5

History

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

Example 4 49JB9AVWBT

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

Mentions

wikipedia: Wikipedia Titu's lemma#US2X, Example 4 (example)

History

2026-11-02: add by m2/dev

scattering theory 49JFF8NFQC

URI	`m2://inv/49JFF8NFQC`
Kind	topic
Layer	textbook
MSC	81Uxx
Sources	1
Outcome	open
Node	None yet. Write the node.

Mentions

wikidata: Wikidata Q903737, scattering theory (topic)

History

2026-10-26: add by m2/dev

Justin Tatch Moore 49JJ2FER0H

URI	`m2://inv/49JJ2FER0H`
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#8F6J, Justin Tatch Moore (topic)

History

2026-11-02: add by m2/dev

Risk difference 49JKC3W4D5

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

Mentions

wikipedia: Wikipedia Risk difference, Risk difference (definition). Also Wikidata Q2138790

History

2026-11-02: add by m2/dev

Babenko 49JKQHSVNY

URI	`m2://inv/49JKQHSVNY`
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#IMOX, Babenko (statement). In 40YZ43TS8K/e1, theorem 2.1

History

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

Antivector 49JMF55B8E

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

Mentions

wikipedia: Wikipedia Antivector, Antivector (definition). Also Wikidata Q28455746

History

2026-11-02: add by m2/dev

49JPBJGHYX 49JPBJGHYX

URI	`m2://inv/49JPBJGHYX`
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 2305.01474#U7UW (statement). In 2QB5F6J24Q/e1, proposition 5.3

History

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

Perron--Frobenius description of the feasible set 49JVDHCFJR

URI	`m2://inv/49JVDHCFJR`
Kind	statement
Layer	research
MSC	46-XX, 47-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.15180#5ZA3, Perron--Frobenius description of the feasible set (statement). In AMRWRJDNKJ/e1, lemma 5.1

History

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

Scarf's lemma 49JXAP2DXQ

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

Mentions

wikipedia: Wikipedia List of PPAD-complete problems#CBJ9, Scarf's lemma (unknown)

History

2026-11-02: add by m2/dev

49JZXMKYA3 49JZXMKYA3

URI	`m2://inv/49JZXMKYA3`
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.04944#VJWW (statement). In BHSY6QQCVK/e1, lemma 1

History

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

Multimode Bose--Hubbard sampler with hopping 49K2NXNJRG

URI	`m2://inv/49K2NXNJRG`
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.06764#KT8W, Multimode Bose--Hubbard sampler with hopping (statement). In MSWV3MJ5CE/e1, theorem 4.3

History

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

Admissible set 49KE6BJDM8

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

Mentions

wikipedia: Wikipedia Admissible set, Admissible set (definition). Also Wikidata Q4683809

History

2026-11-02: add by m2/dev

49KEWMK1MW 49KEWMK1MW

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

Mentions

arxiv: arXiv 2610.19357#5I7E (statement). In RGXQ50RWXV/e1, proposition 3.5

History

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

Lipót Klug 49KMXC38D5

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#G0CV, Lipót Klug (topic)

History

2026-11-02: add by m2/dev

Corner solution 49KQRDM7PP

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

Mentions

wikipedia: Wikipedia Corner solution, Corner solution (definition). Also Wikidata Q5171638

History

2026-11-02: add by m2/dev

Duality revolution 49KRA775MS

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

Mentions

wikipedia: Wikipedia String theory#TUNL, Duality revolution (unknown)

History

2026-11-02: add by m2/dev

Implicit recursive accelerated bound 49KVN7G973

URI	`m2://inv/49KVN7G973`
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#3I6M, Implicit recursive accelerated bound (statement). In 1SQH3PTYMD/e1, lemma 6

History

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

Miklós Abert 49M5RFK3A3

URI	`m2://inv/49M5RFK3A3`
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#HLIX, Miklós Abert (unknown)

History

2026-11-02: add by m2/dev

Properties 49MJ2J78CG

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

Mentions

wikipedia: Wikipedia Cooperative game theory#AO0Z, Properties (statement)

History

2026-11-02: add by m2/dev

Inverse problem for Lagrangian mechanics 49MJN8Z1C9

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

Mentions

wikipedia: Wikipedia Inverse problem for Lagrangian mechanics, Inverse problem for Lagrangian mechanics (problem). Also Wikidata Q6060414

History

2026-11-02: add by m2/dev

49MYQF1B8D 49MYQF1B8D

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

Mentions

arxiv: arXiv 2609.21703#2XVR (example)

History

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

Conditionals and various kinds of ``for'' 49MZD6Y4J1

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

Mentions

arxiv: arXiv math/0003117#VZTL, Conditionals and various kinds of ``for'' (definition). In WD2NCBV9F0/e1, definition 9.8

History

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

49N1FC6J3N 49N1FC6J3N

URI	`m2://inv/49N1FC6J3N`
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.32077#GVD0 (statement). In WYXQDSQR9B/e1, corollary 3.11

History

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

Belt transect 49N8NVZPZ2

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

Mentions

wikipedia: Wikipedia Belt transect, Belt transect (definition). Also Wikidata Q4884717

History

2026-11-02: add by m2/dev

Canonical stress-energy tensor 49NB4W48F7

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

Mentions

wikipedia: Wikipedia Stress–energy tensor#WDJO, Canonical stress-energy tensor (unknown)

History

2026-11-02: add by m2/dev

Two-dimensionalism 49NDA2D48K

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

Mentions

wikipedia: Wikipedia Two-dimensionalism, Two-dimensionalism (definition). Also Wikidata Q232374

History

2026-11-02: add by m2/dev

49NEBTDEGX 49NEBTDEGX

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

Mentions

arxiv: arXiv 2609.35340#Z1PQ (definition). In WCY07D1CJG/e1, definition 3.5

History

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

Rank Centrality edge-noise localization 49NHD0M5RT

URI	`m2://inv/49NHD0M5RT`
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.09030#77W7, Rank Centrality edge-noise localization (statement). In BYN44C0X0C/e1, lemma C.1

History

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

Anne Cobbe 49NPDK26WY

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

Mentions

wikipedia: Wikipedia Anne Cobbe, Anne Cobbe (topic). Also Wikidata Q37732161

History

2026-11-02: add by m2/dev

49NQE5RDK7 49NQE5RDK7

URI	`m2://inv/49NQE5RDK7`
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.15648#DFV2 (statement). In 5TM775V8HQ/e1, theorem 3

History

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

49NVNHR6YS 49NVNHR6YS

URI	`m2://inv/49NVNHR6YS`
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.12810#HASZ (statement). In DR35633CPN/e1, lemma 7.1

History

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

Icosahedral symmetry 49NWS62P0N

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

Mentions

wikipedia: Wikipedia List of uniform tilings on the sphere, plane, and hyperbolic plane#X354, Icosahedral symmetry (definition)

History

2026-11-02: add by m2/dev

La Hire's theorem 49P2BNRZE9

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

Mentions

wikipedia: Wikipedia Pole and polar#SER7, La Hire's theorem (unknown)

History

2026-11-02: add by m2/dev

49P8QTAW4S 49P8QTAW4S

URI	`m2://inv/49P8QTAW4S`
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.28024#EA8I (statement)

History

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

49PBWAPPEN 49PBWAPPEN

URI	`m2://inv/49PBWAPPEN`
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.09949#5T89 (statement). In VGJVFCDV8A/e1, proposition 3.5

History

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

Applications 49PF21VK04

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

Mentions

wikipedia: Wikipedia Inversive distance#1S45, Applications (example)

History

2026-11-02: add by m2/dev

Gustav de Vries 49PHN0JHHD

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

Mentions

wikipedia: Wikipedia List of mathematicians born in the 19th century#P5HU, Gustav de Vries (topic)

History

2026-11-02: add by m2/dev

polynomial term 49PS2K5SDN

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

Mentions

wikidata: Wikidata Q141133828, polynomial term (unknown). Also MathWorld PolynomialTerm

History

2026-10-26: add by m2/dev

49Q0JTK55B 49Q0JTK55B

URI	`m2://inv/49Q0JTK55B`
Kind	example
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#XDP5 (example). In 1KSE33PVS6/e1, example 52

History

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

Mean decrease in impurity 49QAJECVJB

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

Mentions

wikipedia: Wikipedia Random forest#KHB0, Mean decrease in impurity (unknown)

History

2026-11-02: add by m2/dev

Matheuristics 49QG1KJGEA

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

Mentions

wikipedia: Wikipedia Matheuristics, Matheuristics (definition). Also Wikidata Q3821961

History

2026-11-02: add by m2/dev

49QP1445HM 49QP1445HM

URI	`m2://inv/49QP1445HM`
Kind	example
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.22305#H4GP (example). In P6FTXTV09Q/e1, example 5.4

History

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

Mathematical elimination 49QRT3QN36

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

Mentions

wikipedia: Wikipedia Mathematical elimination, Mathematical elimination (definition). Also Wikidata Q6786850

History

2026-11-02: add by m2/dev

Landauer's principle 49QVE1XKJN

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

Mentions

wikipedia: Wikipedia Landauer's principle, Landauer's principle (statement). Also Wikidata Q657486

History

2026-11-02: add by m2/dev

Exceptional Euclidean factors 49QWTYMX0B

URI	`m2://inv/49QWTYMX0B`
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.20197#YHCL, Exceptional Euclidean factors (statement)

History

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

49R5QXDA7V 49R5QXDA7V

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

Mentions

arxiv: arXiv 2610.17817#0FW5 (statement). In M8TSJ24RC2/e1, proposition 4.17

History

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

Definitions 49RD3ZE4RV

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

Mentions

wikipedia: Wikipedia Burr distribution#DQ86, Definitions (definition)

History

2026-11-02: add by m2/dev

49RQZFRNZM 49RQZFRNZM

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/subformulas.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 20.2

History

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

49RY0H7G65 49RY0H7G65

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

Mentions

lebl_ra: lebl_ra ch-multivar-int.tex#defn-5 (definition). In E59CDZA4DP, defn, section 5.3.1

History

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

Tutte polynomial 49S6KS7SDN

URI	`m2://inv/49S6KS7SDN`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Tutte polynomial C81RAXD6DV

Mentions

wikidata: Wikidata Q7857002, Tutte polynomial (unknown). Also MathWorld TuttePolynomial
wikipedia: Wikipedia Tutte polynomial, Tutte polynomial (definition). Also Wikidata Q7857002

History

2026-10-26: add by m2/dev

49S9E3M2ED 49S9E3M2ED

URI	`m2://inv/49S9E3M2ED`
Kind	statement
Layer	research
MSC	46-XX, 47-XX, 81-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 2610.04694#VPGQ (statement). In W9A0Z2NBMA/e1, lemma 32

History

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

49SA5Z0PZM 49SA5Z0PZM

URI	`m2://inv/49SA5Z0PZM`
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.14985#LDYE (statement). In DGXJW3SCBR/e1, proposition 51

History

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

49SBCPGM54 49SBCPGM54

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

Mentions

arxiv: arXiv 2609.31781#IAWB (statement). In WTTVKKNPE6/e1, theorem 2

History

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

Theorem (Completions of quotients) 49SNJ9KPT7

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

Mentions

wikipedia: Wikipedia Complete topological vector space#MB5P, Theorem (Completions of quotients) (statement)

History

2026-11-02: add by m2/dev

Theorem 49SX67648C

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

Mentions

wikipedia: Wikipedia Caccioppoli set#EQ3J, Theorem (statement)

History

2026-11-02: add by m2/dev

Signal allocation 49T4HQQ053

URI	`m2://inv/49T4HQQ053`
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.16845#CH9N, Signal allocation (statement). In 5BHBZF91HS/e1, corollary 3.3

History

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

49T4JEH5A7 49T4JEH5A7

URI	`m2://inv/49T4JEH5A7`
Kind	conjecture
Layer	research
MSC	05-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.21017#CVD2 (conjecture). In 8KKYZ4NKT2/e1, conjecture 16

History

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

Marc Rieffel 49TB8GKG96

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#ICD7, Marc Rieffel (unknown)

History

2026-11-02: add by m2/dev

49TCN9KTJM 49TCN9KTJM

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

Mentions

arxiv: arXiv 2610.13532#QYIE (statement). In 9B0X8YPF3P/e1, lemma 10.4

History

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

49TKS90G1S 49TKS90G1S

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

Mentions

austin_ula: austin_ula src/section1-4.xml#proposition-1 (statement). In 649HGZKE96, proposition, section 1.4.2

History

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

49TP4B4WBQ 49TP4B4WBQ

URI	`m2://inv/49TP4B4WBQ`
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.16554#NOF4 (statement). In GWNT8HEZG1/e1, proposition 4.2

History

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

49TRSGM24C 49TRSGM24C

URI	`m2://inv/49TRSGM24C`
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.24078#NHGH (statement)

History

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

49V0RD4WZQ 49V0RD4WZQ

URI	`m2://inv/49V0RD4WZQ`
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 2212.05398#3SVC (statement). In WQKQ8438M7/e1, corollary 1.9.1

History

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

Definition 49V1VN8P8N

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

Mentions

wikipedia: Wikipedia Hardy hierarchy#YPLO, Definition (definition)

History

2026-11-02: add by m2/dev

friendly number 49V1ZHRR8E

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

Mentions

wikidata: Wikidata Q1707307, friendly number (concept). Also MathWorld FriendlyNumber, OEIS A074902
wikipedia: Wikipedia Friendly number, Friendly number (conjecture). Also Wikidata Q1707307

History

2026-10-26: add by m2/dev

General self-referential lemma 49VC1ZBX96

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

Mentions

wikipedia: Wikipedia Diagonal lemma#OTAM, General self-referential lemma (unknown)

History

2026-11-02: add by m2/dev

Monica C. Jackson 49VJPSH1S9

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

Mentions

wikipedia: Wikipedia Monica C. Jackson, Monica C. Jackson (topic). Also Wikidata Q12894535

History

2026-11-02: add by m2/dev

49VM251KVF 49VM251KVF

URI	`m2://inv/49VM251KVF`
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.08382#RBF3 (statement). In GYMGDQS25R/e1, lemma 4.8

History

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

Non-examples 49VVXPP12T

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

Mentions

wikipedia: Wikipedia Zero-product property#32V5, Non-examples (counterexample)

History

2026-11-02: add by m2/dev

covariant vector 49W7TZ2JKY

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

Mentions

wikidata: Wikidata Q77985916, covariant vector (unknown). Also MathWorld CovariantVector

History

2026-10-26: add by m2/dev

Sheila Kuehl 49WB73MHGZ

URI	`m2://inv/49WB73MHGZ`
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#ZDY9, Sheila Kuehl (unknown)

History

2026-11-02: add by m2/dev

49WDB95FEN 49WDB95FEN

URI	`m2://inv/49WDB95FEN`
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#1PAJ (statement)

History

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

49WE0HRJQ5 49WE0HRJQ5

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

Mentions

arxiv: arXiv 2610.17476#HMAI (statement). In 6HXD74FA4S/e1, corollary 8.7

History

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

Collectionwise normal space 49WEBV232C

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

Mentions

wikipedia: Wikipedia Collectionwise normal space, Collectionwise normal space (definition). Also Wikidata Q5146123

History

2026-11-02: add by m2/dev

49WG3MWNJS 49WG3MWNJS

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

Mentions

arxiv: arXiv 2610.13817#HL7J (statement). In BMSAXTDV47/e1, lemma 2.2

History

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

Isometric embedding 49WHCNHYB1

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

Mentions

wikipedia: Wikipedia Embedding#BH9U, Isometric embedding (unknown)

History

2026-11-02: add by m2/dev

Applications 49WHSYSWY8

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

Mentions

wikipedia: Wikipedia Chaos theory#VQJI, Applications (example)

History

2026-11-02: add by m2/dev

Steinmetz solid 49WKMG3B4H

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

Mentions

wikidata: Wikidata Q7606915, Steinmetz solid (unknown). Also MathWorld SteinmetzSolid
wikipedia: Wikipedia Steinmetz solid, Steinmetz solid (definition). Also Wikidata Q7606915

History

2026-10-26: add by m2/dev

49WP17XFM4 49WP17XFM4

URI	`m2://inv/49WP17XFM4`
Kind	statement
Layer	research
MSC	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.06152#JGEX (statement). In HH35K7S17H/e1, lemma 6.16

History

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

49WQ5HHX6R 49WQ5HHX6R

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

Mentions

wikipedia: Wikipedia Ramsey's theorem#98K6 (problem)

History

2026-11-02: add by m2/dev

49WSEE4MPA 49WSEE4MPA

URI	`m2://inv/49WSEE4MPA`
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.37237#I8WW (statement). In GBY82BZCNA/e1, theorem 3.1

History

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

Weibull distribution 49WSHCYDF6

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

Mentions

wikipedia: Wikipedia List of statistics articles#146X, Weibull distribution (definition)

History

2026-11-02: add by m2/dev

49WT3B06BF 49WT3B06BF

URI	`m2://inv/49WT3B06BF`
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.09729#G2BN (statement). In 7CDD4HCYTV/e1, lemma 4.2

History

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

bounded function 49WT7WZDF8

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

Mentions

wikidata: Wikidata Q2267362, bounded function (unknown). Also nLab bounded function
wikipedia: Wikipedia Bounded function, Bounded function (definition). Also Wikidata Q2267362

History

2026-10-26: add by m2/dev

Transfer of approximations 49WTGW33CY

URI	`m2://inv/49WTGW33CY`
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 2506.08233#5KVH, Transfer of approximations (statement). In 2TXXQ2575Y/e1, lemma 5.7

History

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

Lefschetz type Standard Conjecture (Conjecture B) 49WWEA53RP

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

Mentions

wikipedia: Wikipedia Standard conjectures on algebraic cycles#WLMH, Lefschetz type Standard Conjecture (Conjecture B) (statement)

History

2026-11-02: add by m2/dev

49WZR1N20R 49WZR1N20R

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

Mentions

arxiv: arXiv 2610.02689#K5LU (statement). In 7BWXR38MNE/e1, theorem 3.1

History

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

49XP23PY44 49XP23PY44

URI	`m2://inv/49XP23PY44`
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.27046#5C51 (statement)

History

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

49XQ593SK4 49XQ593SK4

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-282 (exercise). In VNMV985MXX, exercise, section 6.3

History

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

Pell's equation 49XWNGTDKM

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

Mentions

wikipedia: Wikipedia List of number theory topics#E93W, Pell's equation (definition)

History

2026-11-02: add by m2/dev

Definition 49XX2VZG41

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

Mentions

wikipedia: Wikipedia Conjunctive query#XIRR, Definition (definition)

History

2026-11-02: add by m2/dev

49Y2ZZNQEM 49Y2ZZNQEM

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

Mentions

arxiv: arXiv 2610.09201#9R4Z (statement). In JQFPH09JG8/e1, lemma 6.3

History

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

49Y9Y53CVY 49Y9Y53CVY

URI	`m2://inv/49Y9Y53CVY`
Kind	example
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#HJC2 (example)

History

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

Log-normal distribution 49YFRD22AB

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

Mentions

wikipedia: Wikipedia List of statistics articles#32XE, Log-normal distribution (definition)
wikipedia: Wikipedia List of statistics articles#UE0D, Log-normal distribution (definition)

History

2026-11-02: add by m2/dev

Construction 49YJPRGHM0

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

Mentions

wikipedia: Wikipedia Regular 4-polytope#3P9V, Construction (definition)

History

2026-11-02: add by m2/dev

Milne-Thomson method for finding a holomorphic function 49YMMJ5VRD

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

Mentions

wikipedia: Wikipedia Milne-Thomson method for finding a holomorphic function, Milne-Thomson method for finding a holomorphic function (definition). Also Wikidata Q25304325

History

2026-11-02: add by m2/dev

MM algorithm 49YP0V60P8

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

Mentions

wikipedia: Wikipedia MM algorithm, MM algorithm (definition). Also Wikidata Q6885783

History

2026-11-02: add by m2/dev

49YRH81M1Q 49YRH81M1Q

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

Mentions

arxiv: arXiv 2609.27751#YPGN (statement)

History

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

Modified limited hangout 49Z5V51JGT

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

Mentions

wikipedia: Wikipedia Limited hangout#OS60, Modified limited hangout (unknown)

History

2026-11-02: add by m2/dev

FEATool Multiphysics 49ZCJSAB9N

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#IC3V, FEATool Multiphysics (unknown)

History

2026-11-02: add by m2/dev

Cantor's theorem 49ZE4S9J2S

URI	`m2://inv/49ZE4S9J2S`
Kind	statement
Layer	textbook
MSC	03-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Cantor's theorem 0WTEMGYV2C

Mentions

mathlib_100: mathlib_100 63, Cantor’s Theorem (statement). Also Mathlib Function.cantor_surjective
mathlib_1000: mathlib_1000 Q474881, Cantor's theorem (statement). Also Mathlib Function.cantor_surjective, Wikidata Q474881
thousand_plus: thousand_plus Q474881, Cantor's theorem (statement). Also Mathlib Function.cantor_surjective, Wikidata Q474881, Wikipedia Cantor's theorem
wikidata: Wikidata Q474881, Cantor's theorem (statement). Also MathWorld CantorsTheorem, nLab Cantor's theorem, ProofWiki Cantor's_Theorem
wikipedia: Wikipedia Cantor's theorem, Cantor's theorem (statement). Also Wikidata Q474881

History

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

Black-box obfuscation 49ZGN4K323

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

Mentions

wikipedia: Wikipedia Black-box obfuscation, Black-box obfuscation (definition). Also Wikidata Q104869515

History

2026-11-02: add by m2/dev

Costas array 49ZZWNNGJ3

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

Mentions

wikipedia: Wikipedia Costas array, Costas array (definition). Also Wikidata Q2114132

History

2026-11-02: add by m2/dev