Inventory rows SG

SG023RHTRF SG023RHTRF

URI	`m2://inv/SG023RHTRF`
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.23593#QAKG (statement)

History

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

Borwein integral SG043JZ7PE

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

Mentions

wikidata: Wikidata Q3067015, Borwein integral (unknown). Also MathWorld BorweinIntegrals
wikipedia: Wikipedia Borwein integral, Borwein integral (definition). Also Wikidata Q3067015

History

2026-10-26: add by m2/dev

Properties SG04HQTBV8

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

Mentions

wikipedia: Wikipedia P-group#3ALB, Properties (statement)

History

2026-11-02: add by m2/dev

SG067ZFJB4 SG067ZFJB4

URI	`m2://inv/SG067ZFJB4`
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.11905#Y7BO (statement). In QQFXT31CA5/e1, proposition 7.2

History

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

SG0BZS1E7W SG0BZS1E7W

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

Mentions

napkin: napkin tex/homology/excision.tex#problem-4 (exercise). In RZP28ERRZV, problem, section 53.6

History

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

Chain condition SG0DN8JAYH

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

Mentions

arxiv: arXiv 2609.27966#0ZXN, Chain condition (statement)

History

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

Robert Gentleman SG0DV0C9HN

URI	`m2://inv/SG0DV0C9HN`
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#PZIR, Robert Gentleman (unknown)

History

2026-11-02: add by m2/dev

SG0GNR4BYT SG0GNR4BYT

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

Mentions

arxiv: arXiv 2610.22288#6GCE (statement). In X38P26DK6S/e1, theorem 6.5

History

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

Moshe Shaked SG0NKQSWFX

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

Mentions

wikipedia: Wikipedia Moshe Shaked, Moshe Shaked (topic). Also Wikidata Q21151364

History

2026-11-02: add by m2/dev

Definitions SG0P7R30QC

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

Mentions

wikipedia: Wikipedia Gerbe#02A4, Definitions (definition)

History

2026-11-02: add by m2/dev

SG13Y2QA9E SG13Y2QA9E

URI	`m2://inv/SG13Y2QA9E`
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 2610.15169#DYMJ (statement). In V7SN19J84T/e1, lemma 5.7

History

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

SG14CEHTHH SG14CEHTHH

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

Mentions

active_calculus: active_calculus source/activities/act-4-2-3.xml#act-4-2-3 (exercise). In 907G4C4EJ1, activity, section 4.2.4

History

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

Reference residual structures SG16KRHTS6

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

Mentions

arxiv: arXiv 2609.25545#WGOO, Reference residual structures (definition)

History

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

Hamiltonian admissible mixed descent SG1D4Z8CFD

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

Mentions

arxiv: arXiv 2609.36548#V9U5, Hamiltonian admissible mixed descent (definition). In TEGEX298ZR/e1, definition 3.2

History

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

Greedy Nim SG1EZC06PF

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

Mentions

wikipedia: Wikipedia Nim#A3XT, Greedy Nim (unknown)

History

2026-11-02: add by m2/dev

Applications SG1GEJKBH8

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

Mentions

wikipedia: Wikipedia Quantum information#0HP4, Applications (example)

History

2026-11-02: add by m2/dev

SG1N9ZZEJ3 SG1N9ZZEJ3

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

Mentions

active_calculus: active_calculus source/activities/act-6-5-3.xml#act-6-5-3 (exercise). In 907G4C4EJ1, activity, section 6.5.4

History

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

Cochran's Q test SG1PR2SFDP

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

Mentions

wikipedia: Wikipedia Cochran's Q test, Cochran's Q test (definition). Also Wikidata Q1405387

History

2026-11-02: add by m2/dev

SG1ZQFRNPB SG1ZQFRNPB

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

Mentions

arxiv: arXiv 2610.20421#CK17 (definition). In Q4R7J8JE3F/e1, definition 2.18

History

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

SG1ZWR6A85 SG1ZWR6A85

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

Mentions

arxiv: arXiv 2609.36089#L88E (statement). In AK4F10SNC0/e1, theorem

History

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

SG201KHN44 SG201KHN44

URI	`m2://inv/SG201KHN44`
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 2405.05684#ZX80 (statement). In 1PR73ECTZB/e1, proposition 21

History

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

cylindrical coordinate system SG26Q5G53K

URI	`m2://inv/SG26Q5G53K`
Kind	definition
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Cylindrical coordinates 0TK9MCFHBW

Mentions

wikidata: Wikidata Q211851, cylindrical coordinate system (unknown). Also MathWorld CylindricalCoordinates
wikipedia: Wikipedia Cylindrical coordinate system, Cylindrical coordinate system (definition). Also Wikidata Q211851

History

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

Test configuration SG28AJDF02

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

Mentions

wikipedia: Wikipedia K-stability#B5PA, Test configuration (unknown)

History

2026-11-02: add by m2/dev

SG2DN82ZJH SG2DN82ZJH

URI	`m2://inv/SG2DN82ZJH`
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.10408#JM7F (statement). In H976NYKBNT/e1, lemma A.2

History

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

SG2TBN3KJP SG2TBN3KJP

URI	`m2://inv/SG2TBN3KJP`
Kind	definition
Layer	research
MSC	05-XX, 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 1711.00219#79Y1 (definition). In 7V3HG30ZGW/e1, definition A.28

History

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

Properties SG2VNNWVRS

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

Mentions

wikipedia: Wikipedia Midsphere#FUNU, Properties (statement)

History

2026-11-02: add by m2/dev

SG35Y5WCBN SG35Y5WCBN

URI	`m2://inv/SG35Y5WCBN`
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 0810.0962#0JK5 (statement). In 80YMRN5KS9/e1, proposition 7

History

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

Definitions SG37YAZ2Z9

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

Mentions

wikipedia: Wikipedia Pareto distribution#317B, Definitions (definition)

History

2026-11-02: add by m2/dev

density SG39PFBZ9B

URI	`m2://inv/SG39PFBZ9B`
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.08016#09JI, density (statement). In YR3CSTYEJW/e1, corollary 2.11

History

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

SG3BV9NDJF SG3BV9NDJF

URI	`m2://inv/SG3BV9NDJF`
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 2406.01036#1UBV (statement). In 6VX2G6RTH7/e1, lemma 3.1

History

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

Definitions SG3GPMMT2Z

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

Mentions

wikipedia: Wikipedia Semi-invariant of a quiver#D89G, Definitions (definition)

History

2026-11-02: add by m2/dev

SG3HD5R6AW SG3HD5R6AW

URI	`m2://inv/SG3HD5R6AW`
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.23803#V9ZD (statement)

History

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

SG3K24DJCR SG3K24DJCR

URI	`m2://inv/SG3K24DJCR`
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.25314#O9A5 (statement)

History

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

Melvin R. Novick SG3K538H6A

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

Mentions

wikipedia: Wikipedia Melvin R. Novick, Melvin R. Novick (topic). Also Wikidata Q57955098

History

2026-11-02: add by m2/dev

Farey pair SG3VGKD6G7

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

Mentions

wikipedia: Wikipedia Farey sequence#OX0C, Farey pair (unknown)

History

2026-11-02: add by m2/dev

axiom, of choice, countable SG3VRPWE54

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

Mentions

hott_book: hott_book index/B.4/axiom-of-choice-countable, axiom, of choice, countable (concept). In N54F33XE07, index, section B.4

History

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

SG440S6JS7 SG440S6JS7

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

Mentions

arxiv: arXiv 0808.3741#CRHK (statement). In BBXEQ9QE7K/e1, theorem 3.2

History

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

Applications SG49A7X43C

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

Mentions

wikipedia: Wikipedia Webgraph#67O4, Applications (example)

History

2026-11-02: add by m2/dev

Phylogenetic tree SG4CK4T08S

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

Mentions

wikipedia: Wikipedia List of genetic algorithm applications#NKOH, Phylogenetic tree (definition)

History

2026-11-02: add by m2/dev

SG4EKR0F2N SG4EKR0F2N

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

History

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

SG4HEZCHTB SG4HEZCHTB

URI	`m2://inv/SG4HEZCHTB`
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 2610.07673#5ZVZ (example). In 37B1MPV8GX/e1, example 3.4

History

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

Common formulas SG4KNN1HTT

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

Mentions

wikipedia: Wikipedia Surface area#4X6T, Common formulas (statement)

History

2026-11-02: add by m2/dev

SG4NE6HT5Q SG4NE6HT5Q

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

Mentions

lebl_ra: lebl_ra ch-several-vars-ders.tex#proof-3 (proof). In E59CDZA4DP, proof, section 11.1.3

History

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

SG4RGTN61F SG4RGTN61F

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

Mentions

open_logic: open_logic content/turing-machines/undecidability/halting-problem.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 86.7

History

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

SG4ST3WK6C SG4ST3WK6C

URI	`m2://inv/SG4ST3WK6C`
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.33162#GPCA (statement). In RPC7VG3KHQ/e1, proposition 3.8

History

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

SG50JDS9Z6 SG50JDS9Z6

URI	`m2://inv/SG50JDS9Z6`
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.36098#HP08 (statement). In NRP62VNE58/e1, lemma 2.1

History

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

The pair inequality SG52J9EHJH

URI	`m2://inv/SG52J9EHJH`
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.25120#E19P, The pair inequality (statement)

History

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

SG57K0M20T SG57K0M20T

URI	`m2://inv/SG57K0M20T`
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.21491#IU9C (statement)

History

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

FriCAS SG5BVG2QSK

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

Mentions

wikipedia: Wikipedia FriCAS, FriCAS (definition). Also Wikidata Q28955108

History

2026-11-02: add by m2/dev

SG5K3EAT3R SG5K3EAT3R

URI	`m2://inv/SG5K3EAT3R`
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.05142#AS37 (statement). In 8A0HVCGRR8/e1, corollary 1

History

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

Definition SG5T0DFNPC

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

Mentions

wikipedia: Wikipedia Kleene's T predicate#07ZS, Definition (definition)

History

2026-11-02: add by m2/dev

Louis Michel SG5ZG3229R

URI	`m2://inv/SG5ZG3229R`
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#JGL4, Louis Michel (unknown)

History

2026-11-02: add by m2/dev

SG64ZFT6G3 SG64ZFT6G3

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

Mentions

napkin: napkin tex/H113/grp-intro.tex#example-12 (example). In RZP28ERRZV, example, section 2.3

History

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

Average normalization transfer SG6A63K4J8

URI	`m2://inv/SG6A63K4J8`
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#GFHW, Average normalization transfer (statement). In TTEAQA1XXR/e1, lemma C.14

History

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

SG6B7RX69D SG6B7RX69D

URI	`m2://inv/SG6B7RX69D`
Kind	definition
Layer	research
MSC	17-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.10377#9ZAL (definition). In 6HP7BR9WZM/e1, definition 2.3

History

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

Application SG6B8M7PB8

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

Mentions

wikipedia: Wikipedia Point-pair separation#ILY3, Application (example)

History

2026-11-02: add by m2/dev

SG6CYHTNVP SG6CYHTNVP

URI	`m2://inv/SG6CYHTNVP`
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.17479#842A (statement). In 4FWAY748N7/e1, proposition 3.3

History

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

Precision bias SG6GP39JRW

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

Mentions

wikipedia: Wikipedia Precision bias, Precision bias (definition). Also Wikidata Q7239538

History

2026-11-02: add by m2/dev

Cycle of erosion SG6MB8A83X

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

Mentions

wikipedia: Wikipedia List of superseded scientific theories#FUXW, Cycle of erosion (unknown)

History

2026-11-02: add by m2/dev

SG6MZXDS70 SG6MZXDS70

URI	`m2://inv/SG6MZXDS70`
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.08956#YW7X (statement). In DEE631KR3A/e1, theorem 2

History

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

Examples SG6PH30ZET

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

Mentions

wikipedia: Wikipedia Witten zeta function#A5JQ, Examples (example)

History

2026-11-02: add by m2/dev

Examples SG6RC4W09J

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

Mentions

wikipedia: Wikipedia Diffraction grating#B2VZ, Examples (example)

History

2026-11-02: add by m2/dev

Discrete recurrence estimates SG6TW893AD

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

Mentions

arxiv: arXiv 2610.17909#DR7I, Discrete recurrence estimates (statement). In YXZX6Z8S6A/e1, lemma 5.8

History

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

Thompson groups SG6TZ61M7E

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

Mentions

wikipedia: Wikipedia List of group theory topics#W9IK, Thompson groups (definition)

History

2026-11-02: add by m2/dev

Small-$x$ normalization SG6VY7W32J

URI	`m2://inv/SG6VY7W32J`
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 2509.22289#22QV, Small-$x$ normalization (statement). In BF5Y4V84GV/e1, corollary 1

History

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

Path selection problem SG70ZFBNGN

URI	`m2://inv/SG70ZFBNGN`
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.10393#6J1I, Path selection problem (statement). In ZGS97E3PB7/e1, proposition 1

History

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

Albert Einstein SG719H9D36

URI	`m2://inv/SG719H9D36`
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 Q937, Albert Einstein (unknown). Also nLab Albert Einstein
wikipedia: Wikipedia Albert Einstein, Albert Einstein (topic). Also Wikidata Q937

History

2026-10-26: add by m2/dev

Line–plane intersection SG74BXCQZA

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

Mentions

wikipedia: Wikipedia Line–plane intersection, Line–plane intersection (definition). Also Wikidata Q4916490

History

2026-11-02: add by m2/dev

SG76B7N9ND SG76B7N9ND

URI	`m2://inv/SG76B7N9ND`
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.17518#F4QU (statement). In YA4JEWTVS4/e1, theorem C

History

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

why the edge test needs flagness SG7GBK0E7T

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

Mentions

arxiv: arXiv 2609.32733#C5HF, why the edge test needs flagness (example). In PCAS8S14J6/e1, example D.12

History

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

SG7QR37GXB SG7QR37GXB

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

Mentions

open_logic: open_logic content/first-order-logic/natural-deduction/proof-theoretic-notions.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 15.1

History

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

SG7WGRNTYR SG7WGRNTYR

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

Mentions

lebl_ra: lebl_ra ch-approximate.tex#exercise-44 (exercise). In E59CDZA4DP, exercise, section 1.5.1

History

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

SG828RZ43T SG828RZ43T

URI	`m2://inv/SG828RZ43T`
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.09086#VXIS (statement). In JPC86V77CH/e1, lemma A.6

History

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

Corwin M. Zigler SG82J712C3

URI	`m2://inv/SG82J712C3`
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#ZOYY, Corwin M. Zigler (unknown)

History

2026-11-02: add by m2/dev

Definition SG863DC6MD

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

Mentions

wikipedia: Wikipedia Commutation theorem for traces#7C9F, Definition (definition)

History

2026-11-02: add by m2/dev

List of top Chinese cities by GDP per capita SG87R1VMG8

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

Mentions

wikipedia: Wikipedia List of top Chinese cities by GDP per capita, List of top Chinese cities by GDP per capita (topic). Also Wikidata Q10873542

History

2026-11-02: add by m2/dev

Apeirogonal antiprism SG88RDZ1F9

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

Mentions

wikipedia: Wikipedia Apeirogonal antiprism, Apeirogonal antiprism (definition). Also Wikidata Q4779310

History

2026-11-02: add by m2/dev

SG8B0RX2WM SG8B0RX2WM

URI	`m2://inv/SG8B0RX2WM`
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.00775#OUEC (statement). In WVHA7H05QC/e1, proposition 3.10

History

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

Repeated measures ANOVA SG8CW1EQA0

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

Mentions

wikipedia: Wikipedia Repeated measures design#7Z85, Repeated measures ANOVA (unknown)

History

2026-11-02: add by m2/dev

Madhava of Sangamagrama SG8DEEEFGA

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#TJA4, Madhava of Sangamagrama (topic)

History

2026-11-02: add by m2/dev

Spanning trees and incidence matrices SG8FNRV1Y6

URI	`m2://inv/SG8FNRV1Y6`
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.06653#SI5V, Spanning trees and incidence matrices (statement). In 9D2N76AJAT/e1, theorem D.5

History

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

SG8JNHDXBJ SG8JNHDXBJ

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

Mentions

arxiv: arXiv 2609.25301#QUZL (statement)

History

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

SG8P1GWZ61 SG8P1GWZ61

URI	`m2://inv/SG8P1GWZ61`
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.25703#6X3B (statement)

History

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

Neil Turok SG8SW0HF7V

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

Mentions

wikipedia: Wikipedia List of string theory topics#F55Y, Neil Turok (unknown)

History

2026-11-02: add by m2/dev

SG8WMX83PB SG8WMX83PB

URI	`m2://inv/SG8WMX83PB`
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 2012.11507#ITR8 (statement). In DZA5P853H9/e1, lemma 1

History

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

hybrid logic SG8XTRMZS8

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

Mentions

wikipedia: Wikipedia Glossary of logic#TLXB, hybrid logic (definition)

History

2026-11-02: add by m2/dev

Tsiolkovsky, Amur Oblast SG8YBA5211

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

Mentions

wikipedia: Wikipedia List of places with numeric names#58XT, Tsiolkovsky, Amur Oblast (unknown)

History

2026-11-02: add by m2/dev

Total derivative SG95NGKQ61

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

Mentions

wikipedia: Wikipedia Derivative (multivariable calculus)#SEBV, Total derivative (unknown)

History

2026-11-02: add by m2/dev

SG96DY63W5 SG96DY63W5

URI	`m2://inv/SG96DY63W5`
Kind	definition
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 2610.05299#6RIC (definition). In 68AE571S4P/e1, definition 2.16

History

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

Transitivity of Tie-Preserving Standardization SG96PMKHVN

URI	`m2://inv/SG96PMKHVN`
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.37578#LDWQ, Transitivity of Tie-Preserving Standardization (statement). In D7NDCWSDJE/e1, lemma 12

History

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

J. N. Srivastava SG9G5Q5Z2D

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

Mentions

wikipedia: Wikipedia J. N. Srivastava, J. N. Srivastava (topic). Also Wikidata Q6106596

History

2026-11-02: add by m2/dev

Local shortening of regular LDPC codes SG9QQ8TSYJ

URI	`m2://inv/SG9QQ8TSYJ`
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#7BTJ, Local shortening of regular LDPC codes (statement)

History

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

SG9SNH7HV0 SG9SNH7HV0

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

Mentions

arxiv: arXiv 2508.21045#E611 (conjecture). In CGA36VE1C5/e1, conjecture 3

History

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

SGA15N007V SGA15N007V

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

Mentions

arxiv: arXiv 2609.39824#FY1E (statement). In REPGS464V6/e1, lemma 7.5

History

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

Conway algebra SGA6NJYXN1

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

Mentions

wikipedia: Wikipedia List of things named after John Horton Conway#BNMA, Conway algebra (definition)

History

2026-11-02: add by m2/dev

Open function SGA72QAMZ0

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

Mentions

wikipedia: Wikipedia List of types of functions#EH1Q, Open function (definition)

History

2026-11-02: add by m2/dev

SGA8BHQ0TP SGA8BHQ0TP

URI	`m2://inv/SGA8BHQ0TP`
Kind	statement
Layer	research
MSC	37-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 0811.0544#GT1R (statement). In RKPZ3SC956/e1, theorem 3.6

History

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

fundamental theorem of algebra SGAE0NNXPH

URI	`m2://inv/SGAE0NNXPH`
Kind	statement
Layer	textbook
MSC	30-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Fundamental theorem of algebra 0JP0W07Y9A

Mentions

mathlib_1000: mathlib_1000 Q192760, Fundamental theorem of algebra (statement). Also Mathlib Complex.isAlgClosed, Wikidata Q192760
mathlib_overview: mathlib_overview Analysis > Complex analysis > fundamental theorem of algebra, fundamental theorem of algebra (unknown). Also Mathlib Complex.isAlgClosed
thousand_plus: thousand_plus Q192760, Fundamental theorem of algebra (statement). Also Mathlib Complex.isAlgClosed, Wikidata Q192760, Wikipedia Fundamental theorem of algebra
wikidata: Wikidata Q192760, fundamental theorem of algebra (statement). Also EoM Algebra,_fundamental_theorem_of, Mathlib Complex.isAlgClosed, MathWorld FundamentalTheoremofAlgebra
wikipedia: Wikipedia Fundamental theorem of algebra, Fundamental theorem of algebra (statement). Also Wikidata Q192760

History

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

Block simulation between deterministic cellular automata SGAFFBWJ6T

URI	`m2://inv/SGAFFBWJ6T`
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#9ZDG, Block simulation between deterministic cellular automata (definition). In WD2NCBV9F0/e1, definition 4.19

History

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

Universal hyp-affines SGAH9G5424

URI	`m2://inv/SGAH9G5424`
Kind	statement
Layer	research
MSC	14-XX, 53-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 2609.28220#ZXOM, Universal hyp-affines (statement)

History

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

Daniel Friedan SGAHM3SYKM

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

Mentions

wikidata: Wikidata Q547346, Daniel Friedan (unknown). Also nLab Daniel Friedan

History

2026-10-26: add by m2/dev

Dual sheaf SGASMKT5QB

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

Mentions

wikipedia: Wikipedia Sheaf of modules#P3GH, Dual sheaf (unknown)

History

2026-11-02: add by m2/dev

Fechner's law SGAVDPWV34

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

Mentions

wikipedia: Wikipedia Weber–Fechner law#LBLN, Fechner's law (statement)

History

2026-11-02: add by m2/dev

SGAVP7DVZ6 SGAVP7DVZ6

URI	`m2://inv/SGAVP7DVZ6`
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 0806.0678#CLH9 (statement). In 5RMV7VP13X/e1, corollary 2.9

History

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

S. Khrushchev, 1978 SGAWWFTVBZ

URI	`m2://inv/SGAWWFTVBZ`
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 2403.08723#E5NG, S. Khrushchev, 1978 (statement). In HGE2NCQW29/e1, theorem 1.1

History

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

higher-order logic SGB0TZ7CQA

URI	`m2://inv/SGB0TZ7CQA`
Kind	definition
Layer	textbook
MSC	03B15, 03B16
Sources	2
Outcome	open
Node	Higher-order logic P1ABGYRQXH

Mentions

wikidata: Wikidata Q1644136, higher-order logic (topic). Also nLab higher-order logic
wikipedia: Wikipedia Higher-order logic, Higher-order logic (definition). Also Wikidata Q1644136

History

2026-10-26: add by m2/dev

SGB1WDS029 SGB1WDS029

URI	`m2://inv/SGB1WDS029`
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.21622#7D2N (statement). In H21X3FHNYJ/e1, proposition 3.5

History

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

Applications SGBHBJT667

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

Mentions

wikipedia: Wikipedia Tetrakis square tiling#7WPB, Applications (example)

History

2026-11-02: add by m2/dev

SGBM3K3F8N SGBM3K3F8N

URI	`m2://inv/SGBM3K3F8N`
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#KPM5 (statement). In 7BWXR38MNE/e1, proposition 4.3

History

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

SGBT1DPBBG SGBT1DPBBG

URI	`m2://inv/SGBT1DPBBG`
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 2605.24355#ARC7 (definition). In VV3AJMWWCR/e1, definition 1

History

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

SGBVA98DEP SGBVA98DEP

URI	`m2://inv/SGBVA98DEP`
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#K0BI (definition). In VJTRH1S4JA/e1, definition 3.1

History

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

triangulated category SGC0W3Q34F

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

Mentions

wikipedia: Wikipedia Glossary of category theory#149J, triangulated category (definition)

History

2026-11-02: add by m2/dev

42 SGC28TPNEV

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

Mentions

wikidata: Wikidata Q812996, 42 (unknown). Also MathWorld 42

History

2026-10-26: add by m2/dev

SGC7NJPS1S SGC7NJPS1S

URI	`m2://inv/SGC7NJPS1S`
Kind	example
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.17565#FOVQ (example). In C422901XCN/e1, example 4.7

History

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

Sequential Monte Carlo method SGCC2THD9S

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

Mentions

wikipedia: Wikipedia List of mathematics-based methods#X5GZ, Sequential Monte Carlo method (definition)

History

2026-11-02: add by m2/dev

Bent function SGCF0FPP8M

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

Mentions

wikipedia: Wikipedia Bent function, Bent function (definition). Also Wikidata Q4890350

History

2026-11-02: add by m2/dev

SGD1YKMJYT SGD1YKMJYT

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#problem-12 (exercise). In P1C114YBXG, problem, section G

History

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

faces SGD4H8CDFH

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

Mentions

levin_dmoi: levin_dmoi index/5.3/faces, faces (concept). In Y91XFCEVHQ, index, section 5.3

History

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

SGDGX08RYK SGDGX08RYK

URI	`m2://inv/SGDGX08RYK`
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.16731#UGH6 (statement). In D68KBZQ4Q6/e1, theorem 5.15

History

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

Generalization SGDRJ4AZ55

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

Mentions

wikipedia: Wikipedia Sylvester's formula#717D, Generalization (statement)

History

2026-11-02: add by m2/dev

SGDVXWPT9R SGDVXWPT9R

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

Mentions

arxiv: arXiv 2610.15744#U4RD (definition). In NV3PBZGBB7/e1, definition 1.8

History

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

SGEB5J4355 SGEB5J4355

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

Mentions

arxiv: arXiv math/0406514#U72G (statement). In CY1FE8W1ZW/e1, lemma 0.110

History

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

SGEC9J64MR SGEC9J64MR

URI	`m2://inv/SGEC9J64MR`
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.01858#PLJG (definition). In NXSV14WJKJ/e1, definition 2.1

History

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

SGER874Q3D SGER874Q3D

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

Mentions

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

History

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

SGETF0NEXN SGETF0NEXN

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

Mentions

open_logic: open_logic content/normal-modal-logic/frame-definability/first-order-definability.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 52.7

History

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

circular SGEWVKG783

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#ZRWN, circular (definition)

History

2026-11-02: add by m2/dev

SGEXGZCW56 SGEXGZCW56

URI	`m2://inv/SGEXGZCW56`
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.23446#40LB (statement)

History

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

Hurwitz zeta function SGEXK9KGJR

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

Mentions

wikipedia: Wikipedia List of zeta functions#6A1L, Hurwitz zeta function (definition)

History

2026-11-02: add by m2/dev

SGF49N8JCT SGF49N8JCT

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#example-2 (example). In E59CDZA4DP, example, section 10.1

History

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

SGF8G5C2Q8 SGF8G5C2Q8

URI	`m2://inv/SGF8G5C2Q8`
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-1 (example). In PKGMM3P5QY, ex, section 82.5

History

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

survival function SGFARN87Q9

URI	`m2://inv/SGFARN87Q9`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Survival function QTM1HZM53Q

Mentions

wikidata: Wikidata Q2915096, survival function (unknown). Also MathWorld SurvivalFunction
wikipedia: Wikipedia Survival function, Survival function (definition). Also Wikidata Q2915096

History

2026-10-26: add by m2/dev

SGFAS6P21B SGFAS6P21B

URI	`m2://inv/SGFAS6P21B`
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.14821#4HQD (statement). In B0B2P7JEAQ/e1, proposition 4.3

History

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

Erich Hüttenhain SGFGF87685

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

Mentions

wikipedia: Wikipedia Erich Hüttenhain, Erich Hüttenhain (topic). Also Wikidata Q1352480

History

2026-11-02: add by m2/dev

product measure SGG2K1V0B5

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

Mentions

mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Measure theory > product measure, product measure (unknown). Also Mathlib MeasurableSpace.pi
mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Measure theory > product of sigma-algebras, product of sigma-algebras (unknown). Also Mathlib MeasurableSpace.pi

History

2026-10-26: add by m2/dev

Example SGG5BB00FR

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

Mentions

wikipedia: Wikipedia Degree matrix#XTC3, Example (example)

History

2026-11-02: add by m2/dev

Tarka Shastra SGG6EXFP5Z

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

Mentions

wikipedia: Wikipedia Tarka Shastra, Tarka Shastra (definition). Also Wikidata Q7686242

History

2026-11-02: add by m2/dev

Parseval's integral SGGBPM6XDD

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

Mentions

wikidata: Wikidata Q5678051, Parseval's integral (unknown). Also MathWorld ParsevalsIntegral

History

2026-10-26: add by m2/dev

Distinction bias SGGCTNY26V

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

Mentions

wikipedia: Wikipedia List of cognitive biases#I320, Distinction bias (unknown)

History

2026-11-02: add by m2/dev

SGGEEPG9JD SGGEEPG9JD

URI	`m2://inv/SGGEEPG9JD`
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.11377#AYUB (statement). In YCV4YA6FC2/e1, proposition 1

History

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

Non-Example SGGFT0W41S

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

Mentions

wikipedia: Wikipedia *-algebra#8104, Non-Example (counterexample)

History

2026-11-02: add by m2/dev

SGGGCT1ASV SGGGCT1ASV

URI	`m2://inv/SGGGCT1ASV`
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 1607.01095#057Z (statement). In W3T1ZAT3GC/e1, lemma 2.7

History

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

SGGK5TAPKM SGGK5TAPKM

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

Mentions

arxiv: arXiv 2609.36904#5G0X (statement). In R9E569AVRG/e1, theorem 3.4

History

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

Applications SGGKA693YX

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

Mentions

wikipedia: Wikipedia Zeno's paradoxes#NEAQ, Applications (example)

History

2026-11-02: add by m2/dev

Restatement of Theorem 4.1 and Theorem 4.2 SGGXZX2KXH

URI	`m2://inv/SGGXZX2KXH`
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 2604.23212#RX0D, Restatement of Theorem 4.1 and Theorem 4.2 (statement). In 4X12V9RS0D/e1, proposition B.1

History

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

SGGY8MDPRS SGGY8MDPRS

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

Mentions

lebl_scv: lebl_scv scv.tex#exercise-164 (exercise). In VNMV985MXX, exercise, section 3.1

History

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

Mark Zborowski SGGYJ3FZ0S

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

Mentions

wikipedia: Wikipedia List of Ukrainian Jews#2P3O, Mark Zborowski (unknown)

History

2026-11-02: add by m2/dev

Generalizations SGH2N81RH8

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

Mentions

wikipedia: Wikipedia Derivative#0FD5, Generalizations (statement)

History

2026-11-02: add by m2/dev

SGH85DJ2DT SGH85DJ2DT

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

Mentions

napkin: napkin tex/alg-NT/numfield.tex#proof-1 (proof). In RZP28ERRZV, proof, section 16.2

History

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

Mathematics and the Imagination SGHB253B69

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

Mentions

wikidata: Wikidata Q6786900, Mathematics and the Imagination (unknown). Also ProofWiki Book:Edward_Kasner/Mathematics_and_the_Imagination
wikipedia: Wikipedia Mathematics and the Imagination, Mathematics and the Imagination (definition). Also Wikidata Q6786900

History

2026-10-26: add by m2/dev

Max A. Woodbury SGHKXYMR29

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

Mentions

wikipedia: Wikipedia Max A. Woodbury, Max A. Woodbury (topic). Also Wikidata Q47011232

History

2026-11-02: add by m2/dev

SGHTWJRJ2E SGHTWJRJ2E

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

Mentions

arxiv: arXiv 2610.13884#GOZB (definition). In N2NQ3QJYTW/e1, definition B.1

History

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

SGHX18JC10 SGHX18JC10

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

Mentions

arxiv: arXiv 2610.22074#UXJQ (definition). In F3BKXXPR3K/e1, definition 3.58

History

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

SGJ0AT4V5X SGJ0AT4V5X

URI	`m2://inv/SGJ0AT4V5X`
Kind	statement
Layer	research
MSC	18-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.09945#33N1 (statement). In V7VCEA0VAA/e1, theorem 3

History

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

Decidability of first-order theories of the real numbers SGJ4K8NYQD

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

Mentions

wikipedia: Wikipedia Decidability of first-order theories of the real numbers, Decidability of first-order theories of the real numbers (definition). Also Wikidata Q4060681

History

2026-11-02: add by m2/dev

SGJ7MZ2PEK SGJ7MZ2PEK

URI	`m2://inv/SGJ7MZ2PEK`
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 2001.10234#ETVL (statement). In YYZHNNJR1P/e1, theorem 1

History

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

Mumford–Tate conjecture SGJERY87F6

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

Mentions

wikipedia: Wikipedia Mumford–Tate group#97K9, Mumford–Tate conjecture (statement)

History

2026-11-02: add by m2/dev

Properties SGJJTKH6T0

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

Mentions

wikipedia: Wikipedia Intrinsic metric#7PDR, Properties (statement)

History

2026-11-02: add by m2/dev

Convexity and concavity on a tree SGJYSH9ZDB

URI	`m2://inv/SGJYSH9ZDB`
Kind	statement
Layer	research
MSC	14-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.10828#RLUD, Convexity and concavity on a tree (statement). In 8PTDFHV8SQ/e1, lemma 5.1

History

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

SGK0P0Z9VA SGK0P0Z9VA

URI	`m2://inv/SGK0P0Z9VA`
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.20740#WLQ2 (statement)

History

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

Bertrand's theorem SGK2DFRCEJ

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

Mentions

wikidata: Wikidata Q2493651, Bertrand's theorem (statement). Also nLab Bertrand's theorem
wikipedia: Wikipedia Bertrand's theorem, Bertrand's theorem (statement). Also Wikidata Q2493651

History

2026-10-26: add by m2/dev

Three-point estimation SGK4GXMC7H

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

Mentions

wikipedia: Wikipedia Three-point estimation, Three-point estimation (definition). Also Wikidata Q1256911

History

2026-11-02: add by m2/dev

SGK9HM0DBK SGK9HM0DBK

URI	`m2://inv/SGK9HM0DBK`
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.05396#2N05 (statement). In WMVRX5GV9P/e1, lemma 3.2

History

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

$n$-truncation of stacks SGKAZMAJS0

URI	`m2://inv/SGKAZMAJS0`
Kind	definition
Layer	research
MSC	18-XX, 55-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.03865#Y5B5, $n$-truncation of stacks (definition). In G3D1YR20BJ/e1, definition A.12

History

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

SGKRY2VD5H SGKRY2VD5H

URI	`m2://inv/SGKRY2VD5H`
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.16225#6M50 (statement). In H3DJV9YQW1/e1, theorem 2.5

History

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

Jing Cao SGKSM3763Q

URI	`m2://inv/SGKSM3763Q`
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#MHBW, Jing Cao (topic)

History

2026-11-02: add by m2/dev

Mutually exclusive SGKTNE40MJ

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

Mentions

wikipedia: Wikipedia List of probability topics#QEIW, Mutually exclusive (definition)

History

2026-11-02: add by m2/dev

Cohort SGM3RV0ZVF

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

Mentions

wikipedia: Wikipedia Cohort (statistics), Cohort (definition). Also Wikidata Q1303415

History

2026-11-02: add by m2/dev

SGM6KJAAV0 SGM6KJAAV0

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

Mentions

arxiv: arXiv 2610.08594#X530 (statement). In FEE70SSD96/e1, lemma 6.5

History

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

Exclusion SGMAVGBCQJ

URI	`m2://inv/SGMAVGBCQJ`
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.02219#60ZH, Exclusion (statement). In 8XMASJX0GZ/e1, theorem 3.4

History

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

Statistics and its Interface SGMHMH4NWK

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

Mentions

wikipedia: Wikipedia List of statistics journals#3AM0, Statistics and its Interface (unknown)

History

2026-11-02: add by m2/dev

Jean Boccardi SGMSFKX1DM

URI	`m2://inv/SGMSFKX1DM`
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#FR24, Jean Boccardi (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VSS5, Jean Boccardi (unknown)

History

2026-11-02: add by m2/dev

Specialized GFH search procedure SGN0XBP5HQ

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

Mentions

arxiv: arXiv 2609.37482#UWF2, Specialized GFH search procedure (statement). In 9QDRMZX8EY/e1, lemma 19

History

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

Four Points, Texas SGNCQ71JX1

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

Mentions

wikipedia: Wikipedia List of places with numeric names#OKXU, Four Points, Texas (unknown)

History

2026-11-02: add by m2/dev

Equilibria and recovery threshold SGNJ2X5PD5

URI	`m2://inv/SGNJ2X5PD5`
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.08374#2S9D, Equilibria and recovery threshold (statement). In XYVSD6A7GV/e1, proposition 2

History

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

SGNPWWW640 SGNPWWW640

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

Mentions

arxiv: arXiv 2610.15525#PN9Q (statement). In EFDRME13PT/e1, proposition 8.7

History

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

Alleged influence hypothesis and rebuttal SGNQF19J1P

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

Mentions

wikipedia: Wikipedia Āryabhaṭa's sine table#R53X, Alleged influence hypothesis and rebuttal (statement)

History

2026-11-02: add by m2/dev

Hans Samelson SGNQR4SXHK

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#W1S6, Hans Samelson (topic)

History

2026-11-02: add by m2/dev

Mark S. Handcock SGNXR69W80

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

Mentions

wikipedia: Wikipedia Mark S. Handcock, Mark S. Handcock (topic). Also Wikidata Q102228613

History

2026-11-02: add by m2/dev

Rogers–Ramanujan identities SGP1N6H0B5

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

Mentions

wikipedia: Wikipedia List of probabilistic proofs of non-probabilistic theorems#YDB2, Rogers–Ramanujan identities (definition)

History

2026-11-02: add by m2/dev

Recurrence quantification analysis SGP76MG7BB

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

Mentions

wikipedia: Wikipedia List of statistics articles#4HFQ, Recurrence quantification analysis (definition)

History

2026-11-02: add by m2/dev

SGP8GFM4TP SGP8GFM4TP

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

Mentions

arxiv: arXiv 2609.21016#9DDC (statement)

History

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

SGPAB4JVXH SGPAB4JVXH

URI	`m2://inv/SGPAB4JVXH`
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.21408#2XY9 (statement). In 3XBEGXNPXZ/e1, lemma A.1

History

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

Bill Casselman SGPGTJZ2XX

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

Mentions

wikipedia: Wikipedia Bill Casselman, Bill Casselman (topic). Also Wikidata Q21822499

History

2026-11-02: add by m2/dev

SGPWPDCXVE SGPWPDCXVE

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

Mentions

arxiv: arXiv 2609.24212#3PNP (definition)

History

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

Definition SGQ2B9DM7H

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

Mentions

wikipedia: Wikipedia Dual norm#T727, Definition (definition)

History

2026-11-02: add by m2/dev

Lilly Yue SGQ5X7F2K0

URI	`m2://inv/SGQ5X7F2K0`
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#9B8Z, Lilly Yue (topic)

History

2026-11-02: add by m2/dev

LaSalle's invariance principle SGQFC4SBWC

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

Mentions

wikipedia: Wikipedia LaSalle's invariance principle, LaSalle's invariance principle (statement). Also Wikidata Q3922068

History

2026-11-02: add by m2/dev

Pierre Dusart SGQNXC4HS6

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#VGSK, Pierre Dusart (unknown)

History

2026-11-02: add by m2/dev

Schatten class operator SGQT2FW7BB

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

Mentions

wikipedia: Wikipedia Schatten class operator, Schatten class operator (definition). Also Wikidata Q2231600

History

2026-11-02: add by m2/dev

Infinite-dimensional sphere SGQVQYEJND

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

Mentions

wikipedia: Wikipedia Infinite-dimensional sphere, Infinite-dimensional sphere (definition). Also Wikidata Q135617428

History

2026-11-02: add by m2/dev

Regular variation implies density subexponentiality SGQXAYQ5GA

URI	`m2://inv/SGQXAYQ5GA`
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.27335#GZXB, Regular variation implies density subexponentiality (statement)

History

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

SGQZZBKQTJ SGQZZBKQTJ

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

History

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

Affine local compiler SGR291EGBN

URI	`m2://inv/SGR291EGBN`
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.16248#3OXJ, Affine local compiler (statement). In TP61DYMBMK/e1, lemma 21

History

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

Gradient flow separation from the separatrix SGR51FXC2B

URI	`m2://inv/SGR51FXC2B`
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.01050#SRMM, Gradient flow separation from the separatrix (statement). In 48NN33SAH7/e1, lemma 6.1

History

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

SGR737D6PB SGR737D6PB

URI	`m2://inv/SGR737D6PB`
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 2411.16465#R11L (definition). In 900P3XBZ5P/e1, definition 2.1

History

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

SGR9J004FW SGR9J004FW

URI	`m2://inv/SGR9J004FW`
Kind	definition
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#EBQH (definition)

History

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

SGRF2H9RT9 SGRF2H9RT9

URI	`m2://inv/SGRF2H9RT9`
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.06895#5KLN (statement). In PBB3PSDP0S/e1, lemma 1

History

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

Modern triangle geometry SGRGT5RYZM

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

Mentions

wikipedia: Wikipedia List of triangle topics#RNHV, Modern triangle geometry (definition)

History

2026-11-02: add by m2/dev

Free/torsion decomposition with short torsion representatives SGRJ0MZM3D

URI	`m2://inv/SGRJ0MZM3D`
Kind	statement
Layer	research
MSC	05-XX, 51-XX, 52-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.04834#JUO5, Free/torsion decomposition with short torsion representatives (statement). In YZNK67K060/e1, lemma 7.3

History

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

SGRQ20G0YK SGRQ20G0YK

URI	`m2://inv/SGRQ20G0YK`
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 1903.07030#WE1W (statement). In 9H45HQE7AZ/e1, proposition 6.11

History

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

rational weights SGRZ9STE3S

URI	`m2://inv/SGRZ9STE3S`
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.10408#UCYZ, rational weights (statement). In H976NYKBNT/e1, corollary 8

History

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

Daihachiro Sato SGS04NJ3BF

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#TNDN, Daihachiro Sato (topic)

History

2026-11-02: add by m2/dev

Filtered torus backprojection SGS4KQVADD

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

Mentions

arxiv: arXiv 2608.16453#SEY9, Filtered torus backprojection (statement). In BG3X7ZAEK1/e1, theorem 2.5

History

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

SGSCJHWEG0 SGSCJHWEG0

URI	`m2://inv/SGSCJHWEG0`
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.20760#HSXM (statement). In 6G9JSJ5JMP/e1, theorem 10

History

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

SGSGG0P630 SGSGG0P630

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/intro-functions.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 1.4

History

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

Definition SGSMW4ZAP3

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

Mentions

wikipedia: Wikipedia Regular p-group#HPMG, Definition (definition)

History

2026-11-02: add by m2/dev

Rose Rand SGSN4BPMAD

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

Mentions

wikipedia: Wikipedia List of women logicians#LBKK, Rose Rand (topic)

History

2026-11-02: add by m2/dev

SGSN7C1SC8 SGSN7C1SC8

URI	`m2://inv/SGSN7C1SC8`
Kind	statement
Layer	research
MSC	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 2609.35858#VYAE (statement). In R2K4HZN8RW/e1, corollary 5.3

History

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

Amalgamated product SGT2ACGSWK

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

Mentions

wikipedia: Wikipedia Free product#TTUP, Amalgamated product (unknown)

History

2026-11-02: add by m2/dev

Charles E. Roberts SGT3N3B7S7

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

Mentions

wikipedia: Wikipedia Charles E. Roberts (mathematician), Charles E. Roberts (topic). Also Wikidata Q112501574

History

2026-11-02: add by m2/dev

Mathematical beauty SGTBHJPYY0

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

Mentions

wikipedia: Wikipedia Mathematical beauty, Mathematical beauty (definition). Also Wikidata Q2248521

History

2026-11-02: add by m2/dev

History of pattern SGTCXHFYVX

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

Mentions

wikipedia: Wikipedia Patterns in nature#S28Z, History of pattern (unknown)

History

2026-11-02: add by m2/dev

SGTFDRFJ79 SGTFDRFJ79

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

Mentions

arxiv: arXiv 0809.3835#KK2L (statement). In V4J1J8YC7V/e1, theorem 1

History

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

Baer function SGTVV6525T

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

Mentions

wikipedia: Wikipedia Baer function, Baer function (definition). Also Wikidata Q65049711

History

2026-11-02: add by m2/dev

Matthias Staudacher SGTX1R9MGA

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

Mentions

wikidata: Wikidata Q6791612, Matthias Staudacher (unknown). Also nLab Matthias Staudacher

History

2026-10-26: add by m2/dev

SGV6VSXX88 SGV6VSXX88

URI	`m2://inv/SGV6VSXX88`
Kind	statement
Layer	research
MSC	20-XX, 22-XX, 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.14045#K6I7 (statement). In KZ71GXT2B0/e1, proposition 2.26

History

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

SGV7Y431JJ SGV7Y431JJ

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

Mentions

arxiv: arXiv 2610.12330#TSOI (statement). In XHSKEPT3VD/e1, proposition 3.6

History

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

Disjoint union SGVBWDTEHF

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

Mentions

wikipedia: Wikipedia Disjoint union (topology), Disjoint union (definition). Also Wikidata Q5282259

History

2026-11-02: add by m2/dev

Imprecise Dirichlet process SGVTBRPEG2

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

Mentions

wikipedia: Wikipedia Imprecise Dirichlet process, Imprecise Dirichlet process (definition). Also Wikidata Q18208015

History

2026-11-02: add by m2/dev

Hyper-finite field SGVTDZVW4R

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

Mentions

wikipedia: Wikipedia Hyper-finite field, Hyper-finite field (definition). Also Wikidata Q5957542

History

2026-11-02: add by m2/dev

Ultraproduct SGW6NNW75M

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

Mentions

wikipedia: Wikipedia List of algebraic constructions#594A, Ultraproduct (definition)
wikipedia: Wikipedia List of mathematical logic topics#5ESO, Ultraproduct (definition)

History

2026-11-02: add by m2/dev

Poisson limit theorem SGW85MWCT4

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

Mentions

wikipedia: Wikipedia List of statistics articles#M5EJ, Poisson limit theorem (statement)

History

2026-11-02: add by m2/dev

Riemann–Roch theorem SGWAP6RKVC

URI	`m2://inv/SGWAP6RKVC`
Kind	statement
Layer	textbook
MSC	14-XX
Sources	4
Outcome	open
Node	Riemann–Roch theorem WMVAT9MBZ1

Mentions

mathlib_1000: mathlib_1000 Q379048, Riemann–Roch theorem (statement). Also Wikidata Q379048
thousand_plus: thousand_plus Q379048, Riemann–Roch theorem (statement). Also Wikidata Q379048, Wikipedia Riemann–Roch theorem
wikidata: Wikidata Q379048, Riemann–Roch theorem (statement). Also ProofWiki Riemann-Roch_Theorem
wikipedia: Wikipedia Riemann–Roch theorem, Riemann–Roch theorem (statement). Also Wikidata Q379048

History

2026-10-26: add by m2/dev

Theorem (Gagliardo-Nirenberg) SGWK7AZRQK

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

Mentions

wikipedia: Wikipedia Gagliardo–Nirenberg interpolation inequality#H8NX, Theorem (Gagliardo-Nirenberg) (statement)

History

2026-11-02: add by m2/dev

SGX3FNDXKE SGX3FNDXKE

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-fourier-and-pde.tex#exercise-65 (exercise). In E9HS8K3A52, exercise, section 5.5.3

History

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

Cone attachment SGXHE1T93G

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

Mentions

arxiv: arXiv 2609.28160#KDIH, Cone attachment (statement)

History

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

Example SGXJZ2CS8E

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

Mentions

wikipedia: Wikipedia Sequential dynamical system#L439, Example (example)

History

2026-11-02: add by m2/dev

Path-connected component SGXK0GGCCT

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

Mentions

wikipedia: Wikipedia Glossary of general topology#EV8Z, Path-connected component (definition)

History

2026-11-02: add by m2/dev

Milliman, Wendell SGXRNGZRDY

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

Mentions

wikipedia: Wikipedia List of statisticians#3IE5, Milliman, Wendell (unknown)

History

2026-11-02: add by m2/dev

SGXS19ERJ5 SGXS19ERJ5

URI	`m2://inv/SGXS19ERJ5`
Kind	definition
Layer	research
MSC	05-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.40200#C9FT (definition). In VWNB6QJWFN/e1, definition 2.3

History

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

SGXYBY2Q69 SGXYBY2Q69

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

Mentions

arxiv: arXiv 2609.34289#A0QX (definition). In 9RBATD2Z1F/e1, definition 3.1

History

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

SGY4GH350Z SGY4GH350Z

URI	`m2://inv/SGY4GH350Z`
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 2207.11097#KNTJ (statement). In 13H5BTAXHF/e1, lemma 7

History

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

Applications SGY4S9YS7W

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

Mentions

wikipedia: Wikipedia Quantile function#YI86, Applications (example)

History

2026-11-02: add by m2/dev

SGY7WDDKWD SGY7WDDKWD

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

Mentions

napkin: napkin tex/alg-geom/zariski.tex#definition-1 (definition). In RZP28ERRZV, definition, section 29.2

History

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

Applications SGY9ZAND0P

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

Mentions

wikipedia: Wikipedia Autoregressive moving-average model#X46D, Applications (example)

History

2026-11-02: add by m2/dev

Grete Hermann SGYAQRK9SC

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

Mentions

wikipedia: Wikipedia Grete Hermann, Grete Hermann (topic). Also Wikidata Q68550

History

2026-11-02: add by m2/dev

SGYC7CK3N5 SGYC7CK3N5

URI	`m2://inv/SGYC7CK3N5`
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.04809#G2Z4 (statement). In 2VHV0RNTNV/e1, lemma 9.9

History

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

Multimagic cube SGYG6V89Q1

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

Mentions

wikidata: Wikidata Q1990137, Multimagic cube (unknown). Also MathWorld MultimagicCube
wikipedia: Wikipedia Multimagic cube, Multimagic cube (definition). Also Wikidata Q1990137

History

2026-10-26: add by m2/dev

SGYKH1WT2J SGYKH1WT2J

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

Mentions

open_logic: open_logic content/model-theory/basics/partial-iso.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 46.5

History

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

Quotient-and-average counting SGYKWVX32Q

URI	`m2://inv/SGYKWVX32Q`
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.20351#RLH6, Quotient-and-average counting (statement)

History

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

Dummy coding SGYMKX5HBQ

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

Mentions

wikipedia: Wikipedia Categorical variable#PN0P, Dummy coding (unknown)

History

2026-11-02: add by m2/dev

Total recursive function SGYTMJ18W8

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

Mentions

wikipedia: Wikipedia General recursive function#X64Z, Total recursive function (unknown)

History

2026-11-02: add by m2/dev

Madhava series SGYVTGTR75

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

Mentions

wikipedia: Wikipedia Madhava series, Madhava series (definition). Also Wikidata Q6727285

History

2026-11-02: add by m2/dev

Discrimination ratio SGYZPSM0ZK

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

Mentions

wikipedia: Wikipedia Discrimination ratio, Discrimination ratio (definition). Also Wikidata Q133521424

History

2026-11-02: add by m2/dev

SGZ8DYD54Q SGZ8DYD54Q

URI	`m2://inv/SGZ8DYD54Q`
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.30664#VRPL (statement). In ZZGDNKDVJW/e1, lemma 5.2

History

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

Visible boundaries SGZ94RT39B

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

Mentions

arxiv: arXiv 2609.22407#DAK7, Visible boundaries (definition)

History

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

Compactness SGZE00697D

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

Mentions

open_logic: open_logic content/first-order-logic/completeness/compactness-direct.tex#thm:compactness-direct, Compactness (statement). In PKGMM3P5QY, thm, section 9.8

History

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

Andrew Yao SGZQP0AH93

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

Mentions

wikidata: Wikidata Q62888, Andrew Yao (unknown). Also ProofWiki Mathematician:Andrew_Chi-Chih_Yao

History

2026-10-26: add by m2/dev

Picard's theorem SGZRMKV5SV

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

Mentions

lebl_ra: lebl_ra index/4.6.2/picard-s-theorem, Picard's theorem (concept). In E59CDZA4DP, index, section 4.6.2

History

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