Inventory rows S6
The cards of the rows of the inventory whose ids start with S6. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Idealizer S609GT30V6
| URI | m2://inv/S609GT30V6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Idealizer, Idealizer (definition). Also Wikidata Q5988037
History
- 2026-11-02: add by m2/dev
Noetherian module S60P610BC1
| URI | m2://inv/S60P610BC1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Noetherian module AK1ZRCXR32 |
Mentions
- wikidata: Wikidata Q2444982, Noetherian module (concept). Also MathWorld NoetherianModule, nLab Noetherian module, ProofWiki Definition:Noetherian_Module
- wikipedia: Wikipedia Noetherian module, Noetherian module (definition). Also Wikidata Q2444982
History
- 2026-10-26: add by m2/dev
Wigner's friend S612G0FE94
| URI | m2://inv/S612G0FE94 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#ADQE, Wigner's friend (unknown)
History
- 2026-11-02: add by m2/dev
Ampere's law S619R3JW15
| URI | m2://inv/S619R3JW15 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetic field#Z3HB, Ampere's law (statement)
History
- 2026-11-02: add by m2/dev
S61HG01354 S61HG01354
| URI | m2://inv/S61HG01354 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#ZTWW (definition). In 37S7MNMZ2F/e1, definition 79
History
- 2026-10-27: add by m2/v0.3.5
S61K7PTDN1 S61K7PTDN1
| URI | m2://inv/S61K7PTDN1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2405.14678#UI23 (statement). In 9ZSNSJRJ5N/e1, proposition 6
History
- 2026-10-27: add by m2/v0.4.2
S61M0BP9HD S61M0BP9HD
| URI | m2://inv/S61M0BP9HD |
|---|---|
| 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#JHTP (statement). In Y9FSN5BVNQ/e1, lemma 14
History
- 2026-10-28: add by m2/v0.4.2
Examples S61N68ZG37
| URI | m2://inv/S61N68ZG37 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Model category#VR32, Examples (example)
History
- 2026-11-02: add by m2/dev
Hirota–Satsuma equation S61N6KMW44
| URI | m2://inv/S61N6KMW44 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q15858144, Hirota–Satsuma equation (unknown). Also MathWorld Hirota-SatsumaEquation
History
- 2026-10-26: add by m2/dev
Essential subgroup S61NKJCKVN
| URI | m2://inv/S61NKJCKVN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Essential subgroup, Essential subgroup (definition). Also Wikidata Q5399582
History
- 2026-11-02: add by m2/dev
S61QT6Q5E3 S61QT6Q5E3
| URI | m2://inv/S61QT6Q5E3 |
|---|---|
| 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 2606.00589#CY2F (statement). In C8JAGP8VCQ/e1, lemma 2.16
History
- 2026-10-27: add by m2/v0.3.5
S61VC8KBR7 S61VC8KBR7
| URI | m2://inv/S61VC8KBR7 |
|---|---|
| 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.39981#X7SP (statement). In PMMV6YAEVR/e1, proposition 4
History
- 2026-10-30: add by m2/v0.4.12
Spatial statistics S61W66AAXY
| URI | m2://inv/S61W66AAXY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics#QFS3, Spatial statistics (topic)
History
- 2026-11-02: add by m2/dev
magnetic field S62CBJ8WNR
| URI | m2://inv/S62CBJ8WNR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11408, magnetic field (unknown). Also EoM Magnetic_field
- wikipedia: Wikipedia Magnetic field, Magnetic field (definition). Also Wikidata Q11408
History
- 2026-10-26: add by m2/dev
S62DDFB1S3 S62DDFB1S3
| URI | m2://inv/S62DDFB1S3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2605.10911#90CS (statement). In Y23VR7N90M/e1, lemma 11
History
- 2026-10-27: add by m2/v0.3.5
S62P5ETV13 S62P5ETV13
| URI | m2://inv/S62P5ETV13 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30482#OHXC (statement). In KWB9M5YH9G/e1, theorem 4.1
History
- 2026-10-31: add by m2/v0.5.6
D'Hondt method S62RVDS2HF
| URI | m2://inv/S62RVDS2HF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics-based methods#IROH, D'Hondt method (unknown)
History
- 2026-11-02: add by m2/dev
Bounded kernels S62RZXBMG4
| URI | m2://inv/S62RZXBMG4 |
|---|---|
| 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.26984#96CY, Bounded kernels (statement)
History
- 2026-11-01: add by m2/v0.6.15
S62Z5SBMME S62Z5SBMME
| URI | m2://inv/S62Z5SBMME |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27800#G9DS (statement)
History
- 2026-11-01: add by m2/v0.6.15
Insertional sampling is stronger than sequential sampling S62ZDEXT7S
| URI | m2://inv/S62ZDEXT7S |
|---|---|
| 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.14615#Y2UP, Insertional sampling is stronger than sequential sampling (statement). In 7D5MMP8XB5/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Definition S62ZTXZ67Z
| URI | m2://inv/S62ZTXZ67Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S transform#P7N2, Definition (definition)
History
- 2026-11-02: add by m2/dev
Variations S6312KWQ3K
| URI | m2://inv/S6312KWQ3K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chain code#SC2U, Variations (statement)
History
- 2026-11-02: add by m2/dev
Alberto Pinto S63492QR9G
| URI | m2://inv/S63492QR9G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alberto Pinto (mathematician), Alberto Pinto (topic). Also Wikidata Q15609813
History
- 2026-11-02: add by m2/dev
Albert–Brauer–Hasse–Noether theorem S6368AVDZY
| URI | m2://inv/S6368AVDZY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hasse principle#IMRX, Albert–Brauer–Hasse–Noether theorem (statement)
History
- 2026-11-02: add by m2/dev
Categories S63AV64BXC
| URI | m2://inv/S63AV64BXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Categories (Peirce), Categories (definition). Also Wikidata Q5051818
History
- 2026-11-02: add by m2/dev
Generalizations S63BYSZAWY
| URI | m2://inv/S63BYSZAWY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear independence#NT9K, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
S63R4TTTMF S63R4TTTMF
| URI | m2://inv/S63R4TTTMF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 16-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14060#XOD1 (definition). In X47RYAZF8P/e1, definition 5.6
History
- 2026-10-28: add by m2/v0.4.2
S63Z6ECM7E S63Z6ECM7E
| URI | m2://inv/S63Z6ECM7E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07114#CDBV (statement). In HP3TM356J6/e1, lemma 3
History
- 2026-10-29: add by m2/v0.4.10
John Amazigo S6463NNT97
| URI | m2://inv/S6463NNT97 |
|---|---|
| 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 Q16946670, John Amazigo (unknown). Also ProofWiki Mathematician:John_Chukwuemeka_Amazigo
History
- 2026-10-26: add by m2/dev
Denominator lower bound S648FEE419
| URI | m2://inv/S648FEE419 |
|---|---|
| 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.33027#9LJ3, Denominator lower bound (statement). In E2AF84709B/e1, proposition 29
History
- 2026-10-31: add by m2/v0.5.6
S64FHB350Q S64FHB350Q
| URI | m2://inv/S64FHB350Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#JDAF (statement)
History
- 2026-11-02: add by m2/v0.6.18
S64H6Y093N S64H6Y093N
| URI | m2://inv/S64H6Y093N |
|---|---|
| Kind | definition |
| 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 1002.0879#KVMH (definition). In M0SQY5EZN5/e1, definition 2.3.8
History
- 2026-10-27: add by m2/v0.3.5
Local property S64KNZGEVW
| URI | m2://inv/S64KNZGEVW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1868414, Local property (concept). Also MathWorld Local
- wikipedia: Wikipedia Local property, Local property (definition). Also Wikidata Q1868414
History
- 2026-10-26: add by m2/dev
William Davidson Niven S64RQFHCC2
| URI | m2://inv/S64RQFHCC2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia William Davidson Niven, William Davidson Niven (topic). Also Wikidata Q15990201
History
- 2026-11-02: add by m2/dev
S64VR7EMJQ S64VR7EMJQ
| URI | m2://inv/S64VR7EMJQ |
|---|---|
| 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 2308.05066#8X8U (statement). In 1QSCT53ZED/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.4.0
Dezesseis de Novembro S64W5C2V70
| URI | m2://inv/S64W5C2V70 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#YULF, Dezesseis de Novembro (unknown)
History
- 2026-11-02: add by m2/dev
S64X41D1X3 S64X41D1X3
| URI | m2://inv/S64X41D1X3 |
|---|---|
| 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.36068#6BXZ (statement). In CKNAB8QY5B/e1, theorem 9
History
- 2026-10-30: add by m2/v0.4.12
Statement S651QRSXH2
| URI | m2://inv/S651QRSXH2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan–Kähler theorem#FRCC, Statement (statement)
History
- 2026-11-02: add by m2/dev
S6535MJQY3 S6535MJQY3
| URI | m2://inv/S6535MJQY3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#lem:nconnected_to_leveln_to_equiv (statement). In N54F33XE07, lem, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
S65BCVQM1T S65BCVQM1T
| URI | m2://inv/S65BCVQM1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.33442#SE89 (statement). In EWY5YPMKA3/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
S65HE8FS3B S65HE8FS3B
| URI | m2://inv/S65HE8FS3B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38243#FFUJ (statement). In R03K2N7FRF/e1, proposition 2.1
History
- 2026-10-30: add by m2/v0.4.12
trans-world identity S65HTQFAFT
| URI | m2://inv/S65HTQFAFT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#STKQ, trans-world identity (definition)
History
- 2026-11-02: add by m2/dev
Odo Van Maelcote S65KDMT1QQ
| URI | m2://inv/S65KDMT1QQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Odo Van Maelcote, Odo Van Maelcote (topic). Also Wikidata Q3349320
History
- 2026-11-02: add by m2/dev
Mean log deviation S65N056NTD
| URI | m2://inv/S65N056NTD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean log deviation, Mean log deviation (definition). Also Wikidata Q17068651
History
- 2026-11-02: add by m2/dev
Averaged windowed score error S65Q47K7J4
| URI | m2://inv/S65Q47K7J4 |
|---|---|
| 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.04638#5VGO, Averaged windowed score error (statement). In 3YM5F3YHD5/e1, lemma F.9
History
- 2026-10-29: add by m2/v0.4.12
S65QTB1RAR S65QTB1RAR
| URI | m2://inv/S65QTB1RAR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-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.27458#PVDF (statement)
History
- 2026-11-01: add by m2/v0.6.15
S65VMGWZDQ S65VMGWZDQ
| URI | m2://inv/S65VMGWZDQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 61.2
History
- 2026-11-01: add by m2/v0.6.13
S661NPCHDP S661NPCHDP
| URI | m2://inv/S661NPCHDP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 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 2609.33529#APTP (statement). In RQZGQG3PBR/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Alexander Dewdney S663D268CG
| URI | m2://inv/S663D268CG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AHXC, Alexander Dewdney (unknown)
History
- 2026-11-02: add by m2/dev
Jack K. Hale S6657FKD6S
| URI | m2://inv/S6657FKD6S |
|---|---|
| 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#YKVS, Jack K. Hale (topic)
History
- 2026-11-02: add by m2/dev
S6679ER06Q S6679ER06Q
| URI | m2://inv/S6679ER06Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-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.16332#9B2R (statement). In JJQPFXZQ3D/e1, proposition 5.4
History
- 2026-10-28: add by m2/v0.4.2
Examples S66CBTV1F9
| URI | m2://inv/S66CBTV1F9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2-sided#35II, Examples (example)
History
- 2026-11-02: add by m2/dev
S66ENQYD01 S66ENQYD01
| URI | m2://inv/S66ENQYD01 |
|---|---|
| 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.33263#LXQ5 (statement). In 6S5EH3388Z/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Euclid's theorem S66FC77PED
| URI | m2://inv/S66FC77PED |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Euclid#2HEL, Euclid's theorem (statement)
History
- 2026-11-02: add by m2/dev
Illinois Method S66N0ZRCH7
| URI | m2://inv/S66N0ZRCH7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regula falsi#QTRS, Illinois Method (unknown)
History
- 2026-11-02: add by m2/dev
Eneström index S66QY4Q4BT
| URI | m2://inv/S66QY4Q4BT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leonhard Euler#30QB, Eneström index (unknown)
History
- 2026-11-02: add by m2/dev
Interpolating identity S66TKDRFTR
| URI | m2://inv/S66TKDRFTR |
|---|---|
| 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.15419#20RG, Interpolating identity (statement). In QHMR7JRJ0W/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
Definition S66TP9N96B
| URI | m2://inv/S66TP9N96B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Affine transformation#802U, Definition (definition)
History
- 2026-11-02: add by m2/dev
Riffle S676WRHRTJ
| URI | m2://inv/S676WRHRTJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riffle (anonymity network), Riffle (definition). Also Wikidata Q25931339
History
- 2026-11-02: add by m2/dev
Sums of three cubes S67AW2R05S
| URI | m2://inv/S67AW2R05S |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sums of three cubes, Sums of three cubes (conjecture). Also Wikidata Q62035896
History
- 2026-11-02: add by m2/dev
Hilberg's hypothesis S67D4CCMAR
| URI | m2://inv/S67D4CCMAR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilberg's hypothesis, Hilberg's hypothesis (statement). Also Wikidata Q137324456
History
- 2026-11-02: add by m2/dev
Louis Kollros S67M2S5PRQ
| URI | m2://inv/S67M2S5PRQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Louis Kollros, Louis Kollros (topic). Also Wikidata Q989804
History
- 2026-11-02: add by m2/dev
Generalizations S67MGTRNAG
| URI | m2://inv/S67MGTRNAG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler's constant#M651, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
second fundamental theorem of calculus S67NDX266Q
| URI | m2://inv/S67NDX266Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Second fundamental theorem of calculus 0XYAFCN0PT |
Mentions
- wikidata: Wikidata Q116450178, second fundamental theorem of calculus (unknown). Also MathWorld SecondFundamentalTheoremofCalculus
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
S67PTJ25R2 S67PTJ25R2
| URI | m2://inv/S67PTJ25R2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-142 (exercise). In VNMV985MXX, exercise, section 2.6
History
- 2026-11-01: add by m2/v0.6.13
Representation theory of SU(2) S67R36SQ19
| URI | m2://inv/S67R36SQ19 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation theory of SU(2), Representation theory of SU(2) (definition). Also Wikidata Q7314224
History
- 2026-11-02: add by m2/dev
Embedding of Weakenings into Substitutions S67SDDTTWH
| URI | m2://inv/S67SDDTTWH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21131#6192, Embedding of Weakenings into Substitutions (definition). In CPYWHRTPKC/e1, definition 2.13
History
- 2026-10-27: add by m2/v0.4.2
S680K5HEZV S680K5HEZV
| URI | m2://inv/S680K5HEZV |
|---|---|
| Kind | example |
| 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 math/0003117#8BXJ (example). In WD2NCBV9F0/e1, example 7.1
History
- 2026-10-27: add by m2/v0.3.5
Properties S682B5ZMPT
| URI | m2://inv/S682B5ZMPT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite field#1MZ6, Properties (statement)
History
- 2026-11-02: add by m2/dev
S68E9VV5NN S68E9VV5NN
| URI | m2://inv/S68E9VV5NN |
|---|---|
| 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 2503.08488#D0N4 (statement). In QH5MZXMXQH/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Gerald Folland S68NAPHHCC
| URI | m2://inv/S68NAPHHCC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#7T0Z, Gerald Folland (topic)
History
- 2026-11-02: add by m2/dev
ANOVA S68Y997T94
| URI | m2://inv/S68Y997T94 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IYOP, ANOVA (definition)
History
- 2026-11-02: add by m2/dev
S695RWFNCR S695RWFNCR
| URI | m2://inv/S695RWFNCR |
|---|---|
| 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#Z8XS (statement). In 9JZJTRRVR1/e1, proposition 8.1
History
- 2026-10-29: add by m2/v0.4.12
S698CXY768 S698CXY768
| URI | m2://inv/S698CXY768 |
|---|---|
| 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.04172#XU2I (statement). In 9Q1D1NMTTS/e1, lemma 11
History
- 2026-10-29: add by m2/v0.4.12
S69D9R5A0A S69D9R5A0A
| URI | m2://inv/S69D9R5A0A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.01302#VWVY (statement). In KTQS6YPA4E/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
inconsistent equation S69DBFA7K1
| URI | m2://inv/S69DBFA7K1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141500197, inconsistent equation (unknown). Also MathWorld InconsistentEquation
History
- 2026-10-26: add by m2/dev
S69DBHXKEQ S69DBHXKEQ
| URI | m2://inv/S69DBHXKEQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28781#WAEQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cristiana De Filippis S69E73R3Y5
| URI | m2://inv/S69E73R3Y5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cristiana De Filippis, Cristiana De Filippis (topic). Also Wikidata Q102084452
History
- 2026-11-02: add by m2/dev
Anytime guarantee S69EVVX1JM
| URI | m2://inv/S69EVVX1JM |
|---|---|
| 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.12713#AQLD, Anytime guarantee (statement). In F14A5HX20Q/e1, corollary 3.6
History
- 2026-10-28: add by m2/v0.4.2
Constant Jacobian S69FFVJB4N
| URI | m2://inv/S69FFVJB4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35722#590U, Constant Jacobian (statement). In QAPK0A1ZB6/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
S69M5KX9GZ S69M5KX9GZ
| URI | m2://inv/S69M5KX9GZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-lk.tex#proof-3 (proof). In PKGMM3P5QY, proof, section 27.6
History
- 2026-11-01: add by m2/v0.6.13
Polymer S69SBMENX6
| URI | m2://inv/S69SBMENX6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#3KIS, Polymer (unknown)
History
- 2026-11-02: add by m2/dev
S69VWWHYDA S69VWWHYDA
| URI | m2://inv/S69VWWHYDA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27646#UTLL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gravitation S69WG437VG
| URI | m2://inv/S69WG437VG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5597987, Gravitation (unknown). Also nLab Gravitation
- wikipedia: Wikipedia Gravitation (book), Gravitation (definition). Also Wikidata Q5597987
History
- 2026-10-26: add by m2/dev
Raphael Høegh-Krohn S6A439T64X
| URI | m2://inv/S6A439T64X |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Raphael Høegh-Krohn, Raphael Høegh-Krohn (topic). Also Wikidata Q472830
History
- 2026-11-02: add by m2/dev
flat S6A9V8PPK1
| URI | m2://inv/S6A9V8PPK1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#UTJ9, flat (definition)
History
- 2026-11-02: add by m2/dev
Euclid S6AK5SQJX1
| URI | m2://inv/S6AK5SQJX1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#FA86, Euclid (topic)
History
- 2026-11-02: add by m2/dev
S6AKMWACYY S6AKMWACYY
| URI | m2://inv/S6AKMWACYY |
|---|---|
| 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.21388#A09P (statement). In 3X4E9KSVWV/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.4.2
S6AVA2QYHJ S6AVA2QYHJ
| URI | m2://inv/S6AVA2QYHJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.24542#MX59 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Non-normal modal logic S6AVEC18VF
| URI | m2://inv/S6AVEC18VF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-normal modal logic, Non-normal modal logic (definition). Also Wikidata Q124881343
History
- 2026-11-02: add by m2/dev
S6B4VKN9VR S6B4VKN9VR
| URI | m2://inv/S6B4VKN9VR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#PX49 (statement)
History
- 2026-11-02: add by m2/v0.6.18
S6B6XDCZ0C S6B6XDCZ0C
| URI | m2://inv/S6B6XDCZ0C |
|---|---|
| Kind | definition |
| 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.08837#B57P (definition). In KBH265QSBT/e1, definition 7.4
History
- 2026-10-29: add by m2/v0.4.10
Example S6BBF2MTKW
| URI | m2://inv/S6BBF2MTKW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Meronomy#R751, Example (example)
History
- 2026-11-02: add by m2/dev
Leading vectors from unit reparametrizations S6BG1XHQRQ
| URI | m2://inv/S6BG1XHQRQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22485#K1MP, Leading vectors from unit reparametrizations (statement)
History
- 2026-11-02: add by m2/v0.6.17
Theorem S6BGCMSEER
| URI | m2://inv/S6BGCMSEER |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex set#65Y7, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Multi-direction positivity S6BJNV6AMT
| URI | m2://inv/S6BJNV6AMT |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#I0K1, Multi-direction positivity (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
S6BMAY006Z S6BMAY006Z
| URI | m2://inv/S6BMAY006Z |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise-37 (exercise). In E59CDZA4DP, exercise, section 10.3.5
History
- 2026-11-01: add by m2/v0.6.13
Example S6BXPC75YB
| URI | m2://inv/S6BXPC75YB |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volume integral#JH2I, Example (example)
History
- 2026-11-02: add by m2/dev
Steinitz exchange lemma S6BYRJ7NST
| URI | m2://inv/S6BYRJ7NST |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 15-XX |
| Sources | 3 |
| Outcome | node (a node has the same name as the row) |
| Node | Steinitz exchange lemma 08ZDRN6H41 |
Mentions
- mathlib_1000: mathlib_1000 Q2338929, Exchange theorem (statement). Also Wikidata Q2338929
- thousand_plus: thousand_plus Q2338929, Exchange theorem (statement). Also Wikidata Q2338929, Wikipedia Exchange theorem
- wikipedia: Wikipedia Steinitz exchange lemma, Steinitz exchange lemma (statement). Also Wikidata Q2338929
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Fifty-Six, Arkansas S6C71BT4HZ
| URI | m2://inv/S6C71BT4HZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#GU77, Fifty-Six, Arkansas (unknown)
History
- 2026-11-02: add by m2/dev
Implementations S6CC6YQFEZ
| URI | m2://inv/S6CC6YQFEZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digital rights management#Y3FW, Implementations (definition)
History
- 2026-11-02: add by m2/dev
S6CPDSQ2ES S6CPDSQ2ES
| URI | m2://inv/S6CPDSQ2ES |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.01436#Q2DV (proof). In FE59Q5BHKZ/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
Janet Thomas S6CRFAWKF5
| URI | m2://inv/S6CRFAWKF5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Janet Thomas, Janet Thomas (topic). Also Wikidata Q50345091
History
- 2026-11-02: add by m2/dev
S6CTH25JS1 S6CTH25JS1
| URI | m2://inv/S6CTH25JS1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#proof-9 (proof). In E59CDZA4DP, proof, section 8.2.3
History
- 2026-11-01: add by m2/v0.6.13
Conjectures on weighted summatory functions S6D0R40P6P
| URI | m2://inv/S6D0R40P6P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liouville function#V7IP, Conjectures on weighted summatory functions (statement)
History
- 2026-11-02: add by m2/dev
S6D1F5H0J1 S6D1F5H0J1
| URI | m2://inv/S6D1F5H0J1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.40028#SOWD (statement). In N8TDKGGC7S/e1, proposition 4.9
History
- 2026-10-30: add by m2/v0.4.12
Statement of the theorem S6DCTVK4H3
| URI | m2://inv/S6DCTVK4H3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carleson's theorem#XYQU, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
S6DRSYS9CG S6DRSYS9CG
| URI | m2://inv/S6DRSYS9CG |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skewes's number#J868 (problem)
History
- 2026-11-02: add by m2/dev
S6DYRD23EE S6DYRD23EE
| URI | m2://inv/S6DYRD23EE |
|---|---|
| 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 2207.07461#PJUN (statement). In GAG532VMPF/e1, theorem 1.2.4
History
- 2026-10-27: add by m2/v0.3.5
Formula S6E8NVEHAW
| URI | m2://inv/S6E8NVEHAW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Digby's H#7FCO, Formula (statement)
History
- 2026-11-02: add by m2/dev
Type-\(D\) coloured-ballot formula S6E8P1EVJS
| URI | m2://inv/S6E8P1EVJS |
|---|---|
| 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.24541#IETZ, Type-\(D\) coloured-ballot formula (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hayek, Lee-Ann C. S6ED4K6PJW
| URI | m2://inv/S6ED4K6PJW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#83RZ, Hayek, Lee-Ann C. (topic)
History
- 2026-11-02: add by m2/dev
Al-Samawal al-Maghribi S6ED9R8K3B
| URI | m2://inv/S6ED9R8K3B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#2NKO, Al-Samawal al-Maghribi (unknown)
History
- 2026-11-02: add by m2/dev
Church–Turing thesis S6EGXTSCH4
| URI | m2://inv/S6EGXTSCH4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#AA9P, Church–Turing thesis (definition)
- wikipedia: Wikipedia List of computability and complexity topics#J70H, Church–Turing thesis (definition)
- wikipedia: Wikipedia List of things named after Alan Turing#N8AS, Church–Turing thesis (definition)
History
- 2026-11-02: add by m2/dev
Dimension-free coefficient control S6EM6SN023
| URI | m2://inv/S6EM6SN023 |
|---|---|
| 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.29658#2EN3, Dimension-free coefficient control (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fixed-time factorial tail S6F47DK0MT
| URI | m2://inv/S6F47DK0MT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33805#165G, Fixed-time factorial tail (statement). In XM98BX97RT/e1, lemma C.2
History
- 2026-10-30: add by m2/v0.4.12
Falkner–Skan boundary layer S6F5R63Y5Z
| URI | m2://inv/S6F5R63Y5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Falkner–Skan boundary layer, Falkner–Skan boundary layer (definition). Also Wikidata Q30715267
History
- 2026-11-02: add by m2/dev
Lazar Kaganovich S6F6JMMJ47
| URI | m2://inv/S6F6JMMJ47 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#I608, Lazar Kaganovich (unknown)
History
- 2026-11-02: add by m2/dev
Euler brick S6FCPCEMJF
| URI | m2://inv/S6FCPCEMJF |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2463148, Euler brick (unknown). Also MathWorld EulerBrick, OEIS A031173, OEIS A031174, OEIS A031175
- wikipedia: Wikipedia Euler brick, Euler brick (conjecture). Also Wikidata Q2463148
History
- 2026-10-26: add by m2/dev
S6FNK68TGW S6FNK68TGW
| URI | m2://inv/S6FNK68TGW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#GTF1 (statement). In WJD9YPGGYH/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
S6FZCF4ADQ S6FZCF4ADQ
| URI | m2://inv/S6FZCF4ADQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30663#A6PX (statement). In 3JZDKWS8NK/e1, proposition 12.1
History
- 2026-10-31: add by m2/v0.5.6
Combinatorial Fibonacci identities S6G2P0GNHY
| URI | m2://inv/S6G2P0GNHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical identities#R37F, Combinatorial Fibonacci identities (definition)
History
- 2026-11-02: add by m2/dev
S6GDAQKCV4 S6GDAQKCV4
| URI | m2://inv/S6GDAQKCV4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.18690#ML1F (statement). In MDCJJJRQ2X/e1, lemma 3.5
History
- 2026-10-27: add by m2/v0.3.5
Approximation in one cube S6GJ30DHG2
| URI | m2://inv/S6GJ30DHG2 |
|---|---|
| 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.39699#RN0S, Approximation in one cube (statement). In 6M4TMC8G6X/e1, lemma 10
History
- 2026-10-30: add by m2/v0.4.12
Markov chain geostatistics S6GPE3DQ7J
| URI | m2://inv/S6GPE3DQ7J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov chain geostatistics, Markov chain geostatistics (definition). Also Wikidata Q6771321
History
- 2026-11-02: add by m2/dev
Schur–Weyl duality S6GRBNJEK9
| URI | m2://inv/S6GRBNJEK9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dualities#3RK8, Schur–Weyl duality (definition)
- wikipedia: Wikipedia List of things named after Hermann Weyl#SJCC, Schur–Weyl duality (definition)
History
- 2026-11-02: add by m2/dev
Properties S6H0J6VK39
| URI | m2://inv/S6H0J6VK39 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Offset filtration#6NQ9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Schreier's lemma S6H52ZVS36
| URI | m2://inv/S6H52ZVS36 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Group theory > Schreier's lemma, Schreier's lemma (unknown). Also Mathlib Subgroup.closure_mul_image_eq
- wikidata: Wikidata Q3229345, Schreier's lemma (statement). Also Mathlib Subgroup.closure_mul_image_eq
- wikipedia: Wikipedia Schreier's lemma, Schreier's lemma (statement). Also Wikidata Q3229345
History
- 2026-10-26: add by m2/dev
Examples S6H7AXFGHV
| URI | m2://inv/S6H7AXFGHV |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Revision theory#ZJBM, Examples (example)
History
- 2026-11-02: add by m2/dev
Stabilized Saito reflection S6HB189BGH
| URI | m2://inv/S6HB189BGH |
|---|---|
| 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 2610.12531#HG47, Stabilized Saito reflection (statement). In D6RAQZ2DSK/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Examples S6HHAJ3JBZ
| URI | m2://inv/S6HHAJ3JBZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bound state#TAQN, Examples (example)
History
- 2026-11-02: add by m2/dev
S6HRQXESSR S6HRQXESSR
| URI | m2://inv/S6HRQXESSR |
|---|---|
| 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.03851#5QVO (statement). In HNV63B8Y1A/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Related results S6HRSGZ09R
| URI | m2://inv/S6HRSGZ09R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skolem–Mahler–Lech theorem#BL0V, Related results (statement)
History
- 2026-11-02: add by m2/dev
S6HSXQ4FRH S6HSXQ4FRH
| URI | m2://inv/S6HSXQ4FRH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16002#FI6I (definition). In MWXDTQ7XC4/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
S6HVB2FK2W S6HVB2FK2W
| URI | m2://inv/S6HVB2FK2W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.29838#D1R9 (statement). In KP0X1RKKKB/e1, theorem 3.5
History
- 2026-10-27: add by m2/v0.4.0
Oliver Lorscheid S6HWPE4ZCE
| URI | m2://inv/S6HWPE4ZCE |
|---|---|
| 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 Q102338869, Oliver Lorscheid (unknown). Also nLab Oliver Lorscheid
History
- 2026-10-26: add by m2/dev
S6J3PGD2SK S6J3PGD2SK
| URI | m2://inv/S6J3PGD2SK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20128#YZNA (statement)
History
- 2026-11-02: add by m2/v0.6.18
S6J6M69VQH S6J6M69VQH
| URI | m2://inv/S6J6M69VQH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20910#H77U (statement). In CETHKW9EBV/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.4.2
Tristram Shandy paradox S6J998H1PE
| URI | m2://inv/S6J998H1PE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradoxes of set theory#Q01C, Tristram Shandy paradox (unknown)
History
- 2026-11-02: add by m2/dev
S6J9BPDYYR S6J9BPDYYR
| URI | m2://inv/S6J9BPDYYR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2508.21045#VXFS (statement). In CGA36VE1C5/e1, fact 3.5.1
History
- 2026-10-27: add by m2/v0.3.6
S6JJ96NGY0 S6JJ96NGY0
| URI | m2://inv/S6JJ96NGY0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09201#4MY9 (statement). In JQFPH09JG8/e1, proposition 5.9
History
- 2026-10-29: add by m2/v0.4.10
16384 S6JN9R6S5M
| URI | m2://inv/S6JN9R6S5M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Power of two#V6FE, 16384 (unknown)
History
- 2026-11-02: add by m2/dev
Luoshu Square S6JNZNBJAX
| URI | m2://inv/S6JNZNBJAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2482835, Luoshu Square (unknown). Also MathWorld LoShu
- wikipedia: Wikipedia Luoshu Square, Luoshu Square (definition). Also Wikidata Q2482835
History
- 2026-10-26: add by m2/dev
S6JT22EAS9 S6JT22EAS9
| URI | m2://inv/S6JT22EAS9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34311#9B97 (definition). In YYV9SHAPCZ/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Faultless disagreement S6JZT2P77A
| URI | m2://inv/S6JZT2P77A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faultless disagreement, Faultless disagreement (definition). Also Wikidata Q24963503
History
- 2026-11-02: add by m2/dev
S6K1X22F1D S6K1X22F1D
| URI | m2://inv/S6K1X22F1D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.06699#JQ5L (statement). In GXHKRV5BPY/e1, corollary C.8
History
- 2026-10-29: add by m2/v0.4.10
Madhav V. Nori S6K30DHVFM
| URI | m2://inv/S6K30DHVFM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#AG03, Madhav V. Nori (topic)
History
- 2026-11-02: add by m2/dev
Projected-gradient reduction subroutine S6K4WGN6BC
| URI | m2://inv/S6K4WGN6BC |
|---|---|
| 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 2610.21139#5VXO, Projected-gradient reduction subroutine (definition). In E3NM0QN6KK/e1, definition 2
History
- 2026-10-27: add by m2/v0.4.2
Dorothee Haroske S6K82KAATE
| URI | m2://inv/S6K82KAATE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dorothee Haroske, Dorothee Haroske (topic). Also Wikidata Q21258507
History
- 2026-11-02: add by m2/dev
S6K9YNH7B5 S6K9YNH7B5
| URI | m2://inv/S6K9YNH7B5 |
|---|---|
| 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.15992#IIL4 (statement). In P74TAV3ME5/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Irreducibility S6KDMXM2AE
| URI | m2://inv/S6KDMXM2AE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 35-XX, 47-XX, 58-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.26055#1TGL, Irreducibility (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem S6KGCS7PFX
| URI | m2://inv/S6KGCS7PFX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Banach theorem#SPSQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
\bf Empirical Risk for $(d+1)$-Navier-Stokes S6KJ90936V
| URI | m2://inv/S6KJ90936V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.23072#YW93, \bf Empirical Risk for $(d+1)$-Navier-Stokes (definition). In FW08HEAPKW/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.5
Hahn–Exton q-Bessel function S6KMA2RJBX
| URI | m2://inv/S6KMA2RJBX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Exton q-Bessel function, Hahn–Exton q-Bessel function (definition). Also Wikidata Q5638902
History
- 2026-11-02: add by m2/dev
S6KMAQ45Q5 S6KMAQ45Q5
| URI | m2://inv/S6KMAQ45Q5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30675#UIKU (definition). In RQ0K0A6PQA/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
S6KVWG7QT2 S6KVWG7QT2
| URI | m2://inv/S6KVWG7QT2 |
|---|---|
| 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.36827#6I7A (statement). In VSHAQTB2CA/e1, corollary 7.9
History
- 2026-10-30: add by m2/v0.4.12
Definition S6KWDNBP33
| URI | m2://inv/S6KWDNBP33 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Torsor (algebraic geometry)#QV1B, Definition (definition)
History
- 2026-11-02: add by m2/dev
S6M25ZDQ8J S6M25ZDQ8J
| URI | m2://inv/S6M25ZDQ8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27687#KYKA (statement)
History
- 2026-11-01: add by m2/v0.6.15
S6M9C2G7EQ S6M9C2G7EQ
| URI | m2://inv/S6M9C2G7EQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09506#1KM7 (statement). In AQC7E6RAT4/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
Nina Bari S6MBWZKJPN
| URI | m2://inv/S6MBWZKJPN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#67LY, Nina Bari (topic)
History
- 2026-11-02: add by m2/dev
Singularity theorems S6MD85MH8J
| URI | m2://inv/S6MD85MH8J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics of general relativity#JWUP, Singularity theorems (statement)
History
- 2026-11-02: add by m2/dev
Definition S6MH0BTESC
| URI | m2://inv/S6MH0BTESC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hodges–Lehmann estimator#JAD7, Definition (definition)
History
- 2026-11-02: add by m2/dev
S6MNQDXEKX S6MNQDXEKX
| URI | m2://inv/S6MNQDXEKX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29501#A3AU (statement)
History
- 2026-11-01: add by m2/v0.6.15
S6MTFEPW47 S6MTFEPW47
| URI | m2://inv/S6MTFEPW47 |
|---|---|
| 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.17825#CQD7 (statement). In T0ADPX1S05/e1, theorem 3.2
History
- 2026-10-28: add by m2/v0.4.2
Tracking up to a fixed comparator time S6MV1W6ZJN
| URI | m2://inv/S6MV1W6ZJN |
|---|---|
| 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.39408#543P, Tracking up to a fixed comparator time (statement). In T8E6F01RTM/e1, lemma U.3
History
- 2026-10-30: add by m2/v0.4.12
S6MX6FVP0S S6MX6FVP0S
| URI | m2://inv/S6MX6FVP0S |
|---|---|
| Kind | definition |
| 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 2610.05320#MCJA (definition). In MVXZWHKEX8/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
Milnor conjecture S6N1Y2JYXY
| URI | m2://inv/S6N1Y2JYXY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 57-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10206#UYFK, Milnor conjecture (statement). In 8TRCP1482Q/e1, theorem B.31
- wikidata: Wikidata Q2993330, Milnor conjecture (conjecture). Also MathWorld MilnorsConjecture
- wikipedia: Wikipedia Milnor conjecture (knot theory), Milnor conjecture (statement). Also Wikidata Q2993330
History
- 2026-10-26: add by m2/dev
- 2026-10-31: merge by m2/v0.5.6
Overlapping interval topology S6ND5B94E8
| URI | m2://inv/S6ND5B94E8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overlapping interval topology, Overlapping interval topology (definition). Also Wikidata Q7113765
History
- 2026-11-02: add by m2/dev
Mixed stabilizer states S6NEJBGEDN
| URI | m2://inv/S6NEJBGEDN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02166#1N21, Mixed stabilizer states (definition). In R6RF3P6D5A/e1, definition 4.6
History
- 2026-10-29: add by m2/v0.4.12
Properties S6NN3MS08A
| URI | m2://inv/S6NN3MS08A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amoeba (mathematics)#0IXP, Properties (statement)
History
- 2026-11-02: add by m2/dev
Finite converse with primitive reduction S6NRK7Z2YR
| URI | m2://inv/S6NRK7Z2YR |
|---|---|
| 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.30808#03R7, Finite converse with primitive reduction (statement). In 4JCFPV48VG/e1, theorem 4.7
History
- 2026-10-31: add by m2/v0.5.6
Dillwyn Knox S6NVX7G61P
| URI | m2://inv/S6NVX7G61P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#R4GB, Dillwyn Knox (topic)
History
- 2026-11-02: add by m2/dev
S6NZF67V1E S6NZF67V1E
| URI | m2://inv/S6NZF67V1E |
|---|---|
| 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.08837#004Z (statement). In KBH265QSBT/e1, lemma 8.2
History
- 2026-10-29: add by m2/v0.4.10
Closed-form values S6P1QJX76A
| URI | m2://inv/S6P1QJX76A |
|---|---|
| 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.02392#5OQ2, Closed-form values (statement). In W066HQZQBF/e1, corollary 16
History
- 2026-10-29: add by m2/v0.4.12
S6P2PMW5R8 S6P2PMW5R8
| URI | m2://inv/S6P2PMW5R8 |
|---|---|
| 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.02852#M1QR (statement). In HX6FXCYGKA/e1, lemma 4.1
History
- 2026-10-29: add by m2/v0.4.12
Construction S6P4318EDQ
| URI | m2://inv/S6P4318EDQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2 21 polytope#KOYY, Construction (definition)
History
- 2026-11-02: add by m2/dev
S6P7B7KGTA S6P7B7KGTA
| URI | m2://inv/S6P7B7KGTA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03677#GHG9 (statement). In J1Y06VVYRG/e1, lemma 9
History
- 2026-10-29: add by m2/v0.4.12
Signature S6PJ1M8VXC
| URI | m2://inv/S6PJ1M8VXC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signature (logic), Signature (definition). Also Wikidata Q741810
History
- 2026-11-02: add by m2/dev
Georges de Rham S6PXF0PB7S
| URI | m2://inv/S6PXF0PB7S |
|---|---|
| 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#S8VP, Georges de Rham (topic)
History
- 2026-11-02: add by m2/dev
S6PZCWT88T S6PZCWT88T
| URI | m2://inv/S6PZCWT88T |
|---|---|
| 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 2609.24917#E2JE (statement)
History
- 2026-11-01: add by m2/v0.6.15
S6QH4J4W25 S6QH4J4W25
| URI | m2://inv/S6QH4J4W25 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08873#ASP2 (statement). In 7WMNVJBAVR/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.10
Reduction to linear forms S6QK1NKDNF
| URI | m2://inv/S6QK1NKDNF |
|---|---|
| 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.07214#BCIZ, Reduction to linear forms (statement). In 669PBFJX0Z/e1, lemma 1
History
- 2026-10-29: add by m2/v0.4.10
Polynomial solutions along a complete factor circuit S6QK6P17EY
| URI | m2://inv/S6QK6P17EY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#WIOA, Polynomial solutions along a complete factor circuit (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hiding for the boundary-edge oracle S6QRY4RA20
| URI | m2://inv/S6QRY4RA20 |
|---|---|
| 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.12641#69ZO, Hiding for the boundary-edge oracle (statement). In X5BYGZZHPF/e1, lemma J.5
History
- 2026-10-28: add by m2/v0.4.2
Synthesized Halving Dimension S6QSXCJ257
| URI | m2://inv/S6QSXCJ257 |
|---|---|
| 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.27241#9WF8, Synthesized Halving Dimension (definition)
History
- 2026-11-01: add by m2/v0.6.15
span S6QZ6V9ZQJ
| URI | m2://inv/S6QZ6V9ZQJ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/5.8/span, span (concept). In N54F33XE07, index, section 5.8
History
- 2026-11-01: add by m2/v0.6.13
Applications S6R5D5M5NS
| URI | m2://inv/S6R5D5M5NS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littelmann path model#RD2B, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition and examples S6R6MZQ1EW
| URI | m2://inv/S6R6MZQ1EW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition function (number theory)#OKS8, Definition and examples (definition)
History
- 2026-11-02: add by m2/dev
Einstein's field equation S6R6XCY48R
| URI | m2://inv/S6R6XCY48R |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#2ZT5, Einstein's field equation (topic)
History
- 2026-11-02: add by m2/dev
Spectral mapping theorem S6R7V8CD7X
| URI | m2://inv/S6R7V8CD7X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Banach algebra#767B, Spectral mapping theorem (unknown)
History
- 2026-11-02: add by m2/dev
Infinite-temperature normal form S6RHZYVS4G
| URI | m2://inv/S6RHZYVS4G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27908#M79S, Infinite-temperature normal form (statement)
History
- 2026-11-01: add by m2/v0.6.15
S6RPWPXAGB S6RPWPXAGB
| URI | m2://inv/S6RPWPXAGB |
|---|---|
| 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.19311#VIA2 (statement). In 3MFD6RSV41/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
S6RR9501KZ S6RR9501KZ
| URI | m2://inv/S6RR9501KZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1008.4254#U0FF (statement). In SXTX59QBVT/e1, theorem 2.18
History
- 2026-10-27: add by m2/v0.3.5
Alternatives to SQL S6RTD1SKS8
| URI | m2://inv/S6RTD1SKS8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SQL#PHS8, Alternatives to SQL (unknown)
History
- 2026-11-02: add by m2/dev
592 (number) S6S9D5SH16
| URI | m2://inv/S6S9D5SH16 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#I6P8, 592 (number) (unknown)
History
- 2026-11-02: add by m2/dev
S6SGV4SHAH S6SGV4SHAH
| URI | m2://inv/S6SGV4SHAH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10406#I9Y1 (example). In VQA35Q7C00/e1, example 2.5
History
- 2026-10-29: add by m2/v0.4.10
Thomas Luby S6SNYNFEKT
| URI | m2://inv/S6SNYNFEKT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Luby, Thomas Luby (topic). Also Wikidata Q18672611
History
- 2026-11-02: add by m2/dev
Woody Bledsoe S6SPV1FE3M
| URI | m2://inv/S6SPV1FE3M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#W28Y, Woody Bledsoe (topic)
History
- 2026-11-02: add by m2/dev
Finite characterization of dominating algebras S6SQTXMX7Q
| URI | m2://inv/S6SQTXMX7Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40054#RBL0, Finite characterization of dominating algebras (statement). In CA4C9PFM1E/e1, theorem 4.1.7
History
- 2026-10-30: add by m2/v0.4.12
Exposure-feature regression remainder S6SSXXDDJQ
| URI | m2://inv/S6SSXXDDJQ |
|---|---|
| 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.20772#262Q, Exposure-feature regression remainder (statement)
History
- 2026-11-02: add by m2/v0.6.18
Peano axioms S6SV7Z2N83
| URI | m2://inv/S6SV7Z2N83 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Natural number#45P0, Peano axioms (statement)
History
- 2026-11-02: add by m2/dev
Fixed-point space S6T1WYNJW4
| URI | m2://inv/S6T1WYNJW4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fixed-point space, Fixed-point space (definition). Also Wikidata Q5456325
History
- 2026-11-02: add by m2/dev
S6T5SF7QH3 S6T5SF7QH3
| URI | m2://inv/S6T5SF7QH3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14047#4Z9R (statement). In PJYGJNS48K/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
S6T68WQ5AR S6T68WQ5AR
| URI | m2://inv/S6T68WQ5AR |
|---|---|
| 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 2204.10840#RTDF (statement). In EMS1MAJZ4X/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.6
Free bilinear estimate S6TEDWTX5J
| URI | m2://inv/S6TEDWTX5J |
|---|---|
| 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#OCS3, Free bilinear estimate (statement). In XXFYVDVPPE/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
Applications S6THFS6S5V
| URI | m2://inv/S6THFS6S5V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual linear program#PB9I, Applications (example)
History
- 2026-11-02: add by m2/dev
S6THYTVZYQ S6THYTVZYQ
| URI | m2://inv/S6THYTVZYQ |
|---|---|
| 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.36411#S1J9 (statement). In 9QG5CND2RQ/e1, corollary 3.1
History
- 2026-10-30: add by m2/v0.4.12
S6TJ31MPV3 S6TJ31MPV3
| URI | m2://inv/S6TJ31MPV3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#TUZV (statement)
History
- 2026-11-02: add by m2/v0.6.17
S6TTAY324P S6TTAY324P
| URI | m2://inv/S6TTAY324P |
|---|---|
| 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#LBM0 (statement). In 12JKZ8EN52/e1, theorem 8.1
History
- 2026-10-27: add by m2/v0.3.5
retract S6TV4283FW
| URI | m2://inv/S6TV4283FW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2141963, retract (concept). Also EoM Retract_of_a_topological_space, MathWorld Retract, nLab retract
- wikipedia: Wikipedia Retraction (topology), Retraction (definition). Also Wikidata Q2141963
History
- 2026-10-26: add by m2/dev
Idealized presentation S6VEZCSYNV
| URI | m2://inv/S6VEZCSYNV |
|---|---|
| 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.32078#1P4I, Idealized presentation (statement). In 5PN85N6EJF/e1, proposition 5.1
History
- 2026-10-31: add by m2/v0.5.6
Hamming code S6VG8RB82P
| URI | m2://inv/S6VG8RB82P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#3NP0, Hamming code (definition)
History
- 2026-11-02: add by m2/dev
tangent map S6VH2WQVVY
| URI | m2://inv/S6VH2WQVVY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Differentiable manifolds > tangent map, tangent map (unknown). Also Mathlib tangentMap
History
- 2026-10-26: add by m2/dev
S6VJ8XGNNG S6VJ8XGNNG
| URI | m2://inv/S6VJ8XGNNG |
|---|---|
| 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.04252#JZSG (statement). In ZF0Z61VQ96/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.12
S6VN2AJ6BC S6VN2AJ6BC
| URI | m2://inv/S6VN2AJ6BC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16267#H0GS (statement). In 65GKPZ15VH/e1, proposition 3.20
History
- 2026-10-28: add by m2/v0.4.2
Isaak Bacharach S6W0XS5BAH
| URI | m2://inv/S6W0XS5BAH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isaak Bacharach, Isaak Bacharach (topic). Also Wikidata Q6077484
History
- 2026-11-02: add by m2/dev
Properties S6W2988FN8
| URI | m2://inv/S6W2988FN8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jackson q-Bessel function#0LP5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Axiom systems S6W55BH7EE
| URI | m2://inv/S6W55BH7EE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mereology#KDNS, Axiom systems (statement)
History
- 2026-11-02: add by m2/dev
Inclusion of free categories S6W6456C11
| URI | m2://inv/S6W6456C11 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20478#X505, Inclusion of free categories (statement)
History
- 2026-11-02: add by m2/v0.6.18
Egalitarian rule S6WPCA8H77
| URI | m2://inv/S6WPCA8H77 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Egalitarian rule, Egalitarian rule (definition). Also Wikidata Q107293018
History
- 2026-11-02: add by m2/dev
Bifrustum S6WSJ51T47
| URI | m2://inv/S6WSJ51T47 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bifrustum, Bifrustum (object). Also Wikidata Q2036093
History
- 2026-11-02: add by m2/dev
S6X12DY9VX S6X12DY9VX
| URI | m2://inv/S6X12DY9VX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 16-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2408.01345#7MTP (definition). In PT5PBPCS3P/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Silk Road 2 S6X3W52N90
| URI | m2://inv/S6X3W52N90 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Silk Road (marketplace)#3LSI, Silk Road 2 (unknown)
History
- 2026-11-02: add by m2/dev
S6X3XVH7PW S6X3XVH7PW
| URI | m2://inv/S6X3XVH7PW |
|---|---|
| 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 2404.05965#3PEW (statement). In GD1GED3FZ3/e1, proposition 7.1
History
- 2026-10-27: add by m2/v0.3.5
Classical Newton--Schulz polynomials S6X8485GKK
| URI | m2://inv/S6X8485GKK |
|---|---|
| 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.03306#EFGP, Classical Newton--Schulz polynomials (statement). In CXQ7FKSKSB/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.12
Krohn–Rhodes theory S6X8P6T15H
| URI | m2://inv/S6X8P6T15H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krohn–Rhodes theory, Krohn–Rhodes theory (definition). Also Wikidata Q6438788
History
- 2026-11-02: add by m2/dev
Elliptic cone S6X93RTMB6
| URI | m2://inv/S6X93RTMB6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic cone, Elliptic cone (definition). Also Wikidata Q135184541
History
- 2026-11-02: add by m2/dev
S6X9TGEJTV S6X9TGEJTV
| URI | m2://inv/S6X9TGEJTV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27886#QOFL (statement)
History
- 2026-11-01: add by m2/v0.6.15
S6XAJBG073 S6XAJBG073
| URI | m2://inv/S6XAJBG073 |
|---|---|
| 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.15744#9BXU (statement). In NV3PBZGBB7/e1, proposition 5.5
History
- 2026-10-28: add by m2/v0.4.2
Law of cosines S6XSNWGRCV
| URI | m2://inv/S6XSNWGRCV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometry#107V, Law of cosines (statement)
History
- 2026-11-02: add by m2/dev
William Schmidt S6XVQBH5Q0
| URI | m2://inv/S6XVQBH5Q0 |
|---|---|
| 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#UFUX, William Schmidt (unknown)
History
- 2026-11-02: add by m2/dev
S6XWGZ8RVH S6XWGZ8RVH
| URI | m2://inv/S6XWGZ8RVH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15367#ZH92 (statement). In 9AFZ1S368G/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
separative S6Y0J38KB9
| URI | m2://inv/S6Y0J38KB9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#R1IN, separative (definition)
History
- 2026-11-02: add by m2/dev
Ronnie Kosloff S6Y1CVX875
| URI | m2://inv/S6Y1CVX875 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OI6U, Ronnie Kosloff (unknown)
History
- 2026-11-02: add by m2/dev
Consistency of the regularized weak fractional Laplacian S6Y2S1YEK2
| URI | m2://inv/S6Y2S1YEK2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10484#3YGN, Consistency of the regularized weak fractional Laplacian (statement). In 5B4AX4SF88/e1, lemma 4.5
History
- 2026-10-29: add by m2/v0.4.10
S6Y5139ED6 S6Y5139ED6
| URI | m2://inv/S6Y5139ED6 |
|---|---|
| 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.01015#S6O9 (statement). In PSH07NKZ62/e1, theorem 6
History
- 2026-10-29: add by m2/v0.4.12
S6Y5Q0VDTX S6Y5Q0VDTX
| URI | m2://inv/S6Y5Q0VDTX |
|---|---|
| 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.01912#IPFF (definition). In CTE1C9KYPY/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Freudenthal suspension theorem S6YBDE3R2N
| URI | m2://inv/S6YBDE3R2N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#6SJ4, Freudenthal suspension theorem (definition)
History
- 2026-11-02: add by m2/dev
Example S6YC8NA8NJ
| URI | m2://inv/S6YC8NA8NJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vieta jumping#4B7L, Example (example)
History
- 2026-11-02: add by m2/dev
Horizon bias and model-based planning S6YDT222BA
| URI | m2://inv/S6YDT222BA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#3XYF, Horizon bias and model-based planning (statement). In B29M4E6KGC/e1, proposition J.1
History
- 2026-10-28: add by m2/v0.4.2
S6YHSRAJJ3 S6YHSRAJJ3
| URI | m2://inv/S6YHSRAJJ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/non-enumerability.tex#thm:nonenum-pownat (statement). In PKGMM3P5QY, thm, section 83.9
History
- 2026-11-01: add by m2/v0.6.13
S6YKQK4S76 S6YKQK4S76
| URI | m2://inv/S6YKQK4S76 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28282#3Y2M (statement)
History
- 2026-11-01: add by m2/v0.6.15
Permutation group S6YMQKN6VC
| URI | m2://inv/S6YMQKN6VC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#4M7C, Permutation group (definition)
- wikipedia: Wikipedia List of permutation topics#R366, Permutation group (definition)
History
- 2026-11-02: add by m2/dev
Otfried Cheong S6YPGTNF7H
| URI | m2://inv/S6YPGTNF7H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#CQ2A, Otfried Cheong (unknown)
- wikipedia: Wikipedia List of German mathematicians#8J3V, Otfried Cheong (unknown)
History
- 2026-11-02: add by m2/dev
Turkish Mathematical Society S6YRY14MDY
| URI | m2://inv/S6YRY14MDY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical societies#D4SL, Turkish Mathematical Society (definition)
History
- 2026-11-02: add by m2/dev
Stirling's approximation S6YZEV9Y8M
| URI | m2://inv/S6YZEV9Y8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of calculus topics#DAXL, Stirling's approximation (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#G4GF, Stirling's approximation (definition)
History
- 2026-11-02: add by m2/dev
Special cases S6Z4BVQ3NP
| URI | m2://inv/S6Z4BVQ3NP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Score test#KJJH, Special cases (statement)
History
- 2026-11-02: add by m2/dev
The arc $P_2$ S6ZE5H2HK3
| URI | m2://inv/S6ZE5H2HK3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#4HLI, The arc $P_2$ (statement). In 65TJENWK7X/e1, theorem 49
History
- 2026-10-29: add by m2/v0.4.10
Anscombe transform S6ZEHTV9RC
| URI | m2://inv/S6ZEHTV9RC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anscombe transform, Anscombe transform (definition). Also Wikidata Q4770540
History
- 2026-11-02: add by m2/dev
S6ZNC63HAA S6ZNC63HAA
| URI | m2://inv/S6ZNC63HAA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10804#BDGQ (statement). In 6M5WR7KB80/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
Solutions to Pell's equation S6ZV43JFHB
| URI | m2://inv/S6ZV43JFHB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WIW8, Solutions to Pell's equation (definition)
History
- 2026-11-02: add by m2/dev