Inventory rows 65
The cards of the rows of the inventory whose ids start with 65. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Jacobian 650013D1M6
| URI | m2://inv/650013D1M6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods > Jacobian, Jacobian (unknown)
History
- 2026-10-26: add by m2/dev
Exact LP reduction 65070ZGFV2
| URI | m2://inv/65070ZGFV2 |
|---|---|
| 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.10793#67WJ, Exact LP reduction (statement). In BSCKJRHJDT/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.3
650DN7G9Z7 650DN7G9Z7
| URI | m2://inv/650DN7G9Z7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/definability.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 52.5
History
- 2026-11-01: add by m2/v0.6.13
Dan Archdeacon 650DVCYZH0
| URI | m2://inv/650DVCYZH0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dan Archdeacon, Dan Archdeacon (topic). Also Wikidata Q34690124
History
- 2026-11-02: add by m2/dev
650F10XZG3 650F10XZG3
| URI | m2://inv/650F10XZG3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 57-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 2111.14699#TGWU (statement). In ES1CVGG59Y/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
650FA24J3A 650FA24J3A
| URI | m2://inv/650FA24J3A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04305#140P (statement). In Y1DR0DPWD0/e1, lemma 5.11
History
- 2026-10-29: add by m2/v0.4.12
Applications 650JHZXZX6
| URI | m2://inv/650JHZXZX6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular layout#0VYS, Applications (example)
History
- 2026-11-02: add by m2/dev
Finitely many wavenumbers 650JV15982
| URI | m2://inv/650JV15982 |
|---|---|
| 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.07341#JVIP, Finitely many wavenumbers (statement). In 6KFS1X0MZR/e1, corollary 11
History
- 2026-10-29: add by m2/v0.4.10
Graphical minimisation method 650QF2376Z
| URI | m2://inv/650QF2376Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic optimization#SKDM, Graphical minimisation method (unknown)
History
- 2026-11-02: add by m2/dev
650QKXQAZW 650QKXQAZW
| URI | m2://inv/650QKXQAZW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#OFO6 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Fallacy of the undistributed middle 650SA24W1T
| URI | m2://inv/650SA24W1T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#VNHF, Fallacy of the undistributed middle (definition)
History
- 2026-11-02: add by m2/dev
650WM5RDCF 650WM5RDCF
| URI | m2://inv/650WM5RDCF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21489#9WYN (statement). In R0Q0RV8XCF/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
Vijay Vazirani 65153N9M7S
| URI | m2://inv/65153N9M7S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#YDO8, Vijay Vazirani (unknown)
History
- 2026-11-02: add by m2/dev
Xavier Tolsa 65154WZ2G2
| URI | m2://inv/65154WZ2G2 |
|---|---|
| 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#OP31, Xavier Tolsa (topic)
History
- 2026-11-02: add by m2/dev
65163GY183 65163GY183
| URI | m2://inv/65163GY183 |
|---|---|
| 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 2511.08099#TSS4 (statement). In 5NK801XBGA/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
History of numbers 65169PA7X9
| URI | m2://inv/65169PA7X9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Number#01UH, History of numbers (unknown)
History
- 2026-11-02: add by m2/dev
65184SR8SR 65184SR8SR
| URI | m2://inv/65184SR8SR |
|---|---|
| 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.16235#PI9X (statement). In RNGNWGMX85/e1, lemma 3.9
History
- 2026-10-28: add by m2/v0.4.2
65185XBC4M 65185XBC4M
| URI | m2://inv/65185XBC4M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-1.xml#exercise-7 (exercise). In 649HGZKE96, exercise, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
Greenberg's conjectures 6518M869AB
| URI | m2://inv/6518M869AB |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greenberg's conjectures, Greenberg's conjectures (conjecture). Also Wikidata Q2993309
History
- 2026-11-02: add by m2/dev
cauchy sequence 651W5XY10C
| URI | m2://inv/651W5XY10C |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Cauchy sequence 0PWX18FM4G |
Mentions
- wikidata: Wikidata Q217847, cauchy sequence (concept). Also EoM Cauchy_sequence, MathWorld CauchySequence, nLab Cauchy sequence, OEIS A006232, ProofWiki Definition:Cauchy_Sequence
- wikipedia: Wikipedia Cauchy sequence, Cauchy sequence (definition). Also Wikidata Q217847
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
pointed space 651XRNYFX3
| URI | m2://inv/651XRNYFX3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Pointed space T9DG8DDE75 |
Mentions
- wikidata: Wikidata Q1419329, pointed space (unknown). Also EoM Pointed_space, MathWorld PointedSpace, nLab pointed space, nLab pointed topological space
- wikipedia: Wikipedia Pointed space, Pointed space (definition). Also Wikidata Q1419329
History
- 2026-10-26: add by m2/dev
Definition 651XZJTKFS
| URI | m2://inv/651XZJTKFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemann xi function#X887, Definition (definition)
History
- 2026-11-02: add by m2/dev
6526TSRZNW 6526TSRZNW
| URI | m2://inv/6526TSRZNW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19845#PHHF (definition). In A8Y7B1MD91/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Gennadi M. Henkin 652AAQP6H0
| URI | m2://inv/652AAQP6H0 |
|---|---|
| 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#UF56, Gennadi M. Henkin (topic)
History
- 2026-11-02: add by m2/dev
652C45SXMS 652C45SXMS
| URI | m2://inv/652C45SXMS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.01694#4UL3 (definition). In EBMHYN0XK9/e1, definition 2.4
History
- 2026-10-29: add by m2/v0.4.12
652FC1YEC0 652FC1YEC0
| URI | m2://inv/652FC1YEC0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-10 (exercise). In E59CDZA4DP, exercise, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
652K4F2K26 652K4F2K26
| URI | m2://inv/652K4F2K26 |
|---|---|
| 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.32599#CVJD (statement). In E1Y93JNBJA/e1, lemma 2.7
History
- 2026-10-31: add by m2/v0.5.6
Georges Bouligand 652R2TEKG5
| URI | m2://inv/652R2TEKG5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Georges Bouligand, Georges Bouligand (topic). Also Wikidata Q3102352
History
- 2026-11-02: add by m2/dev
Udwadia–Kalaba formulation 652SB5DJQW
| URI | m2://inv/652SB5DJQW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Udwadia–Kalaba formulation, Udwadia–Kalaba formulation (definition). Also Wikidata Q5508956
History
- 2026-11-02: add by m2/dev
652VY0B2C3 652VY0B2C3
| URI | m2://inv/652VY0B2C3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroFunctions.tex#problem-6 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
652YHHHA7Y 652YHHHA7Y
| URI | m2://inv/652YHHHA7Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26307#1N2J (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sara Pasquetti 652ZS5RA3K
| URI | m2://inv/652ZS5RA3K |
|---|---|
| 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 Q116961072, Sara Pasquetti (unknown). Also nLab Sara Pasquetti
History
- 2026-10-26: add by m2/dev
Reinhard Siegmund-Schultze 653CKQKATS
| URI | m2://inv/653CKQKATS |
|---|---|
| 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#PYGD, Reinhard Siegmund-Schultze (unknown)
History
- 2026-11-02: add by m2/dev
Functionals above the rate 653G3ZXN9J
| URI | m2://inv/653G3ZXN9J |
|---|---|
| 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#B62X, Functionals above the rate (statement). In 65TJENWK7X/e1, lemma 62
History
- 2026-10-29: add by m2/v0.4.10
Non-abelian class field theory 653HSPYN2S
| URI | m2://inv/653HSPYN2S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#NJYE, Non-abelian class field theory (definition)
History
- 2026-11-02: add by m2/dev
653MD65Q76 653MD65Q76
| URI | m2://inv/653MD65Q76 |
|---|---|
| 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 2204.13401#3E6Y (statement). In B8MJT0GGW8/e1, proposition 3.20
History
- 2026-10-27: add by m2/v0.4.0
A level-\(4\) example 653NC7KZWP
| URI | m2://inv/653NC7KZWP |
|---|---|
| Kind | example |
| 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.04214#LGPQ, A level-\(4\) example (example). In HWY7AQ4KT2/e1, example 3.5
History
- 2026-10-29: add by m2/v0.4.12
Alessandro Padoa 653TJ3MVJY
| URI | m2://inv/653TJ3MVJY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#GD3E, Alessandro Padoa (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7M9P, Alessandro Padoa (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#N9GP, Alessandro Padoa (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#O8KT, Alessandro Padoa (topic)
History
- 2026-11-02: add by m2/dev
6542NKPA64 6542NKPA64
| URI | m2://inv/6542NKPA64 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/semisimple.tex#definition-2 (definition). In RZP28ERRZV, definition, section 81.3
History
- 2026-11-01: add by m2/v0.6.13
65495BHM3C 65495BHM3C
| URI | m2://inv/65495BHM3C |
|---|---|
| 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 2610.11869#O7M2 (statement). In B5GGGWNJA6/e1, lemma 20
History
- 2026-10-28: add by m2/v0.4.3
654AFJ64X2 654AFJ64X2
| URI | m2://inv/654AFJ64X2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35543#WCQH (statement). In WSG1ZW956E/e1, corollary 7.7
History
- 2026-10-30: add by m2/v0.4.12
654DSC24YP 654DSC24YP
| URI | m2://inv/654DSC24YP |
|---|---|
| Kind | definition |
| 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.20716#HON9 (definition)
History
- 2026-11-02: add by m2/v0.6.18
654E5EC0VJ 654E5EC0VJ
| URI | m2://inv/654E5EC0VJ |
|---|---|
| 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 1009.2047#M6VX (statement). In F3MWRNBNED/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
654EAVPPAK 654EAVPPAK
| URI | m2://inv/654EAVPPAK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.05198#O30J (statement). In NJWY6HPFHG/e1, lemma 9
History
- 2026-10-27: add by m2/v0.3.5
654FF7RVPT 654FF7RVPT
| URI | m2://inv/654FF7RVPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#6Y4E (statement). In WJD9YPGGYH/e1, lemma 5.8
History
- 2026-10-27: add by m2/v0.3.5
654V18X4MT 654V18X4MT
| URI | m2://inv/654V18X4MT |
|---|---|
| Kind | definition |
| 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#ZSWA (definition). In 8Z47D12KSX/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Yaʿqūb ibn Ṭāriq 654XGBNP4N
| URI | m2://inv/654XGBNP4N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#4FRG, Yaʿqūb ibn Ṭāriq (topic)
History
- 2026-11-02: add by m2/dev
6551G2R444 6551G2R444
| URI | m2://inv/6551G2R444 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#proof-3 (proof). In E59CDZA4DP, proof, section 1.3.2
History
- 2026-11-01: add by m2/v0.6.13
6556W0CSA1 6556W0CSA1
| URI | m2://inv/6556W0CSA1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05696#L9C8 (definition). In MG81A9XJTQ/e1, definition III.1
History
- 2026-10-29: add by m2/v0.4.10
6556ZBD1C2 6556ZBD1C2
| URI | m2://inv/6556ZBD1C2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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 1912.02769#JFIW (definition). In JH7VQ2EC16/e1, definition 2.7
History
- 2026-10-27: add by m2/v0.3.5
Bohr sets and Bogolyubov's lemma 655DVYWWGD
| URI | m2://inv/655DVYWWGD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freiman's theorem#AJLH, Bohr sets and Bogolyubov's lemma (statement)
History
- 2026-11-02: add by m2/dev
Bateman transform 655GTJFHW6
| URI | m2://inv/655GTJFHW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bateman transform, Bateman transform (definition). Also Wikidata Q4868770
History
- 2026-11-02: add by m2/dev
Stein–Strömberg theorem 655JTXGGBT
| URI | m2://inv/655JTXGGBT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 28-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7606940, Stein–Strömberg theorem (statement). Also Wikidata Q7606940
- thousand_plus: thousand_plus Q7606940, Stein–Strömberg theorem (statement). Also Wikidata Q7606940, Wikipedia Stein–Strömberg theorem
- wikipedia: Wikipedia Stein–Strömberg theorem, Stein–Strömberg theorem (statement). Also Wikidata Q7606940
History
- 2026-10-26: add by m2/dev
655NPRMQSR 655NPRMQSR
| URI | m2://inv/655NPRMQSR |
|---|---|
| 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#L609 (statement)
History
- 2026-11-02: add by m2/v0.6.17
655QQ6AJZM 655QQ6AJZM
| URI | m2://inv/655QQ6AJZM |
|---|---|
| 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.15313#TMVP (statement). In KWKY1CWG1Z/e1, lemma 5.6
History
- 2026-10-28: add by m2/v0.4.2
Exponential Foster--Lyapunov condition for sub-exponential noise 6561NC5VKZ
| URI | m2://inv/6561NC5VKZ |
|---|---|
| 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 2609.30274#LUTY, Exponential Foster--Lyapunov condition for sub-exponential noise (statement). In 6ASPPVJP5M/e1, proposition 16
History
- 2026-10-31: add by m2/v0.5.6
656CFQSN0T 656CFQSN0T
| URI | m2://inv/656CFQSN0T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/sequent-calculus/more-rules.tex#ex-5 (example). In PKGMM3P5QY, ex, section 53.6
History
- 2026-11-01: add by m2/v0.6.13
Universal rhetoric 656D034EY0
| URI | m2://inv/656D034EY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universal rhetoric, Universal rhetoric (definition). Also Wikidata Q7894159
History
- 2026-11-02: add by m2/dev
Dottie number 656DMXQPCK
| URI | m2://inv/656DMXQPCK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q48996451, Dottie number (object). Also MathWorld DottieNumber, OEIS A003957
- wikipedia: Wikipedia Dottie number, Dottie number (object). Also Wikidata Q48996451
History
- 2026-10-26: add by m2/dev
656KH4VBDD 656KH4VBDD
| URI | m2://inv/656KH4VBDD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-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.07280#7SB1 (example). In 1FJKW4WGEN/e1, example 3.9
History
- 2026-10-29: add by m2/v0.4.10
Woodin 656PBX1N11
| URI | m2://inv/656PBX1N11 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07537#U9KE, Woodin (problem). In ZFDXNKEBT1/e1, problem 1
History
- 2026-10-29: add by m2/v0.4.10
Examples 656Q7D9796
| URI | m2://inv/656Q7D9796 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alternativity#ARK8, Examples (example)
History
- 2026-11-02: add by m2/dev
Structured encryption 656QBH0V6Y
| URI | m2://inv/656QBH0V6Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structured encryption, Structured encryption (definition). Also Wikidata Q112648580
History
- 2026-11-02: add by m2/dev
Different and additive conductors 656SV5DN4Q
| URI | m2://inv/656SV5DN4Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#0KS6, Different and additive conductors (statement). In 5BZQS1KY9A/e1, corollary 3.7
History
- 2026-10-29: add by m2/v0.4.10
Definition 656YP686C4
| URI | m2://inv/656YP686C4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parametric model#RHUF, Definition (definition)
History
- 2026-11-02: add by m2/dev
6572NE6FBN 6572NE6FBN
| URI | m2://inv/6572NE6FBN |
|---|---|
| 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#DFQ1 (statement). In FNG4B47MRV/e1, proposition 4.7
History
- 2026-10-29: add by m2/v0.4.10
S. R. Srinivasa Varadhan 657EPK99C0
| URI | m2://inv/657EPK99C0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#M001, S. R. Srinivasa Varadhan (topic)
- wikipedia: Wikipedia List of mathematical probabilists#LG5R, S. R. Srinivasa Varadhan (topic)
History
- 2026-11-02: add by m2/dev
657GBYA9KS 657GBYA9KS
| URI | m2://inv/657GBYA9KS |
|---|---|
| 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#XKCH (statement). In RK8DFVGQP1/e1, lemma 4
History
- 2026-10-30: add by m2/v0.4.12
657H01AFPZ 657H01AFPZ
| URI | m2://inv/657H01AFPZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-7 (exercise). In E59CDZA4DP, exercise, section 5.1.6
History
- 2026-11-01: add by m2/v0.6.13
Polygamma function 657JD782D2
| URI | m2://inv/657JD782D2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#C0SF, Polygamma function (definition)
History
- 2026-11-02: add by m2/dev
657RME547P 657RME547P
| URI | m2://inv/657RME547P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/9602216#MGVR (statement). In SD43497T8C/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.3.5
657S1JC0RB 657S1JC0RB
| URI | m2://inv/657S1JC0RB |
|---|---|
| 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.26357#MQST (definition)
History
- 2026-11-01: add by m2/v0.6.15
657VF1170Y 657VF1170Y
| URI | m2://inv/657VF1170Y |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-2 (proof). In N54F33XE07, proof, section C.1.2
History
- 2026-11-01: add by m2/v0.6.13
657ZEHNWXK 657ZEHNWXK
| URI | m2://inv/657ZEHNWXK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30262#VSUT (example). In FWA5QW6FCF/e1, example 6.1
History
- 2026-10-31: add by m2/v0.5.6
65823B21SM 65823B21SM
| URI | m2://inv/65823B21SM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21536#80RF (statement). In NBQK8HJSNY/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
658602SW32 658602SW32
| URI | m2://inv/658602SW32 |
|---|---|
| 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.04323#UBQ6 (statement). In 3Z0D2NCJ0B/e1, lemma 16
History
- 2026-10-29: add by m2/v0.4.12
658VJJF6YC 658VJJF6YC
| URI | m2://inv/658VJJF6YC |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/equivalence-S5.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 52.6
History
- 2026-11-01: add by m2/v0.6.13
Eduardo V. Teixeira 658VNY36VR
| URI | m2://inv/658VNY36VR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eduardo V. Teixeira, Eduardo V. Teixeira (topic). Also Wikidata Q102078568
History
- 2026-11-02: add by m2/dev
658WJ7Y3ZR 658WJ7Y3ZR
| URI | m2://inv/658WJ7Y3ZR |
|---|---|
| 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.05582#SJXV (statement). In 9X4TANWWWR/e1, theorem 4.5
History
- 2026-10-29: add by m2/v0.4.10
steradian 65969W9F40
| URI | m2://inv/65969W9F40 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q177612, steradian (unknown). Also MathWorld Steradian
History
- 2026-10-26: add by m2/dev
abstract algebra 659CV3S9C3
| URI | m2://inv/659CV3S9C3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q159943, abstract algebra (topic). Also EoM Abstract_algebra, MathWorld AbstractAlgebra, ProofWiki Definition:Abstract_Algebra
- wikipedia: Wikipedia Abstract algebra, Abstract algebra (topic). Also Wikidata Q159943
History
- 2026-10-26: add by m2/dev
Harish-Chandra's Ξ function 659F1M7RYN
| URI | m2://inv/659F1M7RYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harish-Chandra's Ξ function, Harish-Chandra's Ξ function (definition). Also Wikidata Q5657831
History
- 2026-11-02: add by m2/dev
659MMDN0G7 659MMDN0G7
| URI | m2://inv/659MMDN0G7 |
|---|---|
| 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#14PC (statement). In E7W2HDNEKJ/e1, theorem 9.8
History
- 2026-10-30: add by m2/v0.4.12
659P2BYHYD 659P2BYHYD
| URI | m2://inv/659P2BYHYD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.04593#UJJM (statement). In PEXJPV3NP8/e1, theorem 5.6
History
- 2026-10-27: add by m2/v0.3.5
Small hexagonal hexecontahedron 65A0K3G9DD
| URI | m2://inv/65A0K3G9DD |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#F5VT, Small hexagonal hexecontahedron (object)
History
- 2026-11-02: add by m2/dev
65A5JA0AD3 65A5JA0AD3
| URI | m2://inv/65A5JA0AD3 |
|---|---|
| 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#5PNF (statement)
History
- 2026-11-02: add by m2/v0.6.17
65AC4QTQTF 65AC4QTQTF
| URI | m2://inv/65AC4QTQTF |
|---|---|
| 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.17589#VRK6 (statement). In GSTK4569X1/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
centered dodecahedral number 65AG9PRENS
| URI | m2://inv/65AG9PRENS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14390508, centered dodecahedral number (object). Also OEIS A005904
- wikipedia: Wikipedia Centered dodecahedral number, Centered dodecahedral number (definition). Also Wikidata Q14390508
History
- 2026-10-26: add by m2/dev
65AHR27Y9S 65AHR27Y9S
| URI | m2://inv/65AHR27Y9S |
|---|---|
| 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.23768#GVPC (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hurewicz's conjecture 65ARF9RHR9
| URI | m2://inv/65ARF9RHR9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurewicz space#253S, Hurewicz's conjecture (statement)
History
- 2026-11-02: add by m2/dev
65B7HS8TWK 65B7HS8TWK
| URI | m2://inv/65B7HS8TWK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#prop-2 (statement). In VNMV985MXX, prop, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
65BRMR8N6F 65BRMR8N6F
| URI | m2://inv/65BRMR8N6F |
|---|---|
| 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.38138#V3CR (statement). In G97FA99ZEF/e1, proposition 2.7
History
- 2026-10-30: add by m2/v0.4.12
William B. Gragg 65BRRCBM3M
| URI | m2://inv/65BRRCBM3M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William B. Gragg, William B. Gragg (topic). Also Wikidata Q18686443
History
- 2026-11-02: add by m2/dev
65BYRMEKEB 65BYRMEKEB
| URI | m2://inv/65BYRMEKEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22073#CG89 (statement). In MVWSXXCXB7/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.4.2
65C1DNYRR1 65C1DNYRR1
| URI | m2://inv/65C1DNYRR1 |
|---|---|
| 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 2610.02901#SK9T (statement). In NSP90G5XCQ/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.12
437 (number) 65C3ESXEB0
| URI | m2://inv/65C3ESXEB0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#5HTI, 437 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Del Norte 65CA55RD6M
| URI | m2://inv/65CA55RD6M |
|---|---|
| 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#3BQ1, Del Norte (unknown)
History
- 2026-11-02: add by m2/dev
Heaviside step function 65CF646309
| URI | m2://inv/65CF646309 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#84XT, Heaviside step function (definition)
History
- 2026-11-02: add by m2/dev
Accessible quasi-category 65CZFESTQG
| URI | m2://inv/65CZFESTQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accessible quasi-category, Accessible quasi-category (definition). Also Wikidata Q134608087
History
- 2026-11-02: add by m2/dev
Radial basis function network 65DADJWBB5
| URI | m2://inv/65DADJWBB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radial basis function network, Radial basis function network (definition). Also Wikidata Q2679684
History
- 2026-11-02: add by m2/dev
Mavis B. Carroll 65DDJJHSNA
| URI | m2://inv/65DDJJHSNA |
|---|---|
| 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#KRZI, Mavis B. Carroll (topic)
History
- 2026-11-02: add by m2/dev
Alexander Moiseevich Olevskii 65DZ5C050V
| URI | m2://inv/65DZ5C050V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexander Moiseevich Olevskii, Alexander Moiseevich Olevskii (topic). Also Wikidata Q102115550
History
- 2026-11-02: add by m2/dev
Rossignols 65E0VVQ8H7
| URI | m2://inv/65E0VVQ8H7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rossignols, Rossignols (topic). Also Wikidata Q19637240
History
- 2026-11-02: add by m2/dev
65E7NR2B1R 65E7NR2B1R
| URI | m2://inv/65E7NR2B1R |
|---|---|
| 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.26357#J9EJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Learning state-space matrices 65E9Y6BM1V
| URI | m2://inv/65E9Y6BM1V |
|---|---|
| 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.22338#VOP7, Learning state-space matrices (statement)
History
- 2026-11-02: add by m2/v0.6.17
Arithmetic consequence: finiteness of the full image 65EJ30YB67
| URI | m2://inv/65EJ30YB67 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25805#AJ0B, Arithmetic consequence: finiteness of the full image (statement)
History
- 2026-11-01: add by m2/v0.6.15
65EK726Z5V 65EK726Z5V
| URI | m2://inv/65EK726Z5V |
|---|---|
| Kind | definition |
| 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.12277#KRPQ (definition). In N6GW8Z49SZ/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
relative velocity 65EPDD9KN6
| URI | m2://inv/65EPDD9KN6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1376323, relative velocity (definition). Also ProofWiki Definition:Relative_Velocity
History
- 2026-10-26: add by m2/dev
65ES5GJQCC 65ES5GJQCC
| URI | m2://inv/65ES5GJQCC |
|---|---|
| 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.03517#POT7 (statement). In 3CGS9GSKTQ/e1, corollary 1.4
History
- 2026-10-29: add by m2/v0.4.12
Studentized residual 65ES99KGBJ
| URI | m2://inv/65ES99KGBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#VQ20, Studentized residual (definition)
History
- 2026-11-02: add by m2/dev
fractal dimension 65F0K8N0FS
| URI | m2://inv/65F0K8N0FS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1412452, fractal dimension (unknown). Also nLab fractal dimension
- wikipedia: Wikipedia Fractal dimension, Fractal dimension (definition). Also Wikidata Q1412452
History
- 2026-10-26: add by m2/dev
Critical thinking 65FKG38J6C
| URI | m2://inv/65FKG38J6C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Critical thinking, Critical thinking (definition). Also Wikidata Q843894
History
- 2026-11-02: add by m2/dev
Hopf surface 65FZN6DGQ8
| URI | m2://inv/65FZN6DGQ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf surface, Hopf surface (definition). Also Wikidata Q5900512
History
- 2026-11-02: add by m2/dev
H. J. Ryser 65G4ZHH8RY
| URI | m2://inv/65G4ZHH8RY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#WF01, H. J. Ryser (topic)
History
- 2026-11-02: add by m2/dev
Derived noncommutative algebraic geometry 65GBR42TN5
| URI | m2://inv/65GBR42TN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#Y5JO, Derived noncommutative algebraic geometry (definition)
History
- 2026-11-02: add by m2/dev
65GC8JDSFF 65GC8JDSFF
| URI | m2://inv/65GC8JDSFF |
|---|---|
| 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.21231#QWF7 (statement). In 4RH9PS7MN1/e1, theorem 4
History
- 2026-10-27: add by m2/v0.4.2
degeneracy cycle 65GGNMHPWD
| URI | m2://inv/65GGNMHPWD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#BD6Y, degeneracy cycle (definition)
History
- 2026-11-02: add by m2/dev
Poisson distribution 65GJ7CWYWJ
| URI | m2://inv/65GJ7CWYWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#42OM, Poisson distribution (definition)
History
- 2026-11-02: add by m2/dev
great dodecicosahedron 65GRBD03CR
| URI | m2://inv/65GRBD03CR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2718522, great dodecicosahedron (object). Also MathWorld GreatDodecicosahedron
- wikipedia: Wikipedia Great dodecicosahedron, Great dodecicosahedron (object). Also Wikidata Q2718522
History
- 2026-10-26: add by m2/dev
65GTTQERMB 65GTTQERMB
| URI | m2://inv/65GTTQERMB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.10505#T48I (statement). In JW8HH6EPG2/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
65GXJBC4WC 65GXJBC4WC
| URI | m2://inv/65GXJBC4WC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/metric-top.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 100.3
History
- 2026-11-01: add by m2/v0.6.13
65GYGB96J7 65GYGB96J7
| URI | m2://inv/65GYGB96J7 |
|---|---|
| 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.27689#5D28 (statement)
History
- 2026-11-01: add by m2/v0.6.15
65H0H3Z3CC 65H0H3Z3CC
| URI | m2://inv/65H0H3Z3CC |
|---|---|
| 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 2601.01000#E3DW (statement). In RYFV9HGWWZ/e1, lemma 19
History
- 2026-10-27: add by m2/v0.3.5
Exponential function 65H0KA2GSM
| URI | m2://inv/65H0KA2GSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#MSFE, Exponential function (definition)
History
- 2026-11-02: add by m2/dev
Examples 65H2H4M775
| URI | m2://inv/65H2H4M775 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-notation#FDGP, Examples (example)
History
- 2026-11-02: add by m2/dev
Algorithm 65H3FDXXSK
| URI | m2://inv/65H3FDXXSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spiral optimization algorithm#WO0Q, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Endpoint extension 65H3P7KTTZ
| URI | m2://inv/65H3P7KTTZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33173#XGVL, Endpoint extension (statement). In R630A60CMM/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
negation normal form 65H4MBGNF0
| URI | m2://inv/65H4MBGNF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#Z9RQ, negation normal form (definition)
History
- 2026-11-02: add by m2/dev
65H4STD0AD 65H4STD0AD
| URI | m2://inv/65H4STD0AD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.26479#139P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Truncation 65H4V6K2Y5
| URI | m2://inv/65H4V6K2Y5 |
|---|---|
| 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.06028#AU65, Truncation (statement). In GAZRH97SXG/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Priority heuristic 65HFSW37RG
| URI | m2://inv/65HFSW37RG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Priority heuristic, Priority heuristic (definition). Also Wikidata Q65074208
History
- 2026-11-02: add by m2/dev
65HMT9BJ66 65HMT9BJ66
| URI | m2://inv/65HMT9BJ66 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#RS7Y (definition). In F3BKXXPR3K/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.4.2
Irina Shevtsova 65HPCXM2FR
| URI | m2://inv/65HPCXM2FR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irina Shevtsova, Irina Shevtsova (topic). Also Wikidata Q54141962
History
- 2026-11-02: add by m2/dev
Italian Mathematical Union 65J0S3ZFQQ
| URI | m2://inv/65J0S3ZFQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#E16G, Italian Mathematical Union (definition)
History
- 2026-11-02: add by m2/dev
Binary decision 65J0VNV3PQ
| URI | m2://inv/65J0VNV3PQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary decision, Binary decision (definition). Also Wikidata Q4913887
History
- 2026-11-02: add by m2/dev
Emil Müller 65J7EWD544
| URI | m2://inv/65J7EWD544 |
|---|---|
| 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#5BDZ, Emil Müller (topic)
History
- 2026-11-02: add by m2/dev
65JG4AQ16C 65JG4AQ16C
| URI | m2://inv/65JG4AQ16C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-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.24232#PJJS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition 65JHK0YRSA
| URI | m2://inv/65JHK0YRSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hamilton–Jacobi equation#VAT3, Definition (definition)
History
- 2026-11-02: add by m2/dev
List of largest video game employers 65JHN2HW1B
| URI | m2://inv/65JHN2HW1B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of largest video game employers, List of largest video game employers (topic). Also Wikidata Q124625586
History
- 2026-11-02: add by m2/dev
65JM6W6V7S 65JM6W6V7S
| URI | m2://inv/65JM6W6V7S |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#proof-12 (proof). In E59CDZA4DP, proof, section 4.3.1
History
- 2026-11-01: add by m2/v0.6.13
Conjugate twists 65K3XE8CJV
| URI | m2://inv/65K3XE8CJV |
|---|---|
| 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.30301#VCIJ, Conjugate twists (statement). In 7NS75J7HAM/e1, lemma 3.3
History
- 2026-10-31: add by m2/v0.5.6
65K5KE7T8P 65K5KE7T8P
| URI | m2://inv/65K5KE7T8P |
|---|---|
| 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.26745#FE48 (statement)
History
- 2026-11-01: add by m2/v0.6.15
+ construction 65KHBTXC9E
| URI | m2://inv/65KHBTXC9E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic K-theory#VZ0J, + construction (unknown)
History
- 2026-11-02: add by m2/dev
65KVGQEX4M 65KVGQEX4M
| URI | m2://inv/65KVGQEX4M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-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.09333#NYAL (definition). In Z9HC1EDTQP/e1, definition 5.3
History
- 2026-10-29: add by m2/v0.4.10
65MG4FKWX1 65MG4FKWX1
| URI | m2://inv/65MG4FKWX1 |
|---|---|
| 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.19360#AR6I (statement). In MFCW5CY96C/e1, lemma 28
History
- 2026-10-28: add by m2/v0.4.2
331 (number) 65MGPBBK0N
| URI | m2://inv/65MGPBBK0N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#HZ06, 331 (number) (unknown)
History
- 2026-11-02: add by m2/dev
65MK43Z7JX 65MK43Z7JX
| URI | m2://inv/65MK43Z7JX |
|---|---|
| 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.14741#LR57 (statement). In RK1VPWWX9E/e1, theorem 4.8
History
- 2026-10-28: add by m2/v0.4.2
Hammersley 65N5QZPRSS
| URI | m2://inv/65N5QZPRSS |
|---|---|
| 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 2109.12716#6TUF, Hammersley (statement). In 6X76XBE3HV/e1, theorem 2.1
History
- 2026-10-27: add by m2/v0.3.5
Rudolf Berghammer 65NFQRHSWS
| URI | m2://inv/65NFQRHSWS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#R2IF, Rudolf Berghammer (topic)
History
- 2026-11-02: add by m2/dev
Prym differential 65NHJ56SH1
| URI | m2://inv/65NHJ56SH1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prym differential, Prym differential (definition). Also Wikidata Q7253242
History
- 2026-11-02: add by m2/dev
65NJJ747HM 65NJJ747HM
| URI | m2://inv/65NJJ747HM |
|---|---|
| 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#8Y84 (statement). In 4AQ48WSBDQ/e1, theorem C.1
History
- 2026-10-29: add by m2/v0.4.10
Tannakian duality 65NNM78P89
| URI | m2://inv/65NNM78P89 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#TEUI, Tannakian duality (definition)
History
- 2026-11-02: add by m2/dev
65NQ59RMP8 65NQ59RMP8
| URI | m2://inv/65NQ59RMP8 |
|---|---|
| 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.15454#6W74 (statement). In RGQZVNXWM5/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
65NSJ94THR 65NSJ94THR
| URI | m2://inv/65NSJ94THR |
|---|---|
| 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 2603.21971#E5YJ (statement). In R6KSZ9H8CY/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.3.5
Tail periodicity 65NWTD6FZC
| URI | m2://inv/65NWTD6FZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20230#BXU7, Tail periodicity (statement)
History
- 2026-11-02: add by m2/v0.6.18
65P4A0Q7BY 65P4A0Q7BY
| URI | m2://inv/65P4A0Q7BY |
|---|---|
| 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.14820#UVKZ (statement). In FKE0A3KY1N/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
65PAY3F1HP 65PAY3F1HP
| URI | m2://inv/65PAY3F1HP |
|---|---|
| Kind | problem |
| 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.32936#CDPY (problem). In QDBYK125AB/e1, problem 1
History
- 2026-10-31: add by m2/v0.5.6
Systolic geometry 65PFW8XYR8
| URI | m2://inv/65PFW8XYR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Systolic geometry, Systolic geometry (definition). Also Wikidata Q2454208
History
- 2026-11-02: add by m2/dev
$m=4$: Pasch configurations 65PHQ0X7MQ
| URI | m2://inv/65PHQ0X7MQ |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25353#XVYW, $m=4$: Pasch configurations (example)
History
- 2026-11-01: add by m2/v0.6.15
65PM309DQT 65PM309DQT
| URI | m2://inv/65PM309DQT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21675#S988 (statement). In TB1294GY5X/e1, proposition 1.6
History
- 2026-10-27: add by m2/v0.4.2
65PR0Q1PNG 65PR0Q1PNG
| URI | m2://inv/65PR0Q1PNG |
|---|---|
| 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 2601.22681#B87H (statement). In 68VEQQX68G/e1, theorem 3.11
History
- 2026-10-27: add by m2/v0.4.0
Increment theorem 65PS30WZH8
| URI | m2://inv/65PS30WZH8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#2SKT, Increment theorem (statement)
History
- 2026-11-02: add by m2/dev
Stationary error bound on invariant distributions 65PSS637MT
| URI | m2://inv/65PSS637MT |
|---|---|
| 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 2609.37944#EBHM, Stationary error bound on invariant distributions (statement). In KP94WJVJXY/e1, proposition
History
- 2026-10-30: add by m2/v0.4.12
65PW1WKJSW 65PW1WKJSW
| URI | m2://inv/65PW1WKJSW |
|---|---|
| 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 2610.21627#QF8M (statement). In 4Z44S003HM/e1, corollary 3
History
- 2026-10-27: add by m2/v0.4.2
Friedrichs extension and Dirichlet forms 65Q7WXE6D7
| URI | m2://inv/65Q7WXE6D7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32585#9JRV, Friedrichs extension and Dirichlet forms (statement). In FJFJ3WR1SS/e1, theorem 7.1
History
- 2026-10-31: add by m2/v0.5.6
65QCX8VJ32 65QCX8VJ32
| URI | m2://inv/65QCX8VJ32 |
|---|---|
| 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.21963#JIMZ (statement). In HR9R8RPKN8/e1, proposition 6.1
History
- 2026-10-27: add by m2/v0.4.2
65QCZA9TAB 65QCZA9TAB
| URI | m2://inv/65QCZA9TAB |
|---|---|
| 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 2201.04174#UWLO (statement). In NVTHDNQQ4Q/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.3.5
65QE030SMD 65QE030SMD
| URI | m2://inv/65QE030SMD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.32138#EYMW (statement). In ZG0GNHTCWB/e1, proposition 6.5
History
- 2026-10-31: add by m2/v0.5.6
Lagrangian coherent structure 65QE23AEBK
| URI | m2://inv/65QE23AEBK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrangian coherent structure, Lagrangian coherent structure (definition). Also Wikidata Q6472695
History
- 2026-11-02: add by m2/dev
65QEA85JZV 65QEA85JZV
| URI | m2://inv/65QEA85JZV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2408.01345#URJS (statement). In PT5PBPCS3P/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
Olm (encryption protocol) 65QR2ZX4G5
| URI | m2://inv/65QR2ZX4G5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matrix (protocol)#8E3Y, Olm (encryption protocol) (unknown)
History
- 2026-11-02: add by m2/dev
Generalized harmonic number 65QW4R250V
| URI | m2://inv/65QW4R250V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic number#HNJM, Generalized harmonic number (unknown)
History
- 2026-11-02: add by m2/dev
65QZPP8830 65QZPP8830
| URI | m2://inv/65QZPP8830 |
|---|---|
| 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 2208.06310#XQ2I (statement). In 9YR0E0T9XA/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
hyperedge 65R7RGKZCR
| URI | m2://inv/65R7RGKZCR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#6R1Q, hyperedge (definition)
History
- 2026-11-02: add by m2/dev
65RHCVGRX6 65RHCVGRX6
| URI | m2://inv/65RHCVGRX6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#proof-10 (proof). In N54F33XE07, proof, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
65RPAFMQE9 65RPAFMQE9
| URI | m2://inv/65RPAFMQE9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28189#QAO8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Quadratic-baseline refinement 65RPRVKATP
| URI | m2://inv/65RPRVKATP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16248#ODDY, Quadratic-baseline refinement (statement). In TP61DYMBMK/e1, corollary 3
History
- 2026-10-28: add by m2/v0.4.2
Transitivity of Subsets 65S9BEPW06
| URI | m2://inv/65S9BEPW06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Sets.tex#theorem-1, Transitivity of Subsets (statement). In P1C114YBXG, theorem, section J
History
- 2026-11-01: add by m2/v0.6.13
Statement 65SH5AASDG
| URI | m2://inv/65SH5AASDG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski's second theorem#BSKG, Statement (statement)
History
- 2026-11-02: add by m2/dev
65SJBBADBJ 65SJBBADBJ
| URI | m2://inv/65SJBBADBJ |
|---|---|
| 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.10152#KTC2 (statement). In KCJ53C7AXY/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Forschungen zur Logistik und zur Grundlegung der exakten Wissenschaften 65SPCFR1M4
| URI | m2://inv/65SPCFR1M4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#N2P7, Forschungen zur Logistik und zur Grundlegung der exakten Wissenschaften (unknown)
History
- 2026-11-02: add by m2/dev
65SQCQZJQP 65SQCQZJQP
| URI | m2://inv/65SQCQZJQP |
|---|---|
| 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.15787#8FL7 (statement). In BPY9RM0VK7/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
65SWK5NX28 65SWK5NX28
| URI | m2://inv/65SWK5NX28 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.10337#LRPD (statement). In RBBF0XNZ5E/e1, lemma 22
History
- 2026-10-27: add by m2/v0.3.5
Compound of two great snub icosidodecahedra 65T0SVJVAR
| URI | m2://inv/65T0SVJVAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#KDKJ, Compound of two great snub icosidodecahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#XAV4, Compound of two great snub icosidodecahedra (definition)
History
- 2026-11-02: add by m2/dev
65TMGVXYR0 65TMGVXYR0
| URI | m2://inv/65TMGVXYR0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01087#USLN (statement). In 7QXAZXGNPQ/e1, proposition 5.4
History
- 2026-10-29: add by m2/v0.4.12
65TTM3BBBX 65TTM3BBBX
| URI | m2://inv/65TTM3BBBX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06455#1ZN0 (statement). In N6GB5J5BAY/e1, lemma 6.3
History
- 2026-10-29: add by m2/v0.4.10
Stirling numbers of the first kind 65VFT21Z49
| URI | m2://inv/65VFT21Z49 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#E6LC, Stirling numbers of the first kind (definition)
History
- 2026-11-02: add by m2/dev
65VKPD4G59 65VKPD4G59
| URI | m2://inv/65VKPD4G59 |
|---|---|
| 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 2609.23287#GYYZ (example)
History
- 2026-11-02: add by m2/v0.6.17
65VR9EJB48 65VR9EJB48
| URI | m2://inv/65VR9EJB48 |
|---|---|
| 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 2601.15010#IA46 (statement). In K3WJ6ZN184/e1, lemma 7.10
History
- 2026-10-27: add by m2/v0.3.5
Uniform displacement for a family of circle paths 65VYBW3BPA
| URI | m2://inv/65VYBW3BPA |
|---|---|
| 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.14065#BVS7, Uniform displacement for a family of circle paths (statement). In PV7V3X78JH/e1, lemma 4.7
History
- 2026-10-28: add by m2/v0.4.2
Limit of the matrix measure from Jacobi to Laguerre of the second kind 65VZQP039Z
| URI | m2://inv/65VZQP039Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22027#N830, Limit of the matrix measure from Jacobi to Laguerre of the second kind (statement)
History
- 2026-11-02: add by m2/v0.6.17
Charlotte Barnum 65W5G69FDF
| URI | m2://inv/65W5G69FDF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charlotte Barnum, Charlotte Barnum (topic). Also Wikidata Q2960945
History
- 2026-11-02: add by m2/dev
Graham Higman 65WA2X5HDP
| URI | m2://inv/65WA2X5HDP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UMJB, Graham Higman (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#KAIC, Graham Higman (topic)
History
- 2026-11-02: add by m2/dev
Beltrami–Klein model 65WAWJN7N4
| URI | m2://inv/65WAWJN7N4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Beltrami–Klein model 1WN9B18H86 |
Mentions
- wikidata: Wikidata Q1189065, Beltrami–Klein model (unknown). Also MathWorld Klein-BeltramiModel
- wikipedia: Wikipedia Beltrami–Klein model, Beltrami–Klein model (definition). Also Wikidata Q1189065
History
- 2026-10-26: add by m2/dev
Florian Luca 65WDB1G28Z
| URI | m2://inv/65WDB1G28Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#U8SH, Florian Luca (topic)
History
- 2026-11-02: add by m2/dev
Meyerovitch--Sanadhya--Solomon 65WF62TZ4X
| URI | m2://inv/65WF62TZ4X |
|---|---|
| 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.00099#WVGW, Meyerovitch--Sanadhya--Solomon (statement). In NNBY2AEHP4/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
Ann Z. Caracristi 65WJZX833F
| URI | m2://inv/65WJZX833F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#P33H, Ann Z. Caracristi (unknown)
History
- 2026-11-02: add by m2/dev
65WSHEMV16 65WSHEMV16
| URI | m2://inv/65WSHEMV16 |
|---|---|
| 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.00909#6R4I (statement). In Z4TD36VFPW/e1, proposition 1.9
History
- 2026-10-29: add by m2/v0.4.12
Derivation of the formula 65WYX1TTCN
| URI | m2://inv/65WYX1TTCN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bhāskara I's sine approximation formula#S5CR, Derivation of the formula (statement)
History
- 2026-11-02: add by m2/dev
65X1YV071J 65X1YV071J
| URI | m2://inv/65X1YV071J |
|---|---|
| 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 2607.26169#8GBD (statement). In Q46QV3B0NF/e1, lemma 8.3
History
- 2026-10-27: add by m2/v0.3.5
65X7FM1HTK 65X7FM1HTK
| URI | m2://inv/65X7FM1HTK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34516#BPQN (statement). In ECKK8RR78E/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Examples 65XBRZ8HA4
| URI | m2://inv/65XBRZ8HA4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karoubi envelope#61PM, Examples (example)
History
- 2026-11-02: add by m2/dev
Theorem 65XDE2ZEB6
| URI | m2://inv/65XDE2ZEB6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partial trace#NQ6C, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Shuffling 65XFEWEK0Y
| URI | m2://inv/65XFEWEK0Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#6KKP, Shuffling (unknown)
History
- 2026-11-02: add by m2/dev
Frobenius theorem 65XFY8RB12
| URI | m2://inv/65XFY8RB12 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4VOT, Frobenius theorem (statement)
History
- 2026-11-02: add by m2/dev
dilaton 65XH5SZA4F
| URI | m2://inv/65XH5SZA4F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1193090, dilaton (unknown). Also nLab dilaton
History
- 2026-10-26: add by m2/dev
Grassmann's identity 65XP8711DA
| URI | m2://inv/65XP8711DA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3748374, Grassmann's identity (statement). Also ProofWiki Grassmann's_Identity
History
- 2026-10-26: add by m2/dev
65XQKRZVCC 65XQKRZVCC
| URI | m2://inv/65XQKRZVCC |
|---|---|
| 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.12108#CD9J (statement). In JQH3FHYPW3/e1, proposition 3.7
History
- 2026-10-28: add by m2/v0.4.2
curl 65XVZ6XEJ6
| URI | m2://inv/65XVZ6XEJ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#RO3V, curl (definition)
History
- 2026-11-02: add by m2/dev
65XWCNP85C 65XWCNP85C
| URI | m2://inv/65XWCNP85C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#example:yprimeisxy (example). In E9HS8K3A52, example, section 4.3.1
History
- 2026-11-01: add by m2/v0.6.13
65Y2X43XXK 65Y2X43XXK
| URI | m2://inv/65Y2X43XXK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-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 2608.26046#DAS6 (statement). In 96S9DAC9F9/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
Karen Kafadar 65Y6W8NPZB
| URI | m2://inv/65Y6W8NPZB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karen Kafadar, Karen Kafadar (topic). Also Wikidata Q41796796
History
- 2026-11-02: add by m2/dev
Concatenated error correction code 65Y7ZP3S6B
| URI | m2://inv/65Y7ZP3S6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concatenated error correction code, Concatenated error correction code (definition). Also Wikidata Q5158264
History
- 2026-11-02: add by m2/dev
65YAWW9FQ3 65YAWW9FQ3
| URI | m2://inv/65YAWW9FQ3 |
|---|---|
| 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.13670#MPNA (statement). In 4PGTZ19B26/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
A quadratic construction 65YCSTBZCC
| URI | m2://inv/65YCSTBZCC |
|---|---|
| Kind | example |
| 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 2610.16704#GMZG, A quadratic construction (example). In Q7CWPC7PXY/e1, example 4.3
History
- 2026-10-28: add by m2/v0.4.2
65YDRE2MHB 65YDRE2MHB
| URI | m2://inv/65YDRE2MHB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#JZS0 (statement). In KP0X1RKKKB/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.0
65YHDD17N6 65YHDD17N6
| URI | m2://inv/65YHDD17N6 |
|---|---|
| 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 2403.16814#IV2Q (statement). In MN03Z3PRFT/e1, theorem 4.9
History
- 2026-10-27: add by m2/v0.3.5
65YHNFEX70 65YHNFEX70
| URI | m2://inv/65YHNFEX70 |
|---|---|
| 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.31327#5AFZ (example). In F605BQ3AYX/e1, example 6.4
History
- 2026-10-31: add by m2/v0.5.6
Subdifferential images 65YHPJRD12
| URI | m2://inv/65YHPJRD12 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17519#TXRY, Subdifferential images (definition). In H2DNTQ5MKV/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
65YK1HPR5X 65YK1HPR5X
| URI | m2://inv/65YK1HPR5X |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/provability-propositional.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 17.8
History
- 2026-11-01: add by m2/v0.6.13
A-group 65YVG062K1
| URI | m2://inv/65YVG062K1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4646988, A-group (unknown). Also LMFDB knowl group.a_group
- wikipedia: Wikipedia A-group, A-group (definition). Also Wikidata Q4646988
History
- 2026-10-26: add by m2/dev
Example 65ZBX72K52
| URI | m2://inv/65ZBX72K52 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibonacci coding#S2OU, Example (example)
History
- 2026-11-02: add by m2/dev
65ZE8GRVS3 65ZE8GRVS3
| URI | m2://inv/65ZE8GRVS3 |
|---|---|
| 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#FR7W (statement)
History
- 2026-11-02: add by m2/v0.6.17
Liouville–Neumann series 65ZF6JMWMN
| URI | m2://inv/65ZF6JMWMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouville–Neumann series, Liouville–Neumann series (definition). Also Wikidata Q4402528
History
- 2026-11-02: add by m2/dev
65ZMT30ZNT 65ZMT30ZNT
| URI | m2://inv/65ZMT30ZNT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15525#NGLS (statement). In EFDRME13PT/e1, proposition 8.4
History
- 2026-10-28: add by m2/v0.4.2
Theorem: (Fujita–Odaka, Blum–Xu) 65ZTMNAX07
| URI | m2://inv/65ZTMNAX07 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-stability of Fano varieties#S1ID, Theorem: (Fujita–Odaka, Blum–Xu) (statement)
History
- 2026-11-02: add by m2/dev
65ZYY59K51 65ZYY59K51
| URI | m2://inv/65ZYY59K51 |
|---|---|
| Kind | definition |
| 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#67XI (definition). In BJGS6ZCQ12/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.6