Inventory rows EC

EC00AM8TQQ EC00AM8TQQ

URI	`m2://inv/EC00AM8TQQ`
Kind	definition
Layer	research
MSC	11-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 2609.26619#XSAM (definition)

History

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

EC01ZD00TP EC01ZD00TP

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

Mentions

open_logic: open_logic content/intuitionistic-logic/semantics/topological-semantics.tex#defn-2 (definition). In PKGMM3P5QY, defn, section 33.1

History

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

EC059BR05V EC059BR05V

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

Mentions

open_logic: open_logic content/set-theory/z/pairs.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 76.6

History

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

Quotients at the dominant real roots EC07C2CYQJ

URI	`m2://inv/EC07C2CYQJ`
Kind	statement
Layer	research
MSC	37-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.09912#4DAD, Quotients at the dominant real roots (statement). In 65TJENWK7X/e1, lemma 74

History

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

Statement of the inequality EC09JV7JCQ

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

Mentions

wikipedia: Wikipedia Lieb–Oxford inequality#JE62, Statement of the inequality (statement)

History

2026-11-02: add by m2/dev

Ishimori equation EC0HXDE5V7

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

Mentions

wikipedia: Wikipedia Ishimori equation, Ishimori equation (definition). Also Wikidata Q17098402

History

2026-11-02: add by m2/dev

Collet, Clara EC0MNHHBQB

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

Mentions

wikipedia: Wikipedia List of statisticians#PHHK, Collet, Clara (unknown)

History

2026-11-02: add by m2/dev

EC0PEQKRRZ EC0PEQKRRZ

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

History

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

EC12B3TKBX EC12B3TKBX

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

Mentions

arxiv: arXiv 2609.20798#Y079 (statement)

History

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

Chris Freiling EC19CNS3YD

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

Mentions

wikipedia: Wikipedia Chris Freiling, Chris Freiling (topic). Also Wikidata Q5106595

History

2026-11-02: add by m2/dev

List of centroids EC1BMCM4VJ

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

Mentions

wikipedia: Wikipedia List of centroids, List of centroids (topic). Also Wikidata Q3522756

History

2026-11-02: add by m2/dev

A $15$TET zigzag EC1RDKZGRH

URI	`m2://inv/EC1RDKZGRH`
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.26114#N0DQ, A $15$TET zigzag (example)

History

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

EC1Y4B4XX5 EC1Y4B4XX5

URI	`m2://inv/EC1Y4B4XX5`
Kind	statement
Layer	research
MSC	30-XX, 32-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 2609.37606#39WR (statement). In WNFW6GY38C/e1, theorem 5.2

History

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

Theorem A EC25H5714G

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

Mentions

wikipedia: Wikipedia Cartan's theorems A and B#RBV9, Theorem A (statement)

History

2026-11-02: add by m2/dev

EC28WRNVP8 EC28WRNVP8

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

Mentions

arxiv: arXiv 2609.21528#M7UN (definition)

History

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

John Friedlander EC29TP61AZ

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

Mentions

wikipedia: Wikipedia John Friedlander, John Friedlander (topic). Also Wikidata Q470462

History

2026-11-02: add by m2/dev

EC2BQJ0TQZ EC2BQJ0TQZ

URI	`m2://inv/EC2BQJ0TQZ`
Kind	example
Layer	research
MSC	16-XX, 19-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.23527#SUWZ (example)

History

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

Vacuum-uniform initial-layer estimate EC2CDG9EHV

URI	`m2://inv/EC2CDG9EHV`
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.04894#3BOG, Vacuum-uniform initial-layer estimate (statement). In AZZ35SDENN/e1, proposition 4.3

History

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

EC2KHT3MSQ EC2KHT3MSQ

URI	`m2://inv/EC2KHT3MSQ`
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.23238#N1J8 (statement)

History

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

Example EC2MCY8FJ6

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

Mentions

wikipedia: Wikipedia Doubling-oriented Doche–Icart–Kohel curve#Q752, Example (example)

History

2026-11-02: add by m2/dev

Limit point compact EC2P9ECKGJ

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

Mentions

wikipedia: Wikipedia Glossary of general topology#1I7O, Limit point compact (definition)

History

2026-11-02: add by m2/dev

EC2QF8NZCN EC2QF8NZCN

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

Mentions

wikipedia: Wikipedia Fibonacci prime#9RZS (problem)

History

2026-11-02: add by m2/dev

Quotient group EC2QVARRFN

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

Mentions

wikipedia: Wikipedia List of group theory topics#C1N6, Quotient group (definition)
wikipedia: Wikipedia List of abstract algebra topics#CQVN, Quotient group (definition)

History

2026-11-02: add by m2/dev

EC2SEH17SJ EC2SEH17SJ

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

Mentions

arxiv: arXiv 2609.21052#XV7W (example)

History

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

Automation bias EC2SQVYKRG

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

Mentions

wikipedia: Wikipedia List of cognitive biases#GX31, Automation bias (unknown)

History

2026-11-02: add by m2/dev

EC32327HPW EC32327HPW

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

Mentions

arxiv: arXiv 2609.21703#B9U3 (example)

History

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

$e$-$m$ exchanging symmetry EC36T893PD

URI	`m2://inv/EC36T893PD`
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 2610.02097#B1A5, $e$-$m$ exchanging symmetry (definition). In DQSRCCAG6G/e1, definition 1

History

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

EC3C0MSZ4R EC3C0MSZ4R

URI	`m2://inv/EC3C0MSZ4R`
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.17825#4VZ7 (statement). In T0ADPX1S05/e1, corollary 4.8

History

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

Alex Dorpenberger EC3KE9YNDE

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

Mentions

wikipedia: Wikipedia List of University of California, Los Angeles people#XHFM, Alex Dorpenberger (unknown)

History

2026-11-02: add by m2/dev

(n, k)-Gray code EC3QZ9E4AZ

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

Mentions

wikipedia: Wikipedia Gray code#G5CI, (n, k)-Gray code (unknown)

History

2026-11-02: add by m2/dev

EC3TZH1PHD EC3TZH1PHD

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

Mentions

arxiv: arXiv 2610.04870#N42R (definition). In X765ZXXVC3/e1, definition 5.15

History

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

EC3W8VFZBR EC3W8VFZBR

URI	`m2://inv/EC3W8VFZBR`
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#UN2J (statement). In CFJH0Q39FZ/e1, proposition B.1

History

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

Jacobus Verhoeff EC3W94GP09

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

Mentions

wikipedia: Wikipedia Jacobus Verhoeff, Jacobus Verhoeff (topic). Also Wikidata Q4980970

History

2026-11-02: add by m2/dev

Joel Schneider EC460VG6K1

URI	`m2://inv/EC460VG6K1`
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#6CZV, Joel Schneider (unknown)

History

2026-11-02: add by m2/dev

Uncertain inference EC48601Q6Q

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

Mentions

wikipedia: Wikipedia Uncertain inference, Uncertain inference (definition). Also Wikidata Q18465375

History

2026-11-02: add by m2/dev

Henry Scheffé EC4B7F95Q2

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

Mentions

wikipedia: Wikipedia Henry Scheffé, Henry Scheffé (topic). Also Wikidata Q5728085

History

2026-11-02: add by m2/dev

Applications EC5158SDC3

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

Mentions

wikipedia: Wikipedia Hypergraph#F80F, Applications (example)

History

2026-11-02: add by m2/dev

Common PID Output Induces Common Subsequence Pattern EC52WGNS0Z

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

Mentions

arxiv: arXiv 2609.37578#OIHP, Common PID Output Induces Common Subsequence Pattern (statement). In D7NDCWSDJE/e1, lemma 9

History

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

EC55KSTKSE EC55KSTKSE

URI	`m2://inv/EC55KSTKSE`
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 2607.00323#VZLE (statement). In BPRFEQY7W4/e1, lemma 3.5

History

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

Raimund Bürger EC590XDHKP

URI	`m2://inv/EC590XDHKP`
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#RJ49, Raimund Bürger (unknown)

History

2026-11-02: add by m2/dev

EC5CMJ0C2Q EC5CMJ0C2Q

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

Mentions

arxiv: arXiv 1507.03803#IOWB (example). In MMJT4R2MSS/e1, example 1

History

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

Kripke–Platek axioms EC5G01PBDB

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

Mentions

wikipedia: Wikipedia List of axioms#MH1R, Kripke–Platek axioms (definition)

History

2026-11-02: add by m2/dev

EC5JR5C9E9 EC5JR5C9E9

URI	`m2://inv/EC5JR5C9E9`
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 2508.17135#GRGP (statement). In 74MXJ2RX4B/e1, theorem 4.4

History

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

EC5NCFE5XP EC5NCFE5XP

URI	`m2://inv/EC5NCFE5XP`
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#YV1S (statement). In PKPT8NY665/e1, lemma 2.1

History

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

EC5TCK5PJ4 EC5TCK5PJ4

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

Mentions

hott_book: hott_book hlevels.tex#proof-46 (proof). In N54F33XE07, proof, section 6.6

History

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

differential graded-commutative algebra EC5TTTD7G3

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

Mentions

wikidata: Wikidata Q125379340, differential graded-commutative algebra (unknown). Also nLab differential graded-commutative algebra

History

2026-10-26: add by m2/dev

Chong-Qing Cheng EC60QPKEDR

URI	`m2://inv/EC60QPKEDR`
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#5ONA, Chong-Qing Cheng (unknown)

History

2026-11-02: add by m2/dev

Type-mass concentration EC62ZTVJ8R

URI	`m2://inv/EC62ZTVJ8R`
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.02669#MWU9, Type-mass concentration (statement). In NSBSWH6XB4/e1, proposition 3.5

History

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

EC6GCCPMQ8 EC6GCCPMQ8

URI	`m2://inv/EC6GCCPMQ8`
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.09704#Z38V (statement). In FNG4B47MRV/e1, proposition 4.12

History

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

Stabilization of powers of a finite subsemigroup EC6MSBSSCP

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

Mentions

arxiv: arXiv 2609.39700#VIIW, Stabilization of powers of a finite subsemigroup (statement). In E7W2HDNEKJ/e1, lemma 4.1

History

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

f′x EC6X52N3VY

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

Mentions

wikipedia: Wikipedia Glossary of set theory#AOCQ, f′x (definition)

History

2026-11-02: add by m2/dev

EC737YVSZC EC737YVSZC

URI	`m2://inv/EC737YVSZC`
Kind	problem
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 2610.10077#BSY1 (problem). In YA7H9PY3R1/e1, problem 5.6

History

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

Iosif Gikhman EC73PH8Z2P

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

Mentions

wikipedia: Wikipedia Iosif Gikhman, Iosif Gikhman (topic). Also Wikidata Q4139049

History

2026-11-02: add by m2/dev

Leon Mirsky EC74VGGSSJ

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#L5QZ, Leon Mirsky (unknown)

History

2026-11-02: add by m2/dev

EC74W502WD EC74W502WD

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

Mentions

lebl_ra: lebl_ra ch-riemann.tex#exercise-25 (exercise). In E59CDZA4DP, exercise, section 8.3.4

History

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

Cancellation Law of Multiplication EC77ECK6J9

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_total-order-N.ptx#corollary-1, Cancellation Law of Multiplication (statement). In QKM9DD2H56, corollary, section B.11

History

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

EC7DS5S2K9 EC7DS5S2K9

URI	`m2://inv/EC7DS5S2K9`
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#971T (statement). In CHVWYJM7RM/e1, lemma 5.1

History

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

Rayleigh's quotient in vibrations analysis EC7NTFSCN7

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

Mentions

wikipedia: Wikipedia Rayleigh's quotient in vibrations analysis, Rayleigh's quotient in vibrations analysis (definition). Also Wikidata Q30590263

History

2026-11-02: add by m2/dev

Szemerédi regularity lemma EC7VM8JHFA

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

Mentions

wikipedia: Wikipedia Szemerédi regularity lemma, Szemerédi regularity lemma (statement). Also Wikidata Q1295910

History

2026-11-02: add by m2/dev

Examples EC82V3BP5P

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

Mentions

wikipedia: Wikipedia Co-NP-complete#OVIV, Examples (example)

History

2026-11-02: add by m2/dev

Class numbers of imaginary quadratic fields EC8DHHCACD

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

Mentions

wikipedia: Wikipedia List of incomplete proofs#W30F, Class numbers of imaginary quadratic fields (statement)

History

2026-11-02: add by m2/dev

EC8PDFP1JP EC8PDFP1JP

URI	`m2://inv/EC8PDFP1JP`
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.29723#H4E3 (statement)

History

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

Theorem EC8PV54PA4

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

Mentions

wikipedia: Wikipedia Katugampola fractional operators#HNH6, Theorem (statement)

History

2026-11-02: add by m2/dev

OpenModelica EC8WHG7XVQ

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

Mentions

wikipedia: Wikipedia List of open-source software for mathematics#CY0R, OpenModelica (unknown)

History

2026-11-02: add by m2/dev

EC8XC1E8QZ EC8XC1E8QZ

URI	`m2://inv/EC8XC1E8QZ`
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.35683#FM0I (statement). In A4S9A3X494/e1, corollary 2

History

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

EC8XK0SQ6E EC8XK0SQ6E

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-2 (exercise). In P1C114YBXG, problem, section 1

History

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

Nathan Fine EC90K01S8M

URI	`m2://inv/EC90K01S8M`
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 Q6969052, Nathan Fine (unknown). Also MathWorld FinesEquation
wikipedia: Wikipedia Nathan Fine, Nathan Fine (topic). Also Wikidata Q6969052

History

2026-10-26: add by m2/dev

EC91JZ75AT EC91JZ75AT

URI	`m2://inv/EC91JZ75AT`
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.20368#9G7D (statement)

History

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

Unit disk graph EC928NREE4

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

Mentions

wikipedia: Wikipedia Unit disk graph, Unit disk graph (definition). Also Wikidata Q3115549

History

2026-11-02: add by m2/dev

Example EC93K49Y9P

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

Mentions

wikipedia: Wikipedia Representation theory of finite groups#5PWO, Example (example)

History

2026-11-02: add by m2/dev

EC97VNE62D EC97VNE62D

URI	`m2://inv/EC97VNE62D`
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.07260#DT9W (statement). In 33KABVV985/e1, lemma 2.1

History

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

Intra-rater reliability EC9ADQ4F76

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

Mentions

wikipedia: Wikipedia Intra-rater reliability, Intra-rater reliability (definition). Also Wikidata Q6058299

History

2026-11-02: add by m2/dev

Chris Godsil EC9BACDQ9R

URI	`m2://inv/EC9BACDQ9R`
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 Q5106672, Chris Godsil (unknown). Also ProofWiki Mathematician:Christopher_David_Godsil
wikipedia: Wikipedia Chris Godsil, Chris Godsil (topic). Also Wikidata Q5106672

History

2026-10-26: add by m2/dev

Mathematical Association EC9MKH89SE

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

Mentions

wikipedia: Wikipedia Mathematical Association, Mathematical Association (definition). Also Wikidata Q6786827

History

2026-11-02: add by m2/dev

Non-uniform discrete Fourier transform EC9T9AMHZQ

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

Mentions

wikipedia: Wikipedia List of Fourier analysis topics#J97J, Non-uniform discrete Fourier transform (definition)

History

2026-11-02: add by m2/dev

Hypocontinuous bilinear map EC9VBR4W7B

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

Mentions

wikipedia: Wikipedia Hypocontinuous bilinear map, Hypocontinuous bilinear map (definition). Also Wikidata Q5959415

History

2026-11-02: add by m2/dev

Dirac discriminant ECA91GCCTG

URI	`m2://inv/ECA91GCCTG`
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.20197#X657, Dirac discriminant (definition)

History

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

Example ECAE6XRR7P

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

Mentions

wikipedia: Wikipedia Induced path#HCMH, Example (example)

History

2026-11-02: add by m2/dev

Pavel Urysohn ECAEXH7ZW4

URI	`m2://inv/ECAEXH7ZW4`
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 Q451716, Pavel Urysohn (unknown). Also ProofWiki Mathematician:Pavel_Samuilovich_Urysohn
wikipedia: Wikipedia Pavel Urysohn, Pavel Urysohn (topic). Also Wikidata Q451716

History

2026-10-26: add by m2/dev

Conditions of the theorem ECAFV7AE77

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

Mentions

wikipedia: Wikipedia Rauch comparison theorem#QRQU, Conditions of the theorem (statement)

History

2026-11-02: add by m2/dev

ECAN8KNWWC ECAN8KNWWC

URI	`m2://inv/ECAN8KNWWC`
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.25038#Y71E (statement)

History

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

Exact compression ECASJQVNSG

URI	`m2://inv/ECASJQVNSG`
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 2610.02216#TWSJ, Exact compression (statement). In 34JGRZ2M5F/e1, theorem 1.1

History

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

Proof of $(\forall n \in \mathbb{Z})(n \geq a \implies P(n))$ by Induction ECB6BGN431

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

Mentions

ernst_ibl: ernst_ibl MAAPressVersion/MoreInduction.tex#skeleton-1, Proof of $(\forall n \in \mathbb{Z})(n \geq a \implies P(n))$ by Induction (proof). In P1C114YBXG, skeleton, section F

History

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

ECB87PVAFQ ECB87PVAFQ

URI	`m2://inv/ECB87PVAFQ`
Kind	example
Layer	research
MSC	37-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.06927#UT6N (example). In YM4CSJJDJZ/e1, example 3.5

History

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

Definition ECBGNXC2N5

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

Mentions

wikipedia: Wikipedia Bracket polynomial#RW84, Definition (definition)

History

2026-11-02: add by m2/dev

ECBKY3YFVC ECBKY3YFVC

URI	`m2://inv/ECBKY3YFVC`
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.23558#GT3N (statement)

History

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

Formal definition ECBM908W9Y

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

Mentions

wikipedia: Wikipedia CM-field#3J1K, Formal definition (definition)

History

2026-11-02: add by m2/dev

John Hilton Grace ECCA1T6H6H

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

Mentions

wikipedia: Wikipedia John Hilton Grace, John Hilton Grace (topic). Also Wikidata Q10966036

History

2026-11-02: add by m2/dev

PSP ECCGP8KAJ5

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

Mentions

wikipedia: Wikipedia Glossary of set theory#MRS2, PSP (definition)

History

2026-11-02: add by m2/dev

Eodermdrome ECCHS4ZY4K

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

Mentions

wikipedia: Wikipedia Eodermdrome, Eodermdrome (definition). Also Wikidata Q25042674

History

2026-11-02: add by m2/dev

ECCJC0549P ECCJC0549P

URI	`m2://inv/ECCJC0549P`
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 0904.2839#08E9 (statement). In 2P34N0GWS1/e1, lemma 2.2.1

History

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

ECCTS0VGRV ECCTS0VGRV

URI	`m2://inv/ECCTS0VGRV`
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.15744#70HX (statement). In NV3PBZGBB7/e1, proposition 5.12

History

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

CRYPTO ECDAAHEKRF

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

Mentions

wikipedia: Wikipedia List of telecommunications encryption terms#FV8J, CRYPTO (definition)

History

2026-11-02: add by m2/dev

Tadeusz Iwaniec ECDVPSBMHG

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

Mentions

wikipedia: Wikipedia Tadeusz Iwaniec, Tadeusz Iwaniec (topic). Also Wikidata Q7674475

History

2026-11-02: add by m2/dev

ECDY727YCC ECDY727YCC

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

Mentions

lebl_diffyqs: lebl_diffyqs ch-systems.tex#example-14 (example). In E9HS8K3A52, example, section 10.7.2

History

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

Discrete Brascamp--Lieb Inequality, Unit Birth Rate Chain ECDYM422VP

URI	`m2://inv/ECDYM422VP`
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.23994#3J18, Discrete Brascamp--Lieb Inequality, Unit Birth Rate Chain (statement)

History

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

CURE data clustering algorithm ECE7FTNA16

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

Mentions

wikipedia: Wikipedia List of statistics articles#QHAN, CURE data clustering algorithm (definition)

History

2026-11-02: add by m2/dev

C. S. Seshadri ECE7GE7JG5

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

Mentions

wikipedia: Wikipedia List of Indian mathematicians#QZX2, C. S. Seshadri (topic)

History

2026-11-02: add by m2/dev

ECEBPB3P7F ECEBPB3P7F

URI	`m2://inv/ECEBPB3P7F`
Kind	definition
Layer	research
MSC	05-XX, 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.25168#53IK (definition)

History

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

Sub-Gaussian distribution ECECRW7AFD

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

Mentions

wikipedia: Wikipedia Sub-Gaussian distribution, Sub-Gaussian distribution (definition). Also Wikidata Q25303973

History

2026-11-02: add by m2/dev

Ivar Ekeland ECEFNFJVBX

URI	`m2://inv/ECEFNFJVBX`
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#AMKM, Ivar Ekeland (topic)

History

2026-11-02: add by m2/dev

Ampers'and ECEFW5CT8D

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

Mentions

wikipedia: Wikipedia Ampersand#SY6W, Ampers'and (unknown)

History

2026-11-02: add by m2/dev

Lovász conjecture ECEHK89W62

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

Mentions

wikidata: Wikidata Q957938, Lovász conjecture (conjecture). Also MathWorld LovaszConjecture
wikipedia: Wikipedia Lovász conjecture, Lovász conjecture (conjecture). Also Wikidata Q957938

History

2026-10-26: add by m2/dev

Semi-stable elliptic curve ECEJ2CP01B

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

Mentions

wikipedia: Wikipedia Semistable abelian variety#NBBJ, Semi-stable elliptic curve (unknown)

History

2026-11-02: add by m2/dev

Theorem ECEJRJJSTM

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

Mentions

wikipedia: Wikipedia Absolute neighborhood retract#V26I, Theorem (statement)

History

2026-11-02: add by m2/dev

ECEK0DHWW4 ECEK0DHWW4

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

Mentions

arxiv: arXiv 2609.25762#FHWO (statement)

History

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

ECERTSZE7V ECERTSZE7V

URI	`m2://inv/ECERTSZE7V`
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.09648#4LQ6 (statement). In WB9PTPN54H/e1, lemma 5.2

History

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

ECESFC1TGW ECESFC1TGW

URI	`m2://inv/ECESFC1TGW`
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 2411.11470#V4EZ (statement). In G1E3KERT6K/e1, lemma 4.1

History

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

subcontraries ECET0RZYST

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

Mentions

wikipedia: Wikipedia Glossary of logic#JXEH, subcontraries (definition)

History

2026-11-02: add by m2/dev

Abortion ECEYP5FVKC

URI	`m2://inv/ECEYP5FVKC`
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#LB4K, Abortion (unknown)

History

2026-11-02: add by m2/dev

Claudia Neuhauser ECF3HS0EWM

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

Mentions

wikipedia: Wikipedia Claudia Neuhauser, Claudia Neuhauser (topic). Also Wikidata Q18705966

History

2026-11-02: add by m2/dev

ECF4DS00X8 ECF4DS00X8

URI	`m2://inv/ECF4DS00X8`
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.07530#M7SM (statement). In C7QZ0VPBC8/e1, theorem 1.2

History

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

Properties ECF6J5V1VV

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

Mentions

wikipedia: Wikipedia Untouchable number#N0UH, Properties (statement)

History

2026-11-02: add by m2/dev

ECFEMKST03 ECFEMKST03

URI	`m2://inv/ECFEMKST03`
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 2609.31365#XV59 (statement). In 19GENJ3NCP/e1, theorem 4.4

History

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

Properties ECFK28RNZP

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

Mentions

wikipedia: Wikipedia Seventh power#I64A, Properties (statement)

History

2026-11-02: add by m2/dev

Michael Selection Theorem ECFNAMJYT5

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

Mentions

wikipedia: Wikipedia Michael selection theorem#31XK, Michael Selection Theorem (statement)

History

2026-11-02: add by m2/dev

Examples ECFPZ7QW75

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

Mentions

wikipedia: Wikipedia Wedge sum#8RNM, Examples (example)

History

2026-11-02: add by m2/dev

Prism ECFQ4X61ZJ

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

Mentions

wikipedia: Wikipedia List of formulas in elementary geometry#TXDH, Prism (definition)

History

2026-11-02: add by m2/dev

A continuous roof is not necessarily a Boolean concave closure ECFV1RNJ7T

URI	`m2://inv/ECFV1RNJ7T`
Kind	example
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.04027#L5J9, A continuous roof is not necessarily a Boolean concave closure (example). In DQB4YR2DFH/e1, example 2.2

History

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

Galperin configuration ECFWX3WJ4D

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

Mentions

wikipedia: Wikipedia Galperin configuration, Galperin configuration (definition). Also Wikidata Q106616359

History

2026-11-02: add by m2/dev

ECG2A4A29N ECG2A4A29N

URI	`m2://inv/ECG2A4A29N`
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 2403.02207#6HLV (statement). In 1T3ZYPQZF0/e1, proposition 4.14

History

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

Second fundamental theorem of calculus ECG3BGK1EA

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

Mentions

wikipedia: Wikipedia Differential calculus#I95D, Second fundamental theorem of calculus (statement)

History

2026-11-02: add by m2/dev

Cochran's C test ECG553RC24

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

Mentions

wikipedia: Wikipedia Cochran's C test, Cochran's C test (definition). Also Wikidata Q5139412

History

2026-11-02: add by m2/dev

Proper equilibrium ECG8BCQ3HR

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

Mentions

wikipedia: Wikipedia Proper equilibrium, Proper equilibrium (definition). Also Wikidata Q4426118

History

2026-11-02: add by m2/dev

ECGAFND0KS ECGAFND0KS

URI	`m2://inv/ECGAFND0KS`
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.01267#SCPV (statement). In GWWHP6R0BZ/e1, theorem 4.13

History

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

weak ECGD51C4H0

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

Mentions

wikipedia: Wikipedia Glossary of commutative algebra#4CS4, weak (definition)

History

2026-11-02: add by m2/dev

Ángel Gallardo ECGE36YCXS

URI	`m2://inv/ECGE36YCXS`
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#DKEV, Ángel Gallardo (unknown)

History

2026-11-02: add by m2/dev

Penny Haxell ECGN5N04D5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#FVEK, Penny Haxell (topic)

History

2026-11-02: add by m2/dev

ECGPCXN5V5 ECGPCXN5V5

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

Mentions

arxiv: arXiv 1907.01440#9D5Z (definition). In QDRYC6WJJ7/e1, definition 9

History

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

Simple example ECGYZT8T4E

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

Mentions

wikipedia: Wikipedia Equivalence relation#GA10, Simple example (example)

History

2026-11-02: add by m2/dev

Goursat tetrahedron ECHDNR8DJ3

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

Mentions

wikipedia: Wikipedia Goursat tetrahedron, Goursat tetrahedron (definition). Also Wikidata Q5588468

History

2026-11-02: add by m2/dev

Formula ECHE09TCC5

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

Mentions

wikipedia: Wikipedia Midpoint#ZUX0, Formula (statement)

History

2026-11-02: add by m2/dev

function ECHEQF6RPR

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

Mentions

applied_combinatorics: applied_combinatorics index/B.4/function, function (concept). In QKM9DD2H56, index, section B.4

History

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

Destination dispatch ECHF05FKBT

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#OSMY, Destination dispatch (unknown)

History

2026-11-02: add by m2/dev

Geometric mean functional relationship ECHGYNJPXX

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

Mentions

wikipedia: Wikipedia Total least squares#9VRA, Geometric mean functional relationship (unknown)

History

2026-11-02: add by m2/dev

ECHN5AX2XM ECHN5AX2XM

URI	`m2://inv/ECHN5AX2XM`
Kind	statement
Layer	research
MSC	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 2610.12120#YUVM (statement). In G9D4R1AXP8/e1, theorem 3.3

History

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

Example ECHPB3W3EE

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

Mentions

wikipedia: Wikipedia Algebraic logic#SW7K, Example (example)

History

2026-11-02: add by m2/dev

ECJ2YXEVQH ECJ2YXEVQH

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

Mentions

arxiv: arXiv 2609.40054#ON6V (statement). In CA4C9PFM1E/e1, corollary 3.1.7

History

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

ECJ4ATKTF2 ECJ4ATKTF2

URI	`m2://inv/ECJ4ATKTF2`
Kind	statement
Layer	research
MSC	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 2609.20375#ROP7 (statement)

History

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

Sunset ECJ7CVK30F

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

Mentions

wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#1MFM, Sunset (unknown)

History

2026-11-02: add by m2/dev

Petersen graph ECJAFJZDYG

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

Mentions

levin_dmoi: levin_dmoi index/5.3/petersen-graph, Petersen graph (concept). In Y91XFCEVHQ, index, section 5.3

History

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

Fibrewise symplectic form ECJFERVKNV

URI	`m2://inv/ECJFERVKNV`
Kind	definition
Layer	research
MSC	35-XX, 46-XX, 47-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.04583#OK43, Fibrewise symplectic form (definition). In Y6774ZB8TE/e1, definition B.2

History

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

Theorem ECJGE2BRB1

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

Mentions

wikipedia: Wikipedia Heap (mathematics)#6C3P, Theorem (statement)

History

2026-11-02: add by m2/dev

Statement ECJZMH13WW

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

Mentions

wikipedia: Wikipedia Zig-zag lemma#6VZB, Statement (statement)

History

2026-11-02: add by m2/dev

homotopy, equivalence, topological ECK2NT4V15

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

Mentions

hott_book: hott_book index/7/homotopy-equivalence-topological, homotopy, equivalence, topological (concept). In N54F33XE07, index, section 7

History

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

ECK9W9KV3Y ECK9W9KV3Y

URI	`m2://inv/ECK9W9KV3Y`
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#9G4J (statement). In EFSGMHG5BW/e1, theorem E

History

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

Uniform variational principle ECKA1FQ3WB

URI	`m2://inv/ECKA1FQ3WB`
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 2403.16840#EXCT, Uniform variational principle (statement). In K4CZQDD0G7/e1, theorem 2.3

History

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

ECKBW21G1Q ECKBW21G1Q

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

Mentions

arxiv: arXiv 2609.25269#0MTB (statement)

History

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

ECKNSBXV8R ECKNSBXV8R

URI	`m2://inv/ECKNSBXV8R`
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.37103#NNDX (statement). In 6Q8YMAWFZN/e1, proposition 3.1

History

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

ring homomorphism ECKQ9H3QS7

URI	`m2://inv/ECKQ9H3QS7`
Kind	definition
Layer	textbook
Sources	4
Outcome	node (a node has the same name as the row)
Node	Ring homomorphism 0GGE0Z0JQ1

Mentions

mathlib_overview: mathlib_overview General algebra > Rings > ring morphism, ring morphism (unknown). Also Mathlib RingHom
mathlib_undergrad: mathlib_undergrad Ring Theory > Fundamentals > ring morphisms, ring morphisms (unknown). Also Mathlib RingHom
wikidata: Wikidata Q1194212, ring homomorphism (definition). Also Mathlib RingHom, MathWorld RingHomomorphism, ProofWiki Definition:Ring_Homomorphism
wikipedia: Wikipedia Ring homomorphism, Ring homomorphism (definition). Also Wikidata Q1194212

History

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

ECKQQ65SKV ECKQQ65SKV

URI	`m2://inv/ECKQQ65SKV`
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 2609.20094#CSVO (statement)

History

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

ECKQQCJBHC ECKQQCJBHC

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

Mentions

arxiv: arXiv 2303.14022#1XL0 (definition). In NSYR6W27FP/e1, definition 6.2

History

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

domination number ECKQRNQQFG

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

Mentions

wikidata: Wikidata Q130343824, domination number (unknown). Also MathWorld DominationNumber

History

2026-10-26: add by m2/dev

ECKR79CN2H ECKR79CN2H

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

Mentions

arxiv: arXiv 2609.21052#P4P7 (statement)

History

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

ECKS63MJ1C ECKS63MJ1C

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

Mentions

open_logic: open_logic content/first-order-logic/sequent-calculus/derivations.tex#ex-1 (example). In PKGMM3P5QY, ex, section 17.3

History

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

Roxana Vivian ECKWA25Q4P

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

Mentions

wikipedia: Wikipedia Roxana Vivian, Roxana Vivian (topic). Also Wikidata Q19975361

History

2026-11-02: add by m2/dev

ECM0XCEW64 ECM0XCEW64

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

Mentions

levin_dmoi: levin_dmoi ptx/exercises/seq-recurrence.ptx#exercise-10 (exercise). In Y91XFCEVHQ, exercise, section 3.4

History

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

Michael's theorem on paracompact spaces ECM4TYMW2F

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

Mentions

wikipedia: Wikipedia Michael's theorem on paracompact spaces, Michael's theorem on paracompact spaces (statement). Also Wikidata Q131573119

History

2026-11-02: add by m2/dev

ECM4WEN4VY ECM4WEN4VY

URI	`m2://inv/ECM4WEN4VY`
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.14839#X6R3 (statement). In CYB41667NA/e1, lemma 4.2

History

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

Examples ECMA5N1G84

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

Mentions

wikipedia: Wikipedia Hemicompact space#5ANR, Examples (example)

History

2026-11-02: add by m2/dev

Measurable cardinal ECMB56A4RB

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

Mentions

wikipedia: Wikipedia List of mathematical logic topics#TOLI, Measurable cardinal (definition)

History

2026-11-02: add by m2/dev

!!^{derivation} ECMG72PQSR

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

Mentions

open_logic: open_logic content/first-order-logic/natural-deduction/derivations.tex#defn-1, !!^{derivation} (definition). In PKGMM3P5QY, defn, section 13.4

History

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

logical equivalence ECMJ3HZ6KT

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

Mentions

wikipedia: Wikipedia Glossary of logic#KJPL, logical equivalence (definition)

History

2026-11-02: add by m2/dev

Cauchy–Kovalevskaya theorem ECMMCSTVPD

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

Mentions

wikipedia: Wikipedia List of partial differential equation topics#08MG, Cauchy–Kovalevskaya theorem (statement)

History

2026-11-02: add by m2/dev

Van Aubel's theorem ECMPHCACBM

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

Mentions

wikipedia: Wikipedia List of theorems#CUUV, Van Aubel's theorem (statement)

History

2026-11-02: add by m2/dev

ECMXPQ192Z ECMXPQ192Z

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

Mentions

arxiv: arXiv 2609.25063#11E1 (statement)

History

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

ECN6ZSBKQQ ECN6ZSBKQQ

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

Mentions

napkin: napkin tex/alg-geom/proj-var.tex#proof-1 (proof). In RZP28ERRZV, proof, section 23.3

History

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

Alexander R. Its ECN8MERGCN

URI	`m2://inv/ECN8MERGCN`
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#C8NB, Alexander R. Its (topic)

History

2026-11-02: add by m2/dev

ECNRK2K23X ECNRK2K23X

URI	`m2://inv/ECNRK2K23X`
Kind	definition
Layer	research
MSC	14-XX, 19-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 2211.10178#8NZ4 (definition). In 8T90H89HNB/e1, definition 4.2

History

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

Contranormal subgroup ECNXW74SFH

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

Mentions

wikipedia: Wikipedia Contranormal subgroup, Contranormal subgroup (definition). Also Wikidata Q5165734

History

2026-11-02: add by m2/dev

Wall's theorem on automorphisms ECNZERM7SQ

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

Mentions

wikipedia: Wikipedia Wall theorems#VY8B, Wall's theorem on automorphisms (statement)

History

2026-11-02: add by m2/dev

Complexified Pochammer Symbol, For any $k \in \mathbb{Z}$; see , page 158 ECP1RXM29Z

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

Mentions

arxiv: arXiv 2609.22759#SWW0, Complexified Pochammer Symbol, For any $k \in \mathbb{Z}$; see , page 158 (definition)

History

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

Benmei Liu ECP697TS7G

URI	`m2://inv/ECP697TS7G`
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#WBO1, Benmei Liu (topic)

History

2026-11-02: add by m2/dev

Shrinking space ECP8EFRPTW

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

Mentions

wikipedia: Wikipedia Shrinking space, Shrinking space (definition). Also Wikidata Q7504155

History

2026-11-02: add by m2/dev

Monte Carlo integration ECPFCRB862

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#JQPP, Monte Carlo integration (definition)

History

2026-11-02: add by m2/dev

Heat transfer coefficient ECPP0E0P2D

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

Mentions

wikipedia: Wikipedia Heat transfer coefficient, Heat transfer coefficient (definition). Also Wikidata Q634340

History

2026-11-02: add by m2/dev

ECPVWQ8GNN ECPVWQ8GNN

URI	`m2://inv/ECPVWQ8GNN`
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.05067#K33Q (statement). In 34BXY2SJ1X/e1, theorem 5

History

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

Generalizations ECQ2B6TMAE

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

Mentions

wikipedia: Wikipedia Cross product#OF4G, Generalizations (statement)

History

2026-11-02: add by m2/dev

Properties ECQCEHHKMH

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

Mentions

wikipedia: Wikipedia Line segment#T7XR, Properties (statement)

History

2026-11-02: add by m2/dev

ECQNW6ZWZV ECQNW6ZWZV

URI	`m2://inv/ECQNW6ZWZV`
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.33820#RH11 (statement). In S2ZMJENDHA/e1, proposition 2.2

History

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

Whewell equation ECQP7SHDE0

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

Mentions

wikidata: Wikidata Q7993538, Whewell equation (definition). Also MathWorld WhewellEquation, ProofWiki Definition:Intrinsic_Equation/Whewell_Equation
wikipedia: Wikipedia Whewell equation, Whewell equation (definition). Also Wikidata Q7993538

History

2026-10-26: add by m2/dev

Chiung-Yu Huang ECQSJ55MFA

URI	`m2://inv/ECQSJ55MFA`
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#8LZ5, Chiung-Yu Huang (unknown)

History

2026-11-02: add by m2/dev

ECR0RAA369 ECR0RAA369

URI	`m2://inv/ECR0RAA369`
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#2BBL (statement). In E22A2MFR4Y/e1, lemma 3.12

History

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

Properties ECR4WP9DA1

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

Mentions

wikipedia: Wikipedia Joint entropy#E0QJ, Properties (statement)

History

2026-11-02: add by m2/dev

terminal ECR70NCR5H

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

Mentions

wikipedia: Wikipedia Glossary of category theory#AB2T, terminal (definition)

History

2026-11-02: add by m2/dev

Elementary Garnir relations ECR719CR21

URI	`m2://inv/ECR719CR21`
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.34260#UGZK, Elementary Garnir relations (statement). In BBE69ZPVTF/e1, lemma 5.3

History

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

ECRFJ7CAVK ECRFJ7CAVK

URI	`m2://inv/ECRFJ7CAVK`
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.35631#HUUS (statement). In 9NCX0S6MTP/e1, lemma B.2

History

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

Monotonicity ECRWT4K26X

URI	`m2://inv/ECRWT4K26X`
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#82NZ, Monotonicity (statement). In CPYWHRTPKC/e1, theorem 7.19

History

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

History of Boolean algebra ECRX8VD76J

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

Mentions

wikipedia: Wikipedia Boolean algebra#MJ78, History of Boolean algebra (unknown)

History

2026-11-02: add by m2/dev

Context-sensitive language ECS34PHBCY

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

Mentions

wikipedia: Wikipedia Context-sensitive language, Context-sensitive language (definition). Also Wikidata Q1430282

History

2026-11-02: add by m2/dev

Conditional positivity ECT01JP8T5

URI	`m2://inv/ECT01JP8T5`
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.14920#Z6FM, Conditional positivity (definition). In 1F8ENX770M/e1, definition 5

History

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

Groupoid algebra ECT11241P8

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

Mentions

wikipedia: Wikipedia Groupoid algebra, Groupoid algebra (definition). Also Wikidata Q5611316

History

2026-11-02: add by m2/dev

Closed loop is similar to the target ECT8QYC2Q5

URI	`m2://inv/ECT8QYC2Q5`
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.22384#QB3E, Closed loop is similar to the target (statement)

History

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

Examples ECTDY94EJN

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

Mentions

wikipedia: Wikipedia Milnor K-theory#1FU7, Examples (example)

History

2026-11-02: add by m2/dev

Guralnick--Tiep ECTEETWAX1

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

Mentions

arxiv: arXiv 2610.04099#TJLX, Guralnick--Tiep (statement). In QPJ6FWG5HD/e1, theorem 2.33

History

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

Combinatorial isomorphism ECTF4R18FC

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

Mentions

wikipedia: Wikipedia Convex polytope#HXWB, Combinatorial isomorphism (unknown)

History

2026-11-02: add by m2/dev

Chinese dates ECTJT85PBY

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

Mentions

wikipedia: Wikipedia Chinese numerals#67JR, Chinese dates (unknown)

History

2026-11-02: add by m2/dev

Varga K. Kalantarov ECTR8ZHZ1R

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

Mentions

wikipedia: Wikipedia Varga K. Kalantarov, Varga K. Kalantarov (topic). Also Wikidata Q102177147

History

2026-11-02: add by m2/dev

Hodge–Arakelov theory ECTRQ4V699

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

Mentions

wikipedia: Wikipedia List of things named after W. V. D. Hodge#24XK, Hodge–Arakelov theory (definition)
wikipedia: Wikipedia List of things named after W. V. D. Hodge#YVLG, Hodge–Arakelov theory (definition)

History

2026-11-02: add by m2/dev

ECTXZBYZRF ECTXZBYZRF

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

Mentions

arxiv: arXiv 2501.01612#SUEZ (definition). In A5KESSK05N/e1, definition 2.4

History

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

ECV1GH0F3S ECV1GH0F3S

URI	`m2://inv/ECV1GH0F3S`
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 2506.09840#4U77 (statement). In Y7TWHSF2HC/e1, theorem 5.3

History

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

Statement of the inequality ECV2JMQ7GF

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

Mentions

wikipedia: Wikipedia Samuelson's inequality#2TRE, Statement of the inequality (statement)

History

2026-11-02: add by m2/dev

Erdős–Wintner theorem ECVDX8B82F

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

Mentions

wikipedia: Wikipedia List of things named after Paul Erdős#YY9L, Erdős–Wintner theorem (topic)

History

2026-11-02: add by m2/dev

Equivalence of Sobolev spaces ECVPZHRTEM

URI	`m2://inv/ECVPZHRTEM`
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.02933#S45I, Equivalence of Sobolev spaces (statement). In QSYZKPFRAN/e1, proposition 2.1

History

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

Statement of the theorem ECW1NHQ0EQ

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

Mentions

wikipedia: Wikipedia Kőnig's theorem (graph theory)#TFEA, Statement of the theorem (statement)

History

2026-11-02: add by m2/dev

Brieskorn–Grothendieck resolution ECW4ANPGES

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

Mentions

wikipedia: Wikipedia Brieskorn–Grothendieck resolution, Brieskorn–Grothendieck resolution (definition). Also Wikidata Q4967111

History

2026-11-02: add by m2/dev

ECW8PCRD8G ECW8PCRD8G

URI	`m2://inv/ECW8PCRD8G`
Kind	statement
Layer	research
MSC	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.19151#SXFT (statement). In DKVT74MANJ/e1, proposition 2.5

History

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

Definition ECWB01V8MB

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

Mentions

wikipedia: Wikipedia Krull–Schmidt category#CGJP, Definition (definition)

History

2026-11-02: add by m2/dev

ECWB1W9J4A ECWB1W9J4A

URI	`m2://inv/ECWB1W9J4A`
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.14458#ZHTK (statement). In WJ76MVYAZQ/e1, proposition 2.14

History

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

Unknown-spectrum cloner fidelity and compact-set optimum ECWCP0QMVC

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

Mentions

arxiv: arXiv 2609.35986#P9U8, Unknown-spectrum cloner fidelity and compact-set optimum (statement). In PBX6AMPVT2/e1, theorem 1.2

History

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

Critical points of the fixed TAP function ECWFYWSMSX

URI	`m2://inv/ECWFYWSMSX`
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#F0L1, Critical points of the fixed TAP function (statement). In NKXTXH59P1/e1, proposition E.1

History

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

ECWNDFS95V ECWNDFS95V

URI	`m2://inv/ECWNDFS95V`
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.12371#0TMQ (statement). In 8TTFQH19QR/e1, lemma 4

History

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

ECWRJSM599 ECWRJSM599

URI	`m2://inv/ECWRJSM599`
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 2610.02935#LVCK (statement). In WE2KKAMEFW/e1, theorem 2.2

History

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

ECX4XZJ2MF ECX4XZJ2MF

URI	`m2://inv/ECX4XZJ2MF`
Kind	problem
Layer	research
MSC	20-XX, 26-XX, 35-XX, 37-XX, 47-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 2311.00585#52CH (problem). In 332PQD90SW/e1, problem 2.16

History

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

ECX885VC3Q ECX885VC3Q

URI	`m2://inv/ECX885VC3Q`
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 1804.06366#9XFQ (statement). In 89XYDVXG38/e1, proposition 2.9

History

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

The Markov-Krein Transform commutes with affine shifts ECX9SJVVC5

URI	`m2://inv/ECX9SJVVC5`
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.18436#MYON, The Markov-Krein Transform commutes with affine shifts (statement). In M0Z0XAXZYW/e1, lemma 3.2

History

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

Candia Four Corners, New Hampshire ECXBQNRR4X

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

Mentions

wikipedia: Wikipedia List of places with numeric names#OVXY, Candia Four Corners, New Hampshire (unknown)

History

2026-11-02: add by m2/dev

Upper bounds on a box ECXC3DAYN1

URI	`m2://inv/ECXC3DAYN1`
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#RQIJ, Upper bounds on a box (statement). In JY6RYSNXMJ/e1, lemma 24

History

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

ECXF673EMY ECXF673EMY

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

Mentions

arxiv: arXiv 2610.22288#A0BZ (statement). In X38P26DK6S/e1, proposition 3.15

History

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

Quantum flapdoodle ECXN16QM3Q

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

Mentions

wikipedia: Wikipedia Quantum mysticism#VQFC, Quantum flapdoodle (unknown)

History

2026-11-02: add by m2/dev

magnetic charge ECXPRSHYNH

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

Mentions

wikidata: Wikidata Q11587844, magnetic charge (unknown). Also nLab magnetic charge

History

2026-10-26: add by m2/dev

Index of cryptography articles ECXQGFSSAP

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

Mentions

wikipedia: Wikipedia Index of cryptography articles, Index of cryptography articles (topic). Also Wikidata Q6018859

History

2026-11-02: add by m2/dev

Free lattice ECXR3J0Q4E

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

Mentions

wikipedia: Wikipedia Free lattice, Free lattice (definition). Also Wikidata Q5500254

History

2026-11-02: add by m2/dev

ECY4SP9VHY ECY4SP9VHY

URI	`m2://inv/ECY4SP9VHY`
Kind	example
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 0903.1504#80BO (example). In D5YZ438QTY/e1, example 3.1

History

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

Applications ECYCFM10A7

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

Mentions

wikipedia: Wikipedia Shapley–Shubik power index#G8MD, Applications (example)

History

2026-11-02: add by m2/dev

ECYGH8461G ECYGH8461G

URI	`m2://inv/ECYGH8461G`
Kind	statement
Layer	research
MSC	03-XX, 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.07695#ARCY (statement). In 8Z47D12KSX/e1, corollary 5.9

History

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

Analyst's traveling salesman theorem ECYM6WYES1

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

Mentions

mathlib_1000: mathlib_1000 Q4751110, Analyst's traveling salesman theorem (statement). Also Wikidata Q4751110
thousand_plus: thousand_plus Q4751110, Analyst's traveling salesman theorem (statement). Also Wikidata Q4751110, Wikipedia Analyst's traveling salesman theorem
wikipedia: Wikipedia Analyst's traveling salesman theorem, Analyst's traveling salesman theorem (statement). Also Wikidata Q4751110

History

2026-10-26: add by m2/dev

ECYNGRBXT5 ECYNGRBXT5

URI	`m2://inv/ECYNGRBXT5`
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.14555#EZD6 (statement). In NHW0VEJ09F/e1, proposition 3.7

History

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

Exact enumeration formulas ECYNSQ1J40

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

Mentions

wikipedia: Wikipedia Graph enumeration#1NFM, Exact enumeration formulas (statement)

History

2026-11-02: add by m2/dev

Geospatial topology ECYWV991CM

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

Mentions

wikipedia: Wikipedia List of topology topics#YTLF, Geospatial topology (unknown)

History

2026-11-02: add by m2/dev

Benno Van Dalen ECZ120NZ42

URI	`m2://inv/ECZ120NZ42`
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#JUW2, Benno Van Dalen (unknown)

History

2026-11-02: add by m2/dev

ECZ2QYG3J1 ECZ2QYG3J1

URI	`m2://inv/ECZ2QYG3J1`
Kind	statement
Layer	research
MSC	60-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.16069#T7N7 (statement). In MBJA03ES8N/e1, lemma 5.4

History

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

Strong law of small numbers ECZ83493ZK

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

Mentions

wikipedia: Wikipedia Strong law of small numbers, Strong law of small numbers (statement). Also Wikidata Q7624507

History

2026-11-02: add by m2/dev

1800 (number) ECZ9EZG9DH

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

Mentions

wikipedia: Wikipedia 1000 (number)#H3F3, 1800 (number) (unknown)

History

2026-11-02: add by m2/dev

Gordon Plotkin ECZCHDFNNZ

URI	`m2://inv/ECZCHDFNNZ`
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#0NEX, Gordon Plotkin (unknown)

History

2026-11-02: add by m2/dev

homotopy type theory ECZGRSXZF7

URI	`m2://inv/ECZGRSXZF7`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Homotopy type theory EPAAKD80H9

Mentions

wikidata: Wikidata Q5891840, homotopy type theory (unknown). Also nLab homotopy type theory
wikipedia: Wikipedia Homotopy type theory, Homotopy type theory (definition). Also Wikidata Q5891840

History

2026-10-26: add by m2/dev

Field norm ECZKNVMWT6

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

Mentions

wikipedia: Wikipedia List of abstract algebra topics#0CFW, Field norm (definition)

History

2026-11-02: add by m2/dev

ECZP21CJJF ECZP21CJJF

URI	`m2://inv/ECZP21CJJF`
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.30203#GX8E (statement)

History

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

SPSS Modeler ECZRRGBPGK

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

Mentions

wikipedia: Wikipedia SPSS Modeler, SPSS Modeler (definition). Also Wikidata Q7392671

History

2026-11-02: add by m2/dev