Inventory rows GR
The cards of the rows of the inventory whose ids start with GR. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Continuous module GR002QZ75W
| URI | m2://inv/GR002QZ75W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Continuous module, Continuous module (definition). Also Wikidata Q25104791
History
- 2026-11-02: add by m2/dev
Ring extensions GR01MA05RX
| URI | m2://inv/GR01MA05RX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subring#869S, Ring extensions (unknown)
History
- 2026-11-02: add by m2/dev
GR08VJSBGQ GR08VJSBGQ
| URI | m2://inv/GR08VJSBGQ |
|---|---|
| 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.16010#AWCR (statement). In AQJXKF6WZP/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Proof that e is irrational GR0D0SRZ2D
| URI | m2://inv/GR0D0SRZ2D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof that e is irrational, Proof that e is irrational (definition). Also Wikidata Q852586
History
- 2026-11-02: add by m2/dev
Overview of the weight of evidence for the law GR0JX88VJ2
| URI | m2://inv/GR0JX88VJ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First law of thermodynamics#TLX3, Overview of the weight of evidence for the law (statement)
History
- 2026-11-02: add by m2/dev
GR0NJ9WM6B GR0NJ9WM6B
| URI | m2://inv/GR0NJ9WM6B |
|---|---|
| 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.29152#K89R (statement)
History
- 2026-11-01: add by m2/v0.6.15
Omidali and Rahmati GR144TD120
| URI | m2://inv/GR144TD120 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02495#DDSW, Omidali and Rahmati (statement). In T4S7XVAJJC/e1, lemma 7.2
History
- 2026-10-29: add by m2/v0.4.12
SVAL GR15HH8FHA
| URI | m2://inv/GR15HH8FHA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24593#F5LF, SVAL (problem)
History
- 2026-11-01: add by m2/v0.6.15
\texttt{Contraction by synchronous coupling GR18C31MXH
| URI | m2://inv/GR18C31MXH |
|---|---|
| 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.06343#FFNV, \texttt{Contraction by synchronous coupling (statement). In R8176XJ535/e1, theorem 1.6
History
- 2026-10-29: add by m2/v0.4.10
GR19PRJAFA GR19PRJAFA
| URI | m2://inv/GR19PRJAFA |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02833#UGN8 (problem). In TNREX5GDK2/e1, problem 9.1
History
- 2026-10-29: add by m2/v0.4.12
GR1BPF3KNT GR1BPF3KNT
| URI | m2://inv/GR1BPF3KNT |
|---|---|
| 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.07401#N3C1 (statement). In FQ5435B36D/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
GR1BZH59XW GR1BZH59XW
| URI | m2://inv/GR1BZH59XW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section4-5.xml#definition-2 (definition). In 649HGZKE96, definition, section 4.5.3
History
- 2026-11-01: add by m2/v0.6.13
GR1XZ7G4FZ GR1XZ7G4FZ
| URI | m2://inv/GR1XZ7G4FZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#0TBT (statement). In 7V2PVZS04C/e1, lemma 5.12
History
- 2026-10-31: add by m2/v0.5.6
GR25VB02JN GR25VB02JN
| URI | m2://inv/GR25VB02JN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 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 2306.12846#K4HY (example). In D6XA7JXZF3/e1, example 4.13
History
- 2026-10-27: add by m2/v0.3.5
indiscernibility of identicals GR25XC8GB1
| URI | m2://inv/GR25XC8GB1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#EZQ7, indiscernibility of identicals (definition)
History
- 2026-11-02: add by m2/dev
Frank--Wolfe-type theorem GR26D954H9
| URI | m2://inv/GR26D954H9 |
|---|---|
| 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.01029#6OVW, Frank--Wolfe-type theorem (statement). In KA8VS65Z9G/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.12
Applications GR28FRDB7J
| URI | m2://inv/GR28FRDB7J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface area#7FL0, Applications (example)
History
- 2026-11-02: add by m2/dev
Flype GR2C81VD8J
| URI | m2://inv/GR2C81VD8J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#C927, Flype (definition)
History
- 2026-11-02: add by m2/dev
GR2FPNR54M GR2FPNR54M
| URI | m2://inv/GR2FPNR54M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2302.05529#M3T6 (statement). In 9VPMHV0M4R/e1, theorem B
History
- 2026-10-27: add by m2/v0.3.5
Burr distribution GR2VZM698G
| URI | m2://inv/GR2VZM698G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#F7E8, Burr distribution (definition)
History
- 2026-11-02: add by m2/dev
GR2ZP6P7QE GR2ZP6P7QE
| URI | m2://inv/GR2ZP6P7QE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09319#TUSD (statement). In GMRT5GHBZS/e1, proposition 2.7
History
- 2026-10-29: add by m2/v0.4.10
Sarvadaman Chowla GR32C5F5Y2
| URI | m2://inv/GR32C5F5Y2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8GP3, Sarvadaman Chowla (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Z1GK, Sarvadaman Chowla (topic)
History
- 2026-11-02: add by m2/dev
cyclic group of order 3 GR334KPEBJ
| URI | m2://inv/GR334KPEBJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q138767931, cyclic group of order 3 (statement). Also MathWorld CyclicGroupC3, ProofWiki Automorphism_Group/Examples/Cyclic_Group_C3
History
- 2026-10-26: add by m2/dev
GR3AS8K3M9 GR3AS8K3M9
| URI | m2://inv/GR3AS8K3M9 |
|---|---|
| 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.29158#QQ9G (statement)
History
- 2026-11-01: add by m2/v0.6.15
GR3E0M4J13 GR3E0M4J13
| URI | m2://inv/GR3E0M4J13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27730#Z4OI (statement)
History
- 2026-11-01: add by m2/v0.6.15
GR3HAP1VM0 GR3HAP1VM0
| URI | m2://inv/GR3HAP1VM0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18618#4LPB (statement). In C8VC86B6H8/e1, proposition 8.5
History
- 2026-10-28: add by m2/v0.4.2
Method of complements GR3KKEZ45C
| URI | m2://inv/GR3KKEZ45C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#UFX8, Method of complements (definition)
History
- 2026-11-02: add by m2/dev
Markov theorem GR3MTCXPGT
| URI | m2://inv/GR3MTCXPGT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Markov theorem 7F3QQQ63WR |
Mentions
- wikidata: Wikidata Q48971805, Markov theorem (statement). Also MathWorld MarkovsTheorem
- wikipedia: Wikipedia Markov theorem, Markov theorem (statement). Also Wikidata Q48971805
History
- 2026-10-26: add by m2/dev
Naum Meiman GR3RPA4F6F
| URI | m2://inv/GR3RPA4F6F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Naum Meiman, Naum Meiman (topic). Also Wikidata Q1985571
History
- 2026-11-02: add by m2/dev
Smoothed-particle hydrodynamics GR3T5PE1J5
| URI | m2://inv/GR3T5PE1J5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Smoothed-particle hydrodynamics, Smoothed-particle hydrodynamics (definition). Also Wikidata Q733073
History
- 2026-11-02: add by m2/dev
Alfio Quarteroni GR3V9AK1KV
| URI | m2://inv/GR3V9AK1KV |
|---|---|
| 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#RBBK, Alfio Quarteroni (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#YX5P, Alfio Quarteroni (topic)
History
- 2026-11-02: add by m2/dev
GR3XXZ27B9 GR3XXZ27B9
| URI | m2://inv/GR3XXZ27B9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/action.tex#example-2 (example). In RZP28ERRZV, example, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
David Borwein GR4521HZWT
| URI | m2://inv/GR4521HZWT |
|---|---|
| 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 Q5231569, David Borwein (unknown). Also ProofWiki Mathematician:David_Borwein
- wikipedia: Wikipedia David Borwein, David Borwein (topic). Also Wikidata Q5231569
History
- 2026-10-26: add by m2/dev
GR47WCT80P GR47WCT80P
| URI | m2://inv/GR47WCT80P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2602.15812#TDAY (statement). In GAAZD3SGPN/e1, corollary
History
- 2026-10-27: add by m2/v0.3.5
GR4AYGB7ZC GR4AYGB7ZC
| URI | m2://inv/GR4AYGB7ZC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18503#4949 (statement). In RW315W172S/e1, proposition 3.4
History
- 2026-10-28: add by m2/v0.4.2
GR4HH8G86E GR4HH8G86E
| URI | m2://inv/GR4HH8G86E |
|---|---|
| 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.16554#4W2C (statement). In GWNT8HEZG1/e1, proposition 2.3
History
- 2026-10-27: add by m2/v0.3.6
GR4JZKBK3C GR4JZKBK3C
| URI | m2://inv/GR4JZKBK3C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.13401#WFVR (definition). In B8MJT0GGW8/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.4.0
GR4R4C787F GR4R4C787F
| URI | m2://inv/GR4R4C787F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1709.04968#XIOV (statement). In BEX59Q3DE4/e1, theorem 3.4
History
- 2026-10-27: add by m2/v0.3.5
GR4V7A771N GR4V7A771N
| URI | m2://inv/GR4V7A771N |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/intuitionistic-logic/semantics/propositions.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 32.4
History
- 2026-11-01: add by m2/v0.6.13
Tang Shunzhi GR4VG0JDYM
| URI | m2://inv/GR4VG0JDYM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tang Shunzhi, Tang Shunzhi (topic). Also Wikidata Q10923051
History
- 2026-11-02: add by m2/dev
Examples GR4YBPPNBX
| URI | m2://inv/GR4YBPPNBX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Factorial number system#9D4S, Examples (example)
History
- 2026-11-02: add by m2/dev
Gal's accurate tables GR51310TX0
| URI | m2://inv/GR51310TX0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#KIJU, Gal's accurate tables (unknown)
History
- 2026-11-02: add by m2/dev
Bletchley Park GR51EZZAYV
| URI | m2://inv/GR51EZZAYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bletchley Park, Bletchley Park (definition). Also Wikidata Q155921
History
- 2026-11-02: add by m2/dev
Rolle's theorem GR59TT5S4T
| URI | m2://inv/GR59TT5S4T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential calculus#IG6C, Rolle's theorem (statement)
History
- 2026-11-02: add by m2/dev
GR5B5YRNX9 GR5B5YRNX9
| URI | m2://inv/GR5B5YRNX9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13213#SKIW (definition). In V97F4YZ8B0/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Robinson–Schensted correspondence GR5FBB6YTE
| URI | m2://inv/GR5FBB6YTE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#PJ29, Robinson–Schensted correspondence (definition)
History
- 2026-11-02: add by m2/dev
Complete Binary Tree GR5KR427XF
| URI | m2://inv/GR5KR427XF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binary tree#5MIG, Complete Binary Tree (unknown)
History
- 2026-11-02: add by m2/dev
GR5PHAMHD6 GR5PHAMHD6
| URI | m2://inv/GR5PHAMHD6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 37-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31883#ULGV (definition). In XBHQRTBH62/e1, definition 2.4
History
- 2026-10-31: add by m2/v0.5.6
GR5X2EBXPE GR5X2EBXPE
| URI | m2://inv/GR5X2EBXPE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32614#FN6R (statement). In SG8GT73ZNH/e1, theorem 1.3
History
- 2026-10-31: add by m2/v0.5.6
Herman Rubin GR5XXJYKAF
| URI | m2://inv/GR5XXJYKAF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herman Rubin, Herman Rubin (topic). Also Wikidata Q102087961
History
- 2026-11-02: add by m2/dev
Sijiu GR63GPRR4G
| URI | m2://inv/GR63GPRR4G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GRFN, Sijiu (unknown)
History
- 2026-11-02: add by m2/dev
Amnesiac flooding GR65MS9N0D
| URI | m2://inv/GR65MS9N0D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amnesiac flooding, Amnesiac flooding (definition). Also Wikidata Q125577307
History
- 2026-11-02: add by m2/dev
Pythagoras tree GR6E3D9Y42
| URI | m2://inv/GR6E3D9Y42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#O4U9, Pythagoras tree (definition)
History
- 2026-11-02: add by m2/dev
analysis of variance GR6K9VT2F6
| URI | m2://inv/GR6K9VT2F6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#TBGD, analysis of variance (definition)
History
- 2026-11-02: add by m2/dev
GR6MYHME7M GR6MYHME7M
| URI | m2://inv/GR6MYHME7M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.20798#I295 (statement)
History
- 2026-11-02: add by m2/v0.6.18
GR6SXHCRSK GR6SXHCRSK
| URI | m2://inv/GR6SXHCRSK |
|---|---|
| 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.20094#9PHK (statement)
History
- 2026-11-02: add by m2/v0.6.18
GR72WAWAEN GR72WAWAEN
| URI | m2://inv/GR72WAWAEN |
|---|---|
| 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.20140#GIKC (statement)
History
- 2026-11-02: add by m2/v0.6.18
faithful $S_5$-curves GR7GTEYJ95
| URI | m2://inv/GR7GTEYJ95 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#L61X, faithful $S_5$-curves (statement). In TPA3E67MKK/e1, lemma 9.6
History
- 2026-10-29: add by m2/v0.4.10
GR7JVEGY6Q GR7JVEGY6Q
| URI | m2://inv/GR7JVEGY6Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08052#GBPK (statement). In 672XAVEQ34/e1, proposition 4.5
History
- 2026-10-29: add by m2/v0.4.10
Boolean ring GR7RNGWNHN
| URI | m2://inv/GR7RNGWNHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same name as the row) |
| Node | Boolean ring 0N5FCV2YV6 |
Mentions
- wikidata: Wikidata Q2634401, Boolean ring (unknown). Also MathWorld BooleanRing, nLab Boolean ring
- wikipedia: Wikipedia Boolean ring, Boolean ring (definition). Also Wikidata Q2634401
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Richard's paradox GR80DQJQQV
| URI | m2://inv/GR80DQJQQV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradoxes of set theory#XVKM, Richard's paradox (statement)
History
- 2026-11-02: add by m2/dev
Abscissa of convergence GR83F5Z99Q
| URI | m2://inv/GR83F5Z99Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General Dirichlet series#5YH6, Abscissa of convergence (unknown)
History
- 2026-11-02: add by m2/dev
GR8BJJ0A27 GR8BJJ0A27
| URI | m2://inv/GR8BJJ0A27 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01346#BAM4 (definition). In 44DQ7W1NW9/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.12
Family of KAHM Soft Abstractions GR8CCJ5PE5
| URI | m2://inv/GR8CCJ5PE5 |
|---|---|
| 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.32652#5B6J, Family of KAHM Soft Abstractions (definition). In 6KAZWJ8RFX/e1, definition 4.4
History
- 2026-10-31: add by m2/v0.5.6
$U_\Delta^2(I\times\R^d)$ space GR8DQKPHJ5
| URI | m2://inv/GR8DQKPHJ5 |
|---|---|
| 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 2609.28454#N33Y, $U_\Delta^2(I\times\R^d)$ space (definition)
History
- 2026-11-01: add by m2/v0.6.15
Shifted partial coloring, Reis--Rothvoss GR8DSPVHA5
| URI | m2://inv/GR8DSPVHA5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#0WAF, Shifted partial coloring, Reis--Rothvoss (statement). In 9YAE8FNQST/e1, lemma 8.11
History
- 2026-10-30: add by m2/v0.4.12
GR8TFA8JDS GR8TFA8JDS
| URI | m2://inv/GR8TFA8JDS |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#proof-13 (proof). In E59CDZA4DP, proof, section 3.4.1
History
- 2026-11-01: add by m2/v0.6.13
Adjoint GR8XCATW6V
| URI | m2://inv/GR8XCATW6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint, Adjoint (definition). Also Wikidata Q105637427
History
- 2026-11-02: add by m2/dev
GR96927A2Z GR96927A2Z
| URI | m2://inv/GR96927A2Z |
|---|---|
| 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.08382#SCGU (statement). In GYMGDQS25R/e1, proposition 5.8
History
- 2026-10-29: add by m2/v0.4.10
GR99W36Z6S GR99W36Z6S
| URI | m2://inv/GR99W36Z6S |
|---|---|
| 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.17875#XGDR (statement). In AQX7DGD360/e1, proposition 7.7
History
- 2026-10-28: add by m2/v0.4.2
Tompkins–Paige algorithm GR9JEP2FJS
| URI | m2://inv/GR9JEP2FJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics#1IN4, Tompkins–Paige algorithm (definition)
History
- 2026-11-02: add by m2/dev
Example GR9PF5CR0C
| URI | m2://inv/GR9PF5CR0C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pedal equation#VVV3, Example (example)
History
- 2026-11-02: add by m2/dev
Green–Stokes formula GR9SBXS7YJ
| URI | m2://inv/GR9SBXS7YJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential forms on a Riemann surface#7M04, Green–Stokes formula (statement)
History
- 2026-11-02: add by m2/dev
GRA7C80P1M GRA7C80P1M
| URI | m2://inv/GRA7C80P1M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/frame-definability/definability.tex#thm:fullCorrespondence (statement). In PKGMM3P5QY, thm, section 52.5
History
- 2026-11-01: add by m2/v0.6.13
Omnitruncated order-6 dodecahedral honeycomb GRACEZHRAX
| URI | m2://inv/GRACEZHRAX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Order-6 dodecahedral honeycomb#ZMJW, Omnitruncated order-6 dodecahedral honeycomb (unknown)
History
- 2026-11-02: add by m2/dev
George Frederick James Temple GRADJBFSKR
| URI | m2://inv/GRADJBFSKR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PGDE, George Frederick James Temple (unknown)
History
- 2026-11-02: add by m2/dev
median graph GRAEX0872F
| URI | m2://inv/GRAEX0872F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115592, median graph (unknown). Also MathWorld MedianGraph
- wikipedia: Wikipedia Median graph, Median graph (definition). Also Wikidata Q3115592
History
- 2026-10-26: add by m2/dev
Ewens's sampling formula GRAEX96FQQ
| URI | m2://inv/GRAEX96FQQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ewens's sampling formula, Ewens's sampling formula (statement). Also Wikidata Q5419007
History
- 2026-11-02: add by m2/dev
𝔦 GRAHC3DA8K
| URI | m2://inv/GRAHC3DA8K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#LE13, 𝔦 (definition)
History
- 2026-11-02: add by m2/dev
Forward secrecy GRAJ2DX5AW
| URI | m2://inv/GRAJ2DX5AW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forward secrecy, Forward secrecy (definition). Also Wikidata Q935662
History
- 2026-11-02: add by m2/dev
GRAQ9T8JDM GRAQ9T8JDM
| URI | m2://inv/GRAQ9T8JDM |
|---|---|
| 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.35095#Q1KP (statement). In MM3XTWS35F/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
GAS of $H-\mathrm{id}$ and forward completeness in degree three GRATA8R9PP
| URI | m2://inv/GRATA8R9PP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#SJMY, GAS of $H-\mathrm{id}$ and forward completeness in degree three (statement). In YCRZC9SDCE/e1, corollary 7.3
History
- 2026-10-28: add by m2/v0.4.2
Third Hill Mountain, West Virginia GRAV52N54M
| URI | m2://inv/GRAV52N54M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#STBN, Third Hill Mountain, West Virginia (unknown)
History
- 2026-11-02: add by m2/dev
GRAVE1ABA8 GRAVE1ABA8
| URI | m2://inv/GRAVE1ABA8 |
|---|---|
| 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.13214#6YTY (statement). In 4GRNWWH88J/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
Totally indescribable cardinal GRAVJ5F3VP
| URI | m2://inv/GRAVJ5F3VP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#YTCA, Totally indescribable cardinal (definition)
History
- 2026-11-02: add by m2/dev
Example GRAY768YGJ
| URI | m2://inv/GRAY768YGJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Appeal to loyalty#307I, Example (example)
History
- 2026-11-02: add by m2/dev
GRAZZENNPT GRAZZENNPT
| URI | m2://inv/GRAZZENNPT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.14610#8ZWR (statement). In 2M0S561GTR/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
GRB22STEQ0 GRB22STEQ0
| URI | m2://inv/GRB22STEQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27200#SPUM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Nondeterministic finite automaton GRBCBX9T30
| URI | m2://inv/GRBCBX9T30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nondeterministic finite automaton, Nondeterministic finite automaton (definition). Also Wikidata Q617295
History
- 2026-11-02: add by m2/dev
Examples GRBGZTQBCP
| URI | m2://inv/GRBGZTQBCP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pregeometry (model theory)#RY89, Examples (example)
History
- 2026-11-02: add by m2/dev
GRBP70YG7J GRBP70YG7J
| URI | m2://inv/GRBP70YG7J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/lambda-calculus/church-rosser/parallel-beta-eta-reduction.tex#thm:cr (statement). In PKGMM3P5QY, thm, section 36.2
History
- 2026-11-01: add by m2/v0.6.13
Angular criterion for GAS GRBR9X0ZEF
| URI | m2://inv/GRBR9X0ZEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 26-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.12434#KV7P, Angular criterion for GAS (statement). In YCRZC9SDCE/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Petrie polygon GRBVRYKMSS
| URI | m2://inv/GRBVRYKMSS |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3395593, Petrie polygon (concept). Also MathWorld PetriePolygon
- wikipedia: Wikipedia Petrie polygon, Petrie polygon (object). Also Wikidata Q3395593
History
- 2026-10-26: add by m2/dev
GRBY00JR5C GRBY00JR5C
| URI | m2://inv/GRBY00JR5C |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05459#096G (definition). In VYW16D089Y/e1, definition 5.3
History
- 2026-10-29: add by m2/v0.4.10
Intersecting projected sections GRBY3P0W4K
| URI | m2://inv/GRBY3P0W4K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.02407#TIBA, Intersecting projected sections (statement). In ZZER8ZBSCR/e1, lemma A.3
History
- 2026-10-29: add by m2/v0.4.12
Generalization GRC5K3WCC3
| URI | m2://inv/GRC5K3WCC3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial approximation#EQ5F, Generalization (statement)
History
- 2026-11-02: add by m2/dev
P versus NP problem GRC9BEE220
| URI | m2://inv/GRC9BEE220 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#E87G, P versus NP problem (conjecture)
History
- 2026-11-02: add by m2/dev
Auslander, Reiten GRCH184A6P
| URI | m2://inv/GRCH184A6P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17070#2SL1, Auslander, Reiten (statement). In W3G9Z9B32N/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
Square root biased sampling GRCHK5JMW0
| URI | m2://inv/GRCHK5JMW0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square root biased sampling, Square root biased sampling (definition). Also Wikidata Q7582078
History
- 2026-11-02: add by m2/dev
variable, bound GRCHMR1WTA
| URI | m2://inv/GRCHMR1WTA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/4.2.5/variable-bound, variable, bound (concept). In N54F33XE07, index, section 4.2.5
History
- 2026-11-01: add by m2/v0.6.13
Approximate solutions to transcendental equations GRCJ9PB2HT
| URI | m2://inv/GRCJ9PB2HT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transcendental equation#SOC4, Approximate solutions to transcendental equations (unknown)
History
- 2026-11-02: add by m2/dev
Generalizations GRCM6KYZBA
| URI | m2://inv/GRCM6KYZBA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vojta's conjecture#PL0N, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
philosophical logic GRCMR59AJ4
| URI | m2://inv/GRCMR59AJ4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#53MO, philosophical logic (definition)
History
- 2026-11-02: add by m2/dev
GRCVK63QTN GRCVK63QTN
| URI | m2://inv/GRCVK63QTN |
|---|---|
| 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.11395#6DE1 (statement). In T3W7SMWQ73/e1, theorem 17
History
- 2026-10-28: add by m2/v0.4.3
\calT-Relaxed) too-long$^*$ paths GRCWAPEW73
| URI | m2://inv/GRCWAPEW73 |
|---|---|
| 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.39269#CYHG, \calT-Relaxed) too-long$^*$ paths (definition). In HS4X20TX33/e1, definition 0.45
History
- 2026-10-30: add by m2/v0.4.12
GRD0KN4223 GRD0KN4223
| URI | m2://inv/GRD0KN4223 |
|---|---|
| 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#AYVP (statement). In 13GSWBXPCM/e1, lemma B.4
History
- 2026-10-27: add by m2/v0.3.5
Art gallery problem GRD0MXWWXQ
| URI | m2://inv/GRD0MXWWXQ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of combinatorial computational geometry topics#OYTG, Art gallery problem (problem)
History
- 2026-11-02: add by m2/dev
GRD6177YGH GRD6177YGH
| URI | m2://inv/GRD6177YGH |
|---|---|
| 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.18371#O6MZ (statement). In V9QJTE6S79/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Monotonicity of the Bennett quotient GRDAP8Z146
| URI | m2://inv/GRDAP8Z146 |
|---|---|
| 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#TR52, Monotonicity of the Bennett quotient (statement)
History
- 2026-11-01: add by m2/v0.6.15
Amandine Aftalion GRDE20P00E
| URI | m2://inv/GRDE20P00E |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amandine Aftalion, Amandine Aftalion (topic). Also Wikidata Q42938785
History
- 2026-11-02: add by m2/dev
Adrien Brochier GRDQ93F09H
| URI | m2://inv/GRDQ93F09H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q102381408, Adrien Brochier (unknown). Also nLab Adrien Brochier
History
- 2026-10-26: add by m2/dev
GRDXBAZSA4 GRDXBAZSA4
| URI | m2://inv/GRDXBAZSA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.01000#WOII (statement). In RYFV9HGWWZ/e1, lemma 37
History
- 2026-10-27: add by m2/v0.3.5
Construction GRE09BRRJ0
| URI | m2://inv/GRE09BRRJ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planimeter#HDT8, Construction (definition)
History
- 2026-11-02: add by m2/dev
small rhombicosidodecahedral graph GRE4B4GC9E
| URI | m2://inv/GRE4B4GC9E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115601, small rhombicosidodecahedral graph (unknown). Also House of Graphs 1317, MathWorld SmallRhombicosidodecahedralGraph
History
- 2026-10-26: add by m2/dev
Composite DNA Symbol GRE5A0DX99
| URI | m2://inv/GRE5A0DX99 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09998#Y0L4, Composite DNA Symbol (definition). In AFMB05H7A6/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
link invariant GRE9TDZEYP
| URI | m2://inv/GRE9TDZEYP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q117195469, link invariant (unknown). Also MathWorld LinkInvariant, nLab link invariant
History
- 2026-10-26: add by m2/dev
Triangular bipyramid GRE9WBB54V
| URI | m2://inv/GRE9WBB54V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#8TC9, Triangular bipyramid (definition)
- wikipedia: Wikipedia List of mathematical shapes#503K, Triangular bipyramid (definition)
- wikipedia: Wikipedia List of mathematical shapes#YWRD, Triangular bipyramid (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#9HQU, Triangular bipyramid (definition)
History
- 2026-11-02: add by m2/dev
Example GREHRB80EJ
| URI | m2://inv/GREHRB80EJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lift (data mining)#14M5, Example (example)
History
- 2026-11-02: add by m2/dev
Wolfgang Leinberer GREWZ9158G
| URI | m2://inv/GREWZ9158G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#Q95P, Wolfgang Leinberer (topic)
History
- 2026-11-02: add by m2/dev
GRF09F52S9 GRF09F52S9
| URI | m2://inv/GRF09F52S9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13817#46Q2 (statement). In BMSAXTDV47/e1, lemma 5.4
History
- 2026-10-28: add by m2/v0.4.2
GRF318XWCD GRF318XWCD
| URI | m2://inv/GRF318XWCD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29022#L1D7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
GRF9QS39SP GRF9QS39SP
| URI | m2://inv/GRF9QS39SP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37313#NWC7 (statement). In Z1F6SXQ6XW/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
GRFMJ93PGA GRFMJ93PGA
| URI | m2://inv/GRFMJ93PGA |
|---|---|
| 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 2404.06445#1ABQ (statement). In 12JKZ8EN52/e1, lemma 8.15
History
- 2026-10-27: add by m2/v0.3.5
Sober space GRFWS0N451
| URI | m2://inv/GRFWS0N451 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of general topology topics#C04W, Sober space (definition)
History
- 2026-11-02: add by m2/dev
GRG1SNZPBJ GRG1SNZPBJ
| URI | m2://inv/GRG1SNZPBJ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia No-three-in-line problem#5JF8 (problem)
History
- 2026-11-02: add by m2/dev
Courant–Fischer–Weyl min-max principle GRG3GH5TVP
| URI | m2://inv/GRG3GH5TVP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Hermann Weyl#S150, Courant–Fischer–Weyl min-max principle (statement)
History
- 2026-11-02: add by m2/dev
GRG6CV0TFN GRG6CV0TFN
| URI | m2://inv/GRG6CV0TFN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-6 (example). In E59CDZA4DP, example, section 2.2.3
History
- 2026-11-01: add by m2/v0.6.13
GRG8BHZCJ7 GRG8BHZCJ7
| URI | m2://inv/GRG8BHZCJ7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#cor-2 (statement). In E59CDZA4DP, cor, section 11.4.2
History
- 2026-11-01: add by m2/v0.6.13
Folded fixed-type threshold GRG97HYEQ4
| URI | m2://inv/GRG97HYEQ4 |
|---|---|
| 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.40252#4HEB, Folded fixed-type threshold (statement). In 7MVPNFPRKB/e1, theorem 9.12
History
- 2026-10-30: add by m2/v0.4.12
Bias transfer GRGA692HKB
| URI | m2://inv/GRGA692HKB |
|---|---|
| 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.04671#D8SK, Bias transfer (statement). In BYP65TRGDT/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Simple example GRGEV8QDNJ
| URI | m2://inv/GRGEV8QDNJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inertial frame of reference#65U3, Simple example (example)
History
- 2026-11-02: add by m2/dev
Symmetry factor GRGF648P3V
| URI | m2://inv/GRGF648P3V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feynman diagram#DVAS, Symmetry factor (unknown)
History
- 2026-11-02: add by m2/dev
Density bound, single deviation GRGGECH1XF
| URI | m2://inv/GRGGECH1XF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#JAGF, Density bound, single deviation (statement)
History
- 2026-11-01: add by m2/v0.6.15
(Tuleta #4) GRGGQF0Q5Q
| URI | m2://inv/GRGGQF0Q5Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#HNV7, (Tuleta #4) (unknown)
History
- 2026-11-02: add by m2/dev
GRGPDWS2WC GRGPDWS2WC
| URI | m2://inv/GRGPDWS2WC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31289#AE50 (statement). In CPDM7J0CC0/e1, lemma 4.1
History
- 2026-10-31: add by m2/v0.5.6
GRGPEBPGM3 GRGPEBPGM3
| URI | m2://inv/GRGPEBPGM3 |
|---|---|
| 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 2604.02249#37SD (statement). In YCR8Y0K2V1/e1, theorem IV.2
History
- 2026-10-27: add by m2/v0.3.5
Examples GRGR7SF017
| URI | m2://inv/GRGR7SF017 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia T-structure#GG93, Examples (example)
History
- 2026-11-02: add by m2/dev
Pantriagonal magic cube GRGSDG15NH
| URI | m2://inv/GRGSDG15NH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pantriagonal magic cube, Pantriagonal magic cube (definition). Also Wikidata Q17084739
History
- 2026-11-02: add by m2/dev
Resonate GRGZN3F5ZQ
| URI | m2://inv/GRGZN3F5ZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resonate (company), Resonate (definition). Also Wikidata Q16968519
History
- 2026-11-02: add by m2/dev
SEC-DED GRH3FBT9T5
| URI | m2://inv/GRH3FBT9T5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#Z778, SEC-DED (definition)
History
- 2026-11-02: add by m2/dev
GRHA2ETG11 GRHA2ETG11
| URI | m2://inv/GRHA2ETG11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35320#ZGDS (statement). In QJ6AEW93RB/e1, theorem 1.4
History
- 2026-10-30: add by m2/v0.4.12
GRHAE5J357 GRHAE5J357
| URI | m2://inv/GRHAE5J357 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12295#39SL (statement). In 6DZPR52HRP/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
Exact two-level task-information frontier GRHBEE9HTQ
| URI | m2://inv/GRHBEE9HTQ |
|---|---|
| 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.21523#F136, Exact two-level task-information frontier (statement)
History
- 2026-11-02: add by m2/v0.6.18
Inder Bir Singh Passi GRHE7J798F
| URI | m2://inv/GRHE7J798F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inder Bir Singh Passi, Inder Bir Singh Passi (topic). Also Wikidata Q16105118
History
- 2026-11-02: add by m2/dev
GRHERR2EQC GRHERR2EQC
| URI | m2://inv/GRHERR2EQC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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.00135#5N8E (definition). In PXWXV92SJY/e1, definition 2.7
History
- 2026-10-30: add by m2/v0.4.12
GRHG6JJQ7C GRHG6JJQ7C
| URI | m2://inv/GRHG6JJQ7C |
|---|---|
| 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.25431#C1DI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Dimension-free entropy profile GRHMXVC84J
| URI | m2://inv/GRHMXVC84J |
|---|---|
| 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.18884#TS7C, Dimension-free entropy profile (statement). In 8WM10QMA9E/e1, theorem F.2
History
- 2026-10-28: add by m2/v0.4.2
Guy Orcutt GRHWF6KQ06
| URI | m2://inv/GRHWF6KQ06 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#74UG, Guy Orcutt (unknown)
History
- 2026-11-02: add by m2/dev
GRHYRB317N GRHYRB317N
| URI | m2://inv/GRHYRB317N |
|---|---|
| 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.14435#3SJ1 (statement). In Y9FSN5BVNQ/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
GRHYSYKSNA GRHYSYKSNA
| URI | m2://inv/GRHYSYKSNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.09442#FTXS (statement). In DNT32YYDM4/e1, lemma 6
History
- 2026-10-27: add by m2/v0.4.0
GRJ9FHP13P GRJ9FHP13P
| URI | m2://inv/GRJ9FHP13P |
|---|---|
| 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.23128#TD9A (statement)
History
- 2026-11-02: add by m2/v0.6.17
GRJAMYJGHS GRJAMYJGHS
| URI | m2://inv/GRJAMYJGHS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13817#JVNM (definition). In BMSAXTDV47/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
GES innovations mechanism GRJBE2RTDM
| URI | m2://inv/GRJBE2RTDM |
|---|---|
| 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.20274#TJMF, GES innovations mechanism (definition)
History
- 2026-11-02: add by m2/v0.6.18
Definition GRJCEZM21E
| URI | m2://inv/GRJCEZM21E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lp sum#R1GH, Definition (definition)
History
- 2026-11-02: add by m2/dev
GRJEPG4T77 GRJEPG4T77
| URI | m2://inv/GRJEPG4T77 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13833#BC43 (definition). In VD4JP4HVBX/e1, definition 8.8
History
- 2026-10-28: add by m2/v0.4.2
GRJJZBK1NK GRJJZBK1NK
| URI | m2://inv/GRJJZBK1NK |
|---|---|
| Kind | conjecture |
| 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 2208.07401#GD2A (conjecture). In GJD7HKCE56/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.3.6
GRJNVQJJWF GRJNVQJJWF
| URI | m2://inv/GRJNVQJJWF |
|---|---|
| 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.03231#YC96 (statement). In 3Y76AQQGF0/e1, corollary 1.2
History
- 2026-10-29: add by m2/v0.4.12
GRJRNS1PJ9 GRJRNS1PJ9
| URI | m2://inv/GRJRNS1PJ9 |
|---|---|
| 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.10474#08I0 (statement). In MB29RAAQMG/e1, lemma 3.9
History
- 2026-10-29: add by m2/v0.4.10
GRJTM3K0MC GRJTM3K0MC
| URI | m2://inv/GRJTM3K0MC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13745#HTSK (statement). In CFJH0Q39FZ/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
Affine differential geometry GRJVXHB3BC
| URI | m2://inv/GRJVXHB3BC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#00I1, Affine differential geometry (definition)
History
- 2026-11-02: add by m2/dev
Bats are not blind GRJX5E6HP3
| URI | m2://inv/GRJX5E6HP3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#LOFM, Bats are not blind (unknown)
History
- 2026-11-02: add by m2/dev
GRJZZBNX57 GRJZZBNX57
| URI | m2://inv/GRJZZBNX57 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise:outermeasuremono (exercise). In E59CDZA4DP, exercise, section 5.3.4
History
- 2026-11-01: add by m2/v0.6.13
GRKBSRZE3Q GRKBSRZE3Q
| URI | m2://inv/GRKBSRZE3Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08594#GKJO (statement). In FEE70SSD96/e1, lemma 1.4
History
- 2026-10-29: add by m2/v0.4.10
convex nearest-neighbour interactions GRKEK0455M
| URI | m2://inv/GRKEK0455M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#7NC4, convex nearest-neighbour interactions (statement). In 94RBNQA07A/e1, proposition 2.14
History
- 2026-10-27: add by m2/v0.3.5
Longest path problem GRKEWEN9FS
| URI | m2://inv/GRKEWEN9FS |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#L0FW, Longest path problem (problem)
History
- 2026-11-02: add by m2/dev
Generalized Poincaré conjecture GRKMD8436K
| URI | m2://inv/GRKMD8436K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized Poincaré conjecture, Generalized Poincaré conjecture (statement). Also Wikidata Q5532452
History
- 2026-11-02: add by m2/dev
Philo of Byzantium GRM7K8VNQD
| URI | m2://inv/GRM7K8VNQD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Philo of Byzantium, Philo of Byzantium (topic). Also Wikidata Q334570
History
- 2026-11-02: add by m2/dev
GRMBNEB2E6 GRMBNEB2E6
| URI | m2://inv/GRMBNEB2E6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21892#HJ4A (statement)
History
- 2026-11-02: add by m2/v0.6.17
Topological minor GRMEKT0T93
| URI | m2://inv/GRMEKT0T93 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph minor#N547, Topological minor (unknown)
History
- 2026-11-02: add by m2/dev
Composite function GRMRCS7YPW
| URI | m2://inv/GRMRCS7YPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#1Y6C, Composite function (definition)
History
- 2026-11-02: add by m2/dev
Atoroidal GRMTV00M2N
| URI | m2://inv/GRMTV00M2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Atoroidal, Atoroidal (definition). Also Wikidata Q757686
History
- 2026-11-02: add by m2/dev
Mousumi Banerjee GRMY94GSN5
| URI | m2://inv/GRMY94GSN5 |
|---|---|
| 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#2H9L, Mousumi Banerjee (topic)
History
- 2026-11-02: add by m2/dev
Generalizations GRN4KB53A5
| URI | m2://inv/GRN4KB53A5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bertrand's postulate#G0RS, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
GRN6Y51AMZ GRN6Y51AMZ
| URI | m2://inv/GRN6Y51AMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23518#0V7G (statement)
History
- 2026-11-02: add by m2/v0.6.17
GRNCYJVBSC GRNCYJVBSC
| URI | m2://inv/GRNCYJVBSC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08052#9UHT (statement). In 672XAVEQ34/e1, corollary 5.12
History
- 2026-10-29: add by m2/v0.4.10
mathematics, proof-relevant GRNJXYK69J
| URI | m2://inv/GRNJXYK69J |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.11/mathematics-proof-relevant, mathematics, proof-relevant (concept). In N54F33XE07, index, section A.11
History
- 2026-11-01: add by m2/v0.6.13
GAUSS GRNQVSGEPS
| URI | m2://inv/GRNQVSGEPS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia GAUSS (software), GAUSS (definition). Also Wikidata Q953642
History
- 2026-11-02: add by m2/dev
bow curve GRNTGMYV4D
| URI | m2://inv/GRNTGMYV4D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q21086759, bow curve (unknown). Also MathWorld Bow
History
- 2026-10-26: add by m2/dev
Graph toughness GRP0V9E1X2
| URI | m2://inv/GRP0V9E1X2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph toughness, Graph toughness (definition). Also Wikidata Q5597099
History
- 2026-11-02: add by m2/dev
GRP5M7DXP1 GRP5M7DXP1
| URI | m2://inv/GRP5M7DXP1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/large-laws.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 64.4
History
- 2026-11-01: add by m2/v0.6.13
Example GRP65ARQ5E
| URI | m2://inv/GRP65ARQ5E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primitive element theorem#K91K, Example (example)
History
- 2026-11-02: add by m2/dev
63 knot GRPEENSHFS
| URI | m2://inv/GRPEENSHFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical knots and links#V6L5, 63 knot (definition)
History
- 2026-11-02: add by m2/dev
GRPEM0XRK9 GRPEM0XRK9
| URI | m2://inv/GRPEM0XRK9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03555#RYJ5 (statement). In 9JZJTRRVR1/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
Implementations GRPPRFASEV
| URI | m2://inv/GRPPRFASEV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hash-based cryptography#7U7D, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Árpád Varecza GRPQ8XC4EY
| URI | m2://inv/GRPQ8XC4EY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Árpád Varecza, Árpád Varecza (topic). Also Wikidata Q86452408
History
- 2026-11-02: add by m2/dev
GRPR6ZAZF6 GRPR6ZAZF6
| URI | m2://inv/GRPR6ZAZF6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21632#3B2V (definition). In Q4RZTN2EX6/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.4.2
Tim Hesterberg GRPW3ZFGN0
| URI | m2://inv/GRPW3ZFGN0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tim Hesterberg, Tim Hesterberg (topic). Also Wikidata Q59751452
History
- 2026-11-02: add by m2/dev
Sieve of Pritchard GRPYTQ5Z8Q
| URI | m2://inv/GRPYTQ5Z8Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sieve of Pritchard, Sieve of Pritchard (definition). Also Wikidata Q112623438
History
- 2026-11-02: add by m2/dev
Euler's Disk GRQ1Y6GV4G
| URI | m2://inv/GRQ1Y6GV4G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's Disk, Euler's Disk (definition). Also Wikidata Q10862754
History
- 2026-11-02: add by m2/dev
Ranking GRQ3TVFTDK
| URI | m2://inv/GRQ3TVFTDK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#NH61, Ranking (definition)
History
- 2026-11-02: add by m2/dev
Statement GRQA2FBAX0
| URI | m2://inv/GRQA2FBAX0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Davenport–Schmidt theorem#3SBV, Statement (statement)
History
- 2026-11-02: add by m2/dev
Aggregation-aware province-mapping certificate GRQE75ZV0X
| URI | m2://inv/GRQE75ZV0X |
|---|---|
| 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.15510#QL7X, Aggregation-aware province-mapping certificate (statement). In JQJYBGRK79/e1, theorem 1
History
- 2026-10-28: add by m2/v0.4.2
Lie sphere geometry GRQJ7RET34
| URI | m2://inv/GRQJ7RET34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie sphere geometry, Lie sphere geometry (definition). Also Wikidata Q17103254
History
- 2026-11-02: add by m2/dev
GRQKZ9KARV GRQKZ9KARV
| URI | m2://inv/GRQKZ9KARV |
|---|---|
| Kind | definition |
| 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.01932#70G9 (definition). In XDKWW6NR0K/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Definitions GRQNZM0T2J
| URI | m2://inv/GRQNZM0T2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stiefel–Whitney class#SDIU, Definitions (definition)
History
- 2026-11-02: add by m2/dev
GRQPVHS4NR GRQPVHS4NR
| URI | m2://inv/GRQPVHS4NR |
|---|---|
| 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.03488#6IAN (statement). In 9GXR1WEYWT/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
GRQQEVKFXS GRQQEVKFXS
| URI | m2://inv/GRQQEVKFXS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18061#9EJJ (statement). In Y8A35AV31M/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
Quasireflexive relation GRR0DK60NJ
| URI | m2://inv/GRR0DK60NJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reflexive relation#ELCS, Quasireflexive relation (unknown)
History
- 2026-11-02: add by m2/dev
GRR410WX7C GRR410WX7C
| URI | m2://inv/GRR410WX7C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15731#JM4K (statement). In JJ0EYG2HT4/e1, proposition 1
History
- 2026-10-28: add by m2/v0.4.2
List of type theories GRR9GYQB2G
| URI | m2://inv/GRR9GYQB2G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type theory#YNL4, List of type theories (unknown)
History
- 2026-11-02: add by m2/dev
Applications GRRAJ6T2XF
| URI | m2://inv/GRRAJ6T2XF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information distance#NGJ0, Applications (example)
History
- 2026-11-02: add by m2/dev
GRRCWENNPP GRRCWENNPP
| URI | m2://inv/GRRCWENNPP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#example-1 (example). In E59CDZA4DP, example, section 3.1.1
History
- 2026-11-01: add by m2/v0.6.13
Ladyzhenskaya's inequality GRRGYS7HKA
| URI | m2://inv/GRRGYS7HKA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ladyzhenskaya's inequality, Ladyzhenskaya's inequality (statement). Also Wikidata Q6470834
History
- 2026-11-02: add by m2/dev
GRRHRH2HBR GRRHRH2HBR
| URI | m2://inv/GRRHRH2HBR |
|---|---|
| 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.25896#H7YX (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties GRRQGN50V8
| URI | m2://inv/GRRQGN50V8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-spiral semigroup#BMPS, Properties (statement)
History
- 2026-11-02: add by m2/dev
GRRRQGKMJZ GRRRQGKMJZ
| URI | m2://inv/GRRRQGKMJZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30105#5E7E (statement)
History
- 2026-11-01: add by m2/v0.6.15
GRRXJ30WBZ GRRXJ30WBZ
| URI | m2://inv/GRRXJ30WBZ |
|---|---|
| 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.08753#V5TP (statement). In J9P361Z1CX/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
One-window globalization GRS3CT8PGR
| URI | m2://inv/GRS3CT8PGR |
|---|---|
| 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.02721#6I93, One-window globalization (statement). In XXFYVDVPPE/e1, theorem 1.2
History
- 2026-10-29: add by m2/v0.4.12
GRS84J8SBK GRS84J8SBK
| URI | m2://inv/GRS84J8SBK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15744#HVL6 (definition). In NV3PBZGBB7/e1, definition 1.7
History
- 2026-10-28: add by m2/v0.4.2
GRS9CBGG79 GRS9CBGG79
| URI | m2://inv/GRS9CBGG79 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33018#REOP (statement). In 8XVS0QJ2AH/e1, lemma 57
History
- 2026-10-31: add by m2/v0.5.6
Formulation GRSH3SRVND
| URI | m2://inv/GRSH3SRVND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mirror descent#LSAG, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Conchoid of Dürer GRSPKJ9A9Q
| URI | m2://inv/GRSPKJ9A9Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conchoid of Dürer, Conchoid of Dürer (definition). Also Wikidata Q1781157
History
- 2026-11-02: add by m2/dev
Generalization GRSRFR7GNX
| URI | m2://inv/GRSRFR7GNX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fresnel integral#IXUA, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Simple example GRSXTHGZP4
| URI | m2://inv/GRSXTHGZP4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generative model#M4GI, Simple example (example)
History
- 2026-11-02: add by m2/dev
Gompertz function GRT0BXA7WB
| URI | m2://inv/GRT0BXA7WB |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1011785, Gompertz function (concept). Also MathWorld GompertzCurve
- wikipedia: Wikipedia Gompertz function, Gompertz function (definition). Also Wikidata Q1011785
History
- 2026-10-26: add by m2/dev
Braid Diagrams GRT4NTDR2K
| URI | m2://inv/GRT4NTDR2K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-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 1209.3562#JJML, Braid Diagrams (definition). In KZH1DCS18C/e1, definition 6.5
History
- 2026-10-27: add by m2/v0.3.5
Julia Chuzhoy GRT78PR8AR
| URI | m2://inv/GRT78PR8AR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Julia Chuzhoy, Julia Chuzhoy (topic). Also Wikidata Q29048463
History
- 2026-11-02: add by m2/dev
One-step conditional moments GRT9JP7Z9F
| URI | m2://inv/GRT9JP7Z9F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34831#7H1G, One-step conditional moments (statement). In YF36GM7X5Y/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
Kummer–Vandiver conjecture GRTRMFKMTJ
| URI | m2://inv/GRTRMFKMTJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kummer–Vandiver conjecture#JK0P, Kummer–Vandiver conjecture (statement)
History
- 2026-11-02: add by m2/dev
interior product GRTVDBSNG9
| URI | m2://inv/GRTVDBSNG9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q767667, interior product (unknown). Also MathWorld InteriorProduct
- wikipedia: Wikipedia Interior product, Interior product (definition). Also Wikidata Q767667
History
- 2026-10-26: add by m2/dev
Homotopy quotients of group actions in $\textbf{H}$ GRTZBWK9CS
| URI | m2://inv/GRTZBWK9CS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 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 2610.03865#AK8V, Homotopy quotients of group actions in $\textbf{H}$ (definition). In G3D1YR20BJ/e1, definition A.11
History
- 2026-10-29: add by m2/v0.4.12
GRV05J483Y GRV05J483Y
| URI | m2://inv/GRV05J483Y |
|---|---|
| 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.01912#87S0 (statement). In CTE1C9KYPY/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.12
Good and bad hashes GRV2WBG4RM
| URI | m2://inv/GRV2WBG4RM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15631#ZYJE, Good and bad hashes (definition). In AF465QFRGQ/e1, definition IV.1
History
- 2026-10-28: add by m2/v0.4.2
Class preservation and regularity GRV328MVW4
| URI | m2://inv/GRV328MVW4 |
|---|---|
| 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.06490#VZ93, Class preservation and regularity (statement). In NKXTXH59P1/e1, lemma A.1
History
- 2026-10-29: add by m2/v0.4.10
De Bruijn sequence GRV4PNWR4H
| URI | m2://inv/GRV4PNWR4H |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | De Bruijn sequence GY8F3M39R8 |
Mentions
- wikidata: Wikidata Q1953457, De Bruijn sequence (concept). Also MathWorld deBruijnSequence
- wikipedia: Wikipedia De Bruijn sequence, De Bruijn sequence (definition). Also Wikidata Q1953457
History
- 2026-10-26: add by m2/dev
GRVCGSF424 GRVCGSF424
| URI | m2://inv/GRVCGSF424 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28993#T6HF (statement)
History
- 2026-11-01: add by m2/v0.6.15
GRVDE6QX85 GRVDE6QX85
| URI | m2://inv/GRVDE6QX85 |
|---|---|
| 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.17691#KBES (statement). In AT8VD3XB8M/e1, proposition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Robert W. Angus GRVM554G1K
| URI | m2://inv/GRVM554G1K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#X76X, Robert W. Angus (unknown)
History
- 2026-11-02: add by m2/dev
Automatic local boundedness GRVPV3HVG1
| URI | m2://inv/GRVPV3HVG1 |
|---|---|
| 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.00339#EABJ, Automatic local boundedness (statement). In ZRG6NY1ECH/e1, theorem 2
History
- 2026-10-30: add by m2/v0.4.12
GRVRCD2EVA GRVRCD2EVA
| URI | m2://inv/GRVRCD2EVA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#V0CL (statement). In 1463YCCRP5/e1, theorem 7.13
History
- 2026-10-27: add by m2/v0.4.0
method of constant variation (Duhamel’s formula) GRVZSWKQG3
| URI | m2://inv/GRVZSWKQG3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential equations > method of constant variation (Duhamel’s formula), method of constant variation (Duhamel’s formula) (unknown)
History
- 2026-10-26: add by m2/dev
Panagiotis E. Souganidis GRW0MJAXE6
| URI | m2://inv/GRW0MJAXE6 |
|---|---|
| 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#JGX9, Panagiotis E. Souganidis (topic)
History
- 2026-11-02: add by m2/dev
Statement GRW27HH1CH
| URI | m2://inv/GRW27HH1CH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serre's theorem on a semisimple Lie algebra#0H49, Statement (statement)
History
- 2026-11-02: add by m2/dev
Subbaramiah Minakshisundaram GRW38KQKF8
| URI | m2://inv/GRW38KQKF8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subbaramiah Minakshisundaram, Subbaramiah Minakshisundaram (topic). Also Wikidata Q7630863
History
- 2026-11-02: add by m2/dev
John Ellis GRW6PBK4SJ
| URI | m2://inv/GRW6PBK4SJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q116386, John Ellis (unknown). Also nLab John Ellis
History
- 2026-10-26: add by m2/dev
Permutation convex hulls GRW7Q622K5
| URI | m2://inv/GRW7Q622K5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#ZNFD, Permutation convex hulls (statement). In 9YAE8FNQST/e1, lemma 22.7
History
- 2026-10-30: add by m2/v0.4.12
Pafnuty Chebyshev GRWB7KVWP2
| URI | m2://inv/GRWB7KVWP2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#0X8Q, Pafnuty Chebyshev (topic)
- wikipedia: Wikipedia List of mathematicians born in the 19th century#WEC0, Pafnuty Chebyshev (topic)
History
- 2026-11-02: add by m2/dev
Moment GRWDG3CY31
| URI | m2://inv/GRWDG3CY31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment (statistics), Moment (definition). Also Wikidata Q141561653
History
- 2026-11-02: add by m2/dev
GRWFE4D9RB GRWFE4D9RB
| URI | m2://inv/GRWFE4D9RB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/TasteNumberTheory.tex#thm:divides negative (statement). In P1C114YBXG, theorem, section J
History
- 2026-11-01: add by m2/v0.6.13
Lyudmyla Nazarova GRWGN0EV5J
| URI | m2://inv/GRWGN0EV5J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyudmyla Nazarova, Lyudmyla Nazarova (topic). Also Wikidata Q102258493
History
- 2026-11-02: add by m2/dev
GRWHANBSTG GRWHANBSTG
| URI | m2://inv/GRWHANBSTG |
|---|---|
| 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 2507.05417#U0G0 (statement). In RGHZ863Q26/e1, fact 3.15
History
- 2026-10-27: add by m2/v0.3.5
GRWK3WWAZQ GRWK3WWAZQ
| URI | m2://inv/GRWK3WWAZQ |
|---|---|
| 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 1806.00877#4869 (statement). In 1QVKNGBS3D/e1, theorem
History
- 2026-10-27: add by m2/v0.3.5
GRWS9WHVG8 GRWS9WHVG8
| URI | m2://inv/GRWS9WHVG8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#2PD6 (statement). In BDN507RN7J/e1, proposition 4.7.3
History
- 2026-10-30: add by m2/v0.4.12
Budget-proposal aggregation GRX10HG196
| URI | m2://inv/GRX10HG196 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Budget-proposal aggregation, Budget-proposal aggregation (definition). Also Wikidata Q123244019
History
- 2026-11-02: add by m2/dev
Definition GRX291FHCG
| URI | m2://inv/GRX291FHCG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coinduction#C7V1, Definition (definition)
History
- 2026-11-02: add by m2/dev
GRX9ZAJ184 GRX9ZAJ184
| URI | m2://inv/GRX9ZAJ184 |
|---|---|
| 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.17240#YIPN (statement). In 59BZ4V9RQW/e1, lemma 7.3
History
- 2026-10-28: add by m2/v0.4.2
GRXCRWDFZB GRXCRWDFZB
| URI | m2://inv/GRXCRWDFZB |
|---|---|
| Kind | example |
| 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 1903.07030#4QWG (example). In 9H45HQE7AZ/e1, example 3.16
History
- 2026-10-27: add by m2/v0.3.5
haven GRXJCYGM71
| URI | m2://inv/GRXJCYGM71 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#5MRH, haven (definition)
History
- 2026-11-02: add by m2/dev
Variants GRXPB25SX0
| URI | m2://inv/GRXPB25SX0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leaving Certificate (Ireland)#540Q, Variants (statement)
History
- 2026-11-02: add by m2/dev
Theorem GRY0J8HHBK
| URI | m2://inv/GRY0J8HHBK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extensions of symmetric operators#3B8Q, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Implementations GRY1XB73WS
| URI | m2://inv/GRY1XB73WS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schoof–Elkies–Atkin algorithm#X0HS, Implementations (definition)
History
- 2026-11-02: add by m2/dev
GRYF0PF5QK GRYF0PF5QK
| URI | m2://inv/GRYF0PF5QK |
|---|---|
| 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.06529#MARQ (statement). In JFQY4CYHKP/e1, proposition 2.11
History
- 2026-10-29: add by m2/v0.4.10
Symmetries GRYGQEHM8P
| URI | m2://inv/GRYGQEHM8P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Classification of Clifford algebras#C6C4, Symmetries (statement)
History
- 2026-11-02: add by m2/dev
GRYGWXWMR6 GRYGWXWMR6
| URI | m2://inv/GRYGWXWMR6 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-69 (exercise). In E9HS8K3A52, exercise, section 4.4.1
History
- 2026-11-01: add by m2/v0.6.13
GRYNNANMD7 GRYNNANMD7
| URI | m2://inv/GRYNNANMD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10558#XIU6 (statement). In GYSF9JXQCH/e1, corollary 6.1
History
- 2026-10-29: add by m2/v0.4.10
Generalization GRYTT78RGB
| URI | m2://inv/GRYTT78RGB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catalan's triangle#DBIT, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Nine Times, South Carolina GRYTWCE930
| URI | m2://inv/GRYTWCE930 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#Q31S, Nine Times, South Carolina (unknown)
History
- 2026-11-02: add by m2/dev
GRYXJ5ZGWV GRYXJ5ZGWV
| URI | m2://inv/GRYXJ5ZGWV |
|---|---|
| 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 2609.20344#GJ8C (definition)
History
- 2026-11-02: add by m2/v0.6.18
Keller graph GRZ9NVDKEG
| URI | m2://inv/GRZ9NVDKEG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Keller's conjecture#3SM7, Keller graph (unknown)
History
- 2026-11-02: add by m2/dev
GRZB2BJ710 GRZB2BJ710
| URI | m2://inv/GRZB2BJ710 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2404.13734#CBTE (statement). In 7AXKHR4YB3/e1, theorem 1.2
History
- 2026-10-27: add by m2/v0.3.6
Continuity equation GRZBZATHZF
| URI | m2://inv/GRZBZATHZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#A1TY, Continuity equation (definition)
- wikipedia: Wikipedia List of named differential equations#A8UM, Continuity equation (definition)
History
- 2026-11-02: add by m2/dev
Graph isomorphism problem GRZFCG0FD8
| URI | m2://inv/GRZFCG0FD8 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in computer science#J0BE, Graph isomorphism problem (conjecture)
History
- 2026-11-02: add by m2/dev
GRZK9DQVTQ GRZK9DQVTQ
| URI | m2://inv/GRZK9DQVTQ |
|---|---|
| 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.02870#GI1L (statement). In JJQQJ4KX94/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
France GRZKWSPNNP
| URI | m2://inv/GRZKWSPNNP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q142, France (unknown). Also ProofWiki Mathematician:Mathematicians/Sorted_By_Nation/France
History
- 2026-10-26: add by m2/dev
Picard's theorem on existence and uniqueness GRZSS3WACY
| URI | m2://inv/GRZSS3WACY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#thm:fs:picard, Picard's theorem on existence and uniqueness (statement). In E59CDZA4DP, thm, section 9.3.2
History
- 2026-11-01: add by m2/v0.6.13
GRZWFN0XPF GRZWFN0XPF
| URI | m2://inv/GRZWFN0XPF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11596#WFD3 (definition). In 76850E2X7T/e1, definition 2.3
History
- 2026-10-28: add by m2/v0.4.3