Inventory rows AA

Definitions AA02RB3JRV

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

Mentions

wikipedia: Wikipedia Apeirogon#UKXK, Definitions (definition)

History

2026-11-02: add by m2/dev

AA03BWMJ1G AA03BWMJ1G

URI	`m2://inv/AA03BWMJ1G`
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.28597#07VK (statement)

History

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

Roger Peng AA03QBVBTE

URI	`m2://inv/AA03QBVBTE`
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#G0CZ, Roger Peng (unknown)

History

2026-11-02: add by m2/dev

Strong connectivity for a fixed observation design AA047QECXP

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

Mentions

arxiv: arXiv 2610.09030#2ZK9, Strong connectivity for a fixed observation design (statement). In BYN44C0X0C/e1, lemma A.4

History

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

Deterministic optimizer accuracy ordering AA093GZTH7

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

Mentions

arxiv: arXiv 2610.11309#L23A, Deterministic optimizer accuracy ordering (statement). In TTEAQA1XXR/e1, theorem 3.1

History

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

Artin AA0GGVMANR

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

Mentions

wikipedia: Wikipedia Glossary of representation theory#VXOF, Artin (definition)

History

2026-11-02: add by m2/dev

AA0HACF0P6 AA0HACF0P6

URI	`m2://inv/AA0HACF0P6`
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.12857#S7U1 (definition). In XJWQ6Y83F8/e1, definition 2.14

History

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

AA0Q1GHY7A AA0Q1GHY7A

URI	`m2://inv/AA0Q1GHY7A`
Kind	statement
Layer	research
MSC	11-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.02111#C2GN (statement). In NC5ZRF6F8N/e1, proposition 3.14

History

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

AA11M8P1E4 AA11M8P1E4

URI	`m2://inv/AA11M8P1E4`
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.00247#EJJ3 (statement). In ZAM4S2XS9F/e1, theorem A.1

History

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

AA16EZ7PW2 AA16EZ7PW2

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

Mentions

arxiv: arXiv 2610.08382#EAVE (definition). In GYMGDQS25R/e1, definition 2.4

History

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

Maximal semilattice quotient AA17N49Q2X

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

Mentions

wikipedia: Wikipedia Maximal semilattice quotient, Maximal semilattice quotient (definition). Also Wikidata Q6795643

History

2026-11-02: add by m2/dev

Borel subgroup AA18QJ9VSQ

URI	`m2://inv/AA18QJ9VSQ`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Borel subgroup 5JSYA1JNCC

Mentions

wikidata: Wikidata Q4944913, Borel subgroup (unknown). Also EoM Borel_subgroup, nLab Borel subgroup
wikipedia: Wikipedia Borel subgroup, Borel subgroup (definition). Also Wikidata Q4944913

History

2026-10-26: add by m2/dev

Twinned rainbow AA1X4MMCZK

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

Mentions

wikipedia: Wikipedia Rainbow#JCE7, Twinned rainbow (unknown)

History

2026-11-02: add by m2/dev

Michael Hutchings AA1YVPYW3P

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

Mentions

wikipedia: Wikipedia Michael Hutchings (mathematician), Michael Hutchings (topic). Also Wikidata Q6831309

History

2026-11-02: add by m2/dev

extent AA1YYA9C1V

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

Mentions

wikipedia: Wikipedia Glossary of invariant theory#7EST, extent (definition)

History

2026-11-02: add by m2/dev

Flajolet Lecture Prize AA25ZNDPGM

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

Mentions

wikipedia: Wikipedia Flajolet Lecture Prize, Flajolet Lecture Prize (definition). Also Wikidata Q111951304

History

2026-11-02: add by m2/dev

Example 1 AA27AFMG8B

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

Mentions

wikipedia: Wikipedia Sharpe ratio#QSEX, Example 1 (example)

History

2026-11-02: add by m2/dev

Existential instantiation AA2EYHXFS5

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

Mentions

wikipedia: Wikipedia Existential instantiation, Existential instantiation (definition). Also Wikidata Q2013340

History

2026-11-02: add by m2/dev

Extended negative binomial distribution AA2H8EZR3J

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

Mentions

wikipedia: Wikipedia List of probability distributions#WBC5, Extended negative binomial distribution (definition)

History

2026-11-02: add by m2/dev

AA2KFM9WGA AA2KFM9WGA

URI	`m2://inv/AA2KFM9WGA`
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.16399#D1AC (statement). In 2N87D4KTSY/e1, lemma 2.2

History

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

knight's graph AA2NA0ZWNF

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

Mentions

wikidata: Wikidata Q6422173, knight's graph (unknown). Also MathWorld KnightGraph

History

2026-10-26: add by m2/dev

AA2W4P8RX1 AA2W4P8RX1

URI	`m2://inv/AA2W4P8RX1`
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 2607.28337#UPMK (statement). In 7ZJFWBTBKM/e1, corollary C

History

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

Hexadecachoric group AA2WV6ZTSS

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

Mentions

wikipedia: Wikipedia Point groups in four dimensions#ZQRW, Hexadecachoric group (unknown)

History

2026-11-02: add by m2/dev

AA2WXQENV8 AA2WXQENV8

URI	`m2://inv/AA2WXQENV8`
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 2610.13271#FSTC (example). In G8ZEBKZY8M/e1, example 4.4

History

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

Dario Graffi AA348AX81S

URI	`m2://inv/AA348AX81S`
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#4O0C, Dario Graffi (topic)

History

2026-11-02: add by m2/dev

Disjunctive set AA36R52WTB

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

Mentions

wikipedia: Wikipedia Syntactic monoid#DUH3, Disjunctive set (unknown)

History

2026-11-02: add by m2/dev

simple group AA3EVQBVEK

URI	`m2://inv/AA3EVQBVEK`
Kind	definition
Layer	textbook
Sources	3
Outcome	node (a node has the same name as the row)
Node	Simple group 0C093D1T4M

Mentions

mathlib_overview: mathlib_overview General algebra > Group theory > simple group, simple group (unknown). Also Mathlib IsSimpleGroup
wikidata: Wikidata Q571124, simple group (definition). Also EoM Simple_group, Mathlib IsSimpleGroup, MathWorld SimpleGroup, nLab simple group, ProofWiki Definition:Simple_Group
wikipedia: Wikipedia Simple group, Simple group (definition). Also Wikidata Q571124

History

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

AA3FSQX62Y AA3FSQX62Y

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

History

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

AA3GTSHNTH AA3GTSHNTH

URI	`m2://inv/AA3GTSHNTH`
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.25291#JB82 (statement)

History

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

AA3M5G9FN2 AA3M5G9FN2

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

Mentions

arxiv: arXiv 2610.21545#PHER (statement). In 1Q3H75330M/e1, corollary 3.3

History

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

AA3S3XBB7H AA3S3XBB7H

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

Mentions

arxiv: arXiv 2102.12931#KA1R (statement). In PQHTR84RAJ/e1, lemma 4.10

History

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

Kazimierz Ajdukiewicz AA47EDZ77P

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

Mentions

wikipedia: Wikipedia List of logicians#ZV12, Kazimierz Ajdukiewicz (topic)

History

2026-11-02: add by m2/dev

Opposite Row--Max orderings before and after a common Haar rotation AA49JTDAM5

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

Mentions

arxiv: arXiv 2610.11309#8953, Opposite Row--Max orderings before and after a common Haar rotation (statement). In TTEAQA1XXR/e1, proposition G.7

History

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

Dirichlet form AA4G0FDD68

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

Mentions

wikipedia: Wikipedia Dirichlet form, Dirichlet form (definition). Also Wikidata Q5280765

History

2026-11-02: add by m2/dev

AA4QAN70GB AA4QAN70GB

URI	`m2://inv/AA4QAN70GB`
Kind	statement
Layer	research
MSC	11-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.21090#OC3T (statement)

History

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

A probability bound for the boundary-width improvement AA4XW7W2QK

URI	`m2://inv/AA4XW7W2QK`
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.39408#P5WW, A probability bound for the boundary-width improvement (statement). In T8E6F01RTM/e1, corollary U.11

History

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

AA536AW7HW AA536AW7HW

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

Mentions

arxiv: arXiv 2610.16605#H0AB (statement). In KZ175036B5/e1, theorem 1.7

History

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

Andrei A. Slavnov AA54PX7NK0

URI	`m2://inv/AA54PX7NK0`
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#HRQ4, Andrei A. Slavnov (unknown)

History

2026-11-02: add by m2/dev

Barber–Johnson diagram AA558FVAGJ

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

Mentions

wikipedia: Wikipedia Barber–Johnson diagram, Barber–Johnson diagram (definition). Also Wikidata Q4859636

History

2026-11-02: add by m2/dev

Clélie AA55JMACB4

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

Mentions

wikipedia: Wikipedia Clélie, Clélie (definition). Also Wikidata Q2980519

History

2026-11-02: add by m2/dev

quantum Hall effect AA55W3XW6M

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

Mentions

wikidata: Wikidata Q1047822, quantum Hall effect (unknown). Also nLab quantum Hall effect
wikipedia: Wikipedia Quantum Hall effect, Quantum Hall effect (definition). Also Wikidata Q1047822

History

2026-10-26: add by m2/dev

AA56NTJTCP AA56NTJTCP

URI	`m2://inv/AA56NTJTCP`
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.01924#XVP5 (statement). In CB89152EQW/e1, lemma 12

History

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

Carathéodory's theorem AA5BB9KM83

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

Mentions

mathlib_1000: mathlib_1000 Q4378889, Carathéodory's theorem (conformal mapping) (statement). Also Wikidata Q4378889
thousand_plus: thousand_plus Q4378889, Carathéodory's theorem (statement). Also Wikidata Q4378889, Wikipedia Carathéodory's theorem (conformal mapping)
wikipedia: Wikipedia Carathéodory's theorem (conformal mapping), Carathéodory's theorem (statement). Also Wikidata Q4378889

History

2026-10-26: add by m2/dev

AA5K1G64KW AA5K1G64KW

URI	`m2://inv/AA5K1G64KW`
Kind	example
Layer	research
MSC	16-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 2210.17066#C1JW (example). In X2AEJAQEP8/e1, example 4.17

History

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

type I domain AA5NYK0KGZ

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

Mentions

lebl_ra: lebl_ra index/5.6/type-i-domain, type I domain (concept). In E59CDZA4DP, index, section 5.6

History

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

Definition AA5R6P1HPY

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

Mentions

wikipedia: Wikipedia Embedding problem#WXH7, Definition (definition)

History

2026-11-02: add by m2/dev

Cyclocycloid AA5W8X577G

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

Mentions

wikipedia: Wikipedia Cyclocycloid, Cyclocycloid (definition). Also Wikidata Q30716225

History

2026-11-02: add by m2/dev

Algorithms AA5Z7GS6QK

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

Mentions

wikipedia: Wikipedia Group centrality#IE0C, Algorithms (definition)

History

2026-11-02: add by m2/dev

Corollary AA62J76MVH

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

Mentions

wikipedia: Wikipedia Katugampola fractional operators#LC4K, Corollary (statement)

History

2026-11-02: add by m2/dev

semi-local ring AA65NQ5B8A

URI	`m2://inv/AA65NQ5B8A`
Kind	definition
Layer	textbook
Sources	2
Outcome	open
Node	Semi-local ring 6DYAGW68AV

Mentions

wikidata: Wikidata Q7449309, semi-local ring (unknown). Also MathWorld SemilocalRing
wikipedia: Wikipedia Semi-local ring, Semi-local ring (definition). Also Wikidata Q7449309

History

2026-10-26: add by m2/dev

square orthobicupola AA66NJVE70

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

Mentions

wikidata: Wikidata Q2157122, square orthobicupola (object). Also MathWorld SquareOrthobicupola
wikipedia: Wikipedia Square orthobicupola, Square orthobicupola (definition). Also Wikidata Q2157122

History

2026-10-26: add by m2/dev

Peter Geach AA6CH63B64

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

Mentions

wikipedia: Wikipedia List of logicians#QA8B, Peter Geach (topic)

History

2026-11-02: add by m2/dev

AA6J54JXBY AA6J54JXBY

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

Mentions

arxiv: arXiv 2610.08052#R8AM (statement). In 672XAVEQ34/e1, proposition 2.2

History

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

The maximum over connecting saddles AA6M8M7254

URI	`m2://inv/AA6M8M7254`
Kind	statement
Layer	research
MSC	26-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 2610.09602#L9N9, The maximum over connecting saddles (statement). In 4AQ48WSBDQ/e1, lemma 2.7

History

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

Lattice (discrete subgroup) AA6NB146S9

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

Mentions

wikipedia: Wikipedia List of group theory topics#W45T, Lattice (discrete subgroup) (definition)
wikipedia: Wikipedia List of Lie groups topics#09BL, Lattice (discrete subgroup) (definition)

History

2026-11-02: add by m2/dev

Location of the minimizer AA6Q57EH1Z

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

Mentions

arxiv: arXiv 2610.15180#UNRG, Location of the minimizer (statement). In AMRWRJDNKJ/e1, proposition 9.4

History

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

Rape in Colombia AA6RZXBE0Y

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

Mentions

wikipedia: Wikipedia Rape statistics#1AXW, Rape in Colombia (unknown)

History

2026-11-02: add by m2/dev

AA77A3GYEV AA77A3GYEV

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

Mentions

wikipedia: Wikipedia Oppermann's conjecture#B5SN (problem)

History

2026-11-02: add by m2/dev

AA7F0HVF2A AA7F0HVF2A

URI	`m2://inv/AA7F0HVF2A`
Kind	definition
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 1009.2047#48B3 (definition). In F3MWRNBNED/e1, definition 3.3

History

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

AA7JQWCZX5 AA7JQWCZX5

URI	`m2://inv/AA7JQWCZX5`
Kind	statement
Layer	research
MSC	16-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 2512.16003#85DK (statement). In BJGS6ZCQ12/e1, proposition 8.11

History

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

Mohammad Sal Moslehian AA7MQCH6V5

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

Mentions

wikipedia: Wikipedia Mohammad Sal Moslehian, Mohammad Sal Moslehian (topic). Also Wikidata Q94535595

History

2026-11-02: add by m2/dev

Properties AA7PR91ETZ

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

Mentions

wikipedia: Wikipedia Self-descriptive number#S659, Properties (statement)

History

2026-11-02: add by m2/dev

MSJ Autumn Prize AA7TCMC5YM

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

Mentions

wikipedia: Wikipedia Mathematical Society of Japan#8J37, MSJ Autumn Prize (unknown)

History

2026-11-02: add by m2/dev

Lánczos, Kornél AA7W288RTF

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

Mentions

wikipedia: Wikipedia List of Hungarian mathematicians#RE2V, Lánczos, Kornél (topic)

History

2026-11-02: add by m2/dev

Ludvig Lorenz AA7YHTXSMW

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

Mentions

wikipedia: Wikipedia Ludvig Lorenz, Ludvig Lorenz (topic). Also Wikidata Q503902

History

2026-11-02: add by m2/dev

Statement AA7Z5NX1W1

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

Mentions

wikipedia: Wikipedia Existential closedness conjecture#DGC6, Statement (statement)

History

2026-11-02: add by m2/dev

AA86CFAMW4 AA86CFAMW4

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

Mentions

arxiv: arXiv 2610.03353#FCNO (statement). In 8W61T5CSRB/e1, proposition 3.1

History

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

AA86KMXRPH AA86KMXRPH

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

Mentions

arxiv: arXiv 2609.24041#2NJ7 (statement)

History

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

Walter Knödel AA8CDGG5ZQ

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

Mentions

wikipedia: Wikipedia Walter Knödel, Walter Knödel (topic). Also Wikidata Q15715803

History

2026-11-02: add by m2/dev

Dual module AA8GYKEETK

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

Mentions

wikipedia: Wikipedia Dual module, Dual module (definition). Also Wikidata Q25098792

History

2026-11-02: add by m2/dev

AA8MFT95EK AA8MFT95EK

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

Mentions

lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#proof-1 (proof). In E59CDZA4DP, proof, section 6.1

History

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

AA8MMGWSDS AA8MMGWSDS

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

Mentions

applied_combinatorics: applied_combinatorics source/s_background_relations.ptx#exa_function (example). In QKM9DD2H56, example, section B.4

History

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

Version (probability theory) AA8NGAH0EK

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

Mentions

wikipedia: Wikipedia Stochastic process#7IB6, Version (probability theory) (unknown)

History

2026-11-02: add by m2/dev

AA8NQGEECW AA8NQGEECW

URI	`m2://inv/AA8NQGEECW`
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 2301.02848#I1C3 (statement). In G6WQDW52TJ/e1, lemma 3.3

History

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

Minimum k-cut AA8SFPZ0F8

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

Mentions

wikipedia: Wikipedia List of NP-complete problems#JRD8, Minimum k-cut (definition)

History

2026-11-02: add by m2/dev

AA8Y695AM2 AA8Y695AM2

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

Mentions

lebl_ra: lebl_ra ch-metric.tex#proof-15 (proof). In E59CDZA4DP, proof, section 4.3.3

History

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

Formal definition AA910YN7PJ

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

Mentions

wikipedia: Wikipedia Parallelization (mathematics)#FEE6, Formal definition (definition)

History

2026-11-02: add by m2/dev

AA9D3RQ367 AA9D3RQ367

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

Mentions

levin_dmoi: levin_dmoi ptx/sec_seq-polyfit.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 3.3

History

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

AA9FVBF8KJ AA9FVBF8KJ

URI	`m2://inv/AA9FVBF8KJ`
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 1310.6698#0DOR (statement). In 7AQ7DMNZEY/e1, corollary 2.3

History

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

Sylvester's sequence AA9M0AD2JH

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

Mentions

wikidata: Wikidata Q2293800, Sylvester's sequence (object). Also MathWorld SylvestersSequence, OEIS A000058
wikipedia: Wikipedia Sylvester's sequence, Sylvester's sequence (object). Also Wikidata Q2293800

History

2026-10-26: add by m2/dev

Thomas Goodwillie AA9MX6ERVG

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

Mentions

wikipedia: Wikipedia Thomas Goodwillie (mathematician), Thomas Goodwillie (topic). Also Wikidata Q97171425

History

2026-11-02: add by m2/dev

Basic properties AA9SKJVEMG

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

Mentions

wikipedia: Wikipedia Total variation#FUFF, Basic properties (statement)

History

2026-11-02: add by m2/dev

AA9ZEFGK66 AA9ZEFGK66

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

Mentions

arxiv: arXiv 1705.04310#QJYI (problem). In MG51GG0QZN/e1, problem 5.3

History

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

Co-cartesian morphism AAA1TE2Y7T

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

Mentions

wikipedia: Wikipedia Fibred category#Y4FD, Co-cartesian morphism (unknown)

History

2026-11-02: add by m2/dev

Definition AAA6DF9NC0

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

Mentions

wikipedia: Wikipedia Fusion frame#38CF, Definition (definition)

History

2026-11-02: add by m2/dev

Strict linear Stokes identity AAA7SDQJJ1

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

Mentions

arxiv: arXiv 2609.27799#O3XR, Strict linear Stokes identity (statement)

History

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

AAA8QTFHHB AAA8QTFHHB

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

Mentions

arxiv: arXiv 2609.25742#GRUU (statement)

History

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

Source-first suffices for fixed sources AAAM9VCWDZ

URI	`m2://inv/AAAM9VCWDZ`
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.12211#XLUP, Source-first suffices for fixed sources (statement). In WBC7PQTVYC/e1, theorem 7

History

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

AAAPCBGS3N AAAPCBGS3N

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

Mentions

arxiv: arXiv 2610.03497#PF4Q (definition). In RRNHC0CAC9/e1, definition

History

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

AAAR6KNYQZ AAAR6KNYQZ

URI	`m2://inv/AAAR6KNYQZ`
Kind	statement
Layer	research
MSC	05-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 2609.27495#807P (statement). In 1TZVMC23J9/e1, proposition 3.1

History

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

AAAV8E59SF AAAV8E59SF

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

Mentions

arxiv: arXiv 2610.05320#UFWR (statement). In MVXZWHKEX8/e1, proposition 8.7

History

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

Halton sequence AAAVA234MA

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

Mentions

wikipedia: Wikipedia List of statistics articles#RAN0, Halton sequence (definition)

History

2026-11-02: add by m2/dev

The identity AAAZNP0MZV

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

Mentions

wikipedia: Wikipedia Li Shanlan identity#82KM, The identity (statement)

History

2026-11-02: add by m2/dev

AABB2XWWYE AABB2XWWYE

URI	`m2://inv/AABB2XWWYE`
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 2609.24154#A8MU (statement)

History

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

553 (number) AABR842QY8

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

Mentions

wikipedia: Wikipedia 500 (number)#XPTW, 553 (number) (unknown)

History

2026-11-02: add by m2/dev

Algorithm AABV0QWFTX

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

Mentions

wikipedia: Wikipedia Master Password (algorithm)#WANH, Algorithm (definition)

History

2026-11-02: add by m2/dev

AAC071D08H AAC071D08H

URI	`m2://inv/AAC071D08H`
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 2407.08004#QDBQ (statement). In TYS65EG479/e1, lemma 3.5

History

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

homotopy class AAC3M13FWF

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

Mentions

wikidata: Wikidata Q91773244, homotopy class (definition). Also MathWorld HomotopyClass, nLab homotopy class, ProofWiki Definition:Homotopy_Class

History

2026-10-26: add by m2/dev

Seven Hills AAC8SBGXDC

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

Mentions

wikipedia: Wikipedia List of places with numeric names#KSRN, Seven Hills (unknown)

History

2026-11-02: add by m2/dev

Generalizations AACHVTWAG4

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

Mentions

wikipedia: Wikipedia Cauchy sequence#USJR, Generalizations (statement)

History

2026-11-02: add by m2/dev

Seifert-van Kampen theorem for graphs AACSA82E4V

URI	`m2://inv/AACSA82E4V`
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.03497#NVRS, Seifert-van Kampen theorem for graphs (statement). In RRNHC0CAC9/e1, theorem

History

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

AACV1JZMCG AACV1JZMCG

URI	`m2://inv/AACV1JZMCG`
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.08935#DX3G (statement). In G02N9D40B9/e1, proposition 3.4.4

History

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

AAD7N8G9CC AAD7N8G9CC

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

Mentions

arxiv: arXiv 2610.06338#NBY7 (statement). In F1CYVYK7YB/e1, theorem 8.4

History

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

An example AAD9SMAEZQ

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

Mentions

wikipedia: Wikipedia Variation ratio#C7Z1, An example (example)

History

2026-11-02: add by m2/dev

AAD9X52CYJ AAD9X52CYJ

URI	`m2://inv/AAD9X52CYJ`
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#PCHP (statement). In DR7BK4CQ0V/e1, theorem 5.11

History

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

AADEDV7NTD AADEDV7NTD

URI	`m2://inv/AADEDV7NTD`
Kind	statement
Layer	research
MSC	49-XX, 62-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.22642#PY56 (statement)

History

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

AADK3GD8D3 AADK3GD8D3

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

Mentions

arxiv: arXiv 2610.10581#3HIM (statement). In 6V42A71SPC/e1, corollary 2.1

History

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

Basic properties AADTY8S52D

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

Mentions

wikipedia: Wikipedia Regular local ring#5H2O, Basic properties (statement)

History

2026-11-02: add by m2/dev

The ceiling binds the error, not only the bound AADW0MSP55

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

Mentions

arxiv: arXiv 2609.27765#I7VZ, The ceiling binds the error, not only the bound (statement)

History

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

Milky Way AADW8WCX9S

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

Mentions

wikidata: Wikidata Q321, Milky Way (definition). Also nLab Milky Way, ProofWiki Definition:Milky_Way

History

2026-10-26: add by m2/dev

Martha Guzmán Partida AAE12ZW07V

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

Mentions

wikipedia: Wikipedia Martha Guzmán Partida, Martha Guzmán Partida (topic). Also Wikidata Q102263966

History

2026-11-02: add by m2/dev

Transitivity AAE8DFA0AD

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

Mentions

open_logic: open_logic content/first-order-logic/tableaux/proof-theoretic-notions.tex#prop:transitivity, Transitivity (statement). In PKGMM3P5QY, prop, section 22.5

History

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

Gauss code AAEC0236N1

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

Mentions

wikipedia: Wikipedia List of knot theory topics#MVJF, Gauss code (definition)

History

2026-11-02: add by m2/dev

Generalizations AAECXPQDTR

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

Mentions

wikipedia: Wikipedia Continuant (mathematics)#AWO8, Generalizations (statement)

History

2026-11-02: add by m2/dev

Example AAEH28891E

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

Mentions

wikipedia: Wikipedia Jordan normal form#LAYC, Example (example)

History

2026-11-02: add by m2/dev

Alessandro Marchetti AAEN8KQ23Q

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

Mentions

wikipedia: Wikipedia Alessandro Marchetti (mathematician), Alessandro Marchetti (topic). Also Wikidata Q2714672

History

2026-11-02: add by m2/dev

AAENMKE9Q1 AAENMKE9Q1

URI	`m2://inv/AAENMKE9Q1`
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.28597#HBPO (statement)

History

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

Rose logic AAESY99JJY

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

Mentions

wikipedia: Wikipedia Many-valued logic#2W9K, Rose logic (unknown)

History

2026-11-02: add by m2/dev

dimension of a scheme AAF2BB2TPP

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

Mentions

wikidata: Wikidata Q65090975, dimension of a scheme (definition). Also ProofWiki Definition:Krull_Dimension_of_Scheme
wikipedia: Wikipedia Dimension of a scheme, Dimension of a scheme (definition). Also Wikidata Q65090975

History

2026-10-26: add by m2/dev

Iterative deepening depth-first search AAF4TFW1Z3

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

Mentions

wikipedia: Wikipedia List of algorithms#6N4Z, Iterative deepening depth-first search (definition)

History

2026-11-02: add by m2/dev

AAF64C4E92 AAF64C4E92

URI	`m2://inv/AAF64C4E92`
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 1707.06795#LE18 (statement). In 32MMSEVHYN/e1, corollary 2.16

History

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

AAF64CZTR0 AAF64CZTR0

URI	`m2://inv/AAF64CZTR0`
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#2BUN (statement)

History

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

Penman equation AAF6ZS70KH

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

Mentions

wikipedia: Wikipedia Penman equation, Penman equation (definition). Also Wikidata Q10853981

History

2026-11-02: add by m2/dev

Construction AAF9TPGVGK

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

Mentions

wikipedia: Wikipedia Shrikhande graph#QVMD, Construction (definition)

History

2026-11-02: add by m2/dev

Ultrametric AAFAA9P7ZA

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

Mentions

wikipedia: Wikipedia Glossary of general topology#MQ4N, Ultrametric (definition)

History

2026-11-02: add by m2/dev

Monica Vișan AAFPTWAD2R

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#NE8N, Monica Vișan (topic)

History

2026-11-02: add by m2/dev

Cayleyan AAFY8NQMT9

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

Mentions

wikipedia: Wikipedia Glossary of classical algebraic geometry#E68G, Cayleyan (definition)

History

2026-11-02: add by m2/dev

Neovius surface AAFYBJ9YBR

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

Mentions

wikipedia: Wikipedia Neovius surface, Neovius surface (definition). Also Wikidata Q17086378

History

2026-11-02: add by m2/dev

Wyld diagrams AAG6TCCRYD

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

Mentions

wikipedia: Wikipedia Navier–Stokes equations#S5EP, Wyld diagrams (unknown)

History

2026-11-02: add by m2/dev

crepant AAGGPE1VS6

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

Mentions

wikipedia: Wikipedia Glossary of algebraic geometry#NNE4, crepant (definition)

History

2026-11-02: add by m2/dev

Clifford–Klein form AAGK68ESDB

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

Mentions

wikipedia: Wikipedia Clifford–Klein form, Clifford–Klein form (definition). Also Wikidata Q5133088

History

2026-11-02: add by m2/dev

Examples AAGMCHFKR2

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

Mentions

wikipedia: Wikipedia Exalcomm#GTPW, Examples (example)

History

2026-11-02: add by m2/dev

Generalised circle AAGNZ3PX6M

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

Mentions

wikipedia: Wikipedia Generalised circle, Generalised circle (definition). Also Wikidata Q5532410

History

2026-11-02: add by m2/dev

AAGQPPZ8Y3 AAGQPPZ8Y3

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

Mentions

lebl_scv: lebl_scv scv.tex#cor-2 (statement). In VNMV985MXX, cor, section 2.1

History

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

In law AAGWA9BX4D

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

Mentions

wikipedia: Wikipedia Affective forecasting#Q5BL, In law (statement)

History

2026-11-02: add by m2/dev

Definition AAH9PK3ECA

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

Mentions

wikipedia: Wikipedia Volterra operator#0WKO, Definition (definition)

History

2026-11-02: add by m2/dev

List of things named after Pythagoras AAHEGT44TN

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

Mentions

wikipedia: Wikipedia List of things named after Pythagoras, List of things named after Pythagoras (topic). Also Wikidata Q6643299

History

2026-11-02: add by m2/dev

Sampling probability AAHTZWKGEQ

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

Mentions

wikipedia: Wikipedia Sampling probability, Sampling probability (definition). Also Wikidata Q784039

History

2026-11-02: add by m2/dev

Tychonoff's theorem AAHZ150GBK

URI	`m2://inv/AAHZ150GBK`
Kind	statement
Layer	textbook
MSC	54-XX
Sources	4
Outcome	node (a node has the same Wikidata item as the row)
Node	Tychonoff's theorem 0JTRSJKCFB

Mentions

mathlib_1000: mathlib_1000 Q1137014, Tychonoff's theorem (statement). Also Mathlib isCompact_pi_infinite, Wikidata Q1137014
thousand_plus: thousand_plus Q1137014, Tychonoff's theorem (statement). Also Mathlib isCompact_pi_infinite, Wikidata Q1137014, Wikipedia Tychonoff's theorem
wikidata: Wikidata Q1137014, Tychonoff's theorem (statement). Also MathWorld TychonoffTheorem, ProofWiki Tychonoff's_Theorem
wikipedia: Wikipedia Tychonoff's theorem, Tychonoff's theorem (statement). Also Wikidata Q1137014

History

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

AAJ567248D AAJ567248D

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

Mentions

arxiv: arXiv 2610.15720#S7DD (statement). In VNN52G3BRE/e1, lemma B.6

History

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

Example AAJ925WZMA

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

Mentions

wikipedia: Wikipedia Isserlis's theorem#9R84, Example (example)

History

2026-11-02: add by m2/dev

AAJABWDTVP AAJABWDTVP

URI	`m2://inv/AAJABWDTVP`
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 2108.00412#EY1F (definition). In APD8GE0E4F/e1, definition 4.3

History

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

Eighter Island AAJBKFWH82

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

Mentions

wikipedia: Wikipedia List of places with numeric names#XPBC, Eighter Island (unknown)

History

2026-11-02: add by m2/dev

Turing completeness AAJM66RWFC

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

Mentions

wikipedia: Wikipedia List of unsolved problems in computer science#FVE7, Turing completeness (definition)

History

2026-11-02: add by m2/dev

Smoothness of the conjugate function AAJPGZF4TG

URI	`m2://inv/AAJPGZF4TG`
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.21461#1CKU, Smoothness of the conjugate function (statement). In DWQANBV7B7/e1, lemma 4.2

History

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

AAJR41BTCM AAJR41BTCM

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

Mentions

arxiv: arXiv 2610.06541#JPLP (statement). In R604B78EVK/e1, proposition 2.5

History

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

identity, modality AAJSEPZ7SS

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

Mentions

hott_book: hott_book index/6.7/identity-modality, identity, modality (concept). In N54F33XE07, index, section 6.7

History

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

AAK5CE8JTS AAK5CE8JTS

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

Mentions

arxiv: arXiv 2610.06300#BJBI (statement). In 751KSRS7WT/e1, lemma 5.1

History

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

Fundamental ephemeris AAKA90BJ3H

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

Mentions

wikipedia: Wikipedia Fundamental ephemeris, Fundamental ephemeris (definition). Also Wikidata Q5508955

History

2026-11-02: add by m2/dev

$\ep$-stability inequality AAKAZ80TQ1

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

Mentions

arxiv: arXiv 2610.04833#O872, $\ep$-stability inequality (statement). In AKB3CNDA0F/e1, proposition 4.7

History

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

AAKKEZ9RKW AAKKEZ9RKW

URI	`m2://inv/AAKKEZ9RKW`
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.33552#P92W (statement). In SRAS2DJJQH/e1, lemma 6.7

History

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

Uniform continuity at exact privacy AAKM42AQSZ

URI	`m2://inv/AAKM42AQSZ`
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#SJM1, Uniform continuity at exact privacy (statement). In 9YAE8FNQST/e1, theorem 28.3

History

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

AAKRMMX7PQ AAKRMMX7PQ

URI	`m2://inv/AAKRMMX7PQ`
Kind	example
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.17240#XAHI (example). In 59BZ4V9RQW/e1, example 9.2

History

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

AAKS1ZH2V5 AAKS1ZH2V5

URI	`m2://inv/AAKS1ZH2V5`
Kind	statement
Layer	research
MSC	35-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.04431#VIUH (statement). In 3PSAWXCCJ8/e1, theorem 14

History

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

AAMJJGPKEP AAMJJGPKEP

URI	`m2://inv/AAMJJGPKEP`
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.00914#X84C (statement). In TQ9CKHBTWN/e1, proposition 1.13

History

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

MSC Nastran AAMKWM3K6M

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

Mentions

wikipedia: Wikipedia Nastran#03HF, MSC Nastran (unknown)

History

2026-11-02: add by m2/dev

A-equivalence AAMQWC2YPE

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

Mentions

wikipedia: Wikipedia A-equivalence, A-equivalence (definition). Also Wikidata Q4646980

History

2026-11-02: add by m2/dev

Examples AAMV5HDR73

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

Mentions

wikipedia: Wikipedia Fringe science#ZBHY, Examples (example)

History

2026-11-02: add by m2/dev

Epsilon closure AAMV8EDNYM

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

Mentions

wikipedia: Wikipedia Nondeterministic finite automaton#TZ9D, Epsilon closure (unknown)

History

2026-11-02: add by m2/dev

Central leading coefficient and zero product AAMWZTEC1T

URI	`m2://inv/AAMWZTEC1T`
Kind	statement
Layer	research
MSC	11-XX, 37-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.27962#E1CR, Central leading coefficient and zero product (statement)

History

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

AAN4WY36DP AAN4WY36DP

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

Mentions

arxiv: arXiv 1503.05744#HF8P (statement). In 5XKHZKEGAF/e1, theorem

History

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

discrete conforming companions AANAZ3805H

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

Mentions

arxiv: arXiv 2610.17678#EI7W, discrete conforming companions (statement). In V753EAWQ3S/e1, lemma 9.1

History

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

Abu'l-Wáfa AAND1HDETT

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

Mentions

wikipedia: Wikipedia List of geometers#SX4D, Abu'l-Wáfa (topic)

History

2026-11-02: add by m2/dev

AANQYZ6Q9F AANQYZ6Q9F

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

Mentions

arxiv: arXiv 2610.17717#CJV9 (statement). In YXRKS451PK/e1, lemma 4.7

History

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

Examples AANREEXKJ2

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

Mentions

wikipedia: Wikipedia Behrend's theorem#GOJ1, Examples (example)

History

2026-11-02: add by m2/dev

Complementarity AAP66NA90H

URI	`m2://inv/AAP66NA90H`
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.18017#B2PK, Complementarity (statement). In EBSQEQYECS/e1, proposition 1

History

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

AAP7NF130F AAP7NF130F

URI	`m2://inv/AAP7NF130F`
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.28669#MNRV (statement)

History

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

AAPBMRWQ2N AAPBMRWQ2N

URI	`m2://inv/AAPBMRWQ2N`
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.18536#Y45R (statement). In JM5KKNKK1J/e1, lemma 2.1

History

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

Applications AAPC46MF7N

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

Mentions

wikipedia: Wikipedia Hanani–Tutte theorem#GUVC, Applications (example)

History

2026-11-02: add by m2/dev

non-strict order AAPHYCMYN9

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

Mentions

hott_book: hott_book index/B.3.3/non-strict-order, non-strict order (concept). In N54F33XE07, index, section B.3.3

History

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

Algorithm AAPJHTRFKZ

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

Mentions

wikipedia: Wikipedia Irrational base discrete weighted transform#EX0B, Algorithm (definition)

History

2026-11-02: add by m2/dev

AAPKNA308Q AAPKNA308Q

URI	`m2://inv/AAPKNA308Q`
Kind	definition
Layer	research
MSC	05-XX, 37-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.19194#NN2U (definition). In P9D8W64P7X/e1, definition 3.4

History

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

AAPRBJCZNK AAPRBJCZNK

URI	`m2://inv/AAPRBJCZNK`
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.16429#CV32 (statement). In AGT1KD3WZH/e1, theorem

History

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

separatrix AAPTTHTJN3

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

Mentions

wikidata: Wikidata Q2902561, separatrix (unknown). Also MathWorld Separatrix
wikipedia: Wikipedia Separatrix (mathematics), Separatrix (definition). Also Wikidata Q2902561

History

2026-10-26: add by m2/dev

liar paradox AAPXR5FGXS

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

Mentions

wikipedia: Wikipedia Glossary of logic#XSF2, liar paradox (definition)

History

2026-11-02: add by m2/dev

AAQ0YBB3VV AAQ0YBB3VV

URI	`m2://inv/AAQ0YBB3VV`
Kind	statement
Layer	research
MSC	35-XX, 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 2204.04317#JQWS (statement). In 49V3ANDZTY/e1, proposition 6.9

History

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

AAQP7X2QEV AAQP7X2QEV

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

Mentions

arxiv: arXiv 2610.16505#4FY5 (example). In P9V43TXCJ3/e1, example 4.4

History

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

Three Rivers, Queensland AAQQGRD0DF

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

Mentions

wikipedia: Wikipedia List of places with numeric names#PSKV, Three Rivers, Queensland (unknown)

History

2026-11-02: add by m2/dev

AAR1WYK67Y AAR1WYK67Y

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

Mentions

napkin: napkin tex/calculus/taylor.tex#corollary-1 (statement). In RZP28ERRZV, corollary, section 34.3

History

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

AAR3STJN15 AAR3STJN15

URI	`m2://inv/AAR3STJN15`
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.32207#59H5 (statement). In R94G9XD5AC/e1, lemma 4.1

History

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

AAR4YTB3MM AAR4YTB3MM

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

Mentions

austin_ula: austin_ula src/exercises/exercises1-4.xml#exercise-2 (exercise). In 649HGZKE96, exercise, section 1.4

History

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

AAR6G936R4 AAR6G936R4

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

Mentions

lebl_ra: lebl_ra ch-seq-ser.tex#prop-19 (statement). In E59CDZA4DP, prop, section 10.6.3

History

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

Weighted-sample bound for the sample $\alpha$-Fr\'echet mean AARH5Q59M3

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

Mentions

arxiv: arXiv 2610.00501#VDIR, Weighted-sample bound for the sample $\alpha$-Fr\'echet mean (statement). In FTPW1SZ8D3/e1, theorem 5.1

History

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

Einstein-Rosen Bridge (EP) AARHSCM0KH

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

Mentions

wikipedia: Wikipedia Wormhole#FLKB, Einstein-Rosen Bridge (EP) (unknown)

History

2026-11-02: add by m2/dev

AARNV0BZ72 AARNV0BZ72

URI	`m2://inv/AARNV0BZ72`
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.02199#BMY3 (statement). In A8Q52DFW6S/e1, theorem 1

History

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

Analytic half-mean collars AARNWVGA0X

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

Mentions

arxiv: arXiv 2609.24931#XVWI, Analytic half-mean collars (statement)

History

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

AARY5592XN AARY5592XN

URI	`m2://inv/AARY5592XN`
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 2207.07461#FWWM (statement). In GAG532VMPF/e1, proposition 1.7.1

History

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

AARYN1MMAP AARYN1MMAP

URI	`m2://inv/AARYN1MMAP`
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 2610.16853#XN45 (statement). In Y43AAKZ7E6/e1, corollary 4.6

History

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

Roe solver AAS4EY48RG

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

Mentions

wikipedia: Wikipedia Roe solver, Roe solver (definition). Also Wikidata Q7357538

History

2026-11-02: add by m2/dev

Partition vs. analytic rank problem AAS4VDK14Q

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

Mentions

arxiv: arXiv 2609.33733#QJSJ, Partition vs. analytic rank problem (statement). In QBAP8C82FG/e1, theorem 11

History

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

Karin Gatermann AAS5J8S9BB

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

Mentions

wikipedia: Wikipedia Karin Gatermann, Karin Gatermann (topic). Also Wikidata Q102177386

History

2026-11-02: add by m2/dev

Properties AASDNNBY0E

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

Mentions

wikipedia: Wikipedia Rectangular cuboid#IB1H, Properties (statement)

History

2026-11-02: add by m2/dev

Erdős–Woods number AASFQQJXPB

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

Mentions

wikipedia: Wikipedia List of things named after Paul Erdős#9PED, Erdős–Woods number (definition)

History

2026-11-02: add by m2/dev

AASJYJ4SP0 AASJYJ4SP0

URI	`m2://inv/AASJYJ4SP0`
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.30480#QNZL (statement). In VP7MPRKH0M/e1, lemma 5.6

History

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

Affine root system AASZBBZJW5

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

Mentions

wikipedia: Wikipedia Affine root system, Affine root system (definition). Also Wikidata Q4688949

History

2026-11-02: add by m2/dev

AASZZHA0TQ AASZZHA0TQ

URI	`m2://inv/AASZZHA0TQ`
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.37093#VJYD (statement). In GA6QH32CJQ/e1, theorem 30

History

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

AAT1DQMW6A AAT1DQMW6A

URI	`m2://inv/AAT1DQMW6A`
Kind	statement
Layer	research
MSC	20-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.21255#PWGH (statement)

History

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

A. Ronald Gallant AATBGDN6Z4

URI	`m2://inv/AATBGDN6Z4`
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#NO89, A. Ronald Gallant (unknown)

History

2026-11-02: add by m2/dev

AATKVYAW3F AATKVYAW3F

URI	`m2://inv/AATKVYAW3F`
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.22777#6T0T (statement)

History

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

Mei-Chi Shaw AATVRCX1NE

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

Mentions

wikipedia: Wikipedia Mei-Chi Shaw, Mei-Chi Shaw (topic). Also Wikidata Q9071176

History

2026-11-02: add by m2/dev

Easton, Brian AATVWWRYWN

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

Mentions

wikipedia: Wikipedia List of statisticians#HCKZ, Easton, Brian (unknown)

History

2026-11-02: add by m2/dev

QR algorithm AATWF6B6YM

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

Mentions

wikipedia: Wikipedia List of numerical analysis topics#7Z4P, QR algorithm (definition)

History

2026-11-02: add by m2/dev

Altıeylül, Ahmetli AATYN82C7Y

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

Mentions

wikipedia: Wikipedia List of places with numeric names#H2M6, Altıeylül, Ahmetli (unknown)

History

2026-11-02: add by m2/dev

Harmonic distribution AAV7Q60HD4

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

Mentions

wikipedia: Wikipedia Harmonic distribution, Harmonic distribution (definition). Also Wikidata Q25111520

History

2026-11-02: add by m2/dev

Definition AAVAGGBC62

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

Mentions

wikipedia: Wikipedia Atom (measure theory)#NFC8, Definition (definition)

History

2026-11-02: add by m2/dev

A determinant formula for one-factor extraction AAVAZS86N8

URI	`m2://inv/AAVAZS86N8`
Kind	statement
Layer	research
MSC	26-XX, 35-XX, 47-XX, 58-XX, 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.08568#U6MC, A determinant formula for one-factor extraction (statement). In FDDA562VCA/e1, lemma 2.24

History

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

Hunter, John Stuart AAVBVHTNN3

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

Mentions

wikipedia: Wikipedia List of statisticians#JB9L, Hunter, John Stuart (topic)

History

2026-11-02: add by m2/dev

Hypersurface AAVC4986JK

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

Mentions

wikipedia: Wikipedia List of differential geometry topics#9EVW, Hypersurface (definition)

History

2026-11-02: add by m2/dev

DADiSP AAVCKFD8TJ

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

Mentions

wikipedia: Wikipedia List of numerical-analysis software#HEGP, DADiSP (unknown)

History

2026-11-02: add by m2/dev

Two-pair stratum AAVHTMZ925

URI	`m2://inv/AAVHTMZ925`
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#CXO1, Two-pair stratum (statement). In QPJ6FWG5HD/e1, theorem 2.12

History

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

Applications AAVHWZDJ6A

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

Mentions

wikipedia: Wikipedia Discrete Fourier transform#B47F, Applications (example)

History

2026-11-02: add by m2/dev

interior point method AAVPEK9PZZ

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

Mentions

wikidata: Wikidata Q461992, interior point method (unknown). Also MathWorld InteriorPointMethod
wikipedia: Wikipedia Interior-point method, Interior-point method (definition). Also Wikidata Q461992

History

2026-10-26: add by m2/dev

B-sheaf AAVRR5TBT8

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

Mentions

wikipedia: Wikipedia Gluing axiom#BFLJ, B-sheaf (unknown)

History

2026-11-02: add by m2/dev

AAW4S3ZQXY AAW4S3ZQXY

URI	`m2://inv/AAW4S3ZQXY`
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 2608.24599#AHKA (statement). In VG8QFWTT8S/e1, proposition 3.2

History

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

Carlos Simpson AAWNJC5WJR

URI	`m2://inv/AAWNJC5WJR`
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 Q15433442, Carlos Simpson (unknown). Also nLab Carlos Simpson

History

2026-10-26: add by m2/dev

First law of thermodynamics AAWTHN0C19

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

Mentions

wikipedia: Wikipedia First law of thermodynamics, First law of thermodynamics (statement). Also Wikidata Q179380

History

2026-11-02: add by m2/dev

AAWV8FNBGR AAWV8FNBGR

URI	`m2://inv/AAWV8FNBGR`
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.33050#E2H6 (example). In VDSBMQ0G9W/e1, example 5.7

History

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

Heike Fassbender AAX53R121Y

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

Mentions

wikipedia: Wikipedia Heike Fassbender, Heike Fassbender (topic). Also Wikidata Q59423240

History

2026-11-02: add by m2/dev

Persistence of local Floer cohomology: noncontractible case AAX66TXW12

URI	`m2://inv/AAX66TXW12`
Kind	statement
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 2607.25960#CGKL, Persistence of local Floer cohomology: noncontractible case (statement). In 13GSWBXPCM/e1, lemma 4.11

History

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

Pınar Keskinocak AAX70S9BJ5

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

Mentions

wikipedia: Wikipedia List of people by Erdős number#86GN, Pınar Keskinocak (unknown)

History

2026-11-02: add by m2/dev

Australian Society for Operations Research AAXDCC33XJ

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

Mentions

wikipedia: Wikipedia Operations research#TV2E, Australian Society for Operations Research (unknown)

History

2026-11-02: add by m2/dev

Bound on $L^2$ convergence AAXGRKQJDR

URI	`m2://inv/AAXGRKQJDR`
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.24011#6L0F, Bound on $L^2$ convergence (statement)

History

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

AAXKA6PYM6 AAXKA6PYM6

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

Mentions

arxiv: arXiv 1503.05744#IFNQ (statement). In 5XKHZKEGAF/e1, proposition 4.6

History

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

Bertram Kostant AAXPS03W0W

URI	`m2://inv/AAXPS03W0W`
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 Q828478, Bertram Kostant (unknown). Also nLab Bertram Kostant
wikipedia: Wikipedia Bertram Kostant, Bertram Kostant (topic). Also Wikidata Q828478

History

2026-10-26: add by m2/dev

AAXQ9GVMD9 AAXQ9GVMD9

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

Mentions

arxiv: arXiv 2610.14236#K091 (statement). In XEQD21EBTT/e1, lemma 8.4

History

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

Partition Pooling AAXWT617Z8

URI	`m2://inv/AAXWT617Z8`
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.10167#2RYJ, Partition Pooling (definition). In SVMDSE7PKG/e1, definition 2

History

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

Anomalous perihelion precession AAY6FF57VA

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

Mentions

wikipedia: Wikipedia Tests of general relativity#DGVC, Anomalous perihelion precession (unknown)

History

2026-11-02: add by m2/dev

The Smirnov--Vershynin Fisher-information capacity AAY8FBQ5V9

URI	`m2://inv/AAY8FBQ5V9`
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#W4PV, The Smirnov--Vershynin Fisher-information capacity (statement). In 9YAE8FNQST/e1, corollary 20.7

History

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

AAYC3T05N9 AAYC3T05N9

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

Mentions

arxiv: arXiv 2610.18618#GEHH (statement). In C8VC86B6H8/e1, lemma A.6

History

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

AAYE36K4PK AAYE36K4PK

URI	`m2://inv/AAYE36K4PK`
Kind	statement
Layer	research
MSC	17-XX, 46-XX, 47-XX, 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 math/0009023#O3RU (statement). In S937GXH9AS/e1, lemma 1

History

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

Dirichlet theorem AAYMTQ871C

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

Mentions

mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Fourier analysis > Dirichlet theorem, Dirichlet theorem (unknown)

History

2026-10-26: add by m2/dev

colimit, of types AAYSCBFKB2

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

Mentions

hott_book: hott_book index/1.15/colimit-of-types, colimit, of types (concept). In N54F33XE07, index, section 1.15

History

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

Examples AAYZY0B5GD

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

Mentions

wikipedia: Wikipedia Partially ordered set#EKT6, Examples (example)

History

2026-11-02: add by m2/dev

Emil Straube AAZ8P2J45S

URI	`m2://inv/AAZ8P2J45S`
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#8DNY, Emil Straube (topic)

History

2026-11-02: add by m2/dev

AAZ99893M2 AAZ99893M2

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

Mentions

arxiv: arXiv 2609.25188#5NRC (statement)

History

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

Applications AAZ9K0MK1N

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

Mentions

wikipedia: Wikipedia Cycle basis#27ZL, Applications (example)

History

2026-11-02: add by m2/dev

AAZDW288NR AAZDW288NR

URI	`m2://inv/AAZDW288NR`
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 2508.08809#EWK2 (statement). In X5NX1YEABW/e1, lemma 5.2

History

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

Robert McCann AAZGRMA8R1

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

Mentions

wikipedia: Wikipedia Robert McCann (mathematician), Robert McCann (topic). Also Wikidata Q65030134

History

2026-11-02: add by m2/dev

Interior coercivity AAZJ0070G2

URI	`m2://inv/AAZJ0070G2`
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#PBTS, Interior coercivity (statement). In 9YAE8FNQST/e1, lemma 18.15

History

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

Prime near-period lemma AAZMA8R997

URI	`m2://inv/AAZMA8R997`
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.17006#ZNW3, Prime near-period lemma (statement). In YY81ZEJ82P/e1, lemma 5.3

History

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

AAZYGB5HT9 AAZYGB5HT9

URI	`m2://inv/AAZYGB5HT9`
Kind	statement
Layer	research
MSC	53-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.39845#V49B (statement). In RK8DFVGQP1/e1, corollary 22

History

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