Inventory rows CA

Argument from nonbelief CA0061FMC7

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

Mentions

wikipedia: Wikipedia Argument from nonbelief, Argument from nonbelief (definition). Also Wikidata Q1752697

History

2026-11-02: add by m2/dev

CA00WHSX20 CA00WHSX20

URI	`m2://inv/CA00WHSX20`
Kind	statement
Layer	research
MSC	11-XX, 20-XX, 22-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 2609.35543#8IG0 (statement). In WSG1ZW956E/e1, lemma 4.3

History

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

CA0DHJXJQ0 CA0DHJXJQ0

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

Mentions

arxiv: arXiv 2609.24448#VHAJ (statement)

History

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

Maria Klawe CA0MYMR131

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#Z1WL, Maria Klawe (unknown)

History

2026-11-02: add by m2/dev

CA0VQEDMGQ CA0VQEDMGQ

URI	`m2://inv/CA0VQEDMGQ`
Kind	problem
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 2411.01837#8U7J (problem). In 2XBYZ1QP22/e1, problem 1.2

History

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

List of statistical software CA12KAAKF4

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

Mentions

wikipedia: Wikipedia List of statistical software, List of statistical software (topic). Also Wikidata Q494735

History

2026-11-02: add by m2/dev

Luigi Bianchi CA16E1FB48

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

Mentions

wikipedia: Wikipedia List of geometers#820L, Luigi Bianchi (topic)

History

2026-11-02: add by m2/dev

CA1BVZVEXV CA1BVZVEXV

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

Mentions

arxiv: arXiv 2610.20097#JO54 (statement). In Q61JJV39K1/e1, lemma 2.1

History

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

Bivariate data CA1EMY8NCA

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

Mentions

wikipedia: Wikipedia Bivariate data, Bivariate data (definition). Also Wikidata Q4919224

History

2026-11-02: add by m2/dev

TidyTuesday CA1FMEW4B3

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

Mentions

wikipedia: Wikipedia TidyTuesday, TidyTuesday (definition). Also Wikidata Q133809008

History

2026-11-02: add by m2/dev

Dominance-based rough set approach CA1RM0EWVC

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

Mentions

wikipedia: Wikipedia Dominance-based rough set approach, Dominance-based rough set approach (definition). Also Wikidata Q5290286

History

2026-11-02: add by m2/dev

Zahlbericht CA1SMGS3CW

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

Mentions

wikipedia: Wikipedia Zahlbericht, Zahlbericht (definition). Also Wikidata Q8064699

History

2026-11-02: add by m2/dev

Shafarevich CA204DTQNE

URI	`m2://inv/CA204DTQNE`
Kind	statement
Layer	research
MSC	11-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.22297#01VT, Shafarevich (statement)

History

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

Properties CA209HX6A2

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

Mentions

wikipedia: Wikipedia SIC-POVM#KO1O, Properties (statement)

History

2026-11-02: add by m2/dev

CA20MZ49MR CA20MZ49MR

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

Mentions

arxiv: arXiv 2609.26410#7OWN (statement)

History

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

Supra-regular languages CA20T8FZD6

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

Mentions

wikipedia: Wikipedia Chomsky hierarchy#CT3Q, Supra-regular languages (unknown)

History

2026-11-02: add by m2/dev

Test item CA25DGMMQZ

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

Mentions

wikipedia: Wikipedia Questionnaire construction#AZVA, Test item (unknown)

History

2026-11-02: add by m2/dev

Extensions CA25PWSTJT

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

Mentions

wikipedia: Wikipedia Convergent cross mapping#ZUWF, Extensions (statement)

History

2026-11-02: add by m2/dev

Zeitschrift für Mathematik und Physik CA27JDC0PW

URI	`m2://inv/CA27JDC0PW`
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 Q27902656, Zeitschrift für Mathematik und Physik (unknown). Also ProofWiki Book:Journal/Zeitschrift_für_Mathematik_und_Physik

History

2026-10-26: add by m2/dev

Graded-symmetric algebra CA27JSAXVD

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

Mentions

wikipedia: Wikipedia Graded-symmetric algebra, Graded-symmetric algebra (definition). Also Wikidata Q28458058

History

2026-11-02: add by m2/dev

Properties CA27ZWSM57

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

Mentions

wikipedia: Wikipedia Elongated square cupola#C585, Properties (statement)

History

2026-11-02: add by m2/dev

Frobenius matrix CA2A7115V3

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

Mentions

wikipedia: Wikipedia List of things named after Ferdinand Georg Frobenius#DYGF, Frobenius matrix (definition)

History

2026-11-02: add by m2/dev

Principle CA2D49SYQW

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

Mentions

wikipedia: Wikipedia Extended finite element method#CW1V, Principle (statement)

History

2026-11-02: add by m2/dev

Applications CA2JKEMT9Y

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

Mentions

wikipedia: Wikipedia Hurwitz's theorem (complex analysis)#BJM6, Applications (example)

History

2026-11-02: add by m2/dev

Center for Women in Mathematics CA2RVGQD2V

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

Mentions

wikipedia: Wikipedia Center for Women in Mathematics, Center for Women in Mathematics (definition). Also Wikidata Q5059921

History

2026-11-02: add by m2/dev

CA2SNEN5C0 CA2SNEN5C0

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

Mentions

arxiv: arXiv 2609.26896#47SD (statement)

History

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

CA3050G813 CA3050G813

URI	`m2://inv/CA3050G813`
Kind	statement
Layer	research
MSC	16-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 2507.20176#W8AH (statement). In CX4WDA2KAR/e1, proposition 2.9

History

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

CA31VEW2GP CA31VEW2GP

URI	`m2://inv/CA31VEW2GP`
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.30086#O8CU (statement)

History

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

Hypergraph category CA347SQZKR

URI	`m2://inv/CA347SQZKR`
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.20478#OXPD, Hypergraph category (definition)

History

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

Agreeable subset CA3FWVMJA6

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

Mentions

wikipedia: Wikipedia Agreeable subset, Agreeable subset (definition). Also Wikidata Q105742704

History

2026-11-02: add by m2/dev

Spectral Evaluation Dataset CA3P3TGN8W

URI	`m2://inv/CA3P3TGN8W`
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.32652#NRSK, Spectral Evaluation Dataset (definition). In 6KAZWJ8RFX/e1, definition 4.3

History

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

West Seventh, Saint Paul CA3Q4KJJRY

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

Mentions

wikipedia: Wikipedia List of places with numeric names#J9II, West Seventh, Saint Paul (unknown)

History

2026-11-02: add by m2/dev

Examples CA3W75RJ30

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

Mentions

wikipedia: Wikipedia Linear system of divisors#B92Y, Examples (example)

History

2026-11-02: add by m2/dev

Gyrated triangular prismatic honeycomb CA3ZBJ5BNH

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#3GUR, Gyrated triangular prismatic honeycomb (definition)
wikipedia: Wikipedia List of polygons, polyhedra and polytopes#NBPN, Gyrated triangular prismatic honeycomb (definition)

History

2026-11-02: add by m2/dev

CA4AWJHRF8 CA4AWJHRF8

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

Mentions

arxiv: arXiv 2609.24448#NVUR (statement)

History

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

CA4GK69YK2 CA4GK69YK2

URI	`m2://inv/CA4GK69YK2`
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.13295#RQCQ (statement). In 8Q7QXTWD0S/e1, theorem 6.4

History

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

Definitions CA4KZRRMBH

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

Mentions

wikipedia: Wikipedia Tilting theory#E39X, Definitions (definition)

History

2026-11-02: add by m2/dev

CA4N9KXWZ6 CA4N9KXWZ6

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

Mentions

arxiv: arXiv 2609.21191#UJBR (definition)

History

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

clinical hyperactivity CA4P10R8WC

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

Mentions

wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#IS3S, clinical hyperactivity (unknown)

History

2026-11-02: add by m2/dev

CA529TW5BJ CA529TW5BJ

URI	`m2://inv/CA529TW5BJ`
Kind	statement
Layer	research
MSC	05-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.14502#JGHV (statement). In 6BVBMTYXNZ/e1, theorem 5.2

History

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

cycloidal curve CA52V19A3R

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

Mentions

wikidata: Wikidata Q3001192, cycloidal curve (unknown). Also EoM Cycloidal_curve

History

2026-10-26: add by m2/dev

CA55C8C1NB CA55C8C1NB

URI	`m2://inv/CA55C8C1NB`
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 2609.36321#YCSA (statement). In 3KTZ6Z615H/e1, lemma 3.7

History

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

Topological pair CA5CNS6D7X

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

Mentions

wikipedia: Wikipedia Topological pair, Topological pair (definition). Also Wikidata Q3360627

History

2026-11-02: add by m2/dev

CA5EHHRB0P CA5EHHRB0P

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

Mentions

napkin: napkin tex/H113/action.tex#prob:class_eq (exercise). In RZP28ERRZV, sproblem, section 1.4

History

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

Bertrand's ballot theorem CA5F5B915K

URI	`m2://inv/CA5F5B915K`
Kind	statement
Layer	textbook
MSC	60-XX
Sources	5
Outcome	node (a node has the same Wikidata item as the row)
Node	Bertrand's ballot theorem 0FS972T0ZH

Mentions

mathlib_100: mathlib_100 30, The Ballot Problem (statement). Also Mathlib Ballot.ballot_problem
mathlib_1000: mathlib_1000 Q2253746, Bertrand's ballot theorem (statement). Also Mathlib Ballot.ballot_problem, Wikidata Q2253746
thousand_plus: thousand_plus Q2253746, Bertrand's ballot theorem (statement). Also Mathlib Ballot.ballot_problem, Wikidata Q2253746, Wikipedia Bertrand's ballot theorem
wikidata: Wikidata Q2253746, Bertrand's ballot theorem (statement). Also MathWorld BallotProblem
wikipedia: Wikipedia Bertrand's ballot theorem, Bertrand's ballot theorem (statement). Also Wikidata Q2253746

History

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

Newtonian limit CA5FVHS4QQ

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

Mentions

wikipedia: Wikipedia Newtonian limit, Newtonian limit (definition). Also Wikidata Q7020536

History

2026-11-02: add by m2/dev

CA5Z18ADBM CA5Z18ADBM

URI	`m2://inv/CA5Z18ADBM`
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.23685#ZUV4 (statement)

History

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

Properties and applications CA60ZJZHN6

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

Mentions

wikipedia: Wikipedia Edge cycle cover#4YWJ, Properties and applications (statement)

History

2026-11-02: add by m2/dev

sentence CA66KFKG9D

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

Mentions

wikipedia: Wikipedia Glossary of set theory#R4NP, sentence (definition)

History

2026-11-02: add by m2/dev

Seven Persons CA6929WC6B

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

Mentions

wikipedia: Wikipedia List of places with numeric names#DP88, Seven Persons (unknown)

History

2026-11-02: add by m2/dev

CA6A4KKSTR CA6A4KKSTR

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

Mentions

arxiv: arXiv 2110.06338#J7UG (definition). In W1VVK7WDPK/e1, definition 2.12

History

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

Patrick Dehornoy CA6AWYXXV2

URI	`m2://inv/CA6AWYXXV2`
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 Q1298883, Patrick Dehornoy (unknown). Also nLab Patrick Dehornoy
wikipedia: Wikipedia Patrick Dehornoy, Patrick Dehornoy (topic). Also Wikidata Q1298883

History

2026-10-26: add by m2/dev

CA6CBZJJYX CA6CBZJJYX

URI	`m2://inv/CA6CBZJJYX`
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.07164#GS7V (statement). In Q1XJ5VWE1N/e1, lemma 4.7

History

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

\Ev-variables CA6CW0NZSG

URI	`m2://inv/CA6CW0NZSG`
Kind	definition
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.08210#7HZ2, \Ev-variables (definition). In 7452X8HQ21/e1, definition 2.1

History

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

Hasse–Weil L-function CA6GJ07Z56

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

Mentions

wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#5KOB, Hasse–Weil L-function (definition)

History

2026-11-02: add by m2/dev

Hubbard's conjecture CA6GSCXP4A

URI	`m2://inv/CA6GSCXP4A`
Kind	conjecture
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.24449#3ZVY, Hubbard's conjecture (conjecture)

History

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

CA6K55ARKX CA6K55ARKX

URI	`m2://inv/CA6K55ARKX`
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#G6CU (definition)

History

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

Kolmogorov entropy CA6TE2D3ZY

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

Mentions

wikipedia: Wikipedia Measure-preserving dynamical system#Y1PD, Kolmogorov entropy (unknown)

History

2026-11-02: add by m2/dev

CA73AP2R7S CA73AP2R7S

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#prob:equiv classes from preimages (exercise). In P1C114YBXG, problem, section D

History

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

CA76Z72MM3 CA76Z72MM3

URI	`m2://inv/CA76Z72MM3`
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 2512.08487#RNTX (statement). In 77TVQVYN0Z/e1, proposition 14

History

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

CA7KAK2ATK CA7KAK2ATK

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

Mentions

arxiv: arXiv 2609.36181#0QR2 (problem). In 1KSE33PVS6/e1, problem 89

History

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

Psychology of reasoning CA7P1D7PVG

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

Mentions

wikipedia: Wikipedia Psychology of reasoning, Psychology of reasoning (topic). Also Wikidata Q7256422

History

2026-11-02: add by m2/dev

700,000 CA7PB8PWP6

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

Mentions

wikipedia: Wikipedia 100,000#C0OI, 700,000 (unknown)

History

2026-11-02: add by m2/dev

Multidimensional scaling CA7T0VTQWP

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

Mentions

wikipedia: Wikipedia Multidimensional scaling, Multidimensional scaling (definition). Also Wikidata Q620538

History

2026-11-02: add by m2/dev

CA7XKM7R66 CA7XKM7R66

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

Mentions

hott_book: hott_book equivalences.tex#proof-5 (proof). In N54F33XE07, proof, section 3.2

History

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

CA7YSDM0PW CA7YSDM0PW

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

Mentions

arxiv: arXiv 2610.15535#5B2C (statement). In 73A9KWZJRD/e1, theorem 7.3

History

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

CA7Z71KQBE CA7Z71KQBE

URI	`m2://inv/CA7Z71KQBE`
Kind	example
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.30892#VEIA (example). In F7C1RM5VA4/e1, example 1.6

History

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

Discontinuous linear map CA80HHHQ5P

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

Mentions

wikipedia: Wikipedia List of mathematical examples#XLXG, Discontinuous linear map (definition)

History

2026-11-02: add by m2/dev

CA81V3R2V9 CA81V3R2V9

URI	`m2://inv/CA81V3R2V9`
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#RZQV (statement). In CY1FE8W1ZW/e1, lemma 0.286

History

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

CA84RM7V2R CA84RM7V2R

URI	`m2://inv/CA84RM7V2R`
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 0907.5545#1GI3 (definition). In K3GWCTV5YE/e1, definition 1

History

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

Analytical specificity CA88T8XBVC

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

Mentions

wikipedia: Wikipedia Laboratory quality control#CGIT, Analytical specificity (unknown)

History

2026-11-02: add by m2/dev

CA894TT3AQ CA894TT3AQ

URI	`m2://inv/CA894TT3AQ`
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.01656#Q4GM (statement). In AHGQZ89DY0/e1, lemma 3.1

History

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

CA8RH5DX5D CA8RH5DX5D

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

Mentions

arxiv: arXiv 2610.16114#7AEH (statement). In JZZ3FJ382R/e1, corollary 6.1

History

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

third kind CA8VW02Y4G

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#UBUG, third kind (definition)

History

2026-11-02: add by m2/dev

Applications CA8XWVQPKH

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

Mentions

wikipedia: Wikipedia Moment closure#6RLL, Applications (example)

History

2026-11-02: add by m2/dev

The De Giorgi engine CA902V76QA

URI	`m2://inv/CA902V76QA`
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.20097#P910, The De Giorgi engine (statement)

History

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

Statement of the inequality CA948R2K25

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

Mentions

wikipedia: Wikipedia Vitale's random Brunn–Minkowski inequality#1C22, Statement of the inequality (statement)

History

2026-11-02: add by m2/dev

CA96ED5BAM CA96ED5BAM

URI	`m2://inv/CA96ED5BAM`
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#R3SS (statement). In 5KR3MHYVV6/e1, proposition 3.8

History

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

CA97KCDZ1Q CA97KCDZ1Q

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

Mentions

arxiv: arXiv 2609.33015#3TLV (example). In W6Y6NPK648/e1, example 3.4

History

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

CA9C83PH63 CA9C83PH63

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

Mentions

arxiv: arXiv 2609.33124#0HUC (statement). In P27HYGQDAN/e1, lemma 12

History

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

CA9HEA0H12 CA9HEA0H12

URI	`m2://inv/CA9HEA0H12`
Kind	conjecture
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#169U (conjecture). In 2VHV0RNTNV/e1, conjecture 10.1

History

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

A subdirect representation for Clifford semirings CA9K4RFYKP

URI	`m2://inv/CA9K4RFYKP`
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.12014#HYAT, A subdirect representation for Clifford semirings (statement). In DR7BK4CQ0V/e1, theorem 5.5

History

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

CA9N19VVEY CA9N19VVEY

URI	`m2://inv/CA9N19VVEY`
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.04069#KDNX (statement). In ZA7WXGZYWC/e1, proposition 2.7

History

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

CA9QD7QW5Z CA9QD7QW5Z

URI	`m2://inv/CA9QD7QW5Z`
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.26500#9QQW (statement)

History

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

CAA20ZY7AH CAA20ZY7AH

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

Mentions

napkin: napkin tex/set-theory/models.tex#dproblem-1 (exercise). In RZP28ERRZV, dproblem, section 91.9

History

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

RSA-440 CAA2Z0XDD7

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

Mentions

wikipedia: Wikipedia RSA numbers#ZZFR, RSA-440 (unknown)

History

2026-11-02: add by m2/dev

CAACEMWVGS CAACEMWVGS

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

Mentions

arxiv: arXiv 2610.16554#6ESL (statement). In GWNT8HEZG1/e1, proposition 3.25

History

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

CAAD9H7KKJ CAAD9H7KKJ

URI	`m2://inv/CAAD9H7KKJ`
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.02681#MPJL (statement). In 7BBJMB97N7/e1, lemma 3.1

History

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

Criterion for irreducible polynomials CAAM8KY1GM

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

Mentions

wikipedia: Wikipedia Hensel's lemma#4O87, Criterion for irreducible polynomials (statement)

History

2026-11-02: add by m2/dev

Coefficient of dispersion CAAT1B6VV5

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

Mentions

wikipedia: Wikipedia List of statistics articles#ODLE, Coefficient of dispersion (topic)

History

2026-11-02: add by m2/dev

Nikodym set CAAT9JW00K

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

Mentions

wikipedia: Wikipedia Nikodym set, Nikodym set (definition). Also Wikidata Q5783296

History

2026-11-02: add by m2/dev

CAAVCXFM08 CAAVCXFM08

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

History

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

CAAYEFDHGN CAAYEFDHGN

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

Mentions

arxiv: arXiv 2609.25151#9LVP (statement)

History

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

CAAYTDJVZB CAAYTDJVZB

URI	`m2://inv/CAAYTDJVZB`
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.10221#1S1S (statement). In 9Z5M655EPV/e1, theorem 4.9

History

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

CAB3M1NAQQ CAB3M1NAQQ

URI	`m2://inv/CAB3M1NAQQ`
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.23341#OTF4 (statement)

History

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

CAB56ZNFW5 CAB56ZNFW5

URI	`m2://inv/CAB56ZNFW5`
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.21975#72IP (statement)

History

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

CABCFCDK8N CABCFCDK8N

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

Mentions

hott_book: hott_book logic.tex#proof-14 (proof). In N54F33XE07, proof, section 9.11

History

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

Geodesics CABCPBHX5T

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

Mentions

arxiv: arXiv 2610.17004#7ELO, Geodesics (definition). In XNJGNMS6H0/e1, definition B.3

History

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

CABEEG1R3E CABEEG1R3E

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

Mentions

arxiv: arXiv 2609.38013#99SQ (problem). In DQ6P0P6N78/e1, problem 6.2

History

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

CABP6BM3TT CABP6BM3TT

URI	`m2://inv/CABP6BM3TT`
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.35642#NAUR (statement). In D905BX98TP/e1, proposition 3.7

History

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

Fixing the total meridional vorticity CABPV818DF

URI	`m2://inv/CABPV818DF`
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.22513#I4CT, Fixing the total meridional vorticity (statement)

History

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

Partition lattice CABQR2998K

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

Mentions

wikipedia: Wikipedia Partition of a set#DDVQ, Partition lattice (unknown)

History

2026-11-02: add by m2/dev

Applications CABW7MCQNG

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

Mentions

wikipedia: Wikipedia Semantic similarity#LZ4E, Applications (example)

History

2026-11-02: add by m2/dev

CACCKM0FZH CACCKM0FZH

URI	`m2://inv/CACCKM0FZH`
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.31269#TQU3 (statement). In ZPT9XCCAPQ/e1, lemma 2.2.14

History

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

CACD7FRKDY CACD7FRKDY

URI	`m2://inv/CACD7FRKDY`
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.19273#TFZB (statement). In T3BY4TXYT4/e1, corollary A.4

History

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

Algebraic properties CACGZ1FA0E

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

Mentions

wikipedia: Wikipedia Truth function#L41F, Algebraic properties (statement)

History

2026-11-02: add by m2/dev

N-body simulation CACT8DMPHD

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

Mentions

wikipedia: Wikipedia N-body simulation, N-body simulation (definition). Also Wikidata Q85787439

History

2026-11-02: add by m2/dev

CAD0BPW0PJ CAD0BPW0PJ

URI	`m2://inv/CAD0BPW0PJ`
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.20783#IYYB (statement)

History

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

Definition CADAYSHZPN

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

Mentions

wikipedia: Wikipedia Shift space#AMK3, Definition (definition)

History

2026-11-02: add by m2/dev

CADJK1QXV7 CADJK1QXV7

URI	`m2://inv/CADJK1QXV7`
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 2304.02722#BDJT (statement). In AH7D55D3WV/e1, proposition 11.1

History

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

Applications CADM1CHV8M

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

Mentions

wikipedia: Wikipedia Odds algorithm#E9X8, Applications (example)

History

2026-11-02: add by m2/dev

polarity CADMEH1AZR

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#N1Y6, polarity (definition)

History

2026-11-02: add by m2/dev

The Unscrambler CADNJ2KN36

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

Mentions

wikipedia: Wikipedia List of statistical software#KS1A, The Unscrambler (definition)

History

2026-11-02: add by m2/dev

$k$-sorted relation CADVKRGYZC

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

Mentions

arxiv: arXiv 2610.12484#IOVE, $k$-sorted relation (definition). In GW23NX78SB/e1, definition 2.15

History

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

CAE3CJZKH0 CAE3CJZKH0

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#theorem-4 (statement). In P1C114YBXG, theorem, section u1

History

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

Vertex cover CAE40CTMPW

URI	`m2://inv/CAE40CTMPW`
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.09810#938Y, Vertex cover (definition). In B6PCH930FV/e1, definition 12

History

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

CAE4W0M0ZX CAE4W0M0ZX

URI	`m2://inv/CAE4W0M0ZX`
Kind	problem
Layer	research
MSC	05-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 2610.09900#78AK (problem). In ATSYBWEMMP/e1, problem 7.6

History

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

CAE82CE9AH CAE82CE9AH

URI	`m2://inv/CAE82CE9AH`
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#NRO8 (definition). In 6HP7BR9WZM/e1, definition 3.23

History

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

Near-square prime conjecture CAE8RQSDDR

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

Mentions

wikipedia: Wikipedia Landau's problems#CBH9, Near-square prime conjecture (unknown)

History

2026-11-02: add by m2/dev

Formulation CAEB76XAW5

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

Mentions

wikipedia: Wikipedia Vflo#P7XQ, Formulation (definition)

History

2026-11-02: add by m2/dev

Statement CAEDE9R1RD

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

Mentions

wikipedia: Wikipedia Jacobi bound problem#8UJ7, Statement (statement)

History

2026-11-02: add by m2/dev

CAEEQF94C8 CAEEQF94C8

URI	`m2://inv/CAEEQF94C8`
Kind	statement
Layer	research
MSC	14-XX, 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 2609.37520#484D (statement). In BDN507RN7J/e1, proposition 6.2.3

History

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

diagram chasing CAEGB6DWQH

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

Mentions

wikipedia: Wikipedia Glossary of mathematical jargon#56J2, diagram chasing (definition)

History

2026-11-02: add by m2/dev

CAEKR1Z1B7 CAEKR1Z1B7

URI	`m2://inv/CAEKR1Z1B7`
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.24469#I4HC (statement)

History

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

CAEQVGZZRN CAEQVGZZRN

URI	`m2://inv/CAEQVGZZRN`
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.00525#6WVL (statement). In JN34PDDXH8/e1, corollary 3.5

History

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

Lars Ahlfors CAEX5T8453

URI	`m2://inv/CAEX5T8453`
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 Q211642, Lars Ahlfors (unknown). Also ProofWiki Mathematician:Lars_Valerian_Ahlfors
wikipedia: Wikipedia Lars Ahlfors, Lars Ahlfors (topic). Also Wikidata Q211642

History

2026-10-26: add by m2/dev

CAEXDGAQSX CAEXDGAQSX

URI	`m2://inv/CAEXDGAQSX`
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.15019#SAJV (statement). In 9GWQN1DYM1/e1, theorem 1.3

History

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

CAF01Z4RTA CAF01Z4RTA

URI	`m2://inv/CAF01Z4RTA`
Kind	statement
Layer	research
MSC	35-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 2603.28861#K4BZ (statement). In A3VQ2TNRKK/e1, proposition A.5

History

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

Born–Infeld model CAF313H88X

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

Mentions

wikidata: Wikidata Q852824, Born–Infeld model (unknown). Also nLab Dirac-Born-Infeld action

History

2026-10-26: add by m2/dev

CAF6KQ2XB5 CAF6KQ2XB5

URI	`m2://inv/CAF6KQ2XB5`
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.22557#TJHG (statement)

History

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

Yaw interpolation and common support CAFAK4S088

URI	`m2://inv/CAFAK4S088`
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#4HLV, Yaw interpolation and common support (statement). In H976NYKBNT/e1, lemma 13

History

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

CAFEW50ZVY CAFEW50ZVY

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

Mentions

arxiv: arXiv 2610.03661#AEKG (statement). In ESDKTYDHC8/e1, theorem 7

History

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

CAFPR9X5XN CAFPR9X5XN

URI	`m2://inv/CAFPR9X5XN`
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.12640#21SK (statement). In QP9FE1D6PG/e1, lemma 10

History

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

CAGDDQRRYS CAGDDQRRYS

URI	`m2://inv/CAGDDQRRYS`
Kind	statement
Layer	research
MSC	54-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.24545#POP3 (statement)

History

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

Definitions CAGE4YDKX1

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

Mentions

wikipedia: Wikipedia Proper convex function#MAV7, Definitions (definition)

History

2026-11-02: add by m2/dev

Spectral values of a symmetric density CAGVV4F900

URI	`m2://inv/CAGVV4F900`
Kind	statement
Layer	research
MSC	35-XX, 47-XX, 49-XX, 58-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.05164#A35M, Spectral values of a symmetric density (statement). In JY6RYSNXMJ/e1, lemma 14

History

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

René Risser CAGY8XHRKG

URI	`m2://inv/CAGY8XHRKG`
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#KIP9, René Risser (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PENI, René Risser (unknown)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZJN4, René Risser (unknown)

History

2026-11-02: add by m2/dev

CAGZ6WQ0K0 CAGZ6WQ0K0

URI	`m2://inv/CAGZ6WQ0K0`
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.32300#IQHM (statement). In VNE8N0D2FB/e1, lemma 3.6

History

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

Methods CAGZWN1PR7

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

Mentions

wikipedia: Wikipedia Model order reduction#D404, Methods (definition)

History

2026-11-02: add by m2/dev

Moesia Prima CAH4NR03HE

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

Mentions

wikipedia: Wikipedia List of places with numeric names#M143, Moesia Prima (unknown)

History

2026-11-02: add by m2/dev

Alexei Zinovievich Petrov CAH62GFDS3

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

Mentions

wikipedia: Wikipedia List of contributors to general relativity#581W, Alexei Zinovievich Petrov (unknown)

History

2026-11-02: add by m2/dev

CAHBBS98SM CAHBBS98SM

URI	`m2://inv/CAHBBS98SM`
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.31537#Z896 (statement). In MNYPK3W135/e1, corollary 5.1

History

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

Lead time bias CAHG4HTZ3R

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

Mentions

wikipedia: Wikipedia List of statistics articles#4XJX, Lead time bias (definition)

History

2026-11-02: add by m2/dev

CAHG4TEPT2 CAHG4TEPT2

URI	`m2://inv/CAHG4TEPT2`
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.08599#H8W6 (statement). In DST9FWMHT6/e1, theorem 4.1

History

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

CAHHCJJ3HN CAHHCJJ3HN

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

Mentions

arxiv: arXiv 2609.20588#IE06 (definition)

History

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

CAHMTH3M23 CAHMTH3M23

URI	`m2://inv/CAHMTH3M23`
Kind	definition
Layer	research
MSC	16-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.21668#UH32 (definition)

History

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

CAHYC2FWNY CAHYC2FWNY

URI	`m2://inv/CAHYC2FWNY`
Kind	statement
Layer	research
MSC	14-XX, 16-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 2504.07573#4SIH (statement). In 78X5SKJX8J/e1, theorem 6.5

History

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

Gaussian and log-concave thresholds CAJ33QF10T

URI	`m2://inv/CAJ33QF10T`
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#ZPCD, Gaussian and log-concave thresholds (statement). In 9YAE8FNQST/e1, corollary 14.7

History

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

Consistency of quantile regression on an ergodic series CAJ3PVRMBK

URI	`m2://inv/CAJ3PVRMBK`
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#WWIC, Consistency of quantile regression on an ergodic series (statement). In Y3MSGX6472/e1, lemma 10

History

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

János Pach CAJ7XFC0TV

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

Mentions

wikipedia: Wikipedia János Pach, János Pach (topic). Also Wikidata Q10561955

History

2026-11-02: add by m2/dev

CAJ99SPMY7 CAJ99SPMY7

URI	`m2://inv/CAJ99SPMY7`
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 2211.04758#DURW (definition). In DRWDJG2G3S/e1, definition 3.2

History

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

CAJCZ8N8P6 CAJCZ8N8P6

URI	`m2://inv/CAJCZ8N8P6`
Kind	statement
Layer	research
MSC	13-XX, 14-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.38068#EZKR (statement). In 67GE5M1GGD/e1, lemma 5.4

History

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

A binary-linear pair-defensive colouring of \(Q_5\ CAJEWA5KSR

URI	`m2://inv/CAJEWA5KSR`
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.38993#A03C, A binary-linear pair-defensive colouring of \(Q_5\ (example). In AFKQK866Y1/e1, example 3.5

History

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

Ex-tangential quadrilateral CAJHEH3RA9

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

Mentions

wikipedia: Wikipedia List of mathematical shapes#1KPR, Ex-tangential quadrilateral (definition)

History

2026-11-02: add by m2/dev

CAJJAN6S89 CAJJAN6S89

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

Mentions

arxiv: arXiv 2610.11968#EUH8 (statement). In X6E7P2ACAS/e1, lemma 4.2

History

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

Quantum revival CAJKXAKMCE

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

Mentions

wikipedia: Wikipedia Quantum revival, Quantum revival (definition). Also Wikidata Q7269092

History

2026-11-02: add by m2/dev

Amplifier CAJPT4V7PZ

URI	`m2://inv/CAJPT4V7PZ`
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#6ZH7, Amplifier (definition). In WD2NCBV9F0/e1, definition 5.10

History

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

Signature bound CAJR0Y6X4J

URI	`m2://inv/CAJR0Y6X4J`
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.10206#JROO, Signature bound (statement). In 8TRCP1482Q/e1, theorem B.9

History

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

Dedekind discriminant theorem CAJV342BCD

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

Mentions

wikipedia: Wikipedia List of things named after Richard Dedekind#4EAI, Dedekind discriminant theorem (definition)

History

2026-11-02: add by m2/dev

Cauchy bounds CAK55C6QA5

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

Mentions

wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#MWUN, Cauchy bounds (definition)

History

2026-11-02: add by m2/dev

Crossed product CAKCFD4G9P

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

Mentions

wikidata: Wikidata Q3406705, Crossed product (topic)
wikipedia: Wikipedia Crossed product, Crossed product (definition). Also Wikidata Q3406705

History

2026-10-26: add by m2/dev

CAKDKXJD76 CAKDKXJD76

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

Mentions

open_logic: open_logic content/normal-modal-logic/filtrations/examples-of-filtrations.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 51.9

History

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

Löwenheim–Skolem theorem CAKM46YMSH

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

Mentions

wikipedia: Wikipedia List of theorems#7HZH, Löwenheim–Skolem theorem (statement)

History

2026-11-02: add by m2/dev

Fundamental --- \textsc{N-$\beta$-Su CAKTCGQJA0

URI	`m2://inv/CAKTCGQJA0`
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.21131#5XCQ, Fundamental --- \textsc{N-$\beta$-Su (statement). In CPYWHRTPKC/e1, lemma 6.68

History

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

Method of dominant balance CAKW51Q12W

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

Mentions

wikipedia: Wikipedia Method of dominant balance, Method of dominant balance (definition). Also Wikidata Q48995689

History

2026-11-02: add by m2/dev

Free variables of a term CAM036YNXW

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

Mentions

open_logic: open_logic content/lambda-calculus/syntax/free-variables.tex#def:fv, Free variables of a term (definition). In PKGMM3P5QY, defn, section 38.14

History

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

CAM11276FY CAM11276FY

URI	`m2://inv/CAM11276FY`
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.39293#PIFZ (statement). In S26QVW5613/e1, proposition 4.7.5

History

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

Axioms CAMA83RKN9

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

Mentions

wikipedia: Wikipedia BL (logic)#SF96, Axioms (statement)

History

2026-11-02: add by m2/dev

Pointwise comparison to a short interval average after clipping CAMJKVPXZR

URI	`m2://inv/CAMJKVPXZR`
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.08424#HUQO, Pointwise comparison to a short interval average after clipping (statement). In BVD2HAAKD5/e1, lemma 3.6

History

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

CAMPA07G7Z CAMPA07G7Z

URI	`m2://inv/CAMPA07G7Z`
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.36313#9O90 (statement). In Z5SP3NW41S/e1, lemma 3.1

History

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

CAMTY80NZ2 CAMTY80NZ2

URI	`m2://inv/CAMTY80NZ2`
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 2410.18564#K5DZ (statement). In MC8ZBZ14PM/e1, theorem 3.8

History

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

CAMXSSPRVG CAMXSSPRVG

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

Mentions

open_logic: open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 19.4

History

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

Nakayama algebra CAN0SF0XER

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

Mentions

wikipedia: Wikipedia Nakayama algebra, Nakayama algebra (definition). Also Wikidata Q6960389

History

2026-11-02: add by m2/dev

Loss aversion CAN82REM6K

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

Mentions

wikipedia: Wikipedia List of cognitive biases#DVBF, Loss aversion (unknown)

History

2026-11-02: add by m2/dev

Construction CAN9TVTYRP

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

Mentions

wikipedia: Wikipedia 3 31 honeycomb#76BE, Construction (definition)

History

2026-11-02: add by m2/dev

Affine approximation after reflection CANCGDYV9F

URI	`m2://inv/CANCGDYV9F`
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#BIJ3, Affine approximation after reflection (statement). In TP61DYMBMK/e1, lemma 4

History

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

CANDF4K687 CANDF4K687

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

Mentions

arxiv: arXiv 2610.05259#2QWW (example). In X1J5HKPS3R/e1, example 1.21

History

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

improper fraction CANFENYQW6

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

Mentions

wikidata: Wikidata Q11922677, improper fraction (unknown). Also MathWorld ImproperFraction

History

2026-10-26: add by m2/dev

Discriminant of an algebraic number field CANRXEN1MX

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

Mentions

wikipedia: Wikipedia List of algebraic number theory topics#F4OJ, Discriminant of an algebraic number field (definition)

History

2026-11-02: add by m2/dev

CANXTABQRS CANXTABQRS

URI	`m2://inv/CANXTABQRS`
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 1709.08958#EWFJ (statement). In H46J8XRDFJ/e1, lemma 4.2.1

History

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

Properties of $\calE$ CANXX0W19F

URI	`m2://inv/CANXX0W19F`
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.11034#HRWB, Properties of $\calE$ (statement). In 2KACPY9MMF/e1, lemma 4.1

History

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

Domenico Giulini CANYMPYTX4

URI	`m2://inv/CANYMPYTX4`
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 Q57073325, Domenico Giulini (unknown). Also nLab Domenico Giulini

History

2026-10-26: add by m2/dev

Mood, Alexander M. CAP3FR5HA9

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

Mentions

wikipedia: Wikipedia List of statisticians#CIUW, Mood, Alexander M. (topic)

History

2026-11-02: add by m2/dev

CAP4Y0G9AJ CAP4Y0G9AJ

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

Mentions

arxiv: arXiv 2609.33383#5XAD (statement). In 8AHWRHTP5G/e1, lemma 16

History

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

Miracle flatness or Hironaka's criterion CAPANQ5DDM

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

Mentions

wikipedia: Wikipedia Cohen–Macaulay ring#0U7H, Miracle flatness or Hironaka's criterion (statement)

History

2026-11-02: add by m2/dev

Fokker–Planck equation CAPG0FWJMY

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

Mentions

wikipedia: Wikipedia Fokker–Planck equation, Fokker–Planck equation (definition). Also Wikidata Q891766

History

2026-11-02: add by m2/dev

Stein's example CAPQSKK49Q

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

Mentions

wikipedia: Wikipedia List of statistics articles#Z0ZX, Stein's example (definition)
wikipedia: Wikipedia List of mathematical examples#CH98, Stein's example (definition)

History

2026-11-02: add by m2/dev

CAPQWDB1HT CAPQWDB1HT

URI	`m2://inv/CAPQWDB1HT`
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.22218#7FMY (statement). In 338GKREFVP/e1, lemma 52

History

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

CAPWB07BPS CAPWB07BPS

URI	`m2://inv/CAPWB07BPS`
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.29449#MRDA (statement)

History

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

CAPX2KJZ89 CAPX2KJZ89

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

Mentions

lebl_scv: lebl_scv scv.tex#prop-3 (statement). In VNMV985MXX, prop, section 1.2

History

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

Young's lattice CAPYW5FNCA

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

Mentions

wikidata: Wikidata Q932141, Young's lattice (unknown). Also MathWorld YoungsLattice
wikipedia: Wikipedia Young's lattice, Young's lattice (definition). Also Wikidata Q932141

History

2026-10-26: add by m2/dev

CAPZN7H2S8 CAPZN7H2S8

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-16 (exercise). In P1C114YBXG, exercise, section 1.1

History

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

Filtration (mathematics) CAQ4J3D413

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#OR1A, Filtration (mathematics) (definition)

History

2026-11-02: add by m2/dev

CAQGJZDVH3 CAQGJZDVH3

URI	`m2://inv/CAQGJZDVH3`
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.18620#7BG7 (statement). In 6WJ0R9YEBR/e1, lemma 3.1

History

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

CAQK7DXPZH CAQK7DXPZH

URI	`m2://inv/CAQK7DXPZH`
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#TMU0 (statement). In W4TYN4PGE8/e1, lemma 2.39

History

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

The Sun CAQQM8BEMT

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

Mentions

wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#H6V5, The Sun (unknown)

History

2026-11-02: add by m2/dev

CAQRXWHSX9 CAQRXWHSX9

URI	`m2://inv/CAQRXWHSX9`
Kind	definition
Layer	research
MSC	11-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.40123#EY30 (definition). In WK2YHYEDZ9/e1, definition 4.7

History

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

Examples CAQVC4M6AN

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

Mentions

wikipedia: Wikipedia Noetherian module#IMXY, Examples (example)

History

2026-11-02: add by m2/dev

Richard Blute CARGZHYEY5

URI	`m2://inv/CARGZHYEY5`
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 Q93944801, Richard Blute (unknown). Also nLab Richard Blute

History

2026-10-26: add by m2/dev

Roger Mead CARJ3BH320

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

Mentions

wikipedia: Wikipedia Roger Mead, Roger Mead (topic). Also Wikidata Q15842839

History

2026-11-02: add by m2/dev

Arjun K. Gupta CARTW6S1E4

URI	`m2://inv/CARTW6S1E4`
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#TJLO, Arjun K. Gupta (unknown)

History

2026-11-02: add by m2/dev

Nagata's altitude formula CARWFC3HBT

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

Mentions

wikipedia: Wikipedia Dimension theory (algebra)#RKY4, Nagata's altitude formula (statement)

History

2026-11-02: add by m2/dev

Shear-stable two-grid decomposition CARZMJS6W1

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

Mentions

arxiv: arXiv 2609.38871#A7N1, Shear-stable two-grid decomposition (statement). In X705R2Q780/e1, lemma 4.9

History

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

The Kac–Bernstein theorem CASKZJNECP

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

Mentions

wikipedia: Wikipedia Normal distribution#Y3NS, The Kac–Bernstein theorem (statement)

History

2026-11-02: add by m2/dev

Justifications for the principle of maximum entropy CASPD6MV2D

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

Mentions

wikipedia: Wikipedia Principle of maximum entropy#G4CD, Justifications for the principle of maximum entropy (statement)

History

2026-11-02: add by m2/dev

Completion CASQ2KXQPY

URI	`m2://inv/CASQ2KXQPY`
Kind	example
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 2510.02019#5D9T, Completion (example). In PD607VXPY3/e1, example 2

History

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

Definition CASQMDKF32

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

Mentions

wikipedia: Wikipedia Extraspecial group#1D3X, Definition (definition)

History

2026-11-02: add by m2/dev

face ownership CASTJVWWQD

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

Mentions

arxiv: arXiv 2609.39511#PMN8, face ownership (statement). In 6W9H24A378/e1, lemma 4

History

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

Sliced inverse regression CASVPS772H

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

Mentions

wikipedia: Wikipedia Sliced inverse regression, Sliced inverse regression (definition). Also Wikidata Q7540242

History

2026-11-02: add by m2/dev

Definition CASWFW1J7K

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

Mentions

wikipedia: Wikipedia Computation tree logic#NAMS, Definition (definition)

History

2026-11-02: add by m2/dev

\bf Sequential accumulation CASZ51Y9HR

URI	`m2://inv/CASZ51Y9HR`
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.02791#ZT62, \bf Sequential accumulation (statement). In TT9BA4VMTW/e1, lemma 6.10

History

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

CAT0TGM61K CAT0TGM61K

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

Mentions

arxiv: arXiv 2610.18929#R0JD (statement). In ZRJ2DZT6P1/e1, proposition 6.4

History

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

Bregman–Minc inequality CAT4CFMADH

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

Mentions

mathlib_1000: mathlib_1000 Q25304301, Bregman–Minc inequality (statement). Also Wikidata Q25304301
thousand_plus: thousand_plus Q25304301, Bregman–Minc inequality (statement). Also Wikidata Q25304301, Wikipedia Bregman–Minc inequality
wikipedia: Wikipedia Bregman–Minc inequality, Bregman–Minc inequality (statement). Also Wikidata Q25304301

History

2026-10-26: add by m2/dev

Statement CATHAVNK6Z

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

Mentions

wikipedia: Wikipedia Lenglart's inequality#VAML, Statement (statement)

History

2026-11-02: add by m2/dev

Kernel asymptotics CATTAZJ89X

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

Mentions

arxiv: arXiv 2610.00295#HDLE, Kernel asymptotics (statement). In 7HXP270BD0/e1, lemma 3.4

History

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

Extension of a finite etale section CATVJMV2S9

URI	`m2://inv/CATVJMV2S9`
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.33808#S6QD, Extension of a finite etale section (statement). In 328KGRNN0W/e1, lemma 5.1

History

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

Mathieu Lewin CAV1PKEB8F

URI	`m2://inv/CAV1PKEB8F`
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#DNRG, Mathieu Lewin (topic)

History

2026-11-02: add by m2/dev

Lower bound for Lipschitz monotone VIs on the ball CAV88220ZA

URI	`m2://inv/CAV88220ZA`
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.32981#LBKR, Lower bound for Lipschitz monotone VIs on the ball (statement). In AXDF7YN2RW/e1, theorem 5.2

History

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

CAVAZKKA4J CAVAZKKA4J

URI	`m2://inv/CAVAZKKA4J`
Kind	statement
Layer	research
MSC	05-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.27366#Y437 (statement)

History

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

Switching ordered paths CAVCWGMF6E

URI	`m2://inv/CAVCWGMF6E`
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.00525#E9L8, Switching ordered paths (statement). In JN34PDDXH8/e1, lemma 3.3

History

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

CAVDH4AGYJ CAVDH4AGYJ

URI	`m2://inv/CAVDH4AGYJ`
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.12013#2HVI (statement). In 3V26T0265C/e1, proposition 3.3

History

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

ringed space CAVEFNY76P

URI	`m2://inv/CAVEFNY76P`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Ringed space KNDXDE7K8M

Mentions

wikidata: Wikidata Q168344, ringed space (definition). Also EoM Ringed_space, nLab ringed space, ProofWiki Definition:Ringed_Space
wikipedia: Wikipedia Ringed space, Ringed space (definition). Also Wikidata Q168344

History

2026-10-26: add by m2/dev

Matrix CAVPZSKKQG

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

Mentions

open_logic: open_logic content/many-valued-logic/syntax-and-semantics/matrices.tex#defn:matrix, Matrix (definition). In PKGMM3P5QY, defn, section 41.5

History

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

CAVSNAKRPD CAVSNAKRPD

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

Mentions

arxiv: arXiv 2609.30823#RZZT (definition). In 1YHQ9YNQ68/e1, definition 2.1

History

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

Steiner Euclidean movement CAVT5Q63KP

URI	`m2://inv/CAVT5Q63KP`
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.20701#JAWJ, Steiner Euclidean movement (statement)

History

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

Kepler's third law CAVWC5A5BZ

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

Mentions

wikidata: Wikidata Q122928319, Kepler's third law (statement). Also ProofWiki Kepler's_Laws_of_Planetary_Motion/Third_Law

History

2026-10-26: add by m2/dev

CAVXMP62X2 CAVXMP62X2

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

Mentions

arxiv: arXiv 2610.21489#PJV8 (statement). In R0Q0RV8XCF/e1, theorem 4.7

History

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

Unlink CAW1BC5HSM

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

Mentions

wikipedia: Wikipedia List of mathematical knots and links#12T2, Unlink (definition)

History

2026-11-02: add by m2/dev

Invariable plane CAW41C03BT

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

Mentions

wikipedia: Wikipedia Invariable plane, Invariable plane (definition). Also Wikidata Q2556676

History

2026-11-02: add by m2/dev

Compound of five octahemioctahedra CAW60N9484

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

Mentions

wikipedia: Wikipedia Compound of five octahemioctahedra, Compound of five octahemioctahedra (definition). Also Wikidata Q5156859

History

2026-11-02: add by m2/dev

CAW7CZV2FG CAW7CZV2FG

URI	`m2://inv/CAW7CZV2FG`
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.34876#NDI1 (statement). In XXQAW3ZBDF/e1, corollary 8.9

History

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

CAWAMQ550C CAWAMQ550C

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

Mentions

open_logic: open_logic content/sets-functions-relations/relations/trees.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 82.2

History

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

CAWE6ND4ZS CAWE6ND4ZS

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

Mentions

arxiv: arXiv 2609.21914#EX5M (statement)

History

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

CAWH1HZTEC CAWH1HZTEC

URI	`m2://inv/CAWH1HZTEC`
Kind	statement
Layer	research
MSC	16-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.25539#V2KQ (statement)

History

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

CAWQ3PME1S CAWQ3PME1S

URI	`m2://inv/CAWQ3PME1S`
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.25843#NIHH (statement)

History

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

Weyl sequence CAWRH03H3D

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

Mentions

wikipedia: Wikipedia List of things named after Hermann Weyl#E9IY, Weyl sequence (definition)

History

2026-11-02: add by m2/dev

CAWV013VZ9 CAWV013VZ9

URI	`m2://inv/CAWV013VZ9`
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 2609.24845#STB9 (definition)

History

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

Clifford group CAWVBZVHAS

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

Mentions

wikipedia: Wikipedia Clifford group, Clifford group (definition). Also Wikidata Q137299855

History

2026-11-02: add by m2/dev

global choice CAWWYTCE52

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

Mentions

wikipedia: Wikipedia Glossary of set theory#KSPT, global choice (definition)

History

2026-11-02: add by m2/dev

CAX1R279FT CAX1R279FT

URI	`m2://inv/CAX1R279FT`
Kind	conjecture
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.12576#APJN (conjecture). In BVAWVRS3R9/e1, conjecture 1.1

History

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

Three-subset orbit structure of $\Ree(q)$ CAX27E8275

URI	`m2://inv/CAX27E8275`
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.15340#CIXO, Three-subset orbit structure of $\Ree(q)$ (statement). In 9NVKKW8HDH/e1, theorem 2.71

History

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

CAX2D43Q06 CAX2D43Q06

URI	`m2://inv/CAX2D43Q06`
Kind	statement
Layer	research
MSC	51-XX, 52-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.25468#880P (statement)

History

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

CAX3895VJX CAX3895VJX

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

Mentions

arxiv: arXiv 2610.21960#9V8I (unknown). In QX77AN49J0/e1, unknown

History

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

Residual process CAX39Q1Q3R

URI	`m2://inv/CAX39Q1Q3R`
Kind	definition
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.02893#F3IG, Residual process (definition). In DQ9TAGM5XP/e1, definition 1

History

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

Johan Gielis CAX8PZSWQH

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

Mentions

wikipedia: Wikipedia Johan Gielis, Johan Gielis (topic). Also Wikidata Q1111100

History

2026-11-02: add by m2/dev

CAX975572J CAX975572J

URI	`m2://inv/CAX975572J`
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.19945#X4DL (statement)

History

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

Applications CAXDHPZ9CX

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

Mentions

wikipedia: Wikipedia Staged tree (mathematics)#T3KS, Applications (example)

History

2026-11-02: add by m2/dev

CAXDVVWQS1 CAXDVVWQS1

URI	`m2://inv/CAXDVVWQS1`
Kind	statement
Layer	research
MSC	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 2005.03073#XOJH (statement). In P2ETMXKVDS/e1, theorem 2.11

History

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

Abram Besicovitch CAXJDYYKAN

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

Mentions

wikipedia: Wikipedia List of Jewish mathematicians#KO4U, Abram Besicovitch (topic)

History

2026-11-02: add by m2/dev

CAXN2Z7QH3 CAXN2Z7QH3

URI	`m2://inv/CAXN2Z7QH3`
Kind	example
Layer	research
MSC	20-XX, 22-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 2609.32916#TEHY (example). In G1RP4JY5PE/e1, example 4.3.4

History

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

Notation CAXR4FZECF

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

Mentions

wikipedia: Wikipedia Logical disjunction#AUDZ, Notation (definition)

History

2026-11-02: add by m2/dev

Axonometric projection CAXRJ5PY6A

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

Mentions

wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#6U7X, Axonometric projection (unknown)

History

2026-11-02: add by m2/dev

CAXRJJK9PQ CAXRJJK9PQ

URI	`m2://inv/CAXRJJK9PQ`
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 2112.14455#QDV3 (statement). In VDE5R8HBS1/e1, corollary 3.12

History

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

Artur Avila CAXV8R56P3

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#RNPS, Artur Avila (topic)
wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#VL1L, Artur Avila (topic)

History

2026-11-02: add by m2/dev

CAY1WNBK5Z CAY1WNBK5Z

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

Mentions

arxiv: arXiv 2609.29531#MKDV (statement)

History

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

CAYB7NSP9R CAYB7NSP9R

URI	`m2://inv/CAYB7NSP9R`
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#HM5X (statement). In R2K4HZN8RW/e1, proposition 5.6

History

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

Yoshio Shimamoto CAYGJGCYSK

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

Mentions

wikipedia: Wikipedia Yoshio Shimamoto, Yoshio Shimamoto (topic). Also Wikidata Q24050388

History

2026-11-02: add by m2/dev

CAYHXFXRTY CAYHXFXRTY

URI	`m2://inv/CAYHXFXRTY`
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 2610.21675#0HMM (statement). In TB1294GY5X/e1, proposition 1.10

History

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

Formulation CAYW8D8XFX

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

Mentions

wikipedia: Wikipedia Necklace problem#KS59, Formulation (definition)

History

2026-11-02: add by m2/dev

Sequential posterior-stabilizer invariance CAZ1SGP1M4

URI	`m2://inv/CAZ1SGP1M4`
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.01843#73FV, Sequential posterior-stabilizer invariance (statement). In EDG9ZFDSWK/e1, lemma B.10

History

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

CAZ2DAD85D CAZ2DAD85D

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

Mentions

arxiv: arXiv 2609.39615#6KOT (unknown). In RNXRAZYR3S/e1, unknown 1.2

History

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

Flournoy, Nancy CAZ68WTMCC

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

Mentions

wikipedia: Wikipedia List of statisticians#KFUK, Flournoy, Nancy (topic)

History

2026-11-02: add by m2/dev

CAZ86VS3C2 CAZ86VS3C2

URI	`m2://inv/CAZ86VS3C2`
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 2406.19866#M568 (statement). In 9F94CEQ1ZM/e1, theorem 1.5

History

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

Density in a disjoint coproduct CAZB0R1P5T

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

Mentions

arxiv: arXiv 2610.10930#9ZFX, Density in a disjoint coproduct (statement). In HX63A1PH1W/e1, proposition 6.16

History

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

Mind projection fallacy CAZN880GNQ

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

Mentions

wikipedia: Wikipedia Mind projection fallacy, Mind projection fallacy (definition). Also Wikidata Q2648879

History

2026-11-02: add by m2/dev

Karhunen–Loève theorem CAZR2Q0TP5

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

Mentions

wikipedia: Wikipedia List of statistics articles#MFNS, Karhunen–Loève theorem (statement)

History

2026-11-02: add by m2/dev

*{Theorem 3.1 CAZZH92HNM

URI	`m2://inv/CAZZH92HNM`
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 2411.17227#N0XQ, *{Theorem 3.1 (statement). In DDNP38CHQJ/e1, theorem 2.5

History

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