Inventory rows 64
The cards of the rows of the inventory whose ids start with 64. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
6403CNHWY4 6403CNHWY4
| URI | m2://inv/6403CNHWY4 |
|---|---|
| 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.04330#3AQU (statement). In 17H0HEM54D/e1, proposition 1.3
History
- 2026-10-29: add by m2/v0.4.12
Lagrangian system 6405GAX4HY
| URI | m2://inv/6405GAX4HY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lagrangian system, Lagrangian system (definition). Also Wikidata Q7424540
History
- 2026-11-02: add by m2/dev
411 (number) 64066J78GN
| URI | m2://inv/64066J78GN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#F9F0, 411 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Glaisher's theorem 640B2CKRNB
| URI | m2://inv/640B2CKRNB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5566491, Glaisher's theorem (statement). Also Mathlib Nat.Partition.card_restricted_eq_card_countRestricted, Wikidata Q5566491
- thousand_plus: thousand_plus Q5566491, Glaisher's theorem (statement). Also Mathlib Nat.Partition.card_restricted_eq_card_countRestricted, Wikidata Q5566491, Wikipedia Glaisher's theorem
- wikipedia: Wikipedia Glaisher's theorem, Glaisher's theorem (statement). Also Wikidata Q5566491
History
- 2026-10-26: add by m2/dev
640C50MM8D 640C50MM8D
| URI | m2://inv/640C50MM8D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.09796#XXAJ (statement). In NAA7WFQN20/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.5
640T6VTGSQ 640T6VTGSQ
| URI | m2://inv/640T6VTGSQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#776G (statement). In V5PVKDKGGG/e1, corollary 2.4
History
- 2026-10-28: add by m2/v0.4.2
6410H4127N 6410H4127N
| URI | m2://inv/6410H4127N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-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.12203#WIJQ (statement). In F4YTAZSCS2/e1, lemma 3.1
History
- 2026-10-28: add by m2/v0.4.2
PME strategies 64122FTTVK
| URI | m2://inv/64122FTTVK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.02468#R0AG, PME strategies (definition). In Q7C6G66CWM/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.3.5
Hans Grauert 6415XRYPZ4
| URI | m2://inv/6415XRYPZ4 |
|---|---|
| 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#4RKY, Hans Grauert (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ABT6, Hans Grauert (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#RCFD, Hans Grauert (topic)
History
- 2026-11-02: add by m2/dev
Stably rational 6419V68H07
| URI | m2://inv/6419V68H07 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational variety#FEVZ, Stably rational (unknown)
History
- 2026-11-02: add by m2/dev
Exact reconstruction of reproductive potential 641GQ34TCJ
| URI | m2://inv/641GQ34TCJ |
|---|---|
| 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.15466#4OBQ, Exact reconstruction of reproductive potential (statement). In KJ7V6XG4M7/e1, corollary 2
History
- 2026-10-28: add by m2/v0.4.2
computational geometry 641Q08592R
| URI | m2://inv/641Q08592R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Computational geometry KAT7K2NE9Z |
Mentions
- wikidata: Wikidata Q874709, computational geometry (unknown). Also MathWorld ComputationalGeometry
- wikipedia: Wikipedia Computational geometry, Computational geometry (topic). Also Wikidata Q874709
History
- 2026-10-26: add by m2/dev
Spiegelhalter, David 641VF55FJJ
| URI | m2://inv/641VF55FJJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#5S23, Spiegelhalter, David (topic)
History
- 2026-11-02: add by m2/dev
417 (number) 641VTQZMN9
| URI | m2://inv/641VTQZMN9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#KOUG, 417 (number) (unknown)
History
- 2026-11-02: add by m2/dev
641YPZXGXY 641YPZXGXY
| URI | m2://inv/641YPZXGXY |
|---|---|
| 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 math/0301148#EUKP (statement). In 5RE15848Z0/e1, theorem 3.8
History
- 2026-10-27: add by m2/v0.3.5
William Haboush 64215NACK5
| URI | m2://inv/64215NACK5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Haboush, William Haboush (topic). Also Wikidata Q3568676
History
- 2026-11-02: add by m2/dev
6422RWAJFS 6422RWAJFS
| URI | m2://inv/6422RWAJFS |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17817#CG99 (example). In M8TSJ24RC2/e1, example 3.23
History
- 2026-10-28: add by m2/v0.4.2
6422Y0K6Z1 6422Y0K6Z1
| URI | m2://inv/6422Y0K6Z1 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26745#GQCF (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Caucher Birkar 6428GTJCYV
| URI | m2://inv/6428GTJCYV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#NV5R, Caucher Birkar (topic)
History
- 2026-11-02: add by m2/dev
Euler's forward method 6429540DVH
| URI | m2://inv/6429540DVH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#OV1Z, Euler's forward method (definition)
History
- 2026-11-02: add by m2/dev
Construction 642ND9NKB0
| URI | m2://inv/642ND9NKB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Icosidodecahedron#MY61, Construction (definition)
History
- 2026-11-02: add by m2/dev
Alfredo Capelli 642QPNY573
| URI | m2://inv/642QPNY573 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alfredo Capelli, Alfredo Capelli (topic). Also Wikidata Q2319583
History
- 2026-11-02: add by m2/dev
642V1Z5MKB 642V1Z5MKB
| URI | m2://inv/642V1Z5MKB |
|---|---|
| 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.02570#4YG3 (statement). In 6JK30RQ1SX/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.12
Hopping truncation error 642W9NVAWF
| URI | m2://inv/642W9NVAWF |
|---|---|
| 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.01669#3QZD, Hopping truncation error (statement). In 41AVNP6DJ9/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
List of works by Nicolas Minorsky 6432RWZS3X
| URI | m2://inv/6432RWZS3X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of works by Nicolas Minorsky, List of works by Nicolas Minorsky (topic). Also Wikidata Q16386710
History
- 2026-11-02: add by m2/dev
6434E62AP9 6434E62AP9
| URI | m2://inv/6434E62AP9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/sec-5-4-parts.xml#example-1 (example). In 907G4C4EJ1, example, section 5.4.4
History
- 2026-11-01: add by m2/v0.6.13
6439P6P56G 6439P6P56G
| URI | m2://inv/6439P6P56G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2110.11143#STJP (statement). In VTVC0TCWSB/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.3.5
643F4VK70A 643F4VK70A
| URI | m2://inv/643F4VK70A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#5AY2 (statement). In B9EX6K51RD/e1, proposition 2.16
History
- 2026-10-28: add by m2/v0.4.2
kind 643M84PE31
| URI | m2://inv/643M84PE31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#VK6J, kind (definition)
History
- 2026-11-02: add by m2/dev
Newton's first law 643N6T8WZ4
| URI | m2://inv/643N6T8WZ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3235671, Newton's first law (statement). Also ProofWiki Newton's_Laws_of_Motion/First_Law
History
- 2026-10-26: add by m2/dev
643NBWYS61 643NBWYS61
| URI | m2://inv/643NBWYS61 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-6.xml#ex-reflection-compose-general (exercise). In 649HGZKE96, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
A vanishing torsion contraction forces a vanishing defect contraction 643TQX9TPB
| URI | m2://inv/643TQX9TPB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#TD5Q, A vanishing torsion contraction forces a vanishing defect contraction (statement)
History
- 2026-11-01: add by m2/v0.6.15
643WKNWG7V 643WKNWG7V
| URI | m2://inv/643WKNWG7V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08873#UZ12 (statement). In 7WMNVJBAVR/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.10
6440Q19TFE 6440Q19TFE
| URI | m2://inv/6440Q19TFE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#U5GC (statement). In 9DQKY7KGE8/e1, proposition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Lag windowing 6440XK8HGR
| URI | m2://inv/6440XK8HGR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#R2YZ, Lag windowing (definition)
History
- 2026-11-02: add by m2/dev
Curvature of Space and Time, with an Introduction to Geometric Analysis 644A15WRSK
| URI | m2://inv/644A15WRSK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curvature of Space and Time, with an Introduction to Geometric Analysis, Curvature of Space and Time, with an Introduction to Geometric Analysis (definition). Also Wikidata Q109973527
History
- 2026-11-02: add by m2/dev
Statement 644AFC6VST
| URI | m2://inv/644AFC6VST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nadel vanishing theorem#52E2, Statement (statement)
History
- 2026-11-02: add by m2/dev
Typeface 644AQ0ZZ2D
| URI | m2://inv/644AQ0ZZ2D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of steganography techniques#XG77, Typeface (unknown)
History
- 2026-11-02: add by m2/dev
644NVSF9HS 644NVSF9HS
| URI | m2://inv/644NVSF9HS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#50NG (statement). In G1RP4JY5PE/e1, lemma 7.4.1
History
- 2026-10-31: add by m2/v0.5.6
644PJZ69FV 644PJZ69FV
| URI | m2://inv/644PJZ69FV |
|---|---|
| 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.08357#WCFX (statement). In R9GRCAWHG0/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
6450D3A4GG 6450D3A4GG
| URI | m2://inv/6450D3A4GG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2403.02207#F6P3 (statement). In 1T3ZYPQZF0/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.6
6453CPB2RC 6453CPB2RC
| URI | m2://inv/6453CPB2RC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20900#3VPR (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples 6453NJH0WA
| URI | m2://inv/6453NJH0WA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tanking#F9G9, Examples (example)
History
- 2026-11-02: add by m2/dev
645BYYD5JW 645BYYD5JW
| URI | m2://inv/645BYYD5JW |
|---|---|
| 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 2303.13891#1HR1 (statement). In TC91C5DGTG/e1, lemma 7
History
- 2026-10-27: add by m2/v0.3.5
Konstantinos Carathéodory 645MQGDQJX
| URI | m2://inv/645MQGDQJX |
|---|---|
| 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 Q65332, Konstantinos Carathéodory (unknown). Also nLab Constantin Carathéodory, ProofWiki Mathematician:Constantin_Carathéodory
- wikipedia: Wikipedia Constantin Carathéodory, Constantin Carathéodory (topic). Also Wikidata Q65332
History
- 2026-10-26: add by m2/dev
645QEDNGDH 645QEDNGDH
| URI | m2://inv/645QEDNGDH |
|---|---|
| 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.13030#J3M5 (statement). In 6NZ0YS5MJ7/e1, corollary V.4
History
- 2026-10-28: add by m2/v0.4.2
Proof of \olref{thm:interpolation} 645QVZJQ9B
| URI | m2://inv/645QVZJQ9B |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/cut-elimination/interpolation.tex#proof-2, Proof of \olref{thm:interpolation} (proof). In PKGMM3P5QY, proof, section 57.1
History
- 2026-11-01: add by m2/v0.6.13
Open mixed neighborhoods 645RQP22X8
| URI | m2://inv/645RQP22X8 |
|---|---|
| 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.11793#RQNW, Open mixed neighborhoods (statement). In GGCY8Z053Z/e1, proposition 3.2
History
- 2026-10-28: add by m2/v0.4.3
Examples 645V75PKHN
| URI | m2://inv/645V75PKHN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia En-ring#FC70, Examples (example)
History
- 2026-11-02: add by m2/dev
6462DEX5JN 6462DEX5JN
| URI | m2://inv/6462DEX5JN |
|---|---|
| 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 2512.21427#9Y7K (statement). In G9XD78ZCAS/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
Howard Georgi 6469HE08PN
| URI | m2://inv/6469HE08PN |
|---|---|
| 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 Q951426, Howard Georgi (unknown). Also nLab Howard Georgi
History
- 2026-10-26: add by m2/dev
646FT3J9GE 646FT3J9GE
| URI | m2://inv/646FT3J9GE |
|---|---|
| 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.11210#9KMC (statement). In CRFDGFZHBF/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.3
Definition 646HH7G6BC
| URI | m2://inv/646HH7G6BC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 6-polytope#VI6W, Definition (definition)
History
- 2026-11-02: add by m2/dev
646SZA9BVE 646SZA9BVE
| URI | m2://inv/646SZA9BVE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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.37271#81S4 (statement). In 9WP2QGKMG8/e1, theorem 1.7
History
- 2026-10-30: add by m2/v0.4.12
Lists of statistics topics 646VAF1AMH
| URI | m2://inv/646VAF1AMH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#CQZW, Lists of statistics topics (topic)
History
- 2026-11-02: add by m2/dev
Radial reweighting 646ZEZ2VFD
| URI | m2://inv/646ZEZ2VFD |
|---|---|
| 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.15125#L6O2, Radial reweighting (statement). In V5GT8NJKCM/e1, lemma B.2
History
- 2026-10-28: add by m2/v0.4.2
Reset perturbation 64716W9WGA
| URI | m2://inv/64716W9WGA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36016#D9ST, Reset perturbation (statement). In NAM9ZMPHZ9/e1, lemma D.5
History
- 2026-10-30: add by m2/v0.4.12
6473C7QXBY 6473C7QXBY
| URI | m2://inv/6473C7QXBY |
|---|---|
| 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.18673#EZUG (statement). In 7ZFD9XRKA1/e1, lemma 2.21
History
- 2026-10-28: add by m2/v0.4.2
Jacques Hadamard 6478Z0PBQM
| URI | m2://inv/6478Z0PBQM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#YYHX, Jacques Hadamard (topic)
History
- 2026-11-02: add by m2/dev
Definition 647NMPGVSZ
| URI | m2://inv/647NMPGVSZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponentially modified Gaussian distribution#8TMO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Simplicial commutative ring 6480SBFY22
| URI | m2://inv/6480SBFY22 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simplicial commutative ring, Simplicial commutative ring (definition). Also Wikidata Q17103286
History
- 2026-11-02: add by m2/dev
ISO/IEC 7064 6480YEK343
| URI | m2://inv/6480YEK343 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ISO/IEC 7064, ISO/IEC 7064 (definition). Also Wikidata Q5974416
History
- 2026-11-02: add by m2/dev
Kolmogorov's $0$-$1$ law 6483SERS74
| URI | m2://inv/6483SERS74 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Random variables and their laws > Kolmogorov's $0$-$1$ law, Kolmogorov's $0$-$1$ law (unknown). Also Mathlib ProbabilityTheory.measure_zero_or_one_of_measurableSet_limsup_atTop
- mathlib_undergrad: mathlib_undergrad Probability Theory > Definitions of a probability space > $0$-$1$ law, $0$-$1$ law (unknown). Also Mathlib ProbabilityTheory.measure_zero_or_one_of_measurableSet_limsup_atTop
History
- 2026-10-26: add by m2/dev
H-cobordism theorem 6488R76AZB
| URI | m2://inv/6488R76AZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#D7SB, H-cobordism theorem (definition)
History
- 2026-11-02: add by m2/dev
6489S1V2TN 6489S1V2TN
| URI | m2://inv/6489S1V2TN |
|---|---|
| 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.28211#5X1L (statement)
History
- 2026-11-01: add by m2/v0.6.15
maximal clique 6489ZGDSCX
| URI | m2://inv/6489ZGDSCX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93598414, maximal clique (unknown). Also MathWorld MaximalClique
History
- 2026-10-26: add by m2/dev
648BD19GND 648BD19GND
| URI | m2://inv/648BD19GND |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.15365#WFN8 (unknown). In R2XC1SC9NZ/e1, unknown 1
History
- 2026-10-27: add by m2/v0.3.5
Uniqueness and existence theorems in 1D 648ES6BSZB
| URI | m2://inv/648ES6BSZB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral equation#2L1Q, Uniqueness and existence theorems in 1D (statement)
History
- 2026-11-02: add by m2/dev
Uhlmann 648M7XCN76
| URI | m2://inv/648M7XCN76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-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.16267#YBKG, Uhlmann (statement). In 65GKPZ15VH/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Olga Bondareva 648NDJQ8H5
| URI | m2://inv/648NDJQ8H5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Olga Bondareva, Olga Bondareva (topic). Also Wikidata Q4093138
History
- 2026-11-02: add by m2/dev
648SG3JEDP 648SG3JEDP
| URI | m2://inv/648SG3JEDP |
|---|---|
| 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.15111#JBV5 (statement). In 6RE6JYE4GP/e1, lemma F.6
History
- 2026-10-28: add by m2/v0.4.2
Time hierarchy theorem 648VW7Z4BC
| URI | m2://inv/648VW7Z4BC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#8N67, Time hierarchy theorem (statement)
History
- 2026-11-02: add by m2/dev
Poincaré–Lindstedt method 64924ETC8N
| URI | m2://inv/64924ETC8N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Henri Poincaré#3DOP, Poincaré–Lindstedt method (definition)
History
- 2026-11-02: add by m2/dev
Supersaturation 6495K8Y47V
| URI | m2://inv/6495K8Y47V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02833#30XQ, Supersaturation (statement). In TNREX5GDK2/e1, proposition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Formal definition 649750CCFB
| URI | m2://inv/649750CCFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Van Kampen diagram#3A53, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
Level of measurement 649HWX16ZG
| URI | m2://inv/649HWX16ZG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#0IPB, Level of measurement (definition)
History
- 2026-11-02: add by m2/dev
649RGCK99Q 649RGCK99Q
| URI | m2://inv/649RGCK99Q |
|---|---|
| Kind | definition |
| 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.21921#E5A4 (definition). In CM2YEK9T4F/e1, definition 4.4
History
- 2026-10-27: add by m2/v0.4.2
𝔪 649VK9WQE7
| URI | m2://inv/649VK9WQE7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#ZPQO, 𝔪 (definition)
History
- 2026-11-02: add by m2/dev
649W1K2CJR 649W1K2CJR
| URI | m2://inv/649W1K2CJR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29918#GIY0 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition 649ZBFGPPP
| URI | m2://inv/649ZBFGPPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mock modular form#1BL4, Definition (definition)
History
- 2026-11-02: add by m2/dev
649ZWHPPYN 649ZWHPPYN
| URI | m2://inv/649ZWHPPYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11905#6EZA (statement). In QQFXT31CA5/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.3
Karp–Lipton theorem 64A3JWWF72
| URI | m2://inv/64A3JWWF72 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#RR7C, Karp–Lipton theorem (statement)
History
- 2026-11-02: add by m2/dev
64A4XS5YGV 64A4XS5YGV
| URI | m2://inv/64A4XS5YGV |
|---|---|
| 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.13137#WYW3 (statement). In NH77XVB03X/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
EPR paradox for entangled particles 64A7PNW1HP
| URI | m2://inv/64A7PNW1HP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncertainty principle#97YC, EPR paradox for entangled particles (statement)
History
- 2026-11-02: add by m2/dev
64APKPB4TT 64APKPB4TT
| URI | m2://inv/64APKPB4TT |
|---|---|
| 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.16359#W5SA (statement). In NY1DBAW7CG/e1, theorem 4.4
History
- 2026-10-28: add by m2/v0.4.2
64APXHBRAR 64APXHBRAR
| URI | m2://inv/64APXHBRAR |
|---|---|
| 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.28993#6P91 (statement)
History
- 2026-11-01: add by m2/v0.6.15
64AYGC0TPA 64AYGC0TPA
| URI | m2://inv/64AYGC0TPA |
|---|---|
| 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 1011.5443#FFML (statement). In VQ0K2GV62A/e1, proposition 2.15
History
- 2026-10-27: add by m2/v0.3.5
Sławomir Kołodziej 64AZC8GSRJ
| URI | m2://inv/64AZC8GSRJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sławomir Kołodziej, Sławomir Kołodziej (topic). Also Wikidata Q48850385
History
- 2026-11-02: add by m2/dev
Parallel algorithms for calculating variance 64BGJ7R1EG
| URI | m2://inv/64BGJ7R1EG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithms for calculating variance#FQ6N, Parallel algorithms for calculating variance (unknown)
History
- 2026-11-02: add by m2/dev
Extending the original law: the Ampère–Maxwell equation 64BHMD8XQQ
| URI | m2://inv/64BHMD8XQQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ampère's circuital law#10JU, Extending the original law: the Ampère–Maxwell equation (statement)
History
- 2026-11-02: add by m2/dev
Proth prime of the second kind 64CC44JN8P
| URI | m2://inv/64CC44JN8P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proth prime#PRO5, Proth prime of the second kind (unknown)
History
- 2026-11-02: add by m2/dev
Cyclogon 64CK90X7WR
| URI | m2://inv/64CK90X7WR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#CDO5, Cyclogon (definition)
History
- 2026-11-02: add by m2/dev
Poynting's theorem 64D6TRFVNZ
| URI | m2://inv/64D6TRFVNZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#26YQ, Poynting's theorem (statement)
History
- 2026-11-02: add by m2/dev
64DG91NBNJ 64DG91NBNJ
| URI | m2://inv/64DG91NBNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04608#SCSN (statement). In ZYYMXYK7WJ/e1, proposition 6
History
- 2026-10-29: add by m2/v0.4.12
64DJV334AC 64DJV334AC
| URI | m2://inv/64DJV334AC |
|---|---|
| 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 2610.15517#9NM6 (statement). In C87H6KZSBM/e1, proposition A.7
History
- 2026-10-28: add by m2/v0.4.2
64DX5PNAZ5 64DX5PNAZ5
| URI | m2://inv/64DX5PNAZ5 |
|---|---|
| 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#N9C1 (statement). In NVTHDNQQ4Q/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
64DY8S2RN8 64DY8S2RN8
| URI | m2://inv/64DY8S2RN8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30779#YQ7N (definition). In 64V4DXGBKB/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
64E5HSHXKC 64E5HSHXKC
| URI | m2://inv/64E5HSHXKC |
|---|---|
| Kind | problem |
| 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#THT6 (problem). In AMRWRJDNKJ/e1, problem 4
History
- 2026-10-28: add by m2/v0.4.2
Michael Heath 64E5N68XM8
| URI | m2://inv/64E5N68XM8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7VOV, Michael Heath (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations 64E9P4P1AR
| URI | m2://inv/64E9P4P1AR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seminorm#46SR, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
compound of six octahedra 64EB3EAAB1
| URI | m2://inv/64EB3EAAB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q85753715, compound of six octahedra (unknown). Also MathWorld Octahedron6-Compound
- wikipedia: Wikipedia Compound of six octahedra, Compound of six octahedra (definition). Also Wikidata Q85753715
History
- 2026-10-26: add by m2/dev
Mixed shorter-edge graph 64ED4X3H8V
| URI | m2://inv/64ED4X3H8V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30561#55AP, Mixed shorter-edge graph (definition). In EHQBEXHF9W/e1, definition 2.1
History
- 2026-10-31: add by m2/v0.5.6
64EEAMHS10 64EEAMHS10
| URI | m2://inv/64EEAMHS10 |
|---|---|
| Kind | conjecture |
| 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.37920#2HWR (conjecture). In GZPF8R6BBF/e1, conjecture 6.2
History
- 2026-10-30: add by m2/v0.4.12
inverse 64EM5XAP63
| URI | m2://inv/64EM5XAP63 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#FWNX, inverse (definition)
History
- 2026-11-02: add by m2/dev
Tao--Vu 2017 64EPCJG380
| URI | m2://inv/64EPCJG380 |
|---|---|
| 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.11047#U7QQ, Tao--Vu 2017 (statement). In MNQAZ70XTH/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.3
cycle, directed 64EWYCTRBC
| URI | m2://inv/64EWYCTRBC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/12.2/cycle-directed, cycle, directed (concept). In QKM9DD2H56, index, section 12.2
History
- 2026-11-01: add by m2/v0.6.13
Argentine Mathematical Union 64F9VX8G77
| URI | m2://inv/64F9VX8G77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argentine Mathematical Union, Argentine Mathematical Union (definition). Also Wikidata Q6157037
History
- 2026-11-02: add by m2/dev
Natural exponential family 64FA55V6X1
| URI | m2://inv/64FA55V6X1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#W2LS, Natural exponential family (definition)
History
- 2026-11-02: add by m2/dev
Examples 64FJ010PFB
| URI | m2://inv/64FJ010PFB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concave function#HDHI, Examples (example)
History
- 2026-11-02: add by m2/dev
64FM852MWR 64FM852MWR
| URI | m2://inv/64FM852MWR |
|---|---|
| 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 2601.10958#7GE2 (statement). In 4W55AH5T6R/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
64FRQE7BTF 64FRQE7BTF
| URI | m2://inv/64FRQE7BTF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2609.33590#1NDO (statement). In WRE0P7V6Z3/e1, proposition 13.2
History
- 2026-10-30: add by m2/v0.4.12
64FZ9W78RY 64FZ9W78RY
| URI | m2://inv/64FZ9W78RY |
|---|---|
| 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.19171#F3LK (statement). In SJWP1EE3T8/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Dual-flashlight plot 64G2Q7EVAC
| URI | m2://inv/64G2Q7EVAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual-flashlight plot, Dual-flashlight plot (definition). Also Wikidata Q5310138
History
- 2026-11-02: add by m2/dev
Pigeonhole principle 64G6S4R2D5
| URI | m2://inv/64G6S4R2D5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Szekeres theorem#RNBB, Pigeonhole principle (statement)
History
- 2026-11-02: add by m2/dev
Joseph Knar 64GJJ5HN7D
| URI | m2://inv/64GJJ5HN7D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Knar, Joseph Knar (topic). Also Wikidata Q26215228
History
- 2026-11-02: add by m2/dev
Examples 64GPK3NV41
| URI | m2://inv/64GPK3NV41 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic field#VCPB, Examples (example)
History
- 2026-11-02: add by m2/dev
64H6YYV952 64H6YYV952
| URI | m2://inv/64H6YYV952 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39505#A292 (statement). In WAXS6FS388/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Examples 64HE4KX2EB
| URI | m2://inv/64HE4KX2EB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Induced subgraph#318T, Examples (example)
History
- 2026-11-02: add by m2/dev
Fuzzy logic 64HEGQR7JA
| URI | m2://inv/64HEGQR7JA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7Z3I, Fuzzy logic (definition)
History
- 2026-11-02: add by m2/dev
William Hamilton Meeks, III 64HWR4111Q
| URI | m2://inv/64HWR4111Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Hamilton Meeks, III, William Hamilton Meeks, III (topic). Also Wikidata Q15454708
History
- 2026-11-02: add by m2/dev
64HYE2VHNY 64HYE2VHNY
| URI | m2://inv/64HYE2VHNY |
|---|---|
| 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#T0XL (statement). In 49V3ANDZTY/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Multiplicity arrays 64HZ35G25P
| URI | m2://inv/64HZ35G25P |
|---|---|
| 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 2610.16931#4EY7, Multiplicity arrays (statement). In H7DMRWBBJN/e1, proposition 7.5
History
- 2026-10-28: add by m2/v0.4.2
Heidi Jo Newberg 64J4VJX2NP
| URI | m2://inv/64J4VJX2NP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#3A3F, Heidi Jo Newberg (unknown)
History
- 2026-11-02: add by m2/dev
64J8NJ8X4H 64J8NJ8X4H
| URI | m2://inv/64J8NJ8X4H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18803#KWJH (statement). In VG8AF124T3/e1, lemma 7.5
History
- 2026-10-28: add by m2/v0.4.2
Quadratic and higher order estimate 64JWYXF8YJ
| URI | m2://inv/64JWYXF8YJ |
|---|---|
| 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.34923#Z8AC, Quadratic and higher order estimate (statement). In 7WKVFJEZQT/e1, proposition 8
History
- 2026-10-30: add by m2/v0.4.12
64JZR4Q64T 64JZR4Q64T
| URI | m2://inv/64JZR4Q64T |
|---|---|
| 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 1809.06512#TERL (statement). In RY2X22P6XW/e1, corollary 25
History
- 2026-10-27: add by m2/v0.3.5
Type $(1, 0)$ and type $(0, 1)$ $1$-forms 64K6NM85K8
| URI | m2://inv/64K6NM85K8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/forms.tex#definition-3, Type $(1, 0)$ and type $(0, 1)$ $1$-forms (definition). In RZP28ERRZV, definition, section 84.2.1
History
- 2026-11-01: add by m2/v0.6.13
disjunction property 64KHNKRTSW
| URI | m2://inv/64KHNKRTSW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#GAW7, disjunction property (definition)
History
- 2026-11-02: add by m2/dev
Needham-Schroeder-Lowe protocol 64KK2VMSA1
| URI | m2://inv/64KK2VMSA1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Needham–Schroeder protocol#DLJA, Needham-Schroeder-Lowe protocol (unknown)
History
- 2026-11-02: add by m2/dev
Statement 64KMJVA9EW
| URI | m2://inv/64KMJVA9EW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kuratowski's theorem#4A3B, Statement (statement)
History
- 2026-11-02: add by m2/dev
64KRRDZX0Q 64KRRDZX0Q
| URI | m2://inv/64KRRDZX0Q |
|---|---|
| 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 2610.10790#Q9EZ (definition). In HHQ6P3RRB8/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.3
64KWENFDWR 64KWENFDWR
| URI | m2://inv/64KWENFDWR |
|---|---|
| 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.00292#IYMI (definition). In NX3EFW0D0X/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
Wess–Zumino–Witten model 64KZKP2AE3
| URI | m2://inv/64KZKP2AE3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wess–Zumino–Witten model, Wess–Zumino–Witten model (definition). Also Wikidata Q850946
History
- 2026-11-02: add by m2/dev
Autonomous convergence theorem 64KZNWH53N
| URI | m2://inv/64KZNWH53N |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4826848, Autonomous convergence theorem (statement). Also Wikidata Q4826848
- thousand_plus: thousand_plus Q4826848, Autonomous convergence theorem (statement). Also Wikidata Q4826848, Wikipedia Autonomous convergence theorem
- wikipedia: Wikipedia Autonomous convergence theorem, Autonomous convergence theorem (statement). Also Wikidata Q4826848
History
- 2026-10-26: add by m2/dev
64M2MTGGN6 64M2MTGGN6
| URI | m2://inv/64M2MTGGN6 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slope number#DM3B (problem)
History
- 2026-11-02: add by m2/dev
64M6JNPYHS 64M6JNPYHS
| URI | m2://inv/64M6JNPYHS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-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.10925#4UXB (statement). In 9604WYX0BW/e1, corollary 4.7
History
- 2026-10-28: add by m2/v0.4.3
Medial magma 64M9EE2GC8
| URI | m2://inv/64M9EE2GC8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Medial magma, Medial magma (definition). Also Wikidata Q6806018
History
- 2026-11-02: add by m2/dev
medical mathematics 64MM72071T
| URI | m2://inv/64MM72071T |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 92C50 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11691599, medical mathematics (topic)
History
- 2026-10-26: add by m2/dev
topological vector space 64MQ75AGR8
| URI | m2://inv/64MQ75AGR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Topological vector space T32W553W95 |
Mentions
- wikidata: Wikidata Q1455249, topological vector space (definition). Also MathWorld TopologicalVectorSpace, nLab topological vector space, ProofWiki Definition:Topological_Vector_Space
- wikipedia: Wikipedia Topological vector space, Topological vector space (definition). Also Wikidata Q1455249
History
- 2026-10-26: add by m2/dev
64MS4EH2R2 64MS4EH2R2
| URI | m2://inv/64MS4EH2R2 |
|---|---|
| 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#17C8 (statement). In ZG0GNHTCWB/e1, proposition 6.13
History
- 2026-10-31: add by m2/v0.5.6
Applications 64N5M6VT5P
| URI | m2://inv/64N5M6VT5P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson wavelet#QSTL, Applications (example)
History
- 2026-11-02: add by m2/dev
Polyomino tiling 64NKSC05ZF
| URI | m2://inv/64NKSC05ZF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polyomino#23HP, Polyomino tiling (unknown)
History
- 2026-11-02: add by m2/dev
Vandermonde identity 64NNGCR537
| URI | m2://inv/64NNGCR537 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#1IRN, Vandermonde identity (statement)
History
- 2026-11-02: add by m2/dev
Amy Villarejo 64NNR77FV4
| URI | m2://inv/64NNR77FV4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#LZO8, Amy Villarejo (unknown)
History
- 2026-11-02: add by m2/dev
Dual pair 64NSQGM7SA
| URI | m2://inv/64NSQGM7SA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#023V, Dual pair (definition)
History
- 2026-11-02: add by m2/dev
Laurent Saloff-Coste 64NY21TNDY
| URI | m2://inv/64NY21TNDY |
|---|---|
| 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#TCIB, Laurent Saloff-Coste (topic)
History
- 2026-11-02: add by m2/dev
64NZXZT0V0 64NZXZT0V0
| URI | m2://inv/64NZXZT0V0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#93HH (statement). In 4H727T2YAS/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Examples 64P7EWA915
| URI | m2://inv/64P7EWA915 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Structural change#JS14, Examples (example)
History
- 2026-11-02: add by m2/dev
64PA05R1G1 64PA05R1G1
| URI | m2://inv/64PA05R1G1 |
|---|---|
| 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.35597#YVXP (statement). In K424GCJ50P/e1, proposition 5.2
History
- 2026-10-30: add by m2/v0.4.12
Adolph Stöhr 64PFZR668V
| URI | m2://inv/64PFZR668V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adolph Stöhr, Adolph Stöhr (topic). Also Wikidata Q85993
History
- 2026-11-02: add by m2/dev
\bf The equivalence class of $A$ depends only on the module $N(A)$ 64PGZX1G7Q
| URI | m2://inv/64PGZX1G7Q |
|---|---|
| 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.37893#ZMIH, \bf The equivalence class of $A$ depends only on the module $N(A)$ (statement). In 8H0KHK7AMN/e1, theorem 4.9
History
- 2026-10-30: add by m2/v0.4.12
64PK1PHEVG 64PK1PHEVG
| URI | m2://inv/64PK1PHEVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#XLHW (statement)
History
- 2026-11-02: add by m2/v0.6.17
64PKDFQCAR 64PKDFQCAR
| URI | m2://inv/64PKDFQCAR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#defn-1 (definition). In E59CDZA4DP, defn, section 11.1.1
History
- 2026-11-01: add by m2/v0.6.13
Block Levinson algorithm 64PMC34YM5
| URI | m2://inv/64PMC34YM5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Levinson recursion#6POH, Block Levinson algorithm (unknown)
History
- 2026-11-02: add by m2/dev
exterior covariant derivative 64PV6NF89F
| URI | m2://inv/64PV6NF89F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5421988, exterior covariant derivative (unknown). Also nLab exterior covariant derivative
- wikipedia: Wikipedia Exterior covariant derivative, Exterior covariant derivative (definition). Also Wikidata Q5421988
History
- 2026-10-26: add by m2/dev
Axioms of motion 64PWWHMV0S
| URI | m2://inv/64PWWHMV0S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Motion (geometry)#8T7M, Axioms of motion (statement)
History
- 2026-11-02: add by m2/dev
Computation of $V_n(m)$ 64PX565VFK
| URI | m2://inv/64PX565VFK |
|---|---|
| Kind | definition |
| 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.28265#40WU, Computation of $V_n(m)$ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Full progression relation 64PZ49QE3G
| URI | m2://inv/64PZ49QE3G |
|---|---|
| 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.27044#13KM, Full progression relation (statement)
History
- 2026-11-01: add by m2/v0.6.15
64QJX1Y8XK 64QJX1Y8XK
| URI | m2://inv/64QJX1Y8XK |
|---|---|
| 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.16941#GCJ1 (statement). In T96MPYB0KT/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
The g Factor: The Science of Mental Ability 64QKB5JW74
| URI | m2://inv/64QKB5JW74 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The g Factor: The Science of Mental Ability, The g Factor: The Science of Mental Ability (definition). Also Wikidata Q7777008
History
- 2026-11-02: add by m2/dev
Properties 64QV9P7NC3
| URI | m2://inv/64QV9P7NC3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complex conjugate#FFS2, Properties (statement)
History
- 2026-11-02: add by m2/dev
64QZ6RRMEX 64QZ6RRMEX
| URI | m2://inv/64QZ6RRMEX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20042#187R (statement)
History
- 2026-11-02: add by m2/v0.6.18
64R1FK620Z 64R1FK620Z
| URI | m2://inv/64R1FK620Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22659#XFIN (statement)
History
- 2026-11-02: add by m2/v0.6.17
Newton's method in optimization 64R1W3N665
| URI | m2://inv/64R1W3N665 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's method in optimization, Newton's method in optimization (definition). Also Wikidata Q17086396
History
- 2026-11-02: add by m2/dev
Young subgroup 64R5WNGR1H
| URI | m2://inv/64R5WNGR1H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Young subgroup, Young subgroup (definition). Also Wikidata Q124625185
History
- 2026-11-02: add by m2/dev
Notations 64R7JHTFY1
| URI | m2://inv/64R7JHTFY1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of analytic tableaux#T7BX, Notations (definition)
History
- 2026-11-02: add by m2/dev
Perturbation of a maximizing direction 64R7YTA4ED
| URI | m2://inv/64R7YTA4ED |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36594#YDU8, Perturbation of a maximizing direction (statement). In 8JDQ9FWFRK/e1, lemma E.7
History
- 2026-10-30: add by m2/v0.4.12
64RBTP39FW 64RBTP39FW
| URI | m2://inv/64RBTP39FW |
|---|---|
| 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.03327#O9IS (statement). In EBNXA84CPM/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Elongated triangular gyrobicupola 64REH5ZQVW
| URI | m2://inv/64REH5ZQVW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#4IQK, Elongated triangular gyrobicupola (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#9QSJ, Elongated triangular gyrobicupola (definition)
History
- 2026-11-02: add by m2/dev
Rainer M. Vogt 64RGPWGKM9
| URI | m2://inv/64RGPWGKM9 |
|---|---|
| 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 Q63218089, Rainer M. Vogt (unknown). Also nLab Rainer Vogt
History
- 2026-10-26: add by m2/dev
64RKZ792Q3 64RKZ792Q3
| URI | m2://inv/64RKZ792Q3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21632#56VC (statement). In Q4RZTN2EX6/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.4.2
Cross-offset intercept comparison 64RPMXW38Q
| URI | m2://inv/64RPMXW38Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23339#DOG6, Cross-offset intercept comparison (statement)
History
- 2026-11-02: add by m2/v0.6.17
64RR12WNCX 64RR12WNCX
| URI | m2://inv/64RR12WNCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26386#JLLB (statement)
History
- 2026-11-01: add by m2/v0.6.15
History of the Cartesian coordinate system 64RRTDCDC8
| URI | m2://inv/64RRTDCDC8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartesian coordinate system#RAL8, History of the Cartesian coordinate system (unknown)
History
- 2026-11-02: add by m2/dev
64SBHP123F 64SBHP123F
| URI | m2://inv/64SBHP123F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/manifolds.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 44.3
History
- 2026-11-01: add by m2/v0.6.13
64SESE2J96 64SESE2J96
| URI | m2://inv/64SESE2J96 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13378#QQFD (statement). In QAH7SV1JT6/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
Bootstrap paradox 64SJN6AXG8
| URI | m2://inv/64SJN6AXG8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#1C85, Bootstrap paradox (unknown)
History
- 2026-11-02: add by m2/dev
Barry Barish 64SQW2A4P6
| URI | m2://inv/64SQW2A4P6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#G3F2, Barry Barish (unknown)
History
- 2026-11-02: add by m2/dev
Statement 64SYAC9P3H
| URI | m2://inv/64SYAC9P3H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Summation by parts#3Z07, Statement (statement)
History
- 2026-11-02: add by m2/dev
64SYYHF87X 64SYYHF87X
| URI | m2://inv/64SYYHF87X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#6OAZ (statement). In VEXM27M8Q1/e1, proposition 2.8
History
- 2026-10-28: add by m2/v0.4.3
The continuum hypothesis 64T0A3YJ69
| URI | m2://inv/64T0A3YJ69 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinality of the continuum#DW2W, The continuum hypothesis (statement)
History
- 2026-11-02: add by m2/dev
Középiskolai Matematikai Lapok 64T3XFG508
| URI | m2://inv/64T3XFG508 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#RVK5, Középiskolai Matematikai Lapok (unknown)
History
- 2026-11-02: add by m2/dev
64T4A76BXA 64T4A76BXA
| URI | m2://inv/64T4A76BXA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/quasi-proj.tex#example-7 (example). In RZP28ERRZV, example, section 24.4
History
- 2026-11-01: add by m2/v0.6.13
CURE algorithm 64T7ZEEEMM
| URI | m2://inv/64T7ZEEEMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CURE algorithm, CURE algorithm (definition). Also Wikidata Q5014717
History
- 2026-11-02: add by m2/dev
64TGHXS9VR 64TGHXS9VR
| URI | m2://inv/64TGHXS9VR |
|---|---|
| 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.12633#CZZJ (statement). In NGZ5AZ70NN/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Examples 64TQ9B44YY
| URI | m2://inv/64TQ9B44YY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Method of dominant balance#H7IV, Examples (example)
History
- 2026-11-02: add by m2/dev
Emil Gumbel 64V0J043AN
| URI | m2://inv/64V0J043AN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#O9OZ, Emil Gumbel (unknown)
History
- 2026-11-02: add by m2/dev
Identical particles 64V4FS0JPZ
| URI | m2://inv/64V4FS0JPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#3EC7, Identical particles (definition)
- wikipedia: Wikipedia List of mathematical topics in quantum theory#DBW7, Identical particles (definition)
History
- 2026-11-02: add by m2/dev
64VARFFCY8 64VARFFCY8
| URI | m2://inv/64VARFFCY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04870#BOZY (statement). In X765ZXXVC3/e1, theorem 4.29
History
- 2026-10-29: add by m2/v0.4.12
Existence of solutions for nonlocal problem with autonomous operators 64VEW85YZ3
| URI | m2://inv/64VEW85YZ3 |
|---|---|
| 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.27414#M19J, Existence of solutions for nonlocal problem with autonomous operators (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mine Çetinkaya-Rundel 64VGRG8SAB
| URI | m2://inv/64VGRG8SAB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mine Çetinkaya-Rundel, Mine Çetinkaya-Rundel (topic). Also Wikidata Q47006855
History
- 2026-11-02: add by m2/dev
64VM9YFYHP 64VM9YFYHP
| URI | m2://inv/64VM9YFYHP |
|---|---|
| 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/9807180#AAZF (statement). In VR3766BVE5/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
64VS5M4TNN 64VS5M4TNN
| URI | m2://inv/64VS5M4TNN |
|---|---|
| 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 2312.05005#BB2R (statement). In SMJMAQ2S3J/e1, proposition 14
History
- 2026-10-27: add by m2/v0.4.0
64VYB1J4HR 64VYB1J4HR
| URI | m2://inv/64VYB1J4HR |
|---|---|
| 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.29623#8W3O (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kenny Easwaran 64W5PJ3G2S
| URI | m2://inv/64W5PJ3G2S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kenny Easwaran, Kenny Easwaran (topic). Also Wikidata Q50948983
History
- 2026-11-02: add by m2/dev
Jørgensen's inequality 64WDBDC740
| URI | m2://inv/64WDBDC740 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jørgensen's inequality, Jørgensen's inequality (statement). Also Wikidata Q6321608
History
- 2026-11-02: add by m2/dev
Superslow process 64WYWE8JBT
| URI | m2://inv/64WYWE8JBT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superslow process, Superslow process (definition). Also Wikidata Q4410203
History
- 2026-11-02: add by m2/dev
Lebesgue's universal covering problem 64WZVR9W7D
| URI | m2://inv/64WZVR9W7D |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#UJWL, Lebesgue's universal covering problem (conjecture)
History
- 2026-11-02: add by m2/dev
Causal dynamical triangulation 64X3WER3FS
| URI | m2://inv/64X3WER3FS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Causal dynamical triangulation, Causal dynamical triangulation (definition). Also Wikidata Q2247122
History
- 2026-11-02: add by m2/dev
Richard Jeffrey 64X6D9ZWN6
| URI | m2://inv/64X6D9ZWN6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical probabilists#SG59, Richard Jeffrey (topic)
History
- 2026-11-02: add by m2/dev
Definition 64XEDWACWR
| URI | m2://inv/64XEDWACWR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fox n-coloring#5VFZ, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hadamard conjecture 64XGBQ4EW9
| URI | m2://inv/64XGBQ4EW9 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#WUID, Hadamard conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Rényi’s theorem 64XN0828VN
| URI | m2://inv/64XN0828VN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poisson point process#AFEB, Rényi’s theorem (statement)
History
- 2026-11-02: add by m2/dev
$K_{3,m}$ problem 64XNPBN0NJ
| URI | m2://inv/64XNPBN0NJ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 14-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.19669#CWN9, $K_{3,m}$ problem (problem). In 1QPAA94Q76/e1, problem 6
History
- 2026-10-28: add by m2/v0.4.2
eigenfrequencies 64XS6D869V
| URI | m2://inv/64XS6D869V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors#H4LM, eigenfrequencies (definition)
History
- 2026-11-02: add by m2/dev
64Y0PKPQN4 64Y0PKPQN4
| URI | m2://inv/64Y0PKPQN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2608.17785#73ER (statement). In H3FDP8S1Z7/e1, proposition 5.11
History
- 2026-10-27: add by m2/v0.3.5
Quippian 64Y2W46H0Q
| URI | m2://inv/64Y2W46H0Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quippian, Quippian (definition). Also Wikidata Q7272559
History
- 2026-11-02: add by m2/dev
64Y3TVWRZG 64Y3TVWRZG
| URI | m2://inv/64Y3TVWRZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#1LCV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties 64Y6VG960E
| URI | m2://inv/64Y6VG960E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dispersion function#3BVZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Fixed-mesh MLE efficiency in the form needed here 64YJ3T6ZYS
| URI | m2://inv/64YJ3T6ZYS |
|---|---|
| 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.00117#BQ2O, Fixed-mesh MLE efficiency in the form needed here (statement). In 4G2BDP206S/e1, theorem 14
History
- 2026-10-30: add by m2/v0.4.12
De prospectiva pingendi 64YPZZ8071
| URI | m2://inv/64YPZZ8071 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De prospectiva pingendi, De prospectiva pingendi (definition). Also Wikidata Q3704153
History
- 2026-11-02: add by m2/dev
Edward Schaumberg Quade 64YSW2GW9G
| URI | m2://inv/64YSW2GW9G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Schaumberg Quade, Edward Schaumberg Quade (topic). Also Wikidata Q5345240
History
- 2026-11-02: add by m2/dev
singular-value decomposition 64YTQY9YRB
| URI | m2://inv/64YTQY9YRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#JSV8, singular-value decomposition (definition)
History
- 2026-11-02: add by m2/dev
64YV7DBEQA 64YV7DBEQA
| URI | m2://inv/64YV7DBEQA |
|---|---|
| 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.03555#7VG2 (statement). In 9JZJTRRVR1/e1, proposition 9.1
History
- 2026-10-29: add by m2/v0.4.12
Monotonicity and limit for $\tilde{e}_{n,r}(P;S)$ and $\hat{e}_{n,r}(P;S)$ 64YX2SEZ2T
| URI | m2://inv/64YX2SEZ2T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX, 49-XX, 51-XX, 52-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.10801#O6LU, Monotonicity and limit for $\tilde{e}_{n,r}(P;S)$ and $\hat{e}_{n,r}(P;S)$ (statement). In BWJS3H55WH/e1, lemma 20
History
- 2026-10-27: add by m2/v0.3.5
Derived noncommutative algebraic geometry 64Z3KKGPGW
| URI | m2://inv/64Z3KKGPGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived noncommutative algebraic geometry, Derived noncommutative algebraic geometry (definition). Also Wikidata Q96376257
History
- 2026-11-02: add by m2/dev
Generalizations 64ZCV467A3
| URI | m2://inv/64ZCV467A3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's rotation theorem#H7G9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Applications 64ZGDQNNTV
| URI | m2://inv/64ZGDQNNTV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weinstein–Aronszajn identity#NRYK, Applications (example)
History
- 2026-11-02: add by m2/dev
64ZPMFA77T 64ZPMFA77T
| URI | m2://inv/64ZPMFA77T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03420#ADSN (definition). In TG11SZZQCR/e1, definition 1.2
History
- 2026-10-29: add by m2/v0.4.12