Inventory rows Q6

Mixed Kato--Cauchy--Schwarz Inequality Q600W928V6

URI	`m2://inv/Q600W928V6`
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.27516#UXI7, Mixed Kato--Cauchy--Schwarz Inequality (statement)

History

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

Applications Q6016JR9P5

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

Mentions

wikipedia: Wikipedia Information geometry#543B, Applications (example)

History

2026-11-02: add by m2/dev

Poisson, Siméon Denis Q601VXZCWJ

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

Mentions

wikipedia: Wikipedia List of statisticians#XTO4, Poisson, Siméon Denis (topic)

History

2026-11-02: add by m2/dev

Q60EX9REEY Q60EX9REEY

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

Mentions

arxiv: arXiv 2609.23605#VAIC (definition)

History

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

Wolfgang Pauli Q60G3YQN0K

URI	`m2://inv/Q60G3YQN0K`
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 Q65989, Wolfgang Pauli (unknown). Also nLab Wolfgang Pauli, ProofWiki Mathematician:Wolfgang_Ernst_Pauli

History

2026-10-26: add by m2/dev

The Republic Q60JNTJWS0

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

Mentions

wikidata: Wikidata Q123397, The Republic (unknown). Also ProofWiki Book:Plato/The_Republic

History

2026-10-26: add by m2/dev

Q60W13M4T8 Q60W13M4T8

URI	`m2://inv/Q60W13M4T8`
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#10F3 (statement). In GYMGDQS25R/e1, theorem 1.7

History

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

Q611W8WZZG Q611W8WZZG

URI	`m2://inv/Q611W8WZZG`
Kind	statement
Layer	research
MSC	35-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.13241#K5SC (statement). In DWQWQ5KTEE/e1, proposition 8

History

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

Q612C4VQFZ Q612C4VQFZ

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

Mentions

arxiv: arXiv 2610.09809#OPBV (statement). In 7NKQ6PR78N/e1, lemma 5.3

History

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

Theorem A Q612X7Z92S

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

Mentions

wikipedia: Wikipedia Möbius energy#F4GN, Theorem A (statement)

History

2026-11-02: add by m2/dev

Definition of analytic torsion Q614X57HWD

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

Mentions

wikipedia: Wikipedia Analytic torsion#X10T, Definition of analytic torsion (definition)

History

2026-11-02: add by m2/dev

Formal definition Q615ZHFN6N

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

Mentions

wikipedia: Wikipedia Activity selection problem#ZO0H, Formal definition (definition)

History

2026-11-02: add by m2/dev

Q61E1C2CSA Q61E1C2CSA

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

Mentions

arxiv: arXiv 2609.29574#HFFL (statement)

History

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

Q61Q50CM8C Q61Q50CM8C

URI	`m2://inv/Q61Q50CM8C`
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.29326#IQFX (statement). In 3F83V6VKKA/e1, proposition A.1

History

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

Definition Q61Q6BN0XN

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

Mentions

wikipedia: Wikipedia Relevance#W68U, Definition (definition)

History

2026-11-02: add by m2/dev

Q61VR087Y9 Q61VR087Y9

URI	`m2://inv/Q61VR087Y9`
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#F97B (statement). In PEXJPV3NP8/e1, theorem 6.8

History

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

Q61W8Q0T60 Q61W8Q0T60

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

Mentions

arxiv: arXiv 2609.30237#BDH4 (statement). In AC2VX701GX/e1, lemma 2.1

History

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

Ralph Duncan James Q61XKPYE7P

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#HXNM, Ralph Duncan James (unknown)

History

2026-11-02: add by m2/dev

Robert Weismantel Q628TDP460

URI	`m2://inv/Q628TDP460`
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#7IZY, Robert Weismantel (unknown)

History

2026-11-02: add by m2/dev

Carl Pomerance Q62H6G75RP

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

Mentions

wikipedia: Wikipedia Carl Pomerance, Carl Pomerance (topic). Also Wikidata Q761544

History

2026-11-02: add by m2/dev

Q62MN0WWBX Q62MN0WWBX

URI	`m2://inv/Q62MN0WWBX`
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.39747#74XS (statement). In 9H2KJ3W3JX/e1, lemma 17

History

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

Q62NMH59F7 Q62NMH59F7

URI	`m2://inv/Q62NMH59F7`
Kind	statement
Layer	research
MSC	62-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.10600#AVKR (statement). In V7WT21EDPM/e1, lemma 8.5

History

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

Q62R5PYQ6F Q62R5PYQ6F

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

Mentions

arxiv: arXiv 2204.01073#P9AI (statement). In W4TYN4PGE8/e1, corollary 3.6

History

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

Q62VW35ZZ8 Q62VW35ZZ8

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

Mentions

arxiv: arXiv 2609.34020#PUZN (statement). In DAMYG8BFAK/e1, theorem

History

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

Q62WKJZRRA Q62WKJZRRA

URI	`m2://inv/Q62WKJZRRA`
Kind	statement
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#OGQU (statement). In X765ZXXVC3/e1, proposition 4.27

History

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

Conservation of Linear Momentum Q62YYYEJGZ

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

Mentions

wikipedia: Wikipedia Momentum#Y0YO, Conservation of Linear Momentum (unknown)

History

2026-11-02: add by m2/dev

Poisson regression Q630Z46G5W

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

Mentions

wikipedia: Wikipedia Poisson regression, Poisson regression (definition). Also Wikidata Q954529

History

2026-11-02: add by m2/dev

Q6352HJT36 Q6352HJT36

URI	`m2://inv/Q6352HJT36`
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.17717#I3OT (statement). In YXRKS451PK/e1, lemma A.12

History

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

Christopher Drupieski Q636B05ZQH

URI	`m2://inv/Q636B05ZQH`
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 Q57435159, Christopher Drupieski (unknown). Also nLab Christopher Drupieski

History

2026-10-26: add by m2/dev

Q63BFQEQP5 Q63BFQEQP5

URI	`m2://inv/Q63BFQEQP5`
Kind	statement
Layer	research
MSC	14-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.02061#LT7J (statement). In F5STMSPR6X/e1, theorem 5.1

History

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

Q63CE9FWEY Q63CE9FWEY

URI	`m2://inv/Q63CE9FWEY`
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.26307#SSW4 (statement)

History

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

The algorithm Q63MCFY8WC

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

Mentions

wikipedia: Wikipedia Pairwise summation#FLUB, The algorithm (definition)

History

2026-11-02: add by m2/dev

Location of $t_j$ Q63QR9CP6T

URI	`m2://inv/Q63QR9CP6T`
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#X2VU, Location of $t_j$ (statement). In 4FWAY748N7/e1, lemma 4.5

History

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

Q63V035DCR Q63V035DCR

URI	`m2://inv/Q63V035DCR`
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.20702#1FHI (statement)

History

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

Q63V0NGTA6 Q63V0NGTA6

URI	`m2://inv/Q63V0NGTA6`
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.16505#HIH9 (statement). In P9V43TXCJ3/e1, lemma 3.1

History

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

Q-Gaussian distribution Q63ZW2ZFSA

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

Mentions

wikipedia: Wikipedia Q-Gaussian distribution, Q-Gaussian distribution (definition). Also Wikidata Q7265266

History

2026-11-02: add by m2/dev

Stanley Tennenbaum Q643P16FQ8

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

Mentions

wikipedia: Wikipedia Stanley Tennenbaum, Stanley Tennenbaum (topic). Also Wikidata Q2331815

History

2026-11-02: add by m2/dev

Q644Q9RS4N Q644Q9RS4N

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

Mentions

arxiv: arXiv 2609.20140#1J05 (statement)

History

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

Brocard–Ramanujan Diophantine equation Q6476RRVYF

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

Mentions

wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#LIK2, Brocard–Ramanujan Diophantine equation (conjecture)

History

2026-11-02: add by m2/dev

Q648Q1SCYF Q648Q1SCYF

URI	`m2://inv/Q648Q1SCYF`
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 2510.12502#HALT (statement). In 3A4K47Y9F2/e1, theorem 5.32

History

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

Q64CXHAHNV Q64CXHAHNV

URI	`m2://inv/Q64CXHAHNV`
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.23975#W0DQ (statement)

History

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

Complete recovery from one fixed cycle Q64TBSVWEB

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

Mentions

arxiv: arXiv 2609.38228#BV8V, Complete recovery from one fixed cycle (statement). In 9YAE8FNQST/e1, theorem 31.4

History

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

Q64TVF520Q Q64TVF520Q

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

Mentions

arxiv: arXiv 2610.18084#XJCI (statement). In PKPT8NY665/e1, lemma 2.4

History

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

Sébastien Gouëzel Q64XW0H1XE

URI	`m2://inv/Q64XW0H1XE`
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#7X1A, Sébastien Gouëzel (topic)

History

2026-11-02: add by m2/dev

Epicycloid Q658PBPF21

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#VXKO, Epicycloid (definition)
wikipedia: Wikipedia List of curves#SH7Z, Epicycloid (definition)

History

2026-11-02: add by m2/dev

Strict quadratic diagonal for clause (iv Q65FYA2NGH

URI	`m2://inv/Q65FYA2NGH`
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.24931#BQTH, Strict quadratic diagonal for clause (iv (statement)

History

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

Properties Q65PSB3H0P

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

Mentions

wikipedia: Wikipedia Spectral risk measure#OWUP, Properties (statement)

History

2026-11-02: add by m2/dev

Q65RZR0264 Q65RZR0264

URI	`m2://inv/Q65RZR0264`
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 2609.28803#LDEO (definition)

History

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

Inverse Mills ratio Q65W9G7449

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

Mentions

wikipedia: Wikipedia List of statistics articles#ID5U, Inverse Mills ratio (definition)

History

2026-11-02: add by m2/dev

SurveyUSA Q65WFVEFQJ

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

Mentions

wikipedia: Wikipedia List of polling organizations#W4BR, SurveyUSA (unknown)

History

2026-11-02: add by m2/dev

Q660T646T1 Q660T646T1

URI	`m2://inv/Q660T646T1`
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 2411.07061#O2I8 (statement). In S988ZVA1QE/e1, lemma 9

History

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

Authority bias Q6640GWQHR

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

Mentions

wikipedia: Wikipedia List of cognitive biases#IIBE, Authority bias (unknown)

History

2026-11-02: add by m2/dev

Q669TZ09C1 Q669TZ09C1

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

Mentions

napkin: napkin tex/linalg/vector-space.tex#prob:idempotent (exercise). In RZP28ERRZV, sproblem, section 62.11

History

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

Andrey Kolmogorov Q66B3TEMF6

URI	`m2://inv/Q66B3TEMF6`
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 Q153224, Andrey Kolmogorov (unknown). Also nLab Andrey Kolmogorov, ProofWiki Mathematician:Andrey_Nikolaevich_Kolmogorov
wikipedia: Wikipedia Andrey Kolmogorov, Andrey Kolmogorov (topic). Also Wikidata Q153224

History

2026-10-26: add by m2/dev

Q66H30N7HK Q66H30N7HK

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

Mentions

arxiv: arXiv 2610.19459#GFOL (statement). In SATS9RFBX7/e1, proposition 6

History

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

Invincible ignorance fallacy Q66P1TEHKS

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

Mentions

wikipedia: Wikipedia Invincible ignorance fallacy, Invincible ignorance fallacy (definition). Also Wikidata Q2086094

History

2026-11-02: add by m2/dev

Examples Q66RE5W77R

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

Mentions

wikipedia: Wikipedia Monoidal monad#XKH2, Examples (example)

History

2026-11-02: add by m2/dev

Q66SKRY1J4 Q66SKRY1J4

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

Mentions

arxiv: arXiv 2609.38323#G7TY (statement). In MER0S03A77/e1, proposition 6.1

History

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

Diagram Q66YCF33WR

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

Mentions

wikipedia: Wikipedia Diagram (mathematical logic), Diagram (definition). Also Wikidata Q15805655

History

2026-11-02: add by m2/dev

Residual time Q66Z123FH4

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

Mentions

wikipedia: Wikipedia Residual time, Residual time (definition). Also Wikidata Q7315518

History

2026-11-02: add by m2/dev

Perturbed Fenchel terminal values Q6700KRMWC

URI	`m2://inv/Q6700KRMWC`
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#3S0M, Perturbed Fenchel terminal values (statement). In NKXTXH59P1/e1, lemma A.8

History

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

Examples Q6747B9Q3H

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

Mentions

wikipedia: Wikipedia Envy-graph procedure#ZHCD, Examples (example)

History

2026-11-02: add by m2/dev

Q6771NQPZV Q6771NQPZV

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

Mentions

arxiv: arXiv 2610.19791#SOIR (statement). In AVDB4KJ6XB/e1, proposition 5.7

History

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

Beniamino Segre Q677KPNZ39

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

Mentions

wikipedia: Wikipedia List of Italian mathematicians#6Q7C, Beniamino Segre (topic)

History

2026-11-02: add by m2/dev

Dirichlet process Q67PVQYWRF

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

Mentions

wikipedia: Wikipedia List of statistics articles#50CK, Dirichlet process (definition)
wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#IMOK, Dirichlet process (definition)

History

2026-11-02: add by m2/dev

Emanuel Sperner Q67QAWX5Q7

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

Mentions

wikipedia: Wikipedia Emanuel Sperner, Emanuel Sperner (topic). Also Wikidata Q67293

History

2026-11-02: add by m2/dev

Q67SRRRVP2 Q67SRRRVP2

URI	`m2://inv/Q67SRRRVP2`
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#YV4R (statement). In SD43497T8C/e1, statement 2.6

History

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

Sargan test Q67W8QK728

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

Mentions

wikipedia: Wikipedia List of statistics articles#8KBN, Sargan test (definition)

History

2026-11-02: add by m2/dev

Q67XJDZRB1 Q67XJDZRB1

URI	`m2://inv/Q67XJDZRB1`
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#QV57 (statement). In RGXQ50RWXV/e1, theorem 4.1

History

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

Johannes Marquart Q681HM4HYD

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

Mentions

wikipedia: Wikipedia List of German mathematicians#NF98, Johannes Marquart (topic)

History

2026-11-02: add by m2/dev

Q685PZSKJZ Q685PZSKJZ

URI	`m2://inv/Q685PZSKJZ`
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.22170#ZSLU (statement). In 74MMMHHPW5/e1, proposition 5.4

History

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

Belle experiment Q6877HM2NZ

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

Mentions

wikidata: Wikidata Q815821, Belle experiment (unknown). Also nLab Belle experiment

History

2026-10-26: add by m2/dev

Scaling invariance of the First Main identity Q68FBC1HZR

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

Mentions

arxiv: arXiv 2610.10583#X424, Scaling invariance of the First Main identity (statement). In 5BZQS1KY9A/e1, corollary 2.9

History

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

Niemeier lattice Q68HNW3AHG

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

Mentions

wikipedia: Wikipedia Niemeier lattice, Niemeier lattice (definition). Also Wikidata Q7031665

History

2026-11-02: add by m2/dev

Xenocrates Q68M9DA7RW

URI	`m2://inv/Q68M9DA7RW`
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 Q214121, Xenocrates (unknown). Also ProofWiki Mathematician:Xenocrates_of_Chalcedon

History

2026-10-26: add by m2/dev

Reuschle's theorem Q68MHZF7X5

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

Mentions

mathlib_1000: mathlib_1000 Q2013213, Reuschle's theorem (statement). Also Wikidata Q2013213
thousand_plus: thousand_plus Q2013213, Reuschle's theorem (statement). Also Wikidata Q2013213, Wikipedia Reuschle's theorem
wikidata: Wikidata Q2013213, Reuschle's theorem (statement). Also MathWorld CyclocevianConjugate
wikidata: Wikidata Q3686997, cyclocevian conjugate (concept). Also MathWorld CyclocevianConjugate
wikipedia: Wikipedia Reuschle's theorem, Reuschle's theorem (statement). Also Wikidata Q2013213

History

2026-10-26: add by m2/dev

Fake 4-ball Q68R266B10

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

Mentions

wikipedia: Wikipedia Fake 4-ball, Fake 4-ball (definition). Also Wikidata Q5431456

History

2026-11-02: add by m2/dev

Copyright law Q68S8T8XDH

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

Mentions

wikipedia: Wikipedia Data mining#JL5H, Copyright law (statement)

History

2026-11-02: add by m2/dev

Q68XEETVBE Q68XEETVBE

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

Mentions

open_logic: open_logic content/intuitionistic-logic/semantics/propositions.tex#prop:propositions-true (statement). In PKGMM3P5QY, prop, section 32.4

History

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

Q68XNJE92R Q68XNJE92R

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

Mentions

napkin: napkin tex/alg-NT/classgrp.tex#example-4 (example). In RZP28ERRZV, example, section 9.2

History

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

Q690PQES1Y Q690PQES1Y

URI	`m2://inv/Q690PQES1Y`
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.09482#MH4V (statement). In VYMEQQVMBD/e1, theorem A

History

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

Examples Q694M5X8F6

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

Mentions

wikipedia: Wikipedia Isolated point#HSX1, Examples (example)

History

2026-11-02: add by m2/dev

Global regularity and exact mean response Q69EQHM34Q

URI	`m2://inv/Q69EQHM34Q`
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.03633#RKXB, Global regularity and exact mean response (statement). In X3E4D61X4V/e1, theorem A.4

History

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

Q69F9CZK4J Q69F9CZK4J

URI	`m2://inv/Q69F9CZK4J`
Kind	statement
Layer	research
MSC	37-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.04628#V1SH (statement). In MREZZ9NCY8/e1, proposition 4.1

History

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

Q69NHA9CQA Q69NHA9CQA

URI	`m2://inv/Q69NHA9CQA`
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.02535#8B67 (statement). In S26PXDSWM9/e1, proposition 4.4

History

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

Q69WP1796C Q69WP1796C

URI	`m2://inv/Q69WP1796C`
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 2208.05288#PDPS (statement). In RTW3GDYPND/e1, theorem 1.4

History

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

F. Thomas Farrell Q6A1ECRAZM

URI	`m2://inv/Q6A1ECRAZM`
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#Z1NH, F. Thomas Farrell (topic)

History

2026-11-02: add by m2/dev

Examples Q6A2EYB6V8

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

Mentions

wikipedia: Wikipedia Distributive law between monads#GORJ, Examples (example)

History

2026-11-02: add by m2/dev

Partial differential equation Q6A4KZF8YA

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

Mentions

wikipedia: Wikipedia List of algorithms#41BG, Partial differential equation (definition)

History

2026-11-02: add by m2/dev

Examples Q6A7V6N56Q

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

Mentions

wikipedia: Wikipedia Linear code#XGNL, Examples (example)

History

2026-11-02: add by m2/dev

Stateless Insertional Sampler Q6AAM4E7X2

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

Mentions

arxiv: arXiv 2610.14615#HBDL, Stateless Insertional Sampler (definition). In 7D5MMP8XB5/e1, definition 5.1

History

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

Q6AKFSGM6C Q6AKFSGM6C

URI	`m2://inv/Q6AKFSGM6C`
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.25190#Z3SH (statement)

History

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

septic Q6AQMXFWF2

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#MU4C, septic (definition)
wikipedia: Wikipedia Glossary of invariant theory#LJHX, septic (definition)

History

2026-11-02: add by m2/dev

Pakṣadhara Miśra Q6B6NRSH5Y

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

Mentions

wikipedia: Wikipedia List of teachers of Nyaya#71LL, Pakṣadhara Miśra (unknown)

History

2026-11-02: add by m2/dev

Q6BAEC9R4H Q6BAEC9R4H

URI	`m2://inv/Q6BAEC9R4H`
Kind	statement
Layer	research
MSC	35-XX, 46-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.05391#YWO9 (statement). In 9B5TNEBJHV/e1, lemma 2.31

History

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

Irreducibility under multiplicative middle convolution Q6BC1969WG

URI	`m2://inv/Q6BC1969WG`
Kind	statement
Layer	research
MSC	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.25805#AHSR, Irreducibility under multiplicative middle convolution (statement)

History

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

Boolean algebras canonically defined Q6BGY8FDNA

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

Mentions

wikipedia: Wikipedia Boolean algebras canonically defined, Boolean algebras canonically defined (definition). Also Wikidata Q4943350

History

2026-11-02: add by m2/dev

Q6BM6SQ3NZ Q6BM6SQ3NZ

URI	`m2://inv/Q6BM6SQ3NZ`
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.16821#5LIG (statement). In EFSGMHG5BW/e1, theorem F

History

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

Q6BPBRJ0K5 Q6BPBRJ0K5

URI	`m2://inv/Q6BPBRJ0K5`
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.10365#M5O4 (statement). In PRVQPSBVHK/e1, theorem 4

History

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

Arithmetization of syntax Q6BVJY4FAC

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

Mentions

wikipedia: Wikipedia Gödel's incompleteness theorems#B2A6, Arithmetization of syntax (unknown)

History

2026-11-02: add by m2/dev

Paul E. Green Q6BW4VE50N

URI	`m2://inv/Q6BW4VE50N`
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#9B2L, Paul E. Green (unknown)

History

2026-11-02: add by m2/dev

Conservation laws on diffeomorphic shape momentum for computational anatomy Q6C156PJSG

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

Mentions

wikipedia: Wikipedia Computational anatomy#46ZM, Conservation laws on diffeomorphic shape momentum for computational anatomy (statement)

History

2026-11-02: add by m2/dev

Q6C1KF33DS Q6C1KF33DS

URI	`m2://inv/Q6C1KF33DS`
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.14217#WKTO (statement). In K0DHYQC5B7/e1, lemma 3.1

History

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

785 (number) Q6C47VMMED

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

Mentions

wikipedia: Wikipedia 700 (number)#K5OI, 785 (number) (unknown)

History

2026-11-02: add by m2/dev

Definition Q6C9D5J3JY

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

Mentions

wikipedia: Wikipedia Spin foam#3CW1, Definition (definition)

History

2026-11-02: add by m2/dev

Kepler conjecture Q6CAT961AA

URI	`m2://inv/Q6CAT961AA`
Kind	statement
Layer	textbook
Sources	2
Outcome	open
Node	Kepler conjecture AFMBQT06ZV

Mentions

wikidata: Wikidata Q966873, Kepler conjecture (problem). Also MathWorld KeplerConjecture
wikipedia: Wikipedia Kepler conjecture, Kepler conjecture (statement). Also Wikidata Q966873

History

2026-10-26: add by m2/dev

Q6CDT75ZJW Q6CDT75ZJW

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/counting-conc.ptx#exercise-6 (exercise). In Y91XFCEVHQ, exercise, section 2.7

History

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

Brooks' theorem Q6CF4YHZKN

URI	`m2://inv/Q6CF4YHZKN`
Kind	statement
Layer	textbook
MSC	05-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Brooks' theorem 0Y4TV2D5RQ

Mentions

arxiv: arXiv 2610.14374#09KF, Brooks' Theorem (statement). In YPTC532FEG/e1, theorem 1
mathlib_1000: mathlib_1000 Q512897, Brooks's theorem (statement). Also Wikidata Q512897
thousand_plus: thousand_plus Q512897, Brooks's theorem (statement). Also Wikidata Q512897, Wikipedia Brooks's theorem
wikidata: Wikidata Q512897, Brooks' theorem (statement). Also MathWorld BrooksTheorem
wikipedia: Wikipedia Brooks' theorem, Brooks' theorem (statement). Also Wikidata Q512897

History

2026-10-26: add by m2/dev
2026-10-27: outcome by agent
2026-10-31: merge by m2/v0.5.6

sum of two squares theorem Q6CFWP2QB4

URI	`m2://inv/Q6CFWP2QB4`
Kind	statement
Layer	textbook
Sources	2
Outcome	node (a node has the same Wikidata item as the row)
Node	Sum of two squares theorem 04NPWJMA6H

Mentions

wikidata: Wikidata Q25303848, sum of two squares theorem (statement). Also OEIS A001481
wikipedia: Wikipedia Sum of two squares theorem, Sum of two squares theorem (statement). Also Wikidata Q25303848

History

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

More quotient spaces Q6CJHEX3P5

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

Mentions

napkin: napkin tex/topology/constructions.tex#example-2, More quotient spaces (example). In RZP28ERRZV, example, section 96.2

History

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

Skoda Q6CMJSM0Q9

URI	`m2://inv/Q6CMJSM0Q9`
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.33300#NLMD, Skoda (statement). In AWF7ZHK4EM/e1, theorem 1.1

History

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

Stinespring factorization theorem Q6CS7E3YHQ

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

Mentions

wikipedia: Wikipedia List of theorems#POIP, Stinespring factorization theorem (statement)

History

2026-11-02: add by m2/dev

Q6CVNWWW3P Q6CVNWWW3P

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

History

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

Examples Q6CZNXEJRD

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

Mentions

wikipedia: Wikipedia Outcome switching#SB5A, Examples (example)

History

2026-11-02: add by m2/dev

Q6D0TEJR49 Q6D0TEJR49

URI	`m2://inv/Q6D0TEJR49`
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.13745#BGF2 (statement). In CFJH0Q39FZ/e1, corollary 4.3

History

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

Analysis of covariance Q6DCX3BCAH

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

Mentions

wikipedia: Wikipedia Analysis of covariance, Analysis of covariance (definition). Also Wikidata Q1628597

History

2026-11-02: add by m2/dev

Landau's theorem Q6DE8TKC8P

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

Mentions

wikipedia: Wikipedia Bloch's theorem (complex analysis)#H5BM, Landau's theorem (statement)

History

2026-11-02: add by m2/dev

Q6E50YAXNG Q6E50YAXNG

URI	`m2://inv/Q6E50YAXNG`
Kind	problem
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 2011.07352#VXU9 (problem). In 3VPC1GGZ3E/e1, problem 8.3

History

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

Perfect lattice Q6EACWJCF2

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

Mentions

wikipedia: Wikipedia Perfect lattice, Perfect lattice (definition). Also Wikidata Q7168085

History

2026-11-02: add by m2/dev

Q6EH7BERBV Q6EH7BERBV

URI	`m2://inv/Q6EH7BERBV`
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 2605.30679#8AXO (statement). In Z31GMHMG7B/e1, lemma 5

History

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

Q6ENS07CTR Q6ENS07CTR

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

Mentions

arxiv: arXiv 2610.08151#SGVE (statement). In A0HQ7ZGK3B/e1, theorem 1

History

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

vertex-critical graph Q6F2Y0K2F7

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

Mentions

wikidata: Wikidata Q141665384, vertex-critical graph (unknown). Also MathWorld Vertex-CriticalGraph

History

2026-10-26: add by m2/dev

Paul Halmos Q6F80FFGVH

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#8EIP, Paul Halmos (topic)

History

2026-11-02: add by m2/dev

Q6FHG1TNN5 Q6FHG1TNN5

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

Mentions

arxiv: arXiv 2110.11143#JL68 (statement). In VTVC0TCWSB/e1, theorem

History

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

tensor product of representations Q6FHWK51E9

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

Mentions

wikidata: Wikidata Q48995828, tensor product of representations (unknown). Also nLab tensor product of representations
wikipedia: Wikipedia Tensor product of representations, Tensor product of representations (definition). Also Wikidata Q48995828

History

2026-10-26: add by m2/dev

Definition Q6FNNJF7DW

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

Mentions

wikipedia: Wikipedia Magnetic vector potential#L7CY, Definition (definition)

History

2026-11-02: add by m2/dev

Q6FT1RRPEP Q6FT1RRPEP

URI	`m2://inv/Q6FT1RRPEP`
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.08288#R0E3 (statement). In CHVWYJM7RM/e1, lemma D.7

History

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

Q6G00AEA7C Q6G00AEA7C

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

Mentions

open_logic: open_logic content/set-theory/ordinals/wo.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 73.4

History

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

Regular measure Q6G0S6S64G

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

Mentions

wikipedia: Wikipedia Regular measure, Regular measure (definition). Also Wikidata Q1428110

History

2026-11-02: add by m2/dev

Q6G2SHN3HK Q6G2SHN3HK

URI	`m2://inv/Q6G2SHN3HK`
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.01197#H93E (statement). In WDWDY0VP18/e1, lemma 8

History

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

Q6G688QRCD Q6G688QRCD

URI	`m2://inv/Q6G688QRCD`
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#D3O6 (statement). In WYXQDSQR9B/e1, proposition 3.3

History

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

Eckman layer Q6GDN5N4SB

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

Mentions

wikipedia: Wikipedia Ekman transport#RWDW, Eckman layer (unknown)

History

2026-11-02: add by m2/dev

Feit–Thompson conjecture Q6GGXBMA8H

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

Mentions

wikipedia: Wikipedia List of unsolved problems in mathematics#X5WY, Feit–Thompson conjecture (conjecture)

History

2026-11-02: add by m2/dev

Q6H3NAQ5JQ Q6H3NAQ5JQ

URI	`m2://inv/Q6H3NAQ5JQ`
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#LZXJ (statement). In V7SN19J84T/e1, lemma 6.10

History

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

Product stability Q6HEEDMBZY

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

Mentions

arxiv: arXiv 2609.23281#4WVS, Product stability (statement)

History

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

Q6HGJ0NA3R Q6HGJ0NA3R

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

Mentions

arxiv: arXiv 2610.14847#07ME (definition). In 2RC8WXQ9ET/e1, definition 2.2

History

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

Minkowski functional Q6HHX4MXM9

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

Mentions

wikipedia: Wikipedia Minkowski functional, Minkowski functional (definition). Also Wikidata Q649472

History

2026-11-02: add by m2/dev

Q6HX5ZQ0HG Q6HX5ZQ0HG

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

Mentions

arxiv: arXiv 2610.21954#C1JB (statement). In F2XATDBRK4/e1, lemma 3

History

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

Q6J1TVND2S Q6J1TVND2S

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-basics.ptx#exercise-17 (exercise). In Y91XFCEVHQ, exercise, section 3.1

History

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

Q6J4R48E8Z Q6J4R48E8Z

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

Mentions

open_logic: open_logic content/turing-machines/machines-computations/combining-machines.tex#ex-1 (example). In PKGMM3P5QY, ex, section 85.3

History

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

Nodal Norms of Shifted Sines Q6JB329C93

URI	`m2://inv/Q6JB329C93`
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.13222#IC7C, Nodal Norms of Shifted Sines (statement). In Z6WA2R0J50/e1, lemma C.1

History

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

Q6JT26XV0C Q6JT26XV0C

URI	`m2://inv/Q6JT26XV0C`
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.03353#VDSL (statement). In 8W61T5CSRB/e1, theorem 4.1

History

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

Q6K1X1H97D Q6K1X1H97D

URI	`m2://inv/Q6K1X1H97D`
Kind	conjecture
Layer	research
MSC	14-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.09171#KH8N (conjecture). In 5ZPSZFE08Q/e1, conjecture 1.6

History

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

Geometric duality of the doubled base Q6K8GBWNKV

URI	`m2://inv/Q6K8GBWNKV`
Kind	statement
Layer	research
MSC	11-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 2501.09848#6WZ9, Geometric duality of the doubled base (statement). In HF7YNMW39N/e1, theorem 13.5

History

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

Special number field sieve Q6KAM9VXYQ

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

Mentions

wikipedia: Wikipedia Special number field sieve, Special number field sieve (definition). Also Wikidata Q655079

History

2026-11-02: add by m2/dev

Q6KMRMSEVK Q6KMRMSEVK

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

Mentions

arxiv: arXiv 2610.08776#10ZP (statement). In ZQ4M778EA7/e1, theorem F

History

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

A theorem of Moore Q6KNJWJPZM

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

Mentions

wikipedia: Wikipedia Dold–Thom theorem#2XKK, A theorem of Moore (statement)

History

2026-11-02: add by m2/dev

Cosmic space Q6KRZYNFP8

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

Mentions

wikipedia: Wikipedia Glossary of general topology#81MK, Cosmic space (definition)

History

2026-11-02: add by m2/dev

Bojan Mohar Q6KZ93H86S

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#H0UB, Bojan Mohar (unknown)

History

2026-11-02: add by m2/dev

Q6M2ZG3H5G Q6M2ZG3H5G

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

Mentions

arxiv: arXiv 2609.27056#X3XX (definition)

History

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

Problem Solving in Physics Q6M5ZB8P7Z

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

Mentions

wikipedia: Wikipedia Problem solving#8HXE, Problem Solving in Physics (unknown)

History

2026-11-02: add by m2/dev

Q6MD9K59C5 Q6MD9K59C5

URI	`m2://inv/Q6MD9K59C5`
Kind	example
Layer	research
MSC	05-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.17135#20Z5 (example). In XX1J2REXY2/e1, example 4.2

History

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

Q6MRCMSNJH Q6MRCMSNJH

URI	`m2://inv/Q6MRCMSNJH`
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#NGVN (statement). In WMVRX5GV9P/e1, theorem 3.5

History

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

Lemma 34.7 (1), (3 Q6MRNF7HBV

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

Mentions

arxiv: arXiv 2610.16241#693L, Lemma 34.7 (1), (3 (statement). In WNDHZVY4WK/e1, lemma A.19

History

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

Q6MVXV0WZP Q6MVXV0WZP

URI	`m2://inv/Q6MVXV0WZP`
Kind	statement
Layer	research
MSC	26-XX, 35-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.01958#QTCY (statement). In NQFYT2M6YZ/e1, theorem 5.3

History

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

Q6N5EVA4K5 Q6N5EVA4K5

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#proof-6 (proof). In E59CDZA4DP, proof, section 4.2.2

History

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

Localization with fixed parameter collars Q6NA93WEC2

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

Mentions

arxiv: arXiv 2610.03298#UJGB, Localization with fixed parameter collars (statement). In 9SBZP218SM/e1, lemma 5.1

History

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

Approximation theorem Q6NBN9G2F0

URI	`m2://inv/Q6NBN9G2F0`
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.07790#TFHV, Approximation theorem (statement). In A5YJDDM0NX/e1, proposition 4.4

History

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

Q6NFA2KGF6 Q6NFA2KGF6

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

Mentions

arxiv: arXiv 2610.04730#9UVM (statement). In QHFP0837Q8/e1, corollary 3.11

History

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

HAVAL Q6NHGKKW3J

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

Mentions

wikipedia: Wikipedia HAVAL, HAVAL (definition). Also Wikidata Q675690

History

2026-11-02: add by m2/dev

Q6NHV1T93K Q6NHV1T93K

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

Mentions

arxiv: arXiv 2610.19791#8CD8 (statement). In AVDB4KJ6XB/e1, lemma 4.8

History

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

isomorphism Q6NZJAQKJB

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

Mentions

wikidata: Wikidata Q189112, isomorphism (definition). Also EoM Isomorphism, MathWorld Isomorphism, nLab isomorphism, ProofWiki Definition:Isomorphism_(Category_Theory)
wikipedia: Wikipedia Isomorphism, Isomorphism (definition). Also Wikidata Q189112

History

2026-10-26: add by m2/dev

Nonsingular odometer Q6NZSZJC4P

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

Mentions

wikipedia: Wikipedia Markov odometer#DNIL, Nonsingular odometer (unknown)

History

2026-11-02: add by m2/dev

Calibration rate of the symmetric score Q6PCMQJ29S

URI	`m2://inv/Q6PCMQJ29S`
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.33866#4MJ0, Calibration rate of the symmetric score (statement). In Y3MSGX6472/e1, lemma 14

History

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

Q6PEDZ1Z5C Q6PEDZ1Z5C

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

Mentions

arxiv: arXiv 2610.17060#3PIG (definition). In 5KR3MHYVV6/e1, definition 3.2

History

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

double curve Q6PNGPEWKK

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#0XNB, double curve (definition)

History

2026-11-02: add by m2/dev

Blue–seven phenomenon Q6PRZT2A7H

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

Mentions

wikipedia: Wikipedia Blue–seven phenomenon, Blue–seven phenomenon (definition). Also Wikidata Q30750027

History

2026-11-02: add by m2/dev

Great Internet Mersenne Prime Search Q6PS5GNT14

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

Mentions

wikipedia: Wikipedia Great Internet Mersenne Prime Search, Great Internet Mersenne Prime Search (definition). Also Wikidata Q585175

History

2026-11-02: add by m2/dev

Jacobi--Pi\ neiro polynomial Rodrigues formula Q6PT841K5H

URI	`m2://inv/Q6PT841K5H`
Kind	statement
Layer	research
MSC	26-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.26110#E30O, Jacobi--Pi\ neiro polynomial Rodrigues formula (statement)

History

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

Pafnuti Chebyshev Q6Q4AQBYHP

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

Mentions

wikipedia: Wikipedia List of Russian mathematicians#KYEW, Pafnuti Chebyshev (topic)

History

2026-11-02: add by m2/dev

Grand canonical partition function Q6Q5E7D90H

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

Mentions

wikipedia: Wikipedia Partition function (statistical mechanics)#SLDG, Grand canonical partition function (unknown)

History

2026-11-02: add by m2/dev

Q6Q7VTQKAE Q6Q7VTQKAE

URI	`m2://inv/Q6Q7VTQKAE`
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.14837#9GB1 (statement). In J4P6HXMJCH/e1, proposition 6.5

History

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

quasi-random graph sequence Q6QC7R6TZ5

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

Mentions

wikipedia: Wikipedia Glossary of graph theory#I1N2, quasi-random graph sequence (definition)

History

2026-11-02: add by m2/dev

Bryan John Birch Q6QECSM2YN

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

Mentions

wikipedia: Wikipedia Bryan John Birch, Bryan John Birch (topic). Also Wikidata Q950911

History

2026-11-02: add by m2/dev

axiom, Streicher's Axiom K Q6QGZ3SQW7

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

Mentions

hott_book: hott_book index/A.12.3/axiom-streicher-s-axiom-k, axiom, Streicher's Axiom K (concept). In N54F33XE07, index, section A.12.3

History

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

Complete diagonal pair credit Q6QKHSPDJE

URI	`m2://inv/Q6QKHSPDJE`
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.37164#NL0H, Complete diagonal pair credit (statement). In B2PG75FSQJ/e1, proposition 8.6

History

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

Example Q6QNTJCTGD

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

Mentions

wikipedia: Wikipedia Cohen–Macaulay ring#3L7O, Example (example)

History

2026-11-02: add by m2/dev

Griffith C. Evans Q6QY05ADB2

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

Mentions

wikipedia: Wikipedia Griffith C. Evans, Griffith C. Evans (topic). Also Wikidata Q328433

History

2026-11-02: add by m2/dev

Green function of the no-flux problem Q6R5VZJH8S

URI	`m2://inv/Q6R5VZJH8S`
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.32585#TSQP, Green function of the no-flux problem (statement). In FJFJ3WR1SS/e1, theorem 4.1

History

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

free, complete metric space Q6R8SNP0NJ

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

Mentions

hott_book: hott_book index/B.3/free-complete-metric-space, free, complete metric space (concept). In N54F33XE07, index, section B.3

History

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

A finite source recovers the complete Hamming curve Q6R8W7ND3M

URI	`m2://inv/Q6R8W7ND3M`
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.38228#IARU, A finite source recovers the complete Hamming curve (example). In 9YAE8FNQST/e1, example 23.5

History

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

Lang's theorem Q6RCEGH1MN

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

Mentions

wikipedia: Wikipedia Lang's theorem, Lang's theorem (statement). Also Wikidata Q6487014

History

2026-11-02: add by m2/dev

Wanxiong Shi Q6RDCFC4NZ

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

Mentions

wikipedia: Wikipedia Wanxiong Shi, Wanxiong Shi (topic). Also Wikidata Q102169825

History

2026-11-02: add by m2/dev

Arithmetic Q6RGRJ9GY8

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#A8LD, Arithmetic (definition)

History

2026-11-02: add by m2/dev

Properties Q6RHSPBGC2

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

Mentions

wikipedia: Wikipedia Tychonoff space#2B6M, Properties (statement)

History

2026-11-02: add by m2/dev

Q6RJDEE19H Q6RJDEE19H

URI	`m2://inv/Q6RJDEE19H`
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.18859#RIAE (statement). In PSH9N14H7V/e1, theorem 1.1

History

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

Dora Metcalf Q6RK8YT6RD

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

Mentions

wikipedia: Wikipedia Dora Metcalf, Dora Metcalf (topic). Also Wikidata Q94158458

History

2026-11-02: add by m2/dev

Jordan–Schur theorem Q6RN002DR3

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

Mentions

mathlib_1000: mathlib_1000 Q2360531, Jordan–Schur theorem (statement). Also Wikidata Q2360531
thousand_plus: thousand_plus Q2360531, Jordan–Schur theorem (statement). Also Wikidata Q2360531, Wikipedia Jordan–Schur theorem
wikipedia: Wikipedia Jordan–Schur theorem, Jordan–Schur theorem (statement). Also Wikidata Q2360531

History

2026-10-26: add by m2/dev

Optimal contraction factor Q6RSRGSSWV

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

Mentions

arxiv: arXiv 2609.26058#BO5N, Optimal contraction factor (statement)

History

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

John H. Wolfe Q6RTWSF725

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

Mentions

wikipedia: Wikipedia John H. Wolfe, John H. Wolfe (topic). Also Wikidata Q101076071

History

2026-11-02: add by m2/dev

Q6S255W7J2 Q6S255W7J2

URI	`m2://inv/Q6S255W7J2`
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.20225#N44J (example)

History

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

Q6S4CPZN2E Q6S4CPZN2E

URI	`m2://inv/Q6S4CPZN2E`
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 2306.08237#WHCQ (statement). In E22A2MFR4Y/e1, lemma 3.8

History

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

Q6S58ZYVM3 Q6S58ZYVM3

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

Mentions

open_logic: open_logic content/incompleteness/representability-in-q/representable-comp.tex#lem:rep-q (statement). In PKGMM3P5QY, lem, section 30.1

History

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

Q6S5S52J4X Q6S5S52J4X

URI	`m2://inv/Q6S5S52J4X`
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 2404.05965#MAWK (statement). In GD1GED3FZ3/e1, proposition 8.3

History

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

Applications Q6SJZ878H6

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

Mentions

wikipedia: Wikipedia Supervised learning#8G5F, Applications (example)

History

2026-11-02: add by m2/dev

Q6SMHV4HZE Q6SMHV4HZE

URI	`m2://inv/Q6SMHV4HZE`
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.22040#W7ZZ (statement). In 2QP93JHYNB/e1, proposition 8.13

History

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

Q6T2KGF3NH Q6T2KGF3NH

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

Mentions

arxiv: arXiv 2610.17060#26HZ (statement). In 5KR3MHYVV6/e1, lemma 3.14

History

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

Q6TT3E4S9N Q6TT3E4S9N

URI	`m2://inv/Q6TT3E4S9N`
Kind	statement
Layer	research
MSC	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 2303.09207#5JB9 (statement). In 9DQKY7KGE8/e1, lemma 4.9

History

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

Wielandt theorem Q6TTR7E7JW

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

Mentions

wikipedia: Wikipedia Wielandt theorem, Wielandt theorem (statement). Also Wikidata Q3527182

History

2026-11-02: add by m2/dev

Complex formulas and sentences Q6TYGRE16P

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

Mentions

wikipedia: Wikipedia Dependence logic#N9SE, Complex formulas and sentences (statement)

History

2026-11-02: add by m2/dev

Pareidolia Q6TYPP2ZZK

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

Mentions

wikipedia: Wikipedia List of cognitive biases#J90P, Pareidolia (unknown)

History

2026-11-02: add by m2/dev

Frostman's Lemma Q6V3G6AYGQ

URI	`m2://inv/Q6V3G6AYGQ`
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 2511.05069#UP0A, Frostman's Lemma (statement). In SFQBJBTW8K/e1, theorem 2.2

History

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

Q6VBC02SN9 Q6VBC02SN9

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

Mentions

arxiv: arXiv 2609.30730#8K1T (statement). In 7R7ANDMWG4/e1, proposition 9.1

History

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

Q6VCF59G2Z Q6VCF59G2Z

URI	`m2://inv/Q6VCF59G2Z`
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 0807.1652#RKQW (statement). In 6RC18PTSTT/e1, theorem 8

History

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

Thin set in the sense of Serre Q6VGGD4VVW

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

Mentions

wikipedia: Wikipedia List of things named after Jean-Pierre Serre#67Z2, Thin set in the sense of Serre (definition)

History

2026-11-02: add by m2/dev

Lie group theory Q6VKABZTFB

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

Mentions

wikipedia: Wikipedia Glossary of areas of mathematics#BITW, Lie group theory (definition)

History

2026-11-02: add by m2/dev

Elliptic singularity Q6VQ9D67ZC

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

Mentions

wikipedia: Wikipedia Elliptic singularity, Elliptic singularity (definition). Also Wikidata Q5365802

History

2026-11-02: add by m2/dev

union Q6W2Y360MV

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

Mentions

wikipedia: Wikipedia Glossary of set theory#5DQT, union (definition)

History

2026-11-02: add by m2/dev

conjugate elements Q6W69D82S8

URI	`m2://inv/Q6W69D82S8`
Kind	definition
Layer	textbook
Sources	1
Outcome	deferred (the item has its own article, page 458467)
Node	None yet. Write the node.

Mentions

wikipedia: Wikipedia Glossary of group theory#QWSC, conjugate elements (definition)

History

2026-11-02: add by m2/dev
2026-11-03: outcome by m2 corpus adopt

Grade involution Q6W8D34J4B

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

Mentions

wikipedia: Wikipedia Superalgebra#GJ8R, Grade involution (unknown)

History

2026-11-02: add by m2/dev

Chung Tao Yang Q6WAKX8NQG

URI	`m2://inv/Q6WAKX8NQG`
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 Q3710516, Chung Tao Yang (unknown). Also nLab Chung Tao Yang
wikipedia: Wikipedia Chung Tao Yang, Chung Tao Yang (topic). Also Wikidata Q3710516

History

2026-10-26: add by m2/dev

Q6WCWY1SZN Q6WCWY1SZN

URI	`m2://inv/Q6WCWY1SZN`
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.36717#GHVK (statement). In 69FBWG9P3B/e1, lemma 3.6

History

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

Definition Q6WHP1WSX6

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

Mentions

wikipedia: Wikipedia Crystal base#GMZP, Definition (definition)

History

2026-11-02: add by m2/dev

Q6WST360DV Q6WST360DV

URI	`m2://inv/Q6WST360DV`
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.36389#ACDF (statement). In N1S169J2MV/e1, proposition 10

History

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

Analytic spread Q6WY327DFK

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

Mentions

wikipedia: Wikipedia Ideal theory#G50B, Analytic spread (unknown)

History

2026-11-02: add by m2/dev

Jacques Faraut Q6X0KFHYPC

URI	`m2://inv/Q6X0KFHYPC`
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#47BZ, Jacques Faraut (unknown)

History

2026-11-02: add by m2/dev

Q6X3VHVZ9X Q6X3VHVZ9X

URI	`m2://inv/Q6X3VHVZ9X`
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.10365#BJ4F (statement). In PRVQPSBVHK/e1, corollary 9

History

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

Analog encryption Q6XQBGCB3A

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

Mentions

wikipedia: Wikipedia Coding theory#IJMZ, Analog encryption (unknown)

History

2026-11-02: add by m2/dev

Q6XRDVWM2J Q6XRDVWM2J

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

Mentions

open_logic: open_logic content/proof-theory/normalization/normalization-thm.tex#thm:normalization (statement). In PKGMM3P5QY, thm, section 58.7

History

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

Implementations Q6XZBJSQQG

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

Mentions

wikipedia: Wikipedia Guillotine cutting#UJS1, Implementations (definition)

History

2026-11-02: add by m2/dev

Motivic Euler product Q6Y363WD0P

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

Mentions

arxiv: arXiv 2106.11898#F9R7, Motivic Euler product (definition). In KXXV5X8AG4/e1, definition 1.1

History

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

Gaussian factorization Q6Y4GEM70B

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

Mentions

arxiv: arXiv 2609.21271#TKLT, Gaussian factorization (statement)

History

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

geodesic curve Q6Y5Y23V09

URI	`m2://inv/Q6Y5Y23V09`
Kind	definition
Layer	textbook
MSC	53C22
Sources	2
Outcome	open
Node	Geodesic NSYMQMHPDN

Mentions

wikidata: Wikidata Q213488, geodesic curve (topic). Also MathWorld Geodesic, nLab geodesic, ProofWiki Definition:Geodesic_Curve
wikipedia: Wikipedia Geodesic, Geodesic (definition). Also Wikidata Q213488

History

2026-10-26: add by m2/dev

castling Q6Y8428TM9

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

Mentions

wikidata: Wikidata Q102877, castling (definition). Also ProofWiki Definition:Chess/Rules/Castling

History

2026-10-26: add by m2/dev

Q6Y85D099M Q6Y85D099M

URI	`m2://inv/Q6Y85D099M`
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.14249#C3GF (statement). In B6P8PG8R8T/e1, proposition 3.1

History

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

Notation Q6Y8STTX31

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

Mentions

wikipedia: Wikipedia Woo–Lam#JN0O, Notation (definition)

History

2026-11-02: add by m2/dev

Q6YBW2A266 Q6YBW2A266

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

Mentions

arxiv: arXiv 2609.20894#SEQL (definition)

History

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

Flip graph Q6YBW4VHRD

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

Mentions

wikipedia: Wikipedia Flip graph, Flip graph (definition). Also Wikidata Q25304075

History

2026-11-02: add by m2/dev

Q6YD393JXZ Q6YD393JXZ

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

Mentions

open_logic: open_logic content/sets-functions-relations/sets/unions-and-intersections.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 83.2

History

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

recurrence equation, constant coefficients Q6YFNHZ5Y2

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

Mentions

applied_combinatorics: applied_combinatorics index/9.3.1/recurrence-equation-constant-coefficients, recurrence equation, constant coefficients (concept). In QKM9DD2H56, index, section 9.3.1

History

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

Q6YG62XGKY Q6YG62XGKY

URI	`m2://inv/Q6YG62XGKY`
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.17565#18ES (statement). In C422901XCN/e1, lemma 4.2

History

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

integral Q6YQ207D3J

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

Mentions

wikipedia: Wikipedia Glossary of mathematical symbols#61EB, integral (definition)

History

2026-11-02: add by m2/dev

Venezuelan Mathematical Association Q6YQSVMH55

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

Mentions

wikipedia: Wikipedia List of mathematical societies#5T56, Venezuelan Mathematical Association (definition)

History

2026-11-02: add by m2/dev

Q6YT0BSR3R Q6YT0BSR3R

URI	`m2://inv/Q6YT0BSR3R`
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.03661#IZNL (definition). In ESDKTYDHC8/e1, definition 27

History

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

Q6YZ22PZZY Q6YZ22PZZY

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

Mentions

arxiv: arXiv 2609.26017#RJ2G (statement)

History

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

Plane cubic curve Q6Z4XKMJ6K

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

Mentions

wikipedia: Wikipedia Plane cubic curve, Plane cubic curve (definition). Also Wikidata Q2369721

History

2026-11-02: add by m2/dev

Q6Z78FKEHE Q6Z78FKEHE

URI	`m2://inv/Q6Z78FKEHE`
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.34551#JR6A (statement). In 3AF7G56AGE/e1, lemma 3.2

History

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

Q6Z8RTEG45 Q6Z8RTEG45

URI	`m2://inv/Q6Z8RTEG45`
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.26701#UQL1 (conjecture)

History

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

Karl Pearson Q6ZAB22RSV

URI	`m2://inv/Q6ZAB22RSV`
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 Q310794, Karl Pearson (unknown). Also EoM Pearson,_Karl
wikipedia: Wikipedia Karl Pearson, Karl Pearson (topic). Also Wikidata Q310794

History

2026-10-26: add by m2/dev

Q6ZASXJH5J Q6ZASXJH5J

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

Mentions

arxiv: arXiv 2407.02022#36JA (statement). In RZDNWV9E29/e1, lemma 2.24

History

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

Q6ZAWP56PP Q6ZAWP56PP

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-laplace.tex#ltc:convsincosex (example). In E9HS8K3A52, example, section 7.3.1

History

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

Gordon Plotkin Q6ZCC469TT

URI	`m2://inv/Q6ZCC469TT`
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 Q967536, Gordon Plotkin (unknown). Also nLab Gordon Plotkin

History

2026-10-26: add by m2/dev

The Generalized Central Limit Theorem Q6ZGYNMTMY

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

Mentions

wikipedia: Wikipedia Stable distribution#7NFN, The Generalized Central Limit Theorem (statement)

History

2026-11-02: add by m2/dev

The Lefschetz hyperplane theorem for complex projective varieties Q6ZK3H6WR9

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

Mentions

wikipedia: Wikipedia Lefschetz hyperplane theorem#4R9S, The Lefschetz hyperplane theorem for complex projective varieties (statement)

History

2026-11-02: add by m2/dev

Shayle R. Searle Q6ZMJ7PJGC

URI	`m2://inv/Q6ZMJ7PJGC`
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#KXTT, Shayle R. Searle (topic)

History

2026-11-02: add by m2/dev

Daniel Pedoe Q6ZN00727S

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

Mentions

wikipedia: Wikipedia List of geometers#6S3Z, Daniel Pedoe (topic)

History

2026-11-02: add by m2/dev

Q6ZRVGWNPJ Q6ZRVGWNPJ

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

Mentions

arxiv: arXiv 2609.34856#RT45 (statement). In MRR92GQNZE/e1, theorem E

History

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

Fisher's principles Q6ZSCEWH7N

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

Mentions

wikipedia: Wikipedia Design of experiments#L17F, Fisher's principles (statement)

History

2026-11-02: add by m2/dev