Inventory rows AH
The cards of the rows of the inventory whose ids start with AH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
AH09HT6KA2 AH09HT6KA2
| URI | m2://inv/AH09HT6KA2 |
|---|---|
| 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.04135#0T1U (statement). In 587PWJ6W5D/e1, lemma 5
History
- 2026-10-29: add by m2/v0.4.12
almost sure convergence AH0AZGS9G5
| URI | m2://inv/AH0AZGS9G5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2899409, almost sure convergence (definition). Also MathWorld AlmostEverywhereConvergence, ProofWiki Definition:Convergence_Almost_Everywhere
History
- 2026-10-26: add by m2/dev
Weakening--Substitution Commutation (Generalized AH0C7B977F
| URI | m2://inv/AH0C7B977F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#75EI, Weakening--Substitution Commutation (Generalized (statement). In CPYWHRTPKC/e1, lemma 2.20
History
- 2026-10-27: add by m2/v0.4.2
Weyl's inequality AH0CRXS038
| URI | m2://inv/AH0CRXS038 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weyl's inequality, Weyl's inequality (statement). Also Wikidata Q1566872
History
- 2026-11-02: add by m2/dev
AH0N2TQTKR AH0N2TQTKR
| URI | m2://inv/AH0N2TQTKR |
|---|---|
| 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.17129#0P3C (statement). In TCZWAMNYCV/e1, lemma 6.18
History
- 2026-10-28: add by m2/v0.4.2
AH0TP6Y3WN AH0TP6Y3WN
| URI | m2://inv/AH0TP6Y3WN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18503#HUEY (statement). In RW315W172S/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
AH0WKZ13Q5 AH0WKZ13Q5
| URI | m2://inv/AH0WKZ13Q5 |
|---|---|
| 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.05652#6B1R (statement). In 8BNPFYQDQX/e1, lemma 14.3
History
- 2026-10-29: add by m2/v0.4.10
Henyey track AH14CTFPQ0
| URI | m2://inv/AH14CTFPQ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henyey track, Henyey track (definition). Also Wikidata Q175876
History
- 2026-11-02: add by m2/dev
Formal definition AH1657SCAF
| URI | m2://inv/AH1657SCAF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free factor complex#5VVR, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
AH172C9EVB AH172C9EVB
| URI | m2://inv/AH172C9EVB |
|---|---|
| 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.22074#DTKE (statement). In F3BKXXPR3K/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.4.2
AH19D0M6MY AH19D0M6MY
| URI | m2://inv/AH19D0M6MY |
|---|---|
| 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 2609.35383#A4TH (statement). In HSR4748706/e1, corollary 1.5
History
- 2026-10-30: add by m2/v0.4.12
AH1FQK4CDT AH1FQK4CDT
| URI | m2://inv/AH1FQK4CDT |
|---|---|
| Kind | definition |
| 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.08633#HSSF (definition). In 7MV7RGDVXF/e1, definition 2.4.1
History
- 2026-10-29: add by m2/v0.4.10
Hesheng Hu AH1G5YKH17
| URI | m2://inv/AH1G5YKH17 |
|---|---|
| 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#CX7N, Hesheng Hu (topic)
History
- 2026-11-02: add by m2/dev
AH1PF36VGT AH1PF36VGT
| URI | m2://inv/AH1PF36VGT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#K0TK (statement). In 2QP93JHYNB/e1, lemma 6.13
History
- 2026-10-27: add by m2/v0.4.2
Pósa, Lajos AH1QRJ9714
| URI | m2://inv/AH1QRJ9714 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Hungarian mathematicians#N5CT, Pósa, Lajos (topic)
History
- 2026-11-02: add by m2/dev
AH1RFNCCJ5 AH1RFNCCJ5
| URI | m2://inv/AH1RFNCCJ5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33300#EMTR (statement). In AWF7ZHK4EM/e1, proposition 3.8
History
- 2026-10-30: add by m2/v0.4.12
Generalized metric space AH1RN1W3JM
| URI | m2://inv/AH1RN1W3JM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized metric space, Generalized metric space (definition). Also Wikidata Q131320009
History
- 2026-11-02: add by m2/dev
AH1S5XFZC4 AH1S5XFZC4
| URI | m2://inv/AH1S5XFZC4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#8Y9M (definition). In HX63A1PH1W/e1, definition 6.28
History
- 2026-10-28: add by m2/v0.4.3
AH1YF5CSYA AH1YF5CSYA
| URI | m2://inv/AH1YF5CSYA |
|---|---|
| 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 2210.02261#O4UP (statement). In TT74R659T0/e1, corollary 0.16
History
- 2026-10-27: add by m2/v0.3.5
Free will theorem AH1YPCZTSP
| URI | m2://inv/AH1YPCZTSP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bell's theorem#A1WG, Free will theorem (statement)
History
- 2026-11-02: add by m2/dev
Formulation AH1Z57RFNY
| URI | m2://inv/AH1Z57RFNY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tempered representation#VTWD, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Lemon, Charles AH2513M57H
| URI | m2://inv/AH2513M57H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#YPDY, Lemon, Charles (unknown)
History
- 2026-11-02: add by m2/dev
AH28PVQXFX AH28PVQXFX
| URI | m2://inv/AH28PVQXFX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12912#ECJR (definition). In PDKBKKJ4BV/e1, definition 7.1
History
- 2026-10-28: add by m2/v0.4.2
AH28W16BC6 AH28W16BC6
| URI | m2://inv/AH28W16BC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11902#05U1 (statement). In K66QKM4N5E/e1, theorem 3.12
History
- 2026-10-28: add by m2/v0.4.3
secant method AH2DVV17FH
| URI | m2://inv/AH2DVV17FH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Secant method 9ZC177PVPC |
Mentions
- wikidata: Wikidata Q14915286, secant method (unknown). Also MathWorld SecantMethod
- wikipedia: Wikipedia Secant method, Secant method (definition). Also Wikidata Q14915286
History
- 2026-10-26: add by m2/dev
John Preskill AH2KR98ZHR
| URI | m2://inv/AH2KR98ZHR |
|---|---|
| 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 Q722128, John Preskill (unknown). Also nLab John Preskill
History
- 2026-10-26: add by m2/dev
AH2NJ4YG0C AH2NJ4YG0C
| URI | m2://inv/AH2NJ4YG0C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02689#TLE5 (statement). In 7BWXR38MNE/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.12
AH2P26JF03 AH2P26JF03
| URI | m2://inv/AH2P26JF03 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.10559#5ZY9 (statement). In WEP0PNJW09/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
Examples AH2VNT12KC
| URI | m2://inv/AH2VNT12KC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curve of constant width#IQOW, Examples (example)
History
- 2026-11-02: add by m2/dev
Swap regret AH2VTKS9MF
| URI | m2://inv/AH2VTKS9MF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Swap regret, Swap regret (definition). Also Wikidata Q7653786
History
- 2026-11-02: add by m2/dev
Definition AH303VG12E
| URI | m2://inv/AH303VG12E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Box topology#K7W8, Definition (definition)
History
- 2026-11-02: add by m2/dev
Knaster's condition AH3271WRXR
| URI | m2://inv/AH3271WRXR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knaster's condition, Knaster's condition (definition). Also Wikidata Q6421794
History
- 2026-11-02: add by m2/dev
invariant manifold AH339HHNB1
| URI | m2://inv/AH339HHNB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4200516, invariant manifold (unknown). Also MathWorld InvariantManifold
- wikipedia: Wikipedia Invariant manifold, Invariant manifold (definition). Also Wikidata Q4200516
History
- 2026-10-26: add by m2/dev
Max flow min cut theorem AH38PTNX4P
| URI | m2://inv/AH38PTNX4P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#YBH7, Max flow min cut theorem (statement)
- wikipedia: Wikipedia List of network theory topics#VIVU, Max flow min cut theorem (statement)
History
- 2026-11-02: add by m2/dev
AH3AM29DAD AH3AM29DAD
| URI | m2://inv/AH3AM29DAD |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2005.03073#RZ7D (proof). In P2ETMXKVDS/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Riemannian geometry AH3BE3728B
| URI | m2://inv/AH3BE3728B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#8D13, Riemannian geometry (definition)
History
- 2026-11-02: add by m2/dev
Theorem AH3CWF9JT8
| URI | m2://inv/AH3CWF9JT8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner's theorem#7EQ5, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Box distance AH3CXNKHW8
| URI | m2://inv/AH3CXNKHW8 |
|---|---|
| Kind | definition |
| 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 2609.26262#KN2G, Box distance (definition)
History
- 2026-11-01: add by m2/v0.6.15
the generic torsor dominates every profile AH3GQRPNRB
| URI | m2://inv/AH3GQRPNRB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#WK2D, the generic torsor dominates every profile (statement). In TPA3E67MKK/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
Remark on representations of dihedral groups AH3K4XXP8W
| URI | m2://inv/AH3K4XXP8W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarz triangle#CZRT, Remark on representations of dihedral groups (unknown)
History
- 2026-11-02: add by m2/dev
List of unsolved problems in fair division AH3Q7J8ESD
| URI | m2://inv/AH3Q7J8ESD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in fair division, List of unsolved problems in fair division (topic). Also Wikidata Q85781021
History
- 2026-11-02: add by m2/dev
AH3X2V59CE AH3X2V59CE
| URI | m2://inv/AH3X2V59CE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#proof-25 (proof). In N54F33XE07, proof, section 3.8
History
- 2026-11-01: add by m2/v0.6.13
Packings with prescribed blocks AH3XKC2WRM
| URI | m2://inv/AH3XKC2WRM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10973#AFTG, Packings with prescribed blocks (statement). In H8NGNDP0XT/e1, proposition 11
History
- 2026-10-28: add by m2/v0.4.3
Tracking up to the exit time AH3ZA72W4K
| URI | m2://inv/AH3ZA72W4K |
|---|---|
| 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.14988#ZO3P, Tracking up to the exit time (statement). In B29M4E6KGC/e1, lemma H.13
History
- 2026-10-28: add by m2/v0.4.2
Puncture AH3ZCS5A9Z
| URI | m2://inv/AH3ZCS5A9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Puncture (topology), Puncture (definition). Also Wikidata Q112601269
History
- 2026-11-02: add by m2/dev
AH3ZTJ63BA AH3ZTJ63BA
| URI | m2://inv/AH3ZTJ63BA |
|---|---|
| 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 2207.12181#7WP0 (statement). In FSD8NE3XSR/e1, proposition 7.24
History
- 2026-10-27: add by m2/v0.4.0
Construction AH4EKY89H4
| URI | m2://inv/AH4EKY89H4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monster Lie algebra#C2B1, Construction (definition)
History
- 2026-11-02: add by m2/dev
Lehmer mean AH4N733TQY
| URI | m2://inv/AH4N733TQY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1813177, Lehmer mean (concept). Also MathWorld LehmerMean
- wikipedia: Wikipedia Lehmer mean, Lehmer mean (definition). Also Wikidata Q1813177
History
- 2026-10-26: add by m2/dev
Norms and traces are rational integers AH4PN4TPE7
| URI | m2://inv/AH4PN4TPE7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/norm-trace.tex#proposition-1, Norms and traces are rational integers (statement). In RZP28ERRZV, proposition, section 15.1
History
- 2026-11-01: add by m2/v0.6.13
Special cases AH4RN7DFMQ
| URI | m2://inv/AH4RN7DFMQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Johnson graph#1XL7, Special cases (statement)
History
- 2026-11-02: add by m2/dev
AH4VH4AP23 AH4VH4AP23
| URI | m2://inv/AH4VH4AP23 |
|---|---|
| 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.32903#37AD (statement). In S8NB83KQX3/e1, lemma 6
History
- 2026-10-31: add by m2/v0.5.6
Sensitivity of Local Optimal Objective Value AH562EBXXB
| URI | m2://inv/AH562EBXXB |
|---|---|
| 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.37489#UGHW, Sensitivity of Local Optimal Objective Value (statement). In 5ZC91T5PHQ/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
Cross-polytope AH5DGQNXRK
| URI | m2://inv/AH5DGQNXRK |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#SH4T, Cross-polytope (object)
- wikipedia: Wikipedia List of mathematical shapes#YACL, Cross-polytope (object)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#4BQP, Cross-polytope (object)
History
- 2026-11-02: add by m2/dev
AH5ER8WP99 AH5ER8WP99
| URI | m2://inv/AH5ER8WP99 |
|---|---|
| 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 2609.29699#CAN6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
AH5ETQ1PSC AH5ETQ1PSC
| URI | m2://inv/AH5ETQ1PSC |
|---|---|
| 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.24235#MKXF (statement)
History
- 2026-11-01: add by m2/v0.6.15
James Oxley AH5JV8581C
| URI | m2://inv/AH5JV8581C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Oxley, James Oxley (topic). Also Wikidata Q10561934
History
- 2026-11-02: add by m2/dev
AH5Y23EX0K AH5Y23EX0K
| URI | m2://inv/AH5Y23EX0K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12513#N5WR (statement). In VM9V8SXEA2/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2
Propagation identity, multiple reveals AH64NR39ZT
| URI | m2://inv/AH64NR39ZT |
|---|---|
| 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.04989#56BR, Propagation identity, multiple reveals (statement). In 1T4SYTCKW8/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
AH66FTHYFJ AH66FTHYFJ
| URI | m2://inv/AH66FTHYFJ |
|---|---|
| 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.33238#FN57 (statement). In MVWXMDFP3P/e1, theorem 4.5
History
- 2026-10-30: add by m2/v0.4.12
AH6E6F4NFB AH6E6F4NFB
| URI | m2://inv/AH6E6F4NFB |
|---|---|
| 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.33829#EVXZ (statement). In S34H2JTJHH/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Claudio Carmeli AH6P022PC5
| URI | m2://inv/AH6P022PC5 |
|---|---|
| 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 Q62057140, Claudio Carmeli (unknown). Also nLab Claudio Carmeli
History
- 2026-10-26: add by m2/dev
Constantin Carathéodory AH6QMTCA59
| URI | m2://inv/AH6QMTCA59 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#08X7, Constantin Carathéodory (topic)
- wikipedia: Wikipedia List of German mathematicians#6YQD, Constantin Carathéodory (topic)
History
- 2026-11-02: add by m2/dev
Riemannian manifold AH6T3GEQSS
| URI | m2://inv/AH6T3GEQSS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Riemannian manifolds > Riemannian manifold, Riemannian manifold (unknown). Also Mathlib IsRiemannianManifold
History
- 2026-10-26: add by m2/dev
Final value theorems for the Z transform AH6Y785TDX
| URI | m2://inv/AH6Y785TDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Final value theorem#R72K, Final value theorems for the Z transform (statement)
History
- 2026-11-02: add by m2/dev
AH6YN5121V AH6YN5121V
| URI | m2://inv/AH6YN5121V |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#LJ90 (problem). In XK6H7F2F13/e1, problem 5
History
- 2026-10-30: add by m2/v0.4.12
AH791QCRV4 AH791QCRV4
| URI | m2://inv/AH791QCRV4 |
|---|---|
| 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 2610.13883#B6X8 (statement). In F3PQ8P7R2B/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.2
top AH7AD88362
| URI | m2://inv/AH7AD88362 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#BVJX, top (definition)
History
- 2026-11-02: add by m2/dev
Kirszbraun theorem AH7E8B64A0
| URI | m2://inv/AH7E8B64A0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4454954, Kirszbraun theorem (statement). Also Wikidata Q4454954
- thousand_plus: thousand_plus Q4454954, Kirszbraun theorem (statement). Also Wikidata Q4454954, Wikipedia Kirszbraun theorem
- wikipedia: Wikipedia Kirszbraun theorem, Kirszbraun theorem (statement). Also Wikidata Q4454954
History
- 2026-10-26: add by m2/dev
AH7JXGFK5N AH7JXGFK5N
| URI | m2://inv/AH7JXGFK5N |
|---|---|
| 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 2303.00676#MNS8 (statement). In 5351H04TJY/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.0
Applications AH7NP2Y1GA
| URI | m2://inv/AH7NP2Y1GA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Blow-up lemma#HNAH, Applications (example)
History
- 2026-11-02: add by m2/dev
Hurwitz's theorem AH7P9NGGB9
| URI | m2://inv/AH7P9NGGB9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#YDI7, Hurwitz's theorem (statement)
History
- 2026-11-02: add by m2/dev
Generalizations AH7RCBWY99
| URI | m2://inv/AH7RCBWY99 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integrability conditions for differential systems#BR3N, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
DMS notation AH7T7H3R86
| URI | m2://inv/AH7T7H3R86 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Degree (angle)#2OMS, DMS notation (unknown)
History
- 2026-11-02: add by m2/dev
AH7X576F6R AH7X576F6R
| URI | m2://inv/AH7X576F6R |
|---|---|
| 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.15393#FBHQ (statement). In H6T3AP80VE/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
AH81XD4XV6 AH81XD4XV6
| URI | m2://inv/AH81XD4XV6 |
|---|---|
| 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.11145#PIE3 (statement). In 2KME4YY99M/e1, lemma 13
History
- 2026-10-28: add by m2/v0.4.3
AH82NQVN7D AH82NQVN7D
| URI | m2://inv/AH82NQVN7D |
|---|---|
| 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 2602.03909#T91I (statement). In WWFAVFGPQQ/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.4.0
Thessalia Secunda AH8BRFY8T6
| URI | m2://inv/AH8BRFY8T6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#O8R6, Thessalia Secunda (unknown)
History
- 2026-11-02: add by m2/dev
List of things named after Gottfried Leibniz AH8EMJY8V6
| URI | m2://inv/AH8EMJY8V6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Gottfried Leibniz, List of things named after Gottfried Leibniz (topic). Also Wikidata Q394747
History
- 2026-11-02: add by m2/dev
AH8KJN3NMT AH8KJN3NMT
| URI | m2://inv/AH8KJN3NMT |
|---|---|
| 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.20656#0OIA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Rayleigh mixture distribution AH8KZ09A7F
| URI | m2://inv/AH8KZ09A7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7O0K, Rayleigh mixture distribution (definition)
History
- 2026-11-02: add by m2/dev
AH8Z48E4B6 AH8Z48E4B6
| URI | m2://inv/AH8Z48E4B6 |
|---|---|
| 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.36412#SFYA (statement). In 6HKGGCMBCK/e1, corollary 5.3
History
- 2026-10-30: add by m2/v0.4.12
AH934EH4FB AH934EH4FB
| URI | m2://inv/AH934EH4FB |
|---|---|
| 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 2610.13295#XRZ1 (conjecture). In 8Q7QXTWD0S/e1, conjecture 6.11
History
- 2026-10-28: add by m2/v0.4.2
AH951B1Y1N AH951B1Y1N
| URI | m2://inv/AH951B1Y1N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#exercise-29 (exercise). In E59CDZA4DP, exercise, section 11.2.4
History
- 2026-11-01: add by m2/v0.6.13
AH984CE98R AH984CE98R
| URI | m2://inv/AH984CE98R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.23503#3V66 (statement)
History
- 2026-11-02: add by m2/v0.6.17
AH9CWNZ923 AH9CWNZ923
| URI | m2://inv/AH9CWNZ923 |
|---|---|
| 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#T3UY (statement). In EBNXA84CPM/e1, theorem 1.5
History
- 2026-10-29: add by m2/v0.4.12
AH9FDGBB9X AH9FDGBB9X
| URI | m2://inv/AH9FDGBB9X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.07943#0N60 (statement). In B5WA75764K/e1, theorem Theorem
History
- 2026-10-27: add by m2/v0.3.5
Sim AH9MC3MAPT
| URI | m2://inv/AH9MC3MAPT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sim (game), Sim (definition). Also Wikidata Q162109
History
- 2026-11-02: add by m2/dev
Gagliardo–Nirenberg interpolation inequality AH9PGGE3WA
| URI | m2://inv/AH9PGGE3WA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gagliardo–Nirenberg interpolation inequality, Gagliardo–Nirenberg interpolation inequality (statement). Also Wikidata Q5516877
History
- 2026-11-02: add by m2/dev
Multiple gamma function AH9X3RWEEB
| URI | m2://inv/AH9X3RWEEB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple gamma function, Multiple gamma function (definition). Also Wikidata Q6934934
History
- 2026-11-02: add by m2/dev
AH9Z0RP1F6 AH9Z0RP1F6
| URI | m2://inv/AH9Z0RP1F6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.05914#HVVE (statement). In V8MYP6MBAZ/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.10
edge, directed AH9ZCDZRBR
| URI | m2://inv/AH9ZCDZRBR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/12.2/edge-directed, edge, directed (concept). In QKM9DD2H56, index, section 12.2
History
- 2026-11-01: add by m2/v0.6.13
Lambda calculus AHA51M8HFD
| URI | m2://inv/AHA51M8HFD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical proofs#33VN, Lambda calculus (definition)
- wikipedia: Wikipedia List of mathematical logic topics#81BZ, Lambda calculus (definition)
- wikipedia: Wikipedia List of computability and complexity topics#C7HL, Lambda calculus (definition)
History
- 2026-11-02: add by m2/dev
Definition of a cylindric algebra AHA6PZX71H
| URI | m2://inv/AHA6PZX71H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylindric algebra#ZD2O, Definition of a cylindric algebra (definition)
History
- 2026-11-02: add by m2/dev
Partitioned regression AHA6TXPT40
| URI | m2://inv/AHA6TXPT40 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinary least squares#RDG6, Partitioned regression (unknown)
History
- 2026-11-02: add by m2/dev
AHA7RCTA9J AHA7RCTA9J
| URI | m2://inv/AHA7RCTA9J |
|---|---|
| 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.15352#1E9O (statement). In R39P7AFXM8/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
AHA83628Z8 AHA83628Z8
| URI | m2://inv/AHA83628Z8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39890#DYBT (statement). In GGVQ3B9KJ6/e1, fact 1
History
- 2026-10-30: add by m2/v0.4.12
Discrete Fourier transform over a ring AHAC1WGN5X
| URI | m2://inv/AHAC1WGN5X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete Fourier transform over a ring, Discrete Fourier transform over a ring (definition). Also Wikidata Q1006032
History
- 2026-11-02: add by m2/dev
Weighted timelike quantitative focusing AHACCG943Q
| URI | m2://inv/AHACCG943Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11911#D4US, Weighted timelike quantitative focusing (statement). In 5BYE5NYB89/e1, proposition 4.14
History
- 2026-10-28: add by m2/v0.4.3
Level of a power quantity AHADSM39TF
| URI | m2://inv/AHADSM39TF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Level (logarithmic quantity)#OSDC, Level of a power quantity (unknown)
History
- 2026-11-02: add by m2/dev
Applications AHAJ276K51
| URI | m2://inv/AHAJ276K51 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singly and doubly even#FIP6, Applications (example)
History
- 2026-11-02: add by m2/dev
AHASGZY31C AHASGZY31C
| URI | m2://inv/AHASGZY31C |
|---|---|
| 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.15942#XG24 (statement). In E1X1SEPNJZ/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
Primal equilibria are dual AHAV1YJCKM
| URI | m2://inv/AHAV1YJCKM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.20998#IJTB, Primal equilibria are dual (statement)
History
- 2026-11-02: add by m2/v0.6.18
Junction tree algorithm AHAWQTXMP6
| URI | m2://inv/AHAWQTXMP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4WNB, Junction tree algorithm (definition)
History
- 2026-11-02: add by m2/dev
AHB2N7PD6B AHB2N7PD6B
| URI | m2://inv/AHB2N7PD6B |
|---|---|
| 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 2610.18544#0Z40 (statement). In HT5MC1SPD9/e1, lemma A.5
History
- 2026-10-28: add by m2/v0.4.2
Correctness of one iteration AHB3HVQ81B
| URI | m2://inv/AHB3HVQ81B |
|---|---|
| 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.10596#85KU, Correctness of one iteration (statement). In Y607GYCXCA/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
AHB5SNRMP6 AHB5SNRMP6
| URI | m2://inv/AHB5SNRMP6 |
|---|---|
| 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.15416#90L1 (statement). In W9JJQYHQ7J/e1, lemma 9
History
- 2026-10-28: add by m2/v0.4.2
Definitions AHBBRFZFN1
| URI | m2://inv/AHBBRFZFN1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irreducible ring#2VDJ, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Generalizations AHBJCK3D93
| URI | m2://inv/AHBJCK3D93 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julia set#POR9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
AHBNDGMFVQ AHBNDGMFVQ
| URI | m2://inv/AHBNDGMFVQ |
|---|---|
| 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.26948#4FND (statement)
History
- 2026-11-01: add by m2/v0.6.15
Block, Maurice AHBQGMQMVZ
| URI | m2://inv/AHBQGMQMVZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#292P, Block, Maurice (topic)
History
- 2026-11-02: add by m2/dev
AHBR4M12HA AHBR4M12HA
| URI | m2://inv/AHBR4M12HA |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05259#SJTC (definition). In X1J5HKPS3R/e1, definition 3.9
History
- 2026-10-29: add by m2/v0.4.10
AHBW0KYTAB AHBW0KYTAB
| URI | m2://inv/AHBW0KYTAB |
|---|---|
| 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.26162#1BH9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Physical structured spaces AHC1CQ06ST
| URI | m2://inv/AHC1CQ06ST |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28220#M25T, Physical structured spaces (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition AHC2WEQPNA
| URI | m2://inv/AHC2WEQPNA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected value#R81X, Definition (definition)
History
- 2026-11-02: add by m2/dev
Inverted pendulum AHC4ZNDYDS
| URI | m2://inv/AHC4ZNDYDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverted pendulum, Inverted pendulum (definition). Also Wikidata Q550134
History
- 2026-11-02: add by m2/dev
AHC71D6G49 AHC71D6G49
| URI | m2://inv/AHC71D6G49 |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#7EOA (statement). In CY1FE8W1ZW/e1, theorem 0.255
History
- 2026-10-27: add by m2/v0.3.5
Implementation AHCC9033NH
| URI | m2://inv/AHCC9033NH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dune (mathematics software)#UO5B, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Inverse chain rule method AHCCRBTY32
| URI | m2://inv/AHCCRBTY32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#8XA0, Inverse chain rule method (definition)
History
- 2026-11-02: add by m2/dev
Cone bound AHCRE2307S
| URI | m2://inv/AHCRE2307S |
|---|---|
| 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.25120#NQ0R, Cone bound (statement)
History
- 2026-11-01: add by m2/v0.6.15
AHCS3GX1A4 AHCS3GX1A4
| URI | m2://inv/AHCS3GX1A4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2411.17227#G1R9 (statement). In DDNP38CHQJ/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
Π3-formulas and concepts AHCVR93X43
| URI | m2://inv/AHCVR93X43 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lévy hierarchy#23T8, Π3-formulas and concepts (statement)
History
- 2026-11-02: add by m2/dev
initial condition for a PDE AHCYBTP49J
| URI | m2://inv/AHCYBTP49J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs index/4.9/initial-condition-for-a-pde, initial condition for a PDE (concept). In E9HS8K3A52, index, section 4.9
History
- 2026-11-01: add by m2/v0.6.13
AHD8NQN7DB AHD8NQN7DB
| URI | m2://inv/AHD8NQN7DB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#EM29 (statement). In AGJE43FTF8/e1, lemma 4.13
History
- 2026-10-27: add by m2/v0.4.2
Practical arguments AHD9WN0RYN
| URI | m2://inv/AHD9WN0RYN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Practical arguments, Practical arguments (definition). Also Wikidata Q7237337
History
- 2026-11-02: add by m2/dev
Pakistan Bureau of Statistics AHDT622MZ2
| URI | m2://inv/AHDT622MZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pakistan Bureau of Statistics, Pakistan Bureau of Statistics (definition). Also Wikidata Q7125537
History
- 2026-11-02: add by m2/dev
Finite-horizon boundedness of the generated trajectory AHDTFREE7S
| URI | m2://inv/AHDTFREE7S |
|---|---|
| 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.13631#XQAV, Finite-horizon boundedness of the generated trajectory (statement). In N6PQQSYN73/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
in $\ZF$ AHDYGZB5DE
| URI | m2://inv/AHDYGZB5DE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/choice/justifications.tex#choiceset, in $\ZF$ (statement). In PKGMM3P5QY, thm, section 71.4
History
- 2026-11-01: add by m2/v0.6.13
quantum field theory in curved spacetime AHDYPP66AT
| URI | m2://inv/AHDYPP66AT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2246697, quantum field theory in curved spacetime (unknown). Also nLab AQFT on curved spacetimes
- wikipedia: Wikipedia Quantum field theory in curved spacetime, Quantum field theory in curved spacetime (definition). Also Wikidata Q2246697
History
- 2026-10-26: add by m2/dev
AHE0PD60KJ AHE0PD60KJ
| URI | m2://inv/AHE0PD60KJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#BDPQ (definition). In 8H0KHK7AMN/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Unemployment in Scotland AHE7KR6V2E
| URI | m2://inv/AHE7KR6V2E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unemployment in Scotland, Unemployment in Scotland (definition). Also Wikidata Q20877322
History
- 2026-11-02: add by m2/dev
Examples AHEMSMC49P
| URI | m2://inv/AHEMSMC49P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dependency graph#TG8H, Examples (example)
History
- 2026-11-02: add by m2/dev
Ron Aharoni AHESTQ6WVV
| URI | m2://inv/AHESTQ6WVV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#79AG, Ron Aharoni (topic)
History
- 2026-11-02: add by m2/dev
fast Fourier transform AHEZTJ6HS9
| URI | m2://inv/AHEZTJ6HS9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Fourier transform > fast Fourier transform, fast Fourier transform (unknown)
History
- 2026-10-26: add by m2/dev
Examples AHF7KGEMK8
| URI | m2://inv/AHF7KGEMK8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extension by definition#URRG, Examples (example)
History
- 2026-11-02: add by m2/dev
Cadaeic Cadenza AHF9HFZRWJ
| URI | m2://inv/AHF9HFZRWJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics related to π#GMZ2, Cadaeic Cadenza (definition)
History
- 2026-11-02: add by m2/dev
vertex AHFEK6RRR8
| URI | m2://inv/AHFEK6RRR8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#VWZK, vertex (definition)
History
- 2026-11-02: add by m2/dev
Formal exponential independence AHFJME7DMG
| URI | m2://inv/AHFJME7DMG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.14044#01YG, Formal exponential independence (statement). In 5452SJRWDT/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
plasticity theory AHFKR3RNJB
| URI | m2://inv/AHFKR3RNJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1558058, plasticity theory (unknown). Also EoM Plasticity,_mathematical_theory_of
- wikipedia: Wikipedia Flow plasticity theory, Flow plasticity theory (definition). Also Wikidata Q1558058
History
- 2026-10-26: add by m2/dev
Soul theorem AHFQBCV1CM
| URI | m2://inv/AHFQBCV1CM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Soul theorem#BQ42, Soul theorem (statement)
History
- 2026-11-02: add by m2/dev
AHFRC2ZATD AHFRC2ZATD
| URI | m2://inv/AHFRC2ZATD |
|---|---|
| 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 2609.25409#I3SO (statement)
History
- 2026-11-01: add by m2/v0.6.15
Killing ring AHFWEP95ZS
| URI | m2://inv/AHFWEP95ZS |
|---|---|
| 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.08787#LMWQ, Killing ring (statement). In CCQ5XXWYDZ/e1, proposition VI.3
History
- 2026-10-29: add by m2/v0.4.10
AHFXH6NBBB AHFXH6NBBB
| URI | m2://inv/AHFXH6NBBB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-214 (exercise). In VNMV985MXX, exercise, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
3x + 1 semigroup AHFXS4QQY6
| URI | m2://inv/AHFXS4QQY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 3x + 1 semigroup, 3x + 1 semigroup (definition). Also Wikidata Q25305019
History
- 2026-11-02: add by m2/dev
Ciprian Foias AHFZQBD1TM
| URI | m2://inv/AHFZQBD1TM |
|---|---|
| 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 Q957316, Ciprian Foias (unknown). Also ProofWiki Mathematician:Ciprian_Ilie_Foiaș
- wikipedia: Wikipedia Ciprian Foias, Ciprian Foias (topic). Also Wikidata Q957316
History
- 2026-10-26: add by m2/dev
Étale fundamental group AHG228PPRR
| URI | m2://inv/AHG228PPRR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étale fundamental group, Étale fundamental group (definition). Also Wikidata Q288764
History
- 2026-11-02: add by m2/dev
cardinal arithmetic AHG2KQKHNQ
| URI | m2://inv/AHG2KQKHNQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1729107, cardinal arithmetic (unknown). Also nLab cardinal arithmetic
History
- 2026-10-26: add by m2/dev
Jean-Robert Argand AHG56928FP
| URI | m2://inv/AHG56928FP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Robert Argand, Jean-Robert Argand (topic). Also Wikidata Q315419
History
- 2026-11-02: add by m2/dev
AHG6238SCC AHG6238SCC
| URI | m2://inv/AHG6238SCC |
|---|---|
| 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 2308.05715#9AOF (definition). In FC0SB9JFWH/e1, definition 3.12
History
- 2026-10-27: add by m2/v0.3.5
AHG6Q9ZMNY AHG6Q9ZMNY
| URI | m2://inv/AHG6Q9ZMNY |
|---|---|
| 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.18078#2BHW (statement). In YVK8EFSYNJ/e1, proposition 7.3
History
- 2026-10-28: add by m2/v0.4.2
Fenchel's theorem AHG7CSPKZ3
| URI | m2://inv/AHG7CSPKZ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#8SEB, Fenchel's theorem (statement)
- wikipedia: Wikipedia List of curves topics#0G11, Fenchel's theorem (statement)
History
- 2026-11-02: add by m2/dev
Exact quantum-disk block representation AHGM9ZJ6J5
| URI | m2://inv/AHGM9ZJ6J5 |
|---|---|
| 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.02531#3G3W, Exact quantum-disk block representation (statement). In 44EQ0MZE8G/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.12
Berger's sphere AHGT35Q87G
| URI | m2://inv/AHGT35Q87G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Berger's sphere, Berger's sphere (definition). Also Wikidata Q4447641
History
- 2026-11-02: add by m2/dev
AHHBREP5MK AHHBREP5MK
| URI | m2://inv/AHHBREP5MK |
|---|---|
| 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.22170#KLJ6 (statement). In 74MMMHHPW5/e1, proposition A.4
History
- 2026-10-27: add by m2/v0.4.0
AHHDN9MEY3 AHHDN9MEY3
| URI | m2://inv/AHHDN9MEY3 |
|---|---|
| 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.21655#F32K (statement). In 3Q0387SH7Q/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
Bernoulli differential equation AHHE4FGGY5
| URI | m2://inv/AHHE4FGGY5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#W7BD, Bernoulli differential equation (definition)
History
- 2026-11-02: add by m2/dev
AHHFDMR87M AHHFDMR87M
| URI | m2://inv/AHHFDMR87M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 16-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.14060#465X (definition). In X47RYAZF8P/e1, definition 6.6
History
- 2026-10-28: add by m2/v0.4.2
Mathias Schacht AHHQF161WW
| URI | m2://inv/AHHQF161WW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZSTV, Mathias Schacht (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#AVIZ, Mathias Schacht (topic)
- wikipedia: Wikipedia List of German mathematicians#08EH, Mathias Schacht (topic)
History
- 2026-11-02: add by m2/dev
Zhang Heng AHJ1Y5XTMN
| URI | m2://inv/AHJ1Y5XTMN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#S5NG, Zhang Heng (topic)
History
- 2026-11-02: add by m2/dev
Pacman conjecture AHJCA0946M
| URI | m2://inv/AHJCA0946M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pacman conjecture, Pacman conjecture (statement). Also Wikidata Q7123065
History
- 2026-11-02: add by m2/dev
Weakening Application AHJFQEHGHM
| URI | m2://inv/AHJFQEHGHM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#GLZJ, Weakening Application (definition). In CPYWHRTPKC/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.2
cellular map AHJM311SSD
| URI | m2://inv/AHJM311SSD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91748020, cellular map (unknown). Also MathWorld CellularMap, nLab cellular map
History
- 2026-10-26: add by m2/dev
Matroid partitioning AHJR3QMAYH
| URI | m2://inv/AHJR3QMAYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of partition topics#V6Q2, Matroid partitioning (definition)
History
- 2026-11-02: add by m2/dev
AHK51BT9KX AHK51BT9KX
| URI | m2://inv/AHK51BT9KX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphs_exercises.ptx#exercise-21 (exercise). In QKM9DD2H56, exercise, section 5
History
- 2026-11-01: add by m2/v0.6.13
Statistical probability AHKAA12F9G
| URI | m2://inv/AHKAA12F9G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZD09, Statistical probability (definition)
History
- 2026-11-02: add by m2/dev
Radial basis function network AHKDB89NNQ
| URI | m2://inv/AHKDB89NNQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#GSU0, Radial basis function network (definition)
History
- 2026-11-02: add by m2/dev
Bass number AHKM8EHA77
| URI | m2://inv/AHKM8EHA77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bass number, Bass number (definition). Also Wikidata Q4867985
History
- 2026-11-02: add by m2/dev
Definition AHKRTX0J0R
| URI | m2://inv/AHKRTX0J0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bott–Samelson resolution#P6TX, Definition (definition)
History
- 2026-11-02: add by m2/dev
Harry Pitt AHKTWYEYZA
| URI | m2://inv/AHKTWYEYZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harry Pitt, Harry Pitt (topic). Also Wikidata Q3300281
History
- 2026-11-02: add by m2/dev
AHM765YH1A AHM765YH1A
| URI | m2://inv/AHM765YH1A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.02275#O874 (statement). In 1QXCNGRWV1/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.3.5
AHMEKYMTW3 AHMEKYMTW3
| URI | m2://inv/AHMEKYMTW3 |
|---|---|
| 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.01968#DTGC (statement). In 9QE553Z0J5/e1, theorem 2.4
History
- 2026-10-29: add by m2/v0.4.12
Important theorems AHMF9HPHNQ
| URI | m2://inv/AHMF9HPHNQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abelian variety#FOXA, Important theorems (statement)
History
- 2026-11-02: add by m2/dev
AHMGZ51PZ7 AHMGZ51PZ7
| URI | m2://inv/AHMGZ51PZ7 |
|---|---|
| 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 2609.38206#M6JG (statement). In F71MS1F637/e1, proposition 5.21
History
- 2026-10-30: add by m2/v0.4.12
Distinguishing coloring AHMRSR0CPP
| URI | m2://inv/AHMRSR0CPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distinguishing coloring, Distinguishing coloring (definition). Also Wikidata Q25304053
History
- 2026-11-02: add by m2/dev
AHN6AB1QSZ AHN6AB1QSZ
| URI | m2://inv/AHN6AB1QSZ |
|---|---|
| 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.19861#QOV0 (statement). In 5ZPQ60TM6J/e1, proposition 15
History
- 2026-10-28: add by m2/v0.4.2
SU2 code AHN6DX6XDG
| URI | m2://inv/AHN6DX6XDG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#0UH0, SU2 code (unknown)
- wikipedia: Wikipedia List of open-source software for mathematics#B0LV, SU2 code (unknown)
History
- 2026-11-02: add by m2/dev
Properties AHN6KAY56B
| URI | m2://inv/AHN6KAY56B |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Category of abelian groups#69W8, Properties (statement)
History
- 2026-11-02: add by m2/dev
Christine Graffigne AHN8JM087S
| URI | m2://inv/AHN8JM087S |
|---|---|
| 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#XNKR, Christine Graffigne (topic)
History
- 2026-11-02: add by m2/dev
Tibor Šalát AHNAQG9FAJ
| URI | m2://inv/AHNAQG9FAJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#HV6D, Tibor Šalát (topic)
History
- 2026-11-02: add by m2/dev
LOOCV AHNAQSZVQN
| URI | m2://inv/AHNAQSZVQN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cross-validation (statistics)#PCJP, LOOCV (unknown)
History
- 2026-11-02: add by m2/dev
Juan Blaquier AHNPFV78DH
| URI | m2://inv/AHNPFV78DH |
|---|---|
| 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#UVV3, Juan Blaquier (unknown)
History
- 2026-11-02: add by m2/dev
AHNZGRGSGX AHNZGRGSGX
| URI | m2://inv/AHNZGRGSGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.09268#01MO (statement). In SYZFEVFHC3/e1, lemma 2.18
History
- 2026-10-27: add by m2/v0.3.5
AHNZWXBQM5 AHNZWXBQM5
| URI | m2://inv/AHNZWXBQM5 |
|---|---|
| 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 2312.06473#9CG6 (statement). In P1MYSYHSGX/e1, lemma 2.12
History
- 2026-10-27: add by m2/v0.3.5
Władysław Orlicz AHPDPDJ12X
| URI | m2://inv/AHPDPDJ12X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Władysław Orlicz, Władysław Orlicz (topic). Also Wikidata Q1344809
History
- 2026-11-02: add by m2/dev
AHPT1P8SN8 AHPT1P8SN8
| URI | m2://inv/AHPT1P8SN8 |
|---|---|
| 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 2209.01576#NRY4 (statement). In EF0X4TKTR4/e1, theorem 2.2
History
- 2026-10-27: add by m2/v0.3.5
AHPWQJFBMZ AHPWQJFBMZ
| URI | m2://inv/AHPWQJFBMZ |
|---|---|
| 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.19358#UAW9 (statement). In N3QZZ7BD0V/e1, lemma 6
History
- 2026-10-28: add by m2/v0.4.2
Exact replica entropy identity AHQ23YD4TK
| URI | m2://inv/AHQ23YD4TK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#U2RC, Exact replica entropy identity (statement). In 9YAE8FNQST/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
AHQ4SHG0Y6 AHQ4SHG0Y6
| URI | m2://inv/AHQ4SHG0Y6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29531#L4UU (statement)
History
- 2026-11-01: add by m2/v0.6.15
AHQ579XH9J AHQ579XH9J
| URI | m2://inv/AHQ579XH9J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32505#Z3K6 (statement). In N8MYP1Z659/e1, lemma D.1
History
- 2026-10-31: add by m2/v0.5.6
AHQ73WTTA0 AHQ73WTTA0
| URI | m2://inv/AHQ73WTTA0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30663#H2Q9 (statement). In 3JZDKWS8NK/e1, lemma 8.6
History
- 2026-10-31: add by m2/v0.5.6
A full cap theorem discharges the seam and endpoint clauses (ii)--(v AHQBRBM16F
| URI | m2://inv/AHQBRBM16F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24931#WCS9, A full cap theorem discharges the seam and endpoint clauses (ii)--(v (statement)
History
- 2026-11-01: add by m2/v0.6.15
AHQEJDSB70 AHQEJDSB70
| URI | m2://inv/AHQEJDSB70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#YOWM (statement). In 9B5TNEBJHV/e1, lemma 2.28
History
- 2026-10-29: add by m2/v0.4.10
AHQM1D9ETM AHQM1D9ETM
| URI | m2://inv/AHQM1D9ETM |
|---|---|
| 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.36181#FZ5T (statement). In 1KSE33PVS6/e1, proposition 60
History
- 2026-10-30: add by m2/v0.4.12
AHQPBKA54C AHQPBKA54C
| URI | m2://inv/AHQPBKA54C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#YLPQ (statement). In HX63A1PH1W/e1, corollary 3.15
History
- 2026-10-28: add by m2/v0.4.3
AHQQT8YSJX AHQQT8YSJX
| URI | m2://inv/AHQQT8YSJX |
|---|---|
| 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 1808.00180#YQAQ (statement). In XDYCG8DVHE/e1, corollary 2.1
History
- 2026-10-27: add by m2/v0.3.5
Definition AHR03ETV30
| URI | m2://inv/AHR03ETV30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Etendue#KTMN, Definition (definition)
History
- 2026-11-02: add by m2/dev
Notation AHR6CPESE5
| URI | m2://inv/AHR6CPESE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel methods for vector output#5BLD, Notation (definition)
History
- 2026-11-02: add by m2/dev
AHREAWEBMW AHREAWEBMW
| URI | m2://inv/AHREAWEBMW |
|---|---|
| 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 2609.21274#USBC (problem)
History
- 2026-11-02: add by m2/v0.6.18
Catalan–Mersenne number conjecture AHRJN0HV63
| URI | m2://inv/AHRJN0HV63 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Double Mersenne number#34F9, Catalan–Mersenne number conjecture (statement)
History
- 2026-11-02: add by m2/dev
AHRPXR5PG0 AHRPXR5PG0
| URI | m2://inv/AHRPXR5PG0 |
|---|---|
| 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.09561#36CW (statement). In WDV5E2CVTR/e1, theorem 7.6
History
- 2026-10-29: add by m2/v0.4.10
John A. Smolin AHS6GWA908
| URI | m2://inv/AHS6GWA908 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AZ34, John A. Smolin (unknown)
History
- 2026-11-02: add by m2/dev
AHSQK8NGWE AHSQK8NGWE
| URI | m2://inv/AHSQK8NGWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34570#J0VS (statement). In EVFX1R7ZDD/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
Hai-Reuven, 2013 AHSRW242AQ
| URI | m2://inv/AHSRW242AQ |
|---|---|
| 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.03151#50J4, Hai-Reuven, 2013 (statement). In 7ZC21RKB29/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.12
Robinson, Claude E. AHSTBQAXN5
| URI | m2://inv/AHSTBQAXN5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#H2QW, Robinson, Claude E. (topic)
History
- 2026-11-02: add by m2/dev
AHSVA0D1E2 AHSVA0D1E2
| URI | m2://inv/AHSVA0D1E2 |
|---|---|
| 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.30354#P4MR (statement). In B81DM51XSK/e1, lemma 4
History
- 2026-10-31: add by m2/v0.5.6
Hot-cold empathy gap AHT2EZY0XH
| URI | m2://inv/AHT2EZY0XH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#LX5S, Hot-cold empathy gap (unknown)
History
- 2026-11-02: add by m2/dev
AHT2SSWYTC AHT2SSWYTC
| URI | m2://inv/AHT2SSWYTC |
|---|---|
| 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.15367#BYN3 (statement). In 9AFZ1S368G/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
Riemann's formula AHT5YK5WYE
| URI | m2://inv/AHT5YK5WYE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skewes's number#EB25, Riemann's formula (statement)
History
- 2026-11-02: add by m2/dev
Currying AHT605JJ4W
| URI | m2://inv/AHT605JJ4W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#X0Q4, Currying (definition)
History
- 2026-11-02: add by m2/dev
Path Length AHT7VRXBQV
| URI | m2://inv/AHT7VRXBQV |
|---|---|
| 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.21976#OXY9, Path Length (statement)
History
- 2026-11-02: add by m2/v0.6.17
AHTBW18536 AHTBW18536
| URI | m2://inv/AHTBW18536 |
|---|---|
| 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.16875#ZEEW (statement). In KS30K5JXGB/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
AHTFF34R5C AHTFF34R5C
| URI | m2://inv/AHTFF34R5C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23682#CO0X (statement)
History
- 2026-11-02: add by m2/v0.6.17
Élisabeth Lutz AHTGHMRM8A
| URI | m2://inv/AHTGHMRM8A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Élisabeth Lutz, Élisabeth Lutz (topic). Also Wikidata Q274751
History
- 2026-11-02: add by m2/dev
AHTTXJW0QQ AHTTXJW0QQ
| URI | m2://inv/AHTTXJW0QQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03559#MO08 (statement). In R68THJCHX6/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Definition AHV0DTKTRY
| URI | m2://inv/AHV0DTKTRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein–Gordon equation#6RRR, Definition (definition)
History
- 2026-11-02: add by m2/dev
Simple example AHV789R9BM
| URI | m2://inv/AHV789R9BM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Behrend's trace formula#36TA, Simple example (example)
History
- 2026-11-02: add by m2/dev
Proxy (statistics) AHV7NTGTY0
| URI | m2://inv/AHV7NTGTY0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7QF7, Proxy (statistics) (definition)
History
- 2026-11-02: add by m2/dev
Roi Et Province AHV8DYBT76
| URI | m2://inv/AHV8DYBT76 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#AIJQ, Roi Et Province (unknown)
History
- 2026-11-02: add by m2/dev
Binomial inverse theorem AHV9TQJZM2
| URI | m2://inv/AHV9TQJZM2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Woodbury matrix identity#9E6I, Binomial inverse theorem (statement)
History
- 2026-11-02: add by m2/dev
AHVARFRFW1 AHVARFRFW1
| URI | m2://inv/AHVARFRFW1 |
|---|---|
| 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.26452#8QHP (statement)
History
- 2026-11-01: add by m2/v0.6.15
AHVBJD63S5 AHVBJD63S5
| URI | m2://inv/AHVBJD63S5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#AY6A (statement). In V97F4YZ8B0/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
H. G. Dawson AHVEP9TZVN
| URI | m2://inv/AHVEP9TZVN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#P2EC, H. G. Dawson (topic)
History
- 2026-11-02: add by m2/dev
Actor tracking AHVF954EVH
| URI | m2://inv/AHVF954EVH |
|---|---|
| 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.35466#5SBB, Actor tracking (statement). In MVR35ZJPCC/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
AHW3118HPE AHW3118HPE
| URI | m2://inv/AHW3118HPE |
|---|---|
| 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#SRC4 (statement). In R9GRCAWHG0/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.10
AHW3A3WHE2 AHW3A3WHE2
| URI | m2://inv/AHW3A3WHE2 |
|---|---|
| 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#QDV4 (statement). In MNQAZ70XTH/e1, theorem 11.1
History
- 2026-10-28: add by m2/v0.4.3
Laguerre net AHWBDZW3VB
| URI | m2://inv/AHWBDZW3VB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#62U6, Laguerre net (definition)
History
- 2026-11-02: add by m2/dev
Transitive sets inheriting $\ZFC$ AHWDYZ1H06
| URI | m2://inv/AHWDYZ1H06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/models.tex#lem:transitive_ZFC, Transitive sets inheriting $\ZFC$ (statement). In RZP28ERRZV, lemma, section 91.5
History
- 2026-11-01: add by m2/v0.6.13
Ritabrata Munshi AHWRFFN256
| URI | m2://inv/AHWRFFN256 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#CRQO, Ritabrata Munshi (topic)
History
- 2026-11-02: add by m2/dev
Briot, Bouquet AHWT17JJ6W
| URI | m2://inv/AHWT17JJ6W |
|---|---|
| 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.01520#J9UX, Briot, Bouquet (statement). In GTZYR8QA3G/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
Bottom chord AHXRKEJVCV
| URI | m2://inv/AHXRKEJVCV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Truss#VNDN, Bottom chord (unknown)
History
- 2026-11-02: add by m2/dev
AHXXBYXQQE AHXXBYXQQE
| URI | m2://inv/AHXXBYXQQE |
|---|---|
| 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.12689#89KE (statement). In AMXK11Y802/e1, corollary 5.1
History
- 2026-10-28: add by m2/v0.4.2
Fuglede's conjecture AHXXRRKNZZ
| URI | m2://inv/AHXXRRKNZZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#UTZZ, Fuglede's conjecture (statement)
History
- 2026-11-02: add by m2/dev
AHY0ANAQZB AHY0ANAQZB
| URI | m2://inv/AHY0ANAQZB |
|---|---|
| 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 2609.37967#P1QI (statement). In BR2E3CXQE0/e1, theorem
History
- 2026-10-30: add by m2/v0.4.12
SI prefix AHY1DBR5TD
| URI | m2://inv/AHY1DBR5TD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131299, SI prefix (definition). Also MathWorld SIPrefixes, ProofWiki Definition:Metric_System/Scaling_Prefixes
History
- 2026-10-26: add by m2/dev
AHY2P3V8GC AHY2P3V8GC
| URI | m2://inv/AHY2P3V8GC |
|---|---|
| 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.27301#R2RU (definition)
History
- 2026-11-01: add by m2/v0.6.15
AHY4SEDN8T AHY4SEDN8T
| URI | m2://inv/AHY4SEDN8T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2505.05539#KM3K (definition). In 8SVVEVGMNE/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Exponentiated Weibull distribution AHY50ENH9X
| URI | m2://inv/AHY50ENH9X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IBIS, Exponentiated Weibull distribution (definition)
History
- 2026-11-02: add by m2/dev
special unitary group AHY9TYTGMM
| URI | m2://inv/AHY9TYTGMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Special unitary group SU(n) CZCWFPNS4N |
Mentions
- wikidata: Wikidata Q684363, special unitary group (definition). Also MathWorld SpecialUnitaryGroup, nLab special unitary group, ProofWiki Definition:Special_Unitary_Group
- wikipedia: Wikipedia Special unitary group, Special unitary group (definition). Also Wikidata Q684363
History
- 2026-10-26: add by m2/dev
Exact derivative trace range AHYH52J9VW
| URI | m2://inv/AHYH52J9VW |
|---|---|
| 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.00292#GXS9, Exact derivative trace range (statement). In NX3EFW0D0X/e1, theorem 5.2
History
- 2026-10-30: add by m2/v0.4.12
AHYR6MN4ZR AHYR6MN4ZR
| URI | m2://inv/AHYR6MN4ZR |
|---|---|
| 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 2211.14214#MVRH (statement). In SY85Y9E45A/e1, lemma 16
History
- 2026-10-27: add by m2/v0.3.5
Orientifold AHYWJ1CPFG
| URI | m2://inv/AHYWJ1CPFG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#VDRB, Orientifold (unknown)
History
- 2026-11-02: add by m2/dev
multilinear map AHYWTHEGBT
| URI | m2://inv/AHYWTHEGBT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Fundamentals > multilinear map, multilinear map (unknown). Also Mathlib MultilinearMap
- mathlib_undergrad: mathlib_undergrad Linear algebra > Multilinearity > multilinear map, multilinear map (unknown). Also Mathlib MultilinearMap
History
- 2026-10-26: add by m2/dev
Castelnuovo's Theorem AHYXJ9W0PD
| URI | m2://inv/AHYXJ9W0PD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic surface#U4ZM, Castelnuovo's Theorem (statement)
History
- 2026-11-02: add by m2/dev
Decidability of $\Lang_D$ AHZ9VA7JQ3
| URI | m2://inv/AHZ9VA7JQ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21565#51ZH, Decidability of $\Lang_D$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
Serre's criterion AHZFQQZ2BG
| URI | m2://inv/AHZFQQZ2BG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jean-Pierre Serre#CCSF, Serre's criterion (statement)
History
- 2026-11-02: add by m2/dev
Exponentiability equivalence for induced spaces AHZH1S6JDR
| URI | m2://inv/AHZH1S6JDR |
|---|---|
| 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 2609.23281#4GCJ, Exponentiability equivalence for induced spaces (statement)
History
- 2026-11-02: add by m2/v0.6.17
Topologically Morse--Smale circle dynamics AHZKYQ7W0B
| URI | m2://inv/AHZKYQ7W0B |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15686#3GI1, Topologically Morse--Smale circle dynamics (definition). In 4HCK722M2G/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.2
AHZM2Q2VVQ AHZM2Q2VVQ
| URI | m2://inv/AHZM2Q2VVQ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/ramification.tex#exercise-1 (exercise). In RZP28ERRZV, exercise, section 18.4
History
- 2026-11-01: add by m2/v0.6.13