Inventory rows 5M
The cards of the rows of the inventory whose ids start with 5M. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
5M0218TD84 5M0218TD84
| URI | m2://inv/5M0218TD84 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SIC-POVM#PJIN (problem)
- wikipedia: Wikipedia Mutually unbiased bases#4VG2 (problem)
History
- 2026-11-02: add by m2/dev
Examples 5M02KG96GG
| URI | m2://inv/5M02KG96GG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Midsquare quadrilateral#9A8W, Examples (example)
History
- 2026-11-02: add by m2/dev
5M03PCZ37P 5M03PCZ37P
| URI | m2://inv/5M03PCZ37P |
|---|---|
| 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.20119#Q4I3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
5M09ZXNZKC 5M09ZXNZKC
| URI | m2://inv/5M09ZXNZKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#L05K (statement). In PQHTR84RAJ/e1, lemma 3.13
History
- 2026-10-27: add by m2/v0.4.0
5M0J9BXNWA 5M0J9BXNWA
| URI | m2://inv/5M0J9BXNWA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#mv:prop:ballsnull (statement). In E59CDZA4DP, prop, section 5.3.1
History
- 2026-11-01: add by m2/v0.6.13
Sporus of Nicaea 5M0NTAVQF2
| URI | m2://inv/5M0NTAVQF2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#6VRP, Sporus of Nicaea (unknown)
History
- 2026-11-02: add by m2/dev
5M0PFQJ074 5M0PFQJ074
| URI | m2://inv/5M0PFQJ074 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02174#JML1 (statement). In 7JPHSV4NXW/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.12
5M0WJZ869T 5M0WJZ869T
| URI | m2://inv/5M0WJZ869T |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.05684#R5P9 (definition). In 1PR73ECTZB/e1, definition 9
History
- 2026-10-27: add by m2/v0.3.5
metacompact space 5M1E677N6G
| URI | m2://inv/5M1E677N6G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Metacompact space WQG81SEDZ4 |
Mentions
- wikidata: Wikidata Q6822437, metacompact space (definition). Also nLab metacompact space, ProofWiki Definition:Metacompact_Space
- wikipedia: Wikipedia Metacompact space, Metacompact space (definition). Also Wikidata Q6822437
History
- 2026-10-26: add by m2/dev
5M1HPW028M 5M1HPW028M
| URI | m2://inv/5M1HPW028M |
|---|---|
| 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.26129#RGW3 (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definition 5M1NXWTRSM
| URI | m2://inv/5M1NXWTRSM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar algebra#7D12, Definition (definition)
History
- 2026-11-02: add by m2/dev
List of things named after Hermann Weyl 5M20MC40X6
| URI | m2://inv/5M20MC40X6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl, List of things named after Hermann Weyl (topic). Also Wikidata Q6643293
History
- 2026-11-02: add by m2/dev
Joint waiting-time limits after finitely many restarts 5M22K4W939
| URI | m2://inv/5M22K4W939 |
|---|---|
| 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.21268#XXMR, Joint waiting-time limits after finitely many restarts (statement). In 9W2YX5X4AX/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.4.2
Poincaré–Bendixson theorem 5M230KMDZK
| URI | m2://inv/5M230KMDZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 37-XX |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Poincaré–Bendixson theorem 0EW1X61ZT1 |
Mentions
- mathlib_1000: mathlib_1000 Q248931, Poincaré–Bendixson theorem (statement). Also Wikidata Q248931
- thousand_plus: thousand_plus Q248931, Poincaré–Bendixson theorem (statement). Also Wikidata Q248931, Wikipedia Poincaré–Bendixson theorem
- wikipedia: Wikipedia Poincaré–Bendixson theorem, Poincaré–Bendixson theorem (statement). Also Wikidata Q248931
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Random naive Bayes 5M268KV779
| URI | m2://inv/5M268KV779 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6BI9, Random naive Bayes (definition)
History
- 2026-11-02: add by m2/dev
5M28H9HG87 5M28H9HG87
| URI | m2://inv/5M28H9HG87 |
|---|---|
| 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 0810.0962#MKY4 (statement). In 80YMRN5KS9/e1, proposition 10
History
- 2026-10-27: add by m2/v0.3.5
Poincaré recurrence theorem 5M2AS7SF0R
| URI | m2://inv/5M2AS7SF0R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0D2P, Poincaré recurrence theorem (statement)
History
- 2026-11-02: add by m2/dev
5M2F5WT22E 5M2F5WT22E
| URI | m2://inv/5M2F5WT22E |
|---|---|
| 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 2610.07092#PJWW (statement). In JWNYJVH8XG/e1, proposition 3.21
History
- 2026-10-29: add by m2/v0.4.10
Definition 5M2TPJ7FBJ
| URI | m2://inv/5M2TPJ7FBJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental groupoid#3CNP, Definition (definition)
History
- 2026-11-02: add by m2/dev
5M36DMFS65 5M36DMFS65
| URI | m2://inv/5M36DMFS65 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/methods/proofs/inference-patterns.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 44.9.8
History
- 2026-11-01: add by m2/v0.6.13
Anytime A* 5M38CY9ZK6
| URI | m2://inv/5M38CY9ZK6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anytime A*, Anytime A* (definition). Also Wikidata Q28456560
History
- 2026-11-02: add by m2/dev
Pentagonal antiprism 5M3AVND5DD
| URI | m2://inv/5M3AVND5DD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#O5VO, Pentagonal antiprism (definition)
History
- 2026-11-02: add by m2/dev
Alina Carmen Cojocaru 5M3GNBNJPC
| URI | m2://inv/5M3GNBNJPC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EH9B, Alina Carmen Cojocaru (topic)
History
- 2026-11-02: add by m2/dev
Maarten Solleveld 5M3KRMWR4B
| URI | m2://inv/5M3KRMWR4B |
|---|---|
| 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 Q81873, Maarten Solleveld (unknown). Also nLab Maarten Solleveld
- wikipedia: Wikipedia Maarten Solleveld, Maarten Solleveld (topic). Also Wikidata Q81873
History
- 2026-10-26: add by m2/dev
Chiu-Chu Melissa Liu 5M3MC4253X
| URI | m2://inv/5M3MC4253X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#A8FR, Chiu-Chu Melissa Liu (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#O8NC, Chiu-Chu Melissa Liu (topic)
History
- 2026-11-02: add by m2/dev
5M3ZJCQ7GN 5M3ZJCQ7GN
| URI | m2://inv/5M3ZJCQ7GN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-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 2410.14097#90WS (example). In H52QQS8WZA/e1, example 2.2
History
- 2026-10-27: add by m2/v0.3.5
5M4E1AZNGB 5M4E1AZNGB
| URI | m2://inv/5M4E1AZNGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22514#2LMD (statement)
History
- 2026-11-02: add by m2/v0.6.17
Implicit derivative 5M4HV78WHW
| URI | m2://inv/5M4HV78WHW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Implicit function#ZM6U, Implicit derivative (unknown)
History
- 2026-11-02: add by m2/dev
Examples 5M4HZQAX10
| URI | m2://inv/5M4HZQAX10 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stabilizer code#GHFV, Examples (example)
History
- 2026-11-02: add by m2/dev
5M4K68BF70 5M4K68BF70
| URI | m2://inv/5M4K68BF70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-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 2504.00596#ABFM (statement). In F8RC6AENB0/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
F. C. S. Schiller 5M4M1BVA6C
| URI | m2://inv/5M4M1BVA6C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F. C. S. Schiller, F. C. S. Schiller (topic). Also Wikidata Q819293
History
- 2026-11-02: add by m2/dev
5M4N8V7VTW 5M4N8V7VTW
| URI | m2://inv/5M4N8V7VTW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#7RSC (statement). In SMJMAQ2S3J/e1, corollary 5
History
- 2026-10-27: add by m2/v0.4.0
5M4RMVKAJ8 5M4RMVKAJ8
| URI | m2://inv/5M4RMVKAJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36823#AGKI (statement). In 55WT8DME6Y/e1, proposition B.1
History
- 2026-10-30: add by m2/v0.4.12
Use 5M4SKRMRKT
| URI | m2://inv/5M4SKRMRKT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Local coordinates#QJ2M, Use (example)
History
- 2026-11-02: add by m2/dev
5M4VDJCNVF 5M4VDJCNVF
| URI | m2://inv/5M4VDJCNVF |
|---|---|
| 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.03579#54OJ (statement). In PZQ3D6A9J0/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
National Secondary School Academic Competition – Mathematics 5M4WTFHDK3
| URI | m2://inv/5M4WTFHDK3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics competitions#M871, National Secondary School Academic Competition – Mathematics (unknown)
History
- 2026-11-02: add by m2/dev
Łukasiewicz logic 5M57GJBWTQ
| URI | m2://inv/5M57GJBWTQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Łukasiewicz logic, Łukasiewicz logic (definition). Also Wikidata Q8080919
History
- 2026-11-02: add by m2/dev
Mixing estimate, adapted 5M5B44HYNN
| URI | m2://inv/5M5B44HYNN |
|---|---|
| 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.28028#XQ7N, Mixing estimate, adapted (statement)
History
- 2026-11-01: add by m2/v0.6.15
5M5E50BXN2 5M5E50BXN2
| URI | m2://inv/5M5E50BXN2 |
|---|---|
| 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 2310.11101#2O8V (statement). In YBBKTP4E70/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
folklore 5M5HYCVVGB
| URI | m2://inv/5M5HYCVVGB |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20153#IH3L, folklore (conjecture)
History
- 2026-11-02: add by m2/v0.6.18
Epps effect 5M5N44KBG4
| URI | m2://inv/5M5N44KBG4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epps effect, Epps effect (definition). Also Wikidata Q5383917
History
- 2026-11-02: add by m2/dev
5M5N8H62S1 5M5N8H62S1
| URI | m2://inv/5M5N8H62S1 |
|---|---|
| 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#ZNMW (statement). In 9B5TNEBJHV/e1, lemma 3.20
History
- 2026-10-29: add by m2/v0.4.10
Pattern Blocks 5M621TA6SB
| URI | m2://inv/5M621TA6SB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of shapes#XIOL, Pattern Blocks (definition)
History
- 2026-11-02: add by m2/dev
Properties 5M62SHJWSW
| URI | m2://inv/5M62SHJWSW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cullen number#EG1K, Properties (statement)
History
- 2026-11-02: add by m2/dev
Graham Higman 5M6A70S6J0
| URI | m2://inv/5M6A70S6J0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graham Higman, Graham Higman (topic). Also Wikidata Q979194
History
- 2026-11-02: add by m2/dev
Majorant for rung 2 5M6P35MG5J
| URI | m2://inv/5M6P35MG5J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#S2CI, Majorant for rung 2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Statement 5M6RKRCHR5
| URI | m2://inv/5M6RKRCHR5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre's theorem on affineness#IH78, Statement (statement)
History
- 2026-11-02: add by m2/dev
5M6SWYET3A 5M6SWYET3A
| URI | m2://inv/5M6SWYET3A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#99KC (statement). In 7V3HG30ZGW/e1, proposition 5.24
History
- 2026-10-27: add by m2/v0.4.0
5M6TA0N9VX 5M6TA0N9VX
| URI | m2://inv/5M6TA0N9VX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12371#92PG (statement). In 8TTFQH19QR/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Properties 5M6TXH67B7
| URI | m2://inv/5M6TXH67B7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hellinger distance#1FEH, Properties (statement)
History
- 2026-11-02: add by m2/dev
Covering system 5M6VDCHXR4
| URI | m2://inv/5M6VDCHXR4 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#HMZ8, Covering system (conjecture)
History
- 2026-11-02: add by m2/dev
Koopman-Pitman-Darmois theorem 5M6Y43DXXV
| URI | m2://inv/5M6Y43DXXV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential family#6S42, Koopman-Pitman-Darmois theorem (unknown)
History
- 2026-11-02: add by m2/dev
5M7036F6DA 5M7036F6DA
| URI | m2://inv/5M7036F6DA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24041#BNUD (statement)
History
- 2026-11-02: add by m2/v0.6.17
5M714C021V 5M714C021V
| URI | m2://inv/5M714C021V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.16241#GQY3 (definition). In WNDHZVY4WK/e1, definition A.18
History
- 2026-10-28: add by m2/v0.4.2
Examples 5M7CM05C8S
| URI | m2://inv/5M7CM05C8S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sequence number#6AVG, Examples (example)
History
- 2026-11-02: add by m2/dev
Generalization (Woodbury matrix identity) 5M7M3JHQVQ
| URI | m2://inv/5M7M3JHQVQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sherman–Morrison formula#YC6M, Generalization (Woodbury matrix identity) (statement)
History
- 2026-11-02: add by m2/dev
5M7ZZ85PGD 5M7ZZ85PGD
| URI | m2://inv/5M7ZZ85PGD |
|---|---|
| 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 2402.17852#0JXD (statement). In 1WCXV5PVZA/e1, proposition 4.5
History
- 2026-10-27: add by m2/v0.4.0
5M8HZ3226D 5M8HZ3226D
| URI | m2://inv/5M8HZ3226D |
|---|---|
| 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#RXJ3 (statement). In W9JJQYHQ7J/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
5M8ZHTB46G 5M8ZHTB46G
| URI | m2://inv/5M8ZHTB46G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21578#NOPK (statement). In 6M96RM3T7N/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.4.2
The Biot–Savart law, Ampère's circuital law, and Gauss's law for magnetism 5M935PQQPT
| URI | m2://inv/5M935PQQPT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biot–Savart law#XNUR, The Biot–Savart law, Ampère's circuital law, and Gauss's law for magnetism (statement)
History
- 2026-11-02: add by m2/dev
Indeterminate form 5M94HQJ2PY
| URI | m2://inv/5M94HQJ2PY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#XVR7, Indeterminate form (definition)
History
- 2026-11-02: add by m2/dev
5M95X9K86C 5M95X9K86C
| URI | m2://inv/5M95X9K86C |
|---|---|
| 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.26041#VYYX (statement)
History
- 2026-11-01: add by m2/v0.6.15
5M970HHPQG 5M970HHPQG
| URI | m2://inv/5M970HHPQG |
|---|---|
| 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.30237#IBLC (statement). In AC2VX701GX/e1, proposition 2.3
History
- 2026-10-31: add by m2/v0.5.6
Toroidal and poloidal coordinates 5M9CCSA3JQ
| URI | m2://inv/5M9CCSA3JQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Toroidal and poloidal coordinates, Toroidal and poloidal coordinates (definition). Also Wikidata Q7826210
History
- 2026-11-02: add by m2/dev
5M9DJCW948 5M9DJCW948
| URI | m2://inv/5M9DJCW948 |
|---|---|
| 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.26401#EAPS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Muhammad Rafique 5M9KPNC8MJ
| URI | m2://inv/5M9KPNC8MJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Muhammad Rafique (mathematician), Muhammad Rafique (topic). Also Wikidata Q94694351
History
- 2026-11-02: add by m2/dev
Lebedev quadrature 5M9Z4FVWVG
| URI | m2://inv/5M9Z4FVWVG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebedev quadrature, Lebedev quadrature (definition). Also Wikidata Q6511268
History
- 2026-11-02: add by m2/dev
Bernoulli number 5MA26FP9X0
| URI | m2://inv/5MA26FP9X0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical series#Z7I9, Bernoulli number (definition)
History
- 2026-11-02: add by m2/dev
Exact spectral interpolation 5MA3T7ZFJW
| URI | m2://inv/5MA3T7ZFJW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#0N4M, Exact spectral interpolation (statement). In 65TJENWK7X/e1, lemma 7
History
- 2026-10-29: add by m2/v0.4.10
curves with a fixed point 5MA7P8KTM8
| URI | m2://inv/5MA7P8KTM8 |
|---|---|
| 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.09298#J2V4, curves with a fixed point (statement). In 1SPQ4J3AWY/e1, proposition 5.7
History
- 2026-10-29: add by m2/v0.4.10
5MAFC9S3K1 5MAFC9S3K1
| URI | m2://inv/5MAFC9S3K1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1001.1196#UZ0P (statement). In BCB418GV9C/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
5MAMDKQS13 5MAMDKQS13
| URI | m2://inv/5MAMDKQS13 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.00465#ABOV (definition). In EKFTNPQC8D/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
5MAMGC1JQA 5MAMGC1JQA
| URI | m2://inv/5MAMGC1JQA |
|---|---|
| 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#COVU (statement). In 2KME4YY99M/e1, lemma 8
History
- 2026-10-28: add by m2/v0.4.3
5MAR0Y0QNP 5MAR0Y0QNP
| URI | m2://inv/5MAR0Y0QNP |
|---|---|
| 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.18847#DUOA (statement). In DZ12XTTJSM/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Hialeah 5MAYQJZS87
| URI | m2://inv/5MAYQJZS87 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of U.S. communities with Hispanic-majority populations in the 2000 census#U9MA, Hialeah (unknown)
History
- 2026-11-02: add by m2/dev
stella octangula number 5MB2WGKJ08
| URI | m2://inv/5MB2WGKJ08 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3879425, stella octangula number (unknown). Also MathWorld StellaOctangulaNumber, OEIS A007588
- wikipedia: Wikipedia Stella octangula number, Stella octangula number (definition). Also Wikidata Q3879425
History
- 2026-10-26: add by m2/dev
5MB783Y4R0 5MB783Y4R0
| URI | m2://inv/5MB783Y4R0 |
|---|---|
| Kind | example |
| 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.02852#GAOE (example). In HX6FXCYGKA/e1, example 5.1
History
- 2026-10-29: add by m2/v0.4.12
5MBAYVJYK0 5MBAYVJYK0
| URI | m2://inv/5MBAYVJYK0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#EJTX (example)
History
- 2026-11-02: add by m2/v0.6.18
exact functor 5MBCCJ3JT9
| URI | m2://inv/5MBCCJ3JT9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Exact functor S1G61TDW0K |
Mentions
- wikidata: Wikidata Q381725, exact functor (definition). Also nLab exact functor, ProofWiki Definition:Left_Exact_Functor
- wikipedia: Wikipedia Exact functor, Exact functor (definition). Also Wikidata Q381725
History
- 2026-10-26: add by m2/dev
5MBEMEQ5MA 5MBEMEQ5MA
| URI | m2://inv/5MBEMEQ5MA |
|---|---|
| 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 2610.18620#VS0X (statement). In 6WJ0R9YEBR/e1, proposition 3.9
History
- 2026-10-28: add by m2/v0.4.2
Expansion 1.8b 5MBFXD7WVM
| URI | m2://inv/5MBFXD7WVM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08500#KQKC, Expansion 1.8b (statement). In ZPCYW4N0EH/e1, lemma 4.12
History
- 2026-10-29: add by m2/v0.4.10
joint denial 5MC0S1V35J
| URI | m2://inv/5MC0S1V35J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#W6BD, joint denial (definition)
History
- 2026-11-02: add by m2/dev
A posteriori estimate from the truncation boundary 5MCAQ69RVA
| URI | m2://inv/5MCAQ69RVA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 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.26066#NHKM, A posteriori estimate from the truncation boundary (statement)
History
- 2026-11-01: add by m2/v0.6.15
Regression control chart 5MCGMZEYND
| URI | m2://inv/5MCGMZEYND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#BRM1, Regression control chart (definition)
History
- 2026-11-02: add by m2/dev
Interval arithmetic 5MCNZTCVTM
| URI | m2://inv/5MCNZTCVTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#I1MO, Interval arithmetic (definition)
History
- 2026-11-02: add by m2/dev
5MCSMC3ZV0 5MCSMC3ZV0
| URI | m2://inv/5MCSMC3ZV0 |
|---|---|
| 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 2609.31126#ZBUL (definition). In GK1V5GEHTK/e1, definition 2.17
History
- 2026-10-31: add by m2/v0.5.6
5MCTA0MV2M 5MCTA0MV2M
| URI | m2://inv/5MCTA0MV2M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21231#EFCG (statement). In 4RH9PS7MN1/e1, lemma 1
History
- 2026-10-27: add by m2/v0.4.2
set theory 5MCV2BT35Y
| URI | m2://inv/5MCV2BT35Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.9/set-theory, set theory (concept). In E59CDZA4DP, index, section 11.9
History
- 2026-11-01: add by m2/v0.6.13
Putnam 2014 5MCZGBZRZ9
| URI | m2://inv/5MCZGBZRZ9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/inner-form.tex#problem-3, Putnam 2014 (exercise). In RZP28ERRZV, problem, section 60.5
History
- 2026-11-01: add by m2/v0.6.13
Discrete series representation 5MD1ZE6GAA
| URI | m2://inv/5MD1ZE6GAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of long mathematical proofs#L7ZL, Discrete series representation (definition)
History
- 2026-11-02: add by m2/dev
instantaneous velocity 5MD463YBCN
| URI | m2://inv/5MD463YBCN |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/1.2.3/instantaneous-velocity, instantaneous velocity (concept). In 907G4C4EJ1, index, section 1.2.3
History
- 2026-11-01: add by m2/v0.6.13
Holyhedron 5MDA23ZRNN
| URI | m2://inv/5MDA23ZRNN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#MBON, Holyhedron (definition)
History
- 2026-11-02: add by m2/dev
Examples 5MDAFTDJGS
| URI | m2://inv/5MDAFTDJGS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric quotient#VLBU, Examples (example)
History
- 2026-11-02: add by m2/dev
5MDC0DPJYK 5MDC0DPJYK
| URI | m2://inv/5MDC0DPJYK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19455#V8ZR (statement). In CBF6TQS4DW/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Intersection (set theory) 5MDK9S4ZD9
| URI | m2://inv/5MDK9S4ZD9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#USK1, Intersection (set theory) (definition)
History
- 2026-11-02: add by m2/dev
5MDKEAX6BR 5MDKEAX6BR
| URI | m2://inv/5MDKEAX6BR |
|---|---|
| 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 2403.01959#43Q6 (statement). In 5YMNGJRC6Y/e1, proposition 2.1
History
- 2026-10-27: add by m2/v0.3.5
John Campbell 5MDNPGYG33
| URI | m2://inv/5MDNPGYG33 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#8RHY, John Campbell (unknown)
History
- 2026-11-02: add by m2/dev
5MDS7H2NFS 5MDS7H2NFS
| URI | m2://inv/5MDS7H2NFS |
|---|---|
| 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.40023#J3IX (statement). In JW9ARS9AQE/e1, corollary 4.11
History
- 2026-10-30: add by m2/v0.4.12
5MDXS9A2ZT 5MDXS9A2ZT
| URI | m2://inv/5MDXS9A2ZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30579#M8KN (statement). In FDYZFDHZH9/e1, proposition 2.18
History
- 2026-10-31: add by m2/v0.5.6
5ME2FDAB6E 5ME2FDAB6E
| URI | m2://inv/5ME2FDAB6E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18246#VMX8 (statement). In SN6F0MPPVF/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
Nguyễn Đình Ngọc 5ME6BW7QYC
| URI | m2://inv/5ME6BW7QYC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nguyễn Đình Ngọc, Nguyễn Đình Ngọc (topic). Also Wikidata Q10800113
History
- 2026-11-02: add by m2/dev
Applications 5MECYX06R9
| URI | m2://inv/5MECYX06R9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mahalanobis distance#096D, Applications (example)
History
- 2026-11-02: add by m2/dev
5MEDG3MFX2 5MEDG3MFX2
| URI | m2://inv/5MEDG3MFX2 |
|---|---|
| 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.38772#W70F (statement). In 1C3R5NAQAP/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Pseudo-rotation $\Rightarrow$ uniruledness 5MEQ8DN71Y
| URI | m2://inv/5MEQ8DN71Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2607.25960#CQKT, Pseudo-rotation $\Rightarrow$ uniruledness (statement). In 13GSWBXPCM/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.5
5MEWHRQKCN 5MEWHRQKCN
| URI | m2://inv/5MEWHRQKCN |
|---|---|
| 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.23004#ET4E (statement)
History
- 2026-11-02: add by m2/v0.6.17
assumption 5MF12TXF7D
| URI | m2://inv/5MF12TXF7D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.1/assumption, assumption (concept). In N54F33XE07, index, section A.1
History
- 2026-11-01: add by m2/v0.6.13
Structural estimation 5MF1XMYSW5
| URI | m2://inv/5MF1XMYSW5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#TF51, Structural estimation (definition)
History
- 2026-11-02: add by m2/dev
Certified residual classification 5MF4SDSFPH
| URI | m2://inv/5MF4SDSFPH |
|---|---|
| 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.21388#X5BC, Certified residual classification (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples 5MF6G5TWZ8
| URI | m2://inv/5MF6G5TWZ8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-dimensional conformal field theory#RT2Z, Examples (example)
History
- 2026-11-02: add by m2/dev
kernel, pair 5MF6ZY2DVS
| URI | m2://inv/5MF6ZY2DVS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.2/kernel-pair, kernel, pair (concept). In N54F33XE07, index, section B.3.2
History
- 2026-11-01: add by m2/v0.6.13
localization of inductive cover 5MFDA8C12Y
| URI | m2://inv/5MFDA8C12Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/localization-of-inductive-cover, localization of inductive cover (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Weighted KL divergence 5MFKAA29Z7
| URI | m2://inv/5MFKAA29Z7 |
|---|---|
| Kind | definition |
| 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.38025#M342, Weighted KL divergence (definition). In B7CAM06Q77/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
5MFKPPMNFJ 5MFKPPMNFJ
| URI | m2://inv/5MFKPPMNFJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.13401#3H7M (statement). In B8MJT0GGW8/e1, proposition 3.12
History
- 2026-10-27: add by m2/v0.4.0
Completely normal Hausdorff 5MGE3GR4SN
| URI | m2://inv/5MGE3GR4SN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#GYT0, Completely normal Hausdorff (definition)
History
- 2026-11-02: add by m2/dev
Leticia Corral 5MGQQQ3T12
| URI | m2://inv/5MGQQQ3T12 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leticia Corral, Leticia Corral (topic). Also Wikidata Q26251363
History
- 2026-11-02: add by m2/dev
Minlos–Sasonov theorem 5MGTWNJJMS
| URI | m2://inv/5MGTWNJJMS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measure theory in topological vector spaces#2AGO, Minlos–Sasonov theorem (statement)
History
- 2026-11-02: add by m2/dev
Computation 5MGXXEC3GZ
| URI | m2://inv/5MGXXEC3GZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Expected value of sample information#ZMK5, Computation (definition)
History
- 2026-11-02: add by m2/dev
5MH0B30JN9 5MH0B30JN9
| URI | m2://inv/5MH0B30JN9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_addtops-genfun.ptx#example-6 (example). In Y91XFCEVHQ, example, section 6.1.4
History
- 2026-11-01: add by m2/v0.6.13
5MH2FM2DC2 5MH2FM2DC2
| URI | m2://inv/5MH2FM2DC2 |
|---|---|
| Kind | definition |
| 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 2112.05010#HT91 (definition). In 4SZNPS3Z00/e1, definition
History
- 2026-10-27: add by m2/v0.3.6
Vera Traub 5MH3QAPZ0Q
| URI | m2://inv/5MH3QAPZ0Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vera Traub, Vera Traub (topic). Also Wikidata Q102112298
History
- 2026-11-02: add by m2/dev
Hexadecimal 5MH4Y9YP7M
| URI | m2://inv/5MH4Y9YP7M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numeral system topics#G0IF, Hexadecimal (definition)
History
- 2026-11-02: add by m2/dev
Hereditary Harrop formula 5MH643GBJX
| URI | m2://inv/5MH643GBJX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harrop formula#PRI0, Hereditary Harrop formula (unknown)
History
- 2026-11-02: add by m2/dev
5MH9KWH7RR 5MH9KWH7RR
| URI | m2://inv/5MH9KWH7RR |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#proof-10 (proof). In RZP28ERRZV, proof, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
group, abelian 5MHBC75K2M
| URI | m2://inv/5MHBC75K2M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.11/group-abelian, group, abelian (concept). In N54F33XE07, index, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
DF-space 5MHDRS9WW1
| URI | m2://inv/5MHDRS9WW1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DF-space, DF-space (definition). Also Wikidata Q16635008
History
- 2026-11-02: add by m2/dev
5MHQHM5H1M 5MHQHM5H1M
| URI | m2://inv/5MHQHM5H1M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2512.08487#VDW2 (definition). In 77TVQVYN0Z/e1, definition Definition
History
- 2026-10-27: add by m2/v0.3.6
5MHQMJFYXP 5MHQMJFYXP
| URI | m2://inv/5MHQMJFYXP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13734#D6WY (statement). In XB23QP7GK9/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
5MHR4759NT 5MHR4759NT
| URI | m2://inv/5MHR4759NT |
|---|---|
| Kind | example |
| 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 2210.16706#BMXZ (example). In JSRVKPT87E/e1, example
History
- 2026-10-27: add by m2/v0.4.0
5MHWC2DMB5 5MHWC2DMB5
| URI | m2://inv/5MHWC2DMB5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20153#6MK0 (statement). In EYB107TM4Q/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.4.2
Applications 5MHXDV47B8
| URI | m2://inv/5MHXDV47B8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential inclusion#VV6V, Applications (example)
History
- 2026-11-02: add by m2/dev
5MJ0Z99KTV 5MJ0Z99KTV
| URI | m2://inv/5MJ0Z99KTV |
|---|---|
| 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.14154#ZYVD (statement). In 8X6PXX2TRA/e1, corollary 8.3
History
- 2026-10-28: add by m2/v0.4.2
SLATEC 5MJ133TSCD
| URI | m2://inv/5MJ133TSCD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#NMRS, SLATEC (unknown)
History
- 2026-11-02: add by m2/dev
\textbf{Solutions of} $kJ=N$ 5MJ3WYH36H
| URI | m2://inv/5MJ3WYH36H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 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.14266#C26C, \textbf{Solutions of} $kJ=N$ (statement). In 7R33E8515R/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Oblique reflection 5MJ4CCBYY4
| URI | m2://inv/5MJ4CCBYY4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oblique reflection, Oblique reflection (definition). Also Wikidata Q7075179
History
- 2026-11-02: add by m2/dev
5MJ5ATCZP6 5MJ5ATCZP6
| URI | m2://inv/5MJ5ATCZP6 |
|---|---|
| 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.20126#ZSKA (statement). In KVXDWX9B11/e1, corollary 2.1
History
- 2026-10-27: add by m2/v0.4.2
5MJ7KGHWKS 5MJ7KGHWKS
| URI | m2://inv/5MJ7KGHWKS |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19882#FUFD (problem)
History
- 2026-11-02: add by m2/v0.6.18
5MJ9M22CNE 5MJ9M22CNE
| URI | m2://inv/5MJ9M22CNE |
|---|---|
| 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.10525#GBQO (statement). In N3K26VPX0R/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Transect 5MJDNX526G
| URI | m2://inv/5MJDNX526G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3ZIV, Transect (definition)
History
- 2026-11-02: add by m2/dev
Properties 5MJF359X4C
| URI | m2://inv/5MJF359X4C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Base-orderable matroid#O6RM, Properties (statement)
History
- 2026-11-02: add by m2/dev
5MJG1T4MMC 5MJG1T4MMC
| URI | m2://inv/5MJG1T4MMC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-5.xml#activity-2 (exercise). In 649HGZKE96, activity, section 2.5.3
History
- 2026-11-01: add by m2/v0.6.13
Euler Mathematical Toolbox 5MJK7NVT86
| URI | m2://inv/5MJK7NVT86 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#I9Q4, Euler Mathematical Toolbox (unknown)
History
- 2026-11-02: add by m2/dev
Definition 5MJS8EE6WB
| URI | m2://inv/5MJS8EE6WB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Open book decomposition#AY9Z, Definition (definition)
History
- 2026-11-02: add by m2/dev
Hartogs's extension theorem 5MK1H62N1P
| URI | m2://inv/5MK1H62N1P |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 32-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q383238, Hartogs's extension theorem (statement). Also Wikidata Q383238
- thousand_plus: thousand_plus Q383238, Hartogs's extension theorem (statement). Also Wikidata Q383238, Wikipedia Hartogs's extension theorem
- wikipedia: Wikipedia Hartogs's extension theorem, Hartogs's extension theorem (statement). Also Wikidata Q383238
History
- 2026-10-26: add by m2/dev
Examples 5MK5YJ5E55
| URI | m2://inv/5MK5YJ5E55 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Straight-line program#BVVK, Examples (example)
History
- 2026-11-02: add by m2/dev
Proof of authority 5MK9B50F16
| URI | m2://inv/5MK9B50F16 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of authority, Proof of authority (definition). Also Wikidata Q48804055
History
- 2026-11-02: add by m2/dev
Six-vertex tree counterexample 5MKDW3JWZJ
| URI | m2://inv/5MKDW3JWZJ |
|---|---|
| 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.10993#8S9O, Six-vertex tree counterexample (statement). In 1JCPN0K7DB/e1, proposition 5.12
History
- 2026-10-28: add by m2/v0.4.3
5MKJYDVV29 5MKJYDVV29
| URI | m2://inv/5MKJYDVV29 |
|---|---|
| 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 alg-geom/9506022#8N6N (statement). In AQGEM4XAKD/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Edge congruence 5MKMKWV65X
| URI | m2://inv/5MKMKWV65X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14582#X9P0, Edge congruence (statement). In 6XP6PD2XZA/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Asteroseismology 5MKPYFF5S3
| URI | m2://inv/5MKPYFF5S3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asteroseismology, Asteroseismology (topic). Also Wikidata Q94529
History
- 2026-11-02: add by m2/dev
5MKT47HFBA 5MKT47HFBA
| URI | m2://inv/5MKT47HFBA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15720#4XF3 (statement). In VNN52G3BRE/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
5MKVXKNQ64 5MKVXKNQ64
| URI | m2://inv/5MKVXKNQ64 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/randvar.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 69.1
History
- 2026-11-01: add by m2/v0.6.13
Conversational scoreboard 5MKW64D6VR
| URI | m2://inv/5MKW64D6VR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conversational scoreboard, Conversational scoreboard (definition). Also Wikidata Q108314590
History
- 2026-11-02: add by m2/dev
5MM4JESYHE 5MM4JESYHE
| URI | m2://inv/5MM4JESYHE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23469#NZR0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
5MM6KGVN72 5MM6KGVN72
| URI | m2://inv/5MM6KGVN72 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25111#AOOG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example 5MM7KE1V2W
| URI | m2://inv/5MM7KE1V2W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Utilitarian cake-cutting#C1S4, Example (example)
History
- 2026-11-02: add by m2/dev
5MM88WKYF2 5MM88WKYF2
| URI | m2://inv/5MM88WKYF2 |
|---|---|
| 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.21762#V2S0 (statement). In CYDJ6JGD4A/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.2
MMSE proximal potential 5MMCX03MPB
| URI | m2://inv/5MMCX03MPB |
|---|---|
| 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.32393#7BW6, MMSE proximal potential (statement). In F4816HC2JH/e1, lemma A.1
History
- 2026-10-31: add by m2/v0.5.6
Consistency strength 5MMMS6C8SS
| URI | m2://inv/5MMMS6C8SS |
|---|---|
| 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.14548#UN3W, Consistency strength (statement). In TTNKABAYVB/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Charles Sims 5MMSK8WXYY
| URI | m2://inv/5MMSK8WXYY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#LYPJ, Charles Sims (topic)
History
- 2026-11-02: add by m2/dev
Applications 5MMTTBT1AN
| URI | m2://inv/5MMTTBT1AN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar Riemann surface#NILE, Applications (example)
History
- 2026-11-02: add by m2/dev
Pechenik--Speyer--Weigandt 5MN0F2G90D
| URI | m2://inv/5MN0F2G90D |
|---|---|
| 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 2609.30675#NIDV, Pechenik--Speyer--Weigandt (statement). In RQ0K0A6PQA/e1, theorem 5.2
History
- 2026-10-31: add by m2/v0.5.6
Epidemiology 5MN16Q9R25
| URI | m2://inv/5MN16Q9R25 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics#XNXF, Epidemiology (topic)
History
- 2026-11-02: add by m2/dev
5MN3SK85NE 5MN3SK85NE
| URI | m2://inv/5MN3SK85NE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-25 (proof). In N54F33XE07, proof, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
Clique problem 5MNNKHPDWQ
| URI | m2://inv/5MNNKHPDWQ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#KI29, Clique problem (problem)
- wikipedia: Wikipedia List of computability and complexity topics#M15E, Clique problem (problem)
History
- 2026-11-02: add by m2/dev
Exact quadratic norm correction 5MNPXKJMGS
| URI | m2://inv/5MNPXKJMGS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#2J09, Exact quadratic norm correction (statement). In 5BZQS1KY9A/e1, lemma 9.17
History
- 2026-10-29: add by m2/v0.4.10
Laurent Clozel 5MNVE3G4WZ
| URI | m2://inv/5MNVE3G4WZ |
|---|---|
| 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#BFUA, Laurent Clozel (topic)
History
- 2026-11-02: add by m2/dev
5MP4G6E1J8 5MP4G6E1J8
| URI | m2://inv/5MP4G6E1J8 |
|---|---|
| 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.29918#J7CM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Irrational base discrete weighted transform 5MP5D1D9N7
| URI | m2://inv/5MP5D1D9N7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irrational base discrete weighted transform, Irrational base discrete weighted transform (definition). Also Wikidata Q6073530
History
- 2026-11-02: add by m2/dev
Riemannian gradient and Hessian 5MP5G73YF6
| URI | m2://inv/5MP5G73YF6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#BC9S, Riemannian gradient and Hessian (definition). In XNJGNMS6H0/e1, definition B.11
History
- 2026-10-28: add by m2/v0.4.2
5MP902A25A 5MP902A25A
| URI | m2://inv/5MP902A25A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24206#YVO2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Chalmers, George 5MPEXTWHCG
| URI | m2://inv/5MPEXTWHCG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#TG0R, Chalmers, George (unknown)
History
- 2026-11-02: add by m2/dev
Concentration of IMPL 5MPFSCV3TR
| URI | m2://inv/5MPFSCV3TR |
|---|---|
| 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.22752#1DE3, Concentration of IMPL (statement)
History
- 2026-11-02: add by m2/v0.6.17
5MPKCVBJXC 5MPKCVBJXC
| URI | m2://inv/5MPKCVBJXC |
|---|---|
| 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 2512.07340#BBOT (statement). In WXE3PVAZBT/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
Localized comparison with a shifted scalar index 5MPSPCVYN3
| URI | m2://inv/5MPSPCVYN3 |
|---|---|
| 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 2609.32001#CPIN, Localized comparison with a shifted scalar index (statement). In 5FZGDECW2R/e1, proposition 4.2
History
- 2026-10-31: add by m2/v0.5.6
921 (number) 5MQ8JNX0GN
| URI | m2://inv/5MQ8JNX0GN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 900 (number)#CS8L, 921 (number) (unknown)
History
- 2026-11-02: add by m2/dev
sigma model 5MQG7JY022
| URI | m2://inv/5MQG7JY022 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7512415, sigma model (unknown). Also nLab sigma-model
History
- 2026-10-26: add by m2/dev
Construction 5MQNDWEP94
| URI | m2://inv/5MQNDWEP94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Great duoantiprism#069D, Construction (definition)
History
- 2026-11-02: add by m2/dev
5MQT1PXSYG 5MQT1PXSYG
| URI | m2://inv/5MQT1PXSYG |
|---|---|
| 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.17579#NG91 (statement). In 1H021CTR3A/e1, theorem
History
- 2026-10-28: add by m2/v0.4.2
5MQTTJ73BB 5MQTTJ73BB
| URI | m2://inv/5MQTTJ73BB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-33 (statement). In VNMV985MXX, thm, section B
History
- 2026-11-01: add by m2/v0.6.13
5MQVFA5M1G 5MQVFA5M1G
| URI | m2://inv/5MQVFA5M1G |
|---|---|
| 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.20466#JF26 (statement). In M4ZVJWM8YA/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.4.2
Sagan's number 5MQX9XDYM6
| URI | m2://inv/5MQX9XDYM6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of scientific constants named after people#MN14, Sagan's number (unknown)
History
- 2026-11-02: add by m2/dev
Hauptvermutung 5MR446RZWP
| URI | m2://inv/5MR446RZWP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#UO98, Hauptvermutung (definition)
History
- 2026-11-02: add by m2/dev
digon 5MRH2580EB
| URI | m2://inv/5MRH2580EB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#YIRG, digon (definition)
History
- 2026-11-02: add by m2/dev
5MRP6X2RS3 5MRP6X2RS3
| URI | m2://inv/5MRP6X2RS3 |
|---|---|
| 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.15291#6752 (statement). In YVS8268AG8/e1, lemma 6.2
History
- 2026-10-28: add by m2/v0.4.2
Underprivileged area score 5MS1KVCK9F
| URI | m2://inv/5MS1KVCK9F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3ZAH, Underprivileged area score (definition)
History
- 2026-11-02: add by m2/dev
5MS5K3E020 5MS5K3E020
| URI | m2://inv/5MS5K3E020 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07673#QPU1 (example). In 37B1MPV8GX/e1, example 9.3
History
- 2026-10-29: add by m2/v0.4.10
Consequence of Allard regularity - Density gap 5MS9N1XQWF
| URI | m2://inv/5MS9N1XQWF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04833#KVOJ, Consequence of Allard regularity - Density gap (statement). In AKB3CNDA0F/e1, proposition 3.23
History
- 2026-10-29: add by m2/v0.4.12
Pigeonhole principle 5MSBKQN83D
| URI | m2://inv/5MSBKQN83D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Peter Gustav Lejeune Dirichlet#Z6Y1, Pigeonhole principle (statement)
History
- 2026-11-02: add by m2/dev
5MSCQ9DV1M 5MSCQ9DV1M
| URI | m2://inv/5MSCQ9DV1M |
|---|---|
| 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 2108.09548#Z8DK (statement). In 6D6C14KFGJ/e1, proposition 3.7
History
- 2026-10-27: add by m2/v0.4.0
5MSF3RTYP2 5MSF3RTYP2
| URI | m2://inv/5MSF3RTYP2 |
|---|---|
| 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.18270#745Q (statement). In CPDMYJ0NJV/e1, lemma 8.1
History
- 2026-10-28: add by m2/v0.4.2
cover 5MSF4EG2TJ
| URI | m2://inv/5MSF4EG2TJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#AIY5, cover (definition)
History
- 2026-11-02: add by m2/dev
5MSG0Y08A5 5MSG0Y08A5
| URI | m2://inv/5MSG0Y08A5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-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.10377#W6WY (statement). In 6HP7BR9WZM/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Diagonal 5MSK64VK10
| URI | m2://inv/5MSK64VK10 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diagonal, Diagonal (object). Also Wikidata Q189791
History
- 2026-11-02: add by m2/dev
Normal bundles 5MSKDS7RNR
| URI | m2://inv/5MSKDS7RNR |
|---|---|
| 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.01731#11LR, Normal bundles (statement). In 3TJ2FWXQ0D/e1, fact 2.7
History
- 2026-10-29: add by m2/v0.4.12
Definition 5MT2KR5GDR
| URI | m2://inv/5MT2KR5GDR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital signature#2WY4, Definition (definition)
History
- 2026-11-02: add by m2/dev
scalar field 5MT82HMDYX
| URI | m2://inv/5MT82HMDYX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q193460, scalar field (unknown). Also MathWorld ScalarField, nLab scalar field
- wikipedia: Wikipedia Scalar field, Scalar field (definition). Also Wikidata Q193460
History
- 2026-10-26: add by m2/dev
Paula Diehr 5MTC7B8EVK
| URI | m2://inv/5MTC7B8EVK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#PYL9, Paula Diehr (topic)
History
- 2026-11-02: add by m2/dev
Tsallis q-Gaussian 5MTH95R2DR
| URI | m2://inv/5MTH95R2DR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of q-analogs#32MV, Tsallis q-Gaussian (definition)
History
- 2026-11-02: add by m2/dev
Tobin, James 5MTJKB9Y89
| URI | m2://inv/5MTJKB9Y89 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#H7OY, Tobin, James (unknown)
History
- 2026-11-02: add by m2/dev
Java Secure Socket Extension 5MTNQ7JAP6
| URI | m2://inv/5MTNQ7JAP6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Java Secure Socket Extension, Java Secure Socket Extension (definition). Also Wikidata Q1041302
History
- 2026-11-02: add by m2/dev
Jean-Yves Girard 5MTSYFTB8R
| URI | m2://inv/5MTSYFTB8R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Yves Girard, Jean-Yves Girard (topic). Also Wikidata Q3087821
History
- 2026-11-02: add by m2/dev
5MTTWNFDV3 5MTTWNFDV3
| URI | m2://inv/5MTTWNFDV3 |
|---|---|
| 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.15405#RUCC (statement). In 9QCYCXVF5W/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
5MTW1WNB5K 5MTW1WNB5K
| URI | m2://inv/5MTW1WNB5K |
|---|---|
| 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 2609.33050#8NVV (definition). In VDSBMQ0G9W/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
5MTY0V41BN 5MTY0V41BN
| URI | m2://inv/5MTY0V41BN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#exercise-4 (exercise). In E59CDZA4DP, exercise, section 2.1.5
History
- 2026-11-01: add by m2/v0.6.13
Pollard's rho algorithm 5MTZ0702SJ
| URI | m2://inv/5MTZ0702SJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#2DNI, Pollard's rho algorithm (definition)
History
- 2026-11-02: add by m2/dev
bounded, quantifier 5MV6EG111M
| URI | m2://inv/5MV6EG111M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/bounded-quantifier, bounded, quantifier (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
5MVFH1K8ED 5MVFH1K8ED
| URI | m2://inv/5MVFH1K8ED |
|---|---|
| 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.17883#9DHZ (statement). In 9WSJV2WY2S/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
5MVSMN1CCE 5MVSMN1CCE
| URI | m2://inv/5MVSMN1CCE |
|---|---|
| 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.01251#WH1O (statement). In CZ2247RGQ4/e1, lemma 3.1.1
History
- 2026-10-29: add by m2/v0.4.12
Phase response curve 5MVY7WS171
| URI | m2://inv/5MVY7WS171 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase response curve, Phase response curve (definition). Also Wikidata Q7180960
History
- 2026-11-02: add by m2/dev
5MW2AMKFH6 5MW2AMKFH6
| URI | m2://inv/5MW2AMKFH6 |
|---|---|
| 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.36313#BI4W (statement). In Z5SP3NW41S/e1, corollary 3.13
History
- 2026-10-30: add by m2/v0.4.12
Ordered and cutoff-monotone levels 5MW2H6EMXK
| URI | m2://inv/5MW2H6EMXK |
|---|---|
| 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.08821#MPTG, Ordered and cutoff-monotone levels (statement). In KP1THB2C09/e1, corollary 2.10
History
- 2026-10-29: add by m2/v0.4.10
Interior and exterior regions 5MW3WKCN61
| URI | m2://inv/5MW3WKCN61 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03126#3O1P, Interior and exterior regions (definition). In ZJ6VQCRDVR/e1, definition 18
History
- 2026-10-29: add by m2/v0.4.12
polygamma function 5MW4R63ZJ4
| URI | m2://inv/5MW4R63ZJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Polygamma function 3J3QGKPMZQ |
Mentions
- wikidata: Wikidata Q857956, polygamma function (unknown). Also MathWorld PolygammaFunction
- wikipedia: Wikipedia Polygamma function, Polygamma function (definition). Also Wikidata Q857956
History
- 2026-10-26: add by m2/dev
5MW64ZD49C 5MW64ZD49C
| URI | m2://inv/5MW64ZD49C |
|---|---|
| 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 2011.08789#9W2A (statement). In 43AGRMP7T3/e1, proposition 2.13
History
- 2026-10-27: add by m2/v0.3.5
5MW7S5K63Q 5MW7S5K63Q
| URI | m2://inv/5MW7S5K63Q |
|---|---|
| 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 2510.12502#CO6T (statement). In 3A4K47Y9F2/e1, theorem 4.29
History
- 2026-10-27: add by m2/v0.4.0
electron cloud 5MWCJFGJB0
| URI | m2://inv/5MWCJFGJB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3240910, electron cloud (definition). Also ProofWiki Definition:Electron_Cloud
History
- 2026-10-26: add by m2/dev
5MWH1VX42R 5MWH1VX42R
| URI | m2://inv/5MWH1VX42R |
|---|---|
| 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.16731#8LH0 (statement). In D68KBZQ4Q6/e1, theorem 4.9
History
- 2026-10-28: add by m2/v0.4.2
5MWJ2ZP5HZ 5MWJ2ZP5HZ
| URI | m2://inv/5MWJ2ZP5HZ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 17-XX, 53-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv hep-th/9409063#A2PO (unknown). In 145ETYF9CG/e1, unknown 10
History
- 2026-10-27: add by m2/v0.3.5
5MWJDFJTBS 5MWJDFJTBS
| URI | m2://inv/5MWJDFJTBS |
|---|---|
| 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.10840#KK1U (statement). In JSJQEPY71E/e1, lemma B.4
History
- 2026-10-28: add by m2/v0.4.3
Judy L. Walker 5MWSX903WG
| URI | m2://inv/5MWSX903WG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Judy L. Walker, Judy L. Walker (topic). Also Wikidata Q18719247
History
- 2026-11-02: add by m2/dev
5MWTV2Q2Z6 5MWTV2Q2Z6
| URI | m2://inv/5MWTV2Q2Z6 |
|---|---|
| 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.18252#FACT (statement). In PSQ3CNVK2D/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.2
Jang-Mei Wu 5MWX7B3G7F
| URI | m2://inv/5MWX7B3G7F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Taiwanese mathematicians#VTBP, Jang-Mei Wu (unknown)
History
- 2026-11-02: add by m2/dev
Franco of Liège 5MX0K6SHQ7
| URI | m2://inv/5MX0K6SHQ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Franco of Liège, Franco of Liège (topic). Also Wikidata Q1442683
History
- 2026-11-02: add by m2/dev
prefix sum 5MX3P4W2B2
| URI | m2://inv/5MX3P4W2B2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7239858, prefix sum (unknown). Also MathWorld CumulativeSum
History
- 2026-10-26: add by m2/dev
5MX7ZQVDQQ 5MX7ZQVDQQ
| URI | m2://inv/5MX7ZQVDQQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10881#07ZF (statement). In DC01XRB5YE/e1, lemma 18
History
- 2026-10-28: add by m2/v0.4.3
Conventions 5MXF2V3CK0
| URI | m2://inv/5MXF2V3CK0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended Backus–Naur form#DP1A, Conventions (definition)
History
- 2026-11-02: add by m2/dev
5MXJQGBQYC 5MXJQGBQYC
| URI | m2://inv/5MXJQGBQYC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#defn-11 (definition). In VNMV985MXX, defn, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
5MY1YBRTZJ 5MY1YBRTZJ
| URI | m2://inv/5MY1YBRTZJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15517#DMDI (statement). In C87H6KZSBM/e1, proposition 1.5
History
- 2026-10-28: add by m2/v0.4.2
Multiplicativity 5MY4B3Q4YR
| URI | m2://inv/5MY4B3Q4YR |
|---|---|
| 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 2509.05577#ZBNE, Multiplicativity (statement). In EFWBREMZAP/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
Nash equilibrium of $\Gamma$ 5MYMW0KYGJ
| URI | m2://inv/5MYMW0KYGJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26265#R1UC, Nash equilibrium of $\Gamma$ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Keplerplatz 5MYN3WBDPY
| URI | m2://inv/5MYN3WBDPY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#5DA6, Keplerplatz (unknown)
History
- 2026-11-02: add by m2/dev
Discrete Sobolev Norm 5MYTF8SZYP
| URI | m2://inv/5MYTF8SZYP |
|---|---|
| Kind | definition |
| 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.16705#3NLE, Discrete Sobolev Norm (definition). In B48YQVGAF5/e1, definition 3.5
History
- 2026-10-28: add by m2/v0.4.2
5MYV3EZ63B 5MYV3EZ63B
| URI | m2://inv/5MYV3EZ63B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#example-11 (example). In VNMV985MXX, example, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
5MZ4WNNAKN 5MZ4WNNAKN
| URI | m2://inv/5MZ4WNNAKN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28742#24HP (definition)
History
- 2026-11-01: add by m2/v0.6.15
Hardy–Ramanujan Journal 5MZ8J0ZVRB
| URI | m2://inv/5MZ8J0ZVRB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#UVJV, Hardy–Ramanujan Journal (unknown)
History
- 2026-11-02: add by m2/dev
A prescribed cotype without \(\Delta_2\) at zero 5MZBQ7SE2X
| URI | m2://inv/5MZBQ7SE2X |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15504#HYUC, A prescribed cotype without \(\Delta_2\) at zero (example). In AZ8SEW6HAV/e1, example 5
History
- 2026-10-28: add by m2/v0.4.2
nonnegative matrix 5MZDW6C3QD
| URI | m2://inv/5MZDW6C3QD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Nonnegative matrix JPQCCFCY8X |
Mentions
- wikidata: Wikidata Q6961560, nonnegative matrix (unknown). Also MathWorld NonnegativeMatrix
- wikipedia: Wikipedia Nonnegative matrix, Nonnegative matrix (definition). Also Wikidata Q6961560
History
- 2026-10-26: add by m2/dev
Liner shipping network design and scheduling problem 5MZEB52NY4
| URI | m2://inv/5MZEB52NY4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liner shipping network design and scheduling problem, Liner shipping network design and scheduling problem (problem). Also Wikidata Q134413105
History
- 2026-11-02: add by m2/dev
5MZEZ79687 5MZEZ79687
| URI | m2://inv/5MZEZ79687 |
|---|---|
| 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 2610.19812#742I (statement). In ZS89RH18QM/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.2
5MZN1TWWNJ 5MZN1TWWNJ
| URI | m2://inv/5MZN1TWWNJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#GLOK (definition). In 9DQKY7KGE8/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Rape in Syria 5MZN5CC6W1
| URI | m2://inv/5MZN5CC6W1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rape statistics#4ZUW, Rape in Syria (unknown)
History
- 2026-11-02: add by m2/dev
Definition 5MZRMSS2FP
| URI | m2://inv/5MZRMSS2FP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dixon elliptic functions#IYQO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem 5MZVC3E4GC
| URI | m2://inv/5MZVC3E4GC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Splitting principle#8LEH, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Generalizations 5MZVJ8BVXF
| URI | m2://inv/5MZVJ8BVXF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bernoulli's inequality#PYJ7, Generalizations (statement)
History
- 2026-11-02: add by m2/dev