Inventory rows SP
The cards of the rows of the inventory whose ids start with SP. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
SP048JCRQJ SP048JCRQJ
| URI | m2://inv/SP048JCRQJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2409.01237#VGEP (statement). In M9VHCG48HB/e1, corollary 1
History
- 2026-10-27: add by m2/v0.3.5
iterated loop space SP06J4PXHV
| URI | m2://inv/SP06J4PXHV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.1/iterated-loop-space, iterated loop space (concept). In N54F33XE07, index, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
type, of lists SP08P6WYMW
| URI | m2://inv/SP08P6WYMW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/type-of-lists, type, of lists (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Examples SP09V49QVK
| URI | m2://inv/SP09V49QVK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace class#UYB7, Examples (example)
History
- 2026-11-02: add by m2/dev
SP0B8KZV63 SP0B8KZV63
| URI | m2://inv/SP0B8KZV63 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24320#ZVJI (statement)
History
- 2026-11-01: add by m2/v0.6.15
SP0DH9FTVF SP0DH9FTVF
| URI | m2://inv/SP0DH9FTVF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2604.07243#FIBL (statement). In 9RH8C8RYW3/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
Generalizations SP0GJJ0HNM
| URI | m2://inv/SP0GJJ0HNM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev's bias#G7SV, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
List of permutation topics SP1055CSNA
| URI | m2://inv/SP1055CSNA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of permutation topics, List of permutation topics (topic). Also Wikidata Q6633319
History
- 2026-11-02: add by m2/dev
SP124CFBQ7 SP124CFBQ7
| URI | m2://inv/SP124CFBQ7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0905.1489#R22M (statement). In MZ18CTV65N/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Moment magnitude scale SP12J9SCH3
| URI | m2://inv/SP12J9SCH3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moment magnitude scale, Moment magnitude scale (definition). Also Wikidata Q201605
History
- 2026-11-02: add by m2/dev
Bi-invariant Riemannian metric SP152XQ6ZV
| URI | m2://inv/SP152XQ6ZV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian manifold#MG43, Bi-invariant Riemannian metric (unknown)
History
- 2026-11-02: add by m2/dev
SP19B06Q3D SP19B06Q3D
| URI | m2://inv/SP19B06Q3D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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 2409.01237#JE98 (definition). In M9VHCG48HB/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
SP1KA2HC6H SP1KA2HC6H
| URI | m2://inv/SP1KA2HC6H |
|---|---|
| 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.11082#X7DP (statement). In GFPFFN0BXV/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.3
Corollary SP1VM3KX7W
| URI | m2://inv/SP1VM3KX7W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trakhtenbrot's theorem#VGRK, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Wieferich prime SP1Y8PRBCX
| URI | m2://inv/SP1Y8PRBCX |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q966601, Wieferich prime (unknown). Also MathWorld WieferichPrime, OEIS A001220
- wikipedia: Wikipedia Wieferich prime, Wieferich prime (conjecture). Also Wikidata Q966601
History
- 2026-10-26: add by m2/dev
SP1Z27JY7T SP1Z27JY7T
| URI | m2://inv/SP1Z27JY7T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25761#J8J9 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Christiane Tammer SP2CXQ1570
| URI | m2://inv/SP2CXQ1570 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christiane Tammer, Christiane Tammer (topic). Also Wikidata Q97095895
History
- 2026-11-02: add by m2/dev
SP2KYA3W4F SP2KYA3W4F
| URI | m2://inv/SP2KYA3W4F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30750#0UT5 (example). In DACV7NTAAK/e1, example D.4
History
- 2026-10-31: add by m2/v0.5.6
Cosco--Zeitouni SP2SQNE7MA
| URI | m2://inv/SP2SQNE7MA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21937#0FSQ, Cosco--Zeitouni (statement)
History
- 2026-11-02: add by m2/v0.6.17
SP2VRHVMJ6 SP2VRHVMJ6
| URI | m2://inv/SP2VRHVMJ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14278#OX36 (statement). In RTE2C0PH4S/e1, corollary 6.2
History
- 2026-10-28: add by m2/v0.4.2
Damodar Dharmananda Kosambi SP2Y02MVK8
| URI | m2://inv/SP2Y02MVK8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#UKEV, Damodar Dharmananda Kosambi (unknown)
History
- 2026-11-02: add by m2/dev
Bonnesen's inequality SP30RQV644
| URI | m2://inv/SP30RQV644 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#9ORD, Bonnesen's inequality (statement)
History
- 2026-11-02: add by m2/dev
SP37CD2TG6 SP37CD2TG6
| URI | m2://inv/SP37CD2TG6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#483V (statement). In 9DQKY7KGE8/e1, proposition 6.31
History
- 2026-10-27: add by m2/v0.3.5
Arne Beurling SP3EA8KQDF
| URI | m2://inv/SP3EA8KQDF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#6JLI, Arne Beurling (topic)
History
- 2026-11-02: add by m2/dev
Examples SP3G9Q8KJG
| URI | m2://inv/SP3G9Q8KJG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radial tree#RSLM, Examples (example)
History
- 2026-11-02: add by m2/dev
SP3KDWVMSA SP3KDWVMSA
| URI | m2://inv/SP3KDWVMSA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#ZRSG (statement). In N6GD8392QB/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
SP3MA3QGK0 SP3MA3QGK0
| URI | m2://inv/SP3MA3QGK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#VOCV (statement). In F8RC6AENB0/e1, theorem 5.10
History
- 2026-10-27: add by m2/v0.3.5
Full-teacher kink regularity SP3Q4HPXR6
| URI | m2://inv/SP3Q4HPXR6 |
|---|---|
| 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#0CEI, Full-teacher kink regularity (statement). In T8E6F01RTM/e1, lemma N.1
History
- 2026-10-30: add by m2/v0.4.12
Full snub 24-cell SP3QPYMK91
| URI | m2://inv/SP3QPYMK91 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Runcinated 24-cells#QKM8, Full snub 24-cell (unknown)
History
- 2026-11-02: add by m2/dev
Rasch model estimation SP3RJDRCTN
| URI | m2://inv/SP3RJDRCTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rasch model estimation, Rasch model estimation (definition). Also Wikidata Q7294746
History
- 2026-11-02: add by m2/dev
\textbf{Finite-time error estimates for Euler-type ULMC SP40SF20XE
| URI | m2://inv/SP40SF20XE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.20713#6TBY, \textbf{Finite-time error estimates for Euler-type ULMC (statement)
History
- 2026-11-02: add by m2/v0.6.18
SP4F0CRMEK SP4F0CRMEK
| URI | m2://inv/SP4F0CRMEK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07673#YBNM (example). In 37B1MPV8GX/e1, example 4.6
History
- 2026-10-29: add by m2/v0.4.10
SP4HE45GY7 SP4HE45GY7
| URI | m2://inv/SP4HE45GY7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.03746#4CX4 (statement). In 4E1D0NS89S/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
Statement of the theorem SP4HGFSAGG
| URI | m2://inv/SP4HGFSAGG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Turán–Kubilius inequality#JDQW, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Fej\'er local-band theorem SP4JJB732R
| URI | m2://inv/SP4JJB732R |
|---|---|
| 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.16351#TIC7, Fej\'er local-band theorem (statement). In 1QSV7EQE3T/e1, theorem S14
History
- 2026-10-28: add by m2/v0.4.2
semisimple SP4KPGJPWB
| URI | m2://inv/SP4KPGJPWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of representation theory#KLHR, semisimple (definition)
History
- 2026-11-02: add by m2/dev
Example SP4MQ9J0W5
| URI | m2://inv/SP4MQ9J0W5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taylor series#KHS2, Example (example)
History
- 2026-11-02: add by m2/dev
Tom Berson SP4ZT75GNF
| URI | m2://inv/SP4ZT75GNF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tom Berson, Tom Berson (topic). Also Wikidata Q7814951
History
- 2026-11-02: add by m2/dev
Diaconescu's theorem SP50Y4PBXS
| URI | m2://inv/SP50Y4PBXS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Diaconescu's theorem 6155D300EB |
Mentions
- wikidata: Wikidata Q3527059, Diaconescu's theorem (statement). Also nLab Diaconescu's theorem
- wikipedia: Wikipedia Diaconescu's theorem, Diaconescu's theorem (statement). Also Wikidata Q3527059
History
- 2026-10-26: add by m2/dev
No low-energy stabilizer states theorem SP5AEEJBDF
| URI | m2://inv/SP5AEEJBDF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NLTS conjecture#4TLW, No low-energy stabilizer states theorem (statement)
History
- 2026-11-02: add by m2/dev
SP5AYB88D9 SP5AYB88D9
| URI | m2://inv/SP5AYB88D9 |
|---|---|
| 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 2609.24307#TN7E (statement)
History
- 2026-11-01: add by m2/v0.6.15
SP5DY4CZ08 SP5DY4CZ08
| URI | m2://inv/SP5DY4CZ08 |
|---|---|
| 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#RYQA (statement). In ZF0Z61VQ96/e1, theorem A
History
- 2026-10-29: add by m2/v0.4.12
Duhamel's integral SP5SWGS32H
| URI | m2://inv/SP5SWGS32H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duhamel's integral, Duhamel's integral (definition). Also Wikidata Q845685
History
- 2026-11-02: add by m2/dev
Candidate graph SP5XCQ16T4
| URI | m2://inv/SP5XCQ16T4 |
|---|---|
| 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.39269#XRW4, Candidate graph (statement). In HS4X20TX33/e1, lemma 0.35
History
- 2026-10-30: add by m2/v0.4.12
SP604807WV SP604807WV
| URI | m2://inv/SP604807WV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2102.12931#W6NV (statement). In PQHTR84RAJ/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.4.0
Mikhail Ostrogradsky SP66XYG4J2
| URI | m2://inv/SP66XYG4J2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q355892, Mikhail Ostrogradsky (unknown). Also ProofWiki Mathematician:Mikhail_Vasilyevich_Ostrogradsky
- wikipedia: Wikipedia Mikhail Ostrogradsky, Mikhail Ostrogradsky (topic). Also Wikidata Q355892
History
- 2026-10-26: add by m2/dev
Spherinder SP6PWQAPX0
| URI | m2://inv/SP6PWQAPX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spherinder, Spherinder (definition). Also Wikidata Q17078363
History
- 2026-11-02: add by m2/dev
Lossless Video Compression SP6RPDX4FW
| URI | m2://inv/SP6RPDX4FW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lossless compression#WB0N, Lossless Video Compression (unknown)
History
- 2026-11-02: add by m2/dev
Operational analytical processing SP6THRD6ET
| URI | m2://inv/SP6THRD6ET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operational analytical processing, Operational analytical processing (definition). Also Wikidata Q85790991
History
- 2026-11-02: add by m2/dev
One-relator group SP6YJZ6TRJ
| URI | m2://inv/SP6YJZ6TRJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia One-relator group, One-relator group (definition). Also Wikidata Q106901197
History
- 2026-11-02: add by m2/dev
Structure of the lift SP6ZEZ22N0
| URI | m2://inv/SP6ZEZ22N0 |
|---|---|
| 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.13892#9NZT, Structure of the lift (statement). In HV9KKEBBDD/e1, lemma IV.7
History
- 2026-10-28: add by m2/v0.4.2
extension SP71EY5CDY
| URI | m2://inv/SP71EY5CDY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of module theory#KZOU, extension (definition)
History
- 2026-11-02: add by m2/dev
SP780HCBST SP780HCBST
| URI | m2://inv/SP780HCBST |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13877#9VBO (definition). In NBMA6DBKJG/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
Examples SP7GY65NWY
| URI | m2://inv/SP7GY65NWY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numerical semigroup#3REG, Examples (example)
History
- 2026-11-02: add by m2/dev
SP7ME43TXT SP7ME43TXT
| URI | m2://inv/SP7ME43TXT |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/seq-induction.ptx#exercise-26 (exercise). In Y91XFCEVHQ, exercise, section 3.5
History
- 2026-11-01: add by m2/v0.6.13
Quantum PCP conjecture SP7VD7K69E
| URI | m2://inv/SP7VD7K69E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NLTS conjecture#HJYO, Quantum PCP conjecture (statement)
History
- 2026-11-02: add by m2/dev
SP7ZWCV0N3 SP7ZWCV0N3
| URI | m2://inv/SP7ZWCV0N3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21600#4IBY (statement). In EGAXXGHQNK/e1, proposition 1
History
- 2026-10-27: add by m2/v0.4.2
SP89FWECW3 SP89FWECW3
| URI | m2://inv/SP89FWECW3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21544#S2UN (statement). In 5FMMWKNYWW/e1, theorem 3.11
History
- 2026-10-27: add by m2/v0.4.2
Hilbert's nineteenth problem SP8AAVRD80
| URI | m2://inv/SP8AAVRD80 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's nineteenth problem, Hilbert's nineteenth problem (problem). Also Wikidata Q5761157
History
- 2026-11-02: add by m2/dev
Finite model property SP8BRWPKGE
| URI | m2://inv/SP8BRWPKGE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite model property, Finite model property (definition). Also Wikidata Q5450401
History
- 2026-11-02: add by m2/dev
SP8G7EYMPX SP8G7EYMPX
| URI | m2://inv/SP8G7EYMPX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05696#MFB5 (definition). In MG81A9XJTQ/e1, definition VI.1
History
- 2026-10-29: add by m2/v0.4.10
$U_\Delta^p(I)$ space SP8QCTBB6H
| URI | m2://inv/SP8QCTBB6H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15460#G0AY, $U_\Delta^p(I)$ space (definition). In T2Z3D2VQ9B/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
SP8SRNXCSE SP8SRNXCSE
| URI | m2://inv/SP8SRNXCSE |
|---|---|
| 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.22374#PBB6 (statement)
History
- 2026-11-02: add by m2/v0.6.17
John Flavel SP8TGR0563
| URI | m2://inv/SP8TGR0563 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Flavel (logician), John Flavel (topic). Also Wikidata Q6233399
History
- 2026-11-02: add by m2/dev
Rummler–Sullivan theorem SP8Y5ZKZKK
| URI | m2://inv/SP8Y5ZKZKK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taut foliation#6JAV, Rummler–Sullivan theorem (statement)
History
- 2026-11-02: add by m2/dev
SP90RVQV0F SP90RVQV0F
| URI | m2://inv/SP90RVQV0F |
|---|---|
| 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 math/9802134#0GFG (definition). In 235B1J1ETB/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
SP93WDDZ4V SP93WDDZ4V
| URI | m2://inv/SP93WDDZ4V |
|---|---|
| Kind | example |
| 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#FGPR (example). In 6S5EH3388Z/e1, example 1.9
History
- 2026-10-30: add by m2/v0.4.12
SP9G4X71JW SP9G4X71JW
| URI | m2://inv/SP9G4X71JW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37584#H9K4 (statement). In 66F6N3BJWV/e1, lemma A.2
History
- 2026-10-30: add by m2/v0.4.12
SP9QS58JN9 SP9QS58JN9
| URI | m2://inv/SP9QS58JN9 |
|---|---|
| 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.08323#QNRU (definition). In FR51ART4NF/e1, definition 2.7
History
- 2026-10-29: add by m2/v0.4.10
Mikhail Khovanov SP9YGHCBSZ
| URI | m2://inv/SP9YGHCBSZ |
|---|---|
| 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#HAYW, Mikhail Khovanov (unknown)
History
- 2026-11-02: add by m2/dev
Notation SPA0G6SPEQ
| URI | m2://inv/SPA0G6SPEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiplicative group of integers modulo n#RAI2, Notation (definition)
History
- 2026-11-02: add by m2/dev
SPA50M4N7Z SPA50M4N7Z
| URI | m2://inv/SPA50M4N7Z |
|---|---|
| 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 0904.0817#0A3N (definition). In 569FZDANV3/e1, definition 0.3
History
- 2026-10-27: add by m2/v0.3.5
(for real linear functionals) SPA633MYHA
| URI | m2://inv/SPA633MYHA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Banach theorem#SREN, (for real linear functionals) (statement)
History
- 2026-11-02: add by m2/dev
SPAD716KFA SPAD716KFA
| URI | m2://inv/SPAD716KFA |
|---|---|
| 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.37897#A475 (statement). In RBQ5FNCVNZ/e1, theorem 7.2
History
- 2026-10-30: add by m2/v0.4.12
Joseph Bertrand SPAGRSVAFA
| URI | m2://inv/SPAGRSVAFA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#GZPQ, Joseph Bertrand (topic)
History
- 2026-11-02: add by m2/dev
Fuentes, Montserrat SPAJP58ZGF
| URI | m2://inv/SPAJP58ZGF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#V9FY, Fuentes, Montserrat (topic)
History
- 2026-11-02: add by m2/dev
Ulpian's life table SPASPZQ3J7
| URI | m2://inv/SPASPZQ3J7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ulpian's life table, Ulpian's life table (definition). Also Wikidata Q3512779
History
- 2026-11-02: add by m2/dev
SPAWKBNB0Z SPAWKBNB0Z
| URI | m2://inv/SPAWKBNB0Z |
|---|---|
| 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.01818#GBA5 (statement). In DA31J9XJ4J/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.12
SPAZ96Y253 SPAZ96Y253
| URI | m2://inv/SPAZ96Y253 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 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 2609.21860#MO6Y (statement)
History
- 2026-11-02: add by m2/v0.6.18
Discretization SPBC82B2ZC
| URI | m2://inv/SPBC82B2ZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#TY9P, Discretization (definition)
History
- 2026-11-02: add by m2/dev
Universal pure-pair surjectivity SPBCCGPT9M
| URI | m2://inv/SPBCCGPT9M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20649#IZWN, Universal pure-pair surjectivity (statement). In XDTM624YPE/e1, theorem 8.2
History
- 2026-10-27: add by m2/v0.4.2
Converse Barcan formula SPBMMZSZDS
| URI | m2://inv/SPBMMZSZDS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barcan formula#OCPD, Converse Barcan formula (statement)
History
- 2026-11-02: add by m2/dev
SPBTSW80QS SPBTSW80QS
| URI | m2://inv/SPBTSW80QS |
|---|---|
| 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.23941#71DX (statement)
History
- 2026-11-02: add by m2/v0.6.17
SPC16ETEAD SPC16ETEAD
| URI | m2://inv/SPC16ETEAD |
|---|---|
| Kind | definition |
| 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 2610.19333#CIWV (definition). In 5Y3HF693YB/e1, definition 2.4
History
- 2026-10-28: add by m2/v0.4.2
SPC5XJPJYH SPC5XJPJYH
| URI | m2://inv/SPC5XJPJYH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#3E81 (statement)
History
- 2026-11-02: add by m2/v0.6.17
SPC63R2665 SPC63R2665
| URI | m2://inv/SPC63R2665 |
|---|---|
| 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.08251#S9A1 (statement). In YRJKC9DJEA/e1, corollary 6.3
History
- 2026-10-29: add by m2/v0.4.10
Definition and properties SPCAG3ZXP8
| URI | m2://inv/SPCAG3ZXP8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition function (number theory)#EPOP, Definition and properties (definition)
History
- 2026-11-02: add by m2/dev
Properties SPCFCTGG37
| URI | m2://inv/SPCFCTGG37 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parallelepiped#BAF8, Properties (statement)
History
- 2026-11-02: add by m2/dev
Combinatorial theory SPCGMRF452
| URI | m2://inv/SPCGMRF452 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#49YM, Combinatorial theory (definition)
History
- 2026-11-02: add by m2/dev
Fredholm integral equation SPCNBKCCT8
| URI | m2://inv/SPCNBKCCT8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Fredholm integral equation 526TCVMSHP |
Mentions
- wikidata: Wikidata Q2991898, Fredholm integral equation (unknown). Also EoM Fredholm_equation
- wikipedia: Wikipedia Fredholm integral equation, Fredholm integral equation (definition). Also Wikidata Q2991898
History
- 2026-10-26: add by m2/dev
SPCX6VNDZ4 SPCX6VNDZ4
| URI | m2://inv/SPCX6VNDZ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.20531#AU59 (statement)
History
- 2026-11-02: add by m2/v0.6.18
SPD28NHB5Y SPD28NHB5Y
| URI | m2://inv/SPD28NHB5Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23871#MX5Z (definition)
History
- 2026-11-02: add by m2/v0.6.17
Local Laurent holonomy certificate SPDBAEMRSW
| URI | m2://inv/SPDBAEMRSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27970#UBPD, Local Laurent holonomy certificate (statement)
History
- 2026-11-01: add by m2/v0.6.15
Prior probability SPDD486PMN
| URI | m2://inv/SPDD486PMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prior probability, Prior probability (definition). Also Wikidata Q278090
History
- 2026-11-02: add by m2/dev
Ellis Kolchin SPDHCEX1VK
| URI | m2://inv/SPDHCEX1VK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ellis Kolchin, Ellis Kolchin (topic). Also Wikidata Q451627
History
- 2026-11-02: add by m2/dev
SPDHQ947Z6 SPDHQ947Z6
| URI | m2://inv/SPDHQ947Z6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31278#KGZ0 (statement). In KEP21CZFV9/e1, lemma #1
History
- 2026-10-31: add by m2/v0.5.6
SPDHRJF3TK SPDHRJF3TK
| URI | m2://inv/SPDHRJF3TK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26041#QG43 (statement)
History
- 2026-11-01: add by m2/v0.6.15
numeral system SPDN2QWVXY
| URI | m2://inv/SPDN2QWVXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q122653, numeral system (definition). Also ProofWiki Definition:Numeral_System
- wikipedia: Wikipedia Numeral system, Numeral system (definition). Also Wikidata Q122653
History
- 2026-10-26: add by m2/dev
Fundamental Theorems SPDQSRB8B7
| URI | m2://inv/SPDQSRB8B7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algorithmic probability#GE2O, Fundamental Theorems (statement)
History
- 2026-11-02: add by m2/dev
SPDR4QW8DB SPDR4QW8DB
| URI | m2://inv/SPDR4QW8DB |
|---|---|
| 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.14450#FSM0 (statement). In ZHTGQT07PE/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
SPE1VJJYQZ SPE1VJJYQZ
| URI | m2://inv/SPE1VJJYQZ |
|---|---|
| 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.04069#5R9P (statement). In ZA7WXGZYWC/e1, proposition 2.4
History
- 2026-10-29: add by m2/v0.4.12
Lindley's paradox SPE9YDTXYS
| URI | m2://inv/SPE9YDTXYS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lindley's paradox, Lindley's paradox (statement). Also Wikidata Q6552538
History
- 2026-11-02: add by m2/dev
Grytczuk--Pawlik--Ruci\'nski , Lemma 1 SPEHTK42C0
| URI | m2://inv/SPEHTK42C0 |
|---|---|
| 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.07828#ZJNM, Grytczuk--Pawlik--Ruci\'nski , Lemma 1 (statement). In TWGMVT1N1G/e1, lemma 8.7
History
- 2026-10-29: add by m2/v0.4.10
Marcinkiewicz interpolation theorem SPENK1NEG4
| URI | m2://inv/SPENK1NEG4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 46-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6757284, Marcinkiewicz theorem (statement). Also Wikidata Q6757284
- thousand_plus: thousand_plus Q6757284, Marcinkiewicz theorem (statement). Also Wikidata Q6757284, Wikipedia Marcinkiewicz theorem
- wikipedia: Wikipedia Marcinkiewicz interpolation theorem, Marcinkiewicz interpolation theorem (statement). Also Wikidata Q6757284
History
- 2026-10-26: add by m2/dev
SPEST9SGAD SPEST9SGAD
| URI | m2://inv/SPEST9SGAD |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18106#YWY9 (example). In VZDPG7NJCX/e1, example 2
History
- 2026-10-28: add by m2/v0.4.2
diagrammatic set SPEVVNVQG5
| URI | m2://inv/SPEVVNVQG5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#2FXW, diagrammatic set (definition)
History
- 2026-11-02: add by m2/dev
coordinate vector SPEWZVQP9E
| URI | m2://inv/SPEWZVQP9E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#CXL9, coordinate vector (definition)
History
- 2026-11-02: add by m2/dev
SPF0AYTH2X SPF0AYTH2X
| URI | m2://inv/SPF0AYTH2X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#8MA4 (statement). In F8RC6AENB0/e1, proposition 6.4
History
- 2026-10-27: add by m2/v0.3.5
SPF0PEPYGJ SPF0PEPYGJ
| URI | m2://inv/SPF0PEPYGJ |
|---|---|
| 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.28203#J719 (statement)
History
- 2026-11-01: add by m2/v0.6.15
SPF3MKPVFM SPF3MKPVFM
| URI | m2://inv/SPF3MKPVFM |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 49-XX, 51-XX, 52-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 1904.08413#UV24 (example). In X88HPQ0W8C/e1, example 2.35
History
- 2026-10-27: add by m2/v0.3.5
Strong comparison at a noncritical contact SPFB7XD34Y
| URI | m2://inv/SPFB7XD34Y |
|---|---|
| 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.00337#V3QX, Strong comparison at a noncritical contact (statement). In 5STQ3ABZ60/e1, lemma 2.6
History
- 2026-10-30: add by m2/v0.4.12
SPFBSRYAD2 SPFBSRYAD2
| URI | m2://inv/SPFBSRYAD2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.06152#3349 (statement). In HH35K7S17H/e1, lemma 3.11
History
- 2026-10-29: add by m2/v0.4.10
shrewd cardinal SPFE1B06GQ
| URI | m2://inv/SPFE1B06GQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#GO89, shrewd cardinal (definition)
History
- 2026-11-02: add by m2/dev
Spanning forest SPFK837NJB
| URI | m2://inv/SPFK837NJB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spanning tree#D88J, Spanning forest (unknown)
History
- 2026-11-02: add by m2/dev
SPFK9QYV05 SPFK9QYV05
| URI | m2://inv/SPFK9QYV05 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21092#NT5X (statement). In AGJE43FTF8/e1, theorem 8.3
History
- 2026-10-27: add by m2/v0.4.2
SPFSK3ZTSA SPFSK3ZTSA
| URI | m2://inv/SPFSK3ZTSA |
|---|---|
| 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.29641#Y1O4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
NL SPG4C6RAKJ
| URI | m2://inv/SPG4C6RAKJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia NL (complexity), NL (definition). Also Wikidata Q12857599
History
- 2026-11-02: add by m2/dev
Definition SPG4ZCKZHY
| URI | m2://inv/SPG4ZCKZHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biquaternion functions#3441, Definition (definition)
History
- 2026-11-02: add by m2/dev
SPG7APGWMZ SPG7APGWMZ
| URI | m2://inv/SPG7APGWMZ |
|---|---|
| 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.07673#5B9V (statement). In 37B1MPV8GX/e1, corollary 5.3
History
- 2026-10-29: add by m2/v0.4.10
SPG9SSJESV SPG9SSJESV
| URI | m2://inv/SPG9SSJESV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 37-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.13100#1Q2W (statement). In CC6S1HVK0T/e1, theorem 8.2
History
- 2026-10-28: add by m2/v0.4.2
SPGDXJVSYF SPGDXJVSYF
| URI | m2://inv/SPGDXJVSYF |
|---|---|
| Kind | definition |
| 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 2610.08253#FNIL (definition). In 6AD2CTF0QF/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Corollary (Riemann mapping theorem) SPGH7TEWBF
| URI | m2://inv/SPGH7TEWBF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Planar Riemann surface#K9OO, Corollary (Riemann mapping theorem) (statement)
History
- 2026-11-02: add by m2/dev
Application SPH0V4H7N4
| URI | m2://inv/SPH0V4H7N4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heath-Brown–Moroz constant#2VX5, Application (example)
History
- 2026-11-02: add by m2/dev
SPH5DSX86D SPH5DSX86D
| URI | m2://inv/SPH5DSX86D |
|---|---|
| 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 2410.10337#VPTH (definition). In RBBF0XNZ5E/e1, definition 14
History
- 2026-10-27: add by m2/v0.3.5
SSLeay SPH8C5Z7FB
| URI | m2://inv/SPH8C5Z7FB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia SSLeay, SSLeay (definition). Also Wikidata Q20972134
History
- 2026-11-02: add by m2/dev
SPHF86SJWH SPHF86SJWH
| URI | m2://inv/SPHF86SJWH |
|---|---|
| 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.03292#P8C5 (statement). In SN2PBM95HT/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
Weighted-sample bound under positive curvature SPHR1WB0YB
| URI | m2://inv/SPHR1WB0YB |
|---|---|
| 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 2610.00501#U79E, Weighted-sample bound under positive curvature (statement). In FTPW1SZ8D3/e1, theorem 4.3
History
- 2026-10-30: add by m2/v0.4.12
Bounded derived category SPHS12SB2N
| URI | m2://inv/SPHS12SB2N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Derived category#3DX3, Bounded derived category (unknown)
History
- 2026-11-02: add by m2/dev
Stationary phase SPHSER1Q70
| URI | m2://inv/SPHSER1Q70 |
|---|---|
| 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.01035#VD02, Stationary phase (statement). In MVQWXFXWM7/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
SPJ7STAA3T SPJ7STAA3T
| URI | m2://inv/SPJ7STAA3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16779#IWF2 (statement). In 1R7H0ZAHWA/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
Applications SPJFWY1YSS
| URI | m2://inv/SPJFWY1YSS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Davenport constant#317F, Applications (example)
History
- 2026-11-02: add by m2/dev
Helmholtz's theorems SPJGP8TVV6
| URI | m2://inv/SPJGP8TVV6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q985009, Helmholtz's theorems (statement). Also Wikidata Q985009
- thousand_plus: thousand_plus Q985009, Helmholtz's theorems (statement). Also Wikidata Q985009, Wikipedia Helmholtz's theorems
- wikipedia: Wikipedia Helmholtz's theorems, Helmholtz's theorems (statement). Also Wikidata Q985009
History
- 2026-10-26: add by m2/dev
Henry M. Sheffer SPJGW6B0HA
| URI | m2://inv/SPJGW6B0HA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1346410, Henry M. Sheffer (unknown). Also ProofWiki Mathematician:Henry_Maurice_Sheffer
- wikipedia: Wikipedia Henry M. Sheffer, Henry M. Sheffer (topic). Also Wikidata Q1346410
History
- 2026-10-26: add by m2/dev
ENNAMCQ for sigmoid-reweighted classification SPJMYRRDEF
| URI | m2://inv/SPJMYRRDEF |
|---|---|
| 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.39736#X67Z, ENNAMCQ for sigmoid-reweighted classification (statement). In BB1XJ47PVW/e1, corollary 18
History
- 2026-10-30: add by m2/v0.4.12
Examples SPJSPBVH3K
| URI | m2://inv/SPJSPBVH3K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mean squared error#HTK5, Examples (example)
History
- 2026-11-02: add by m2/dev
SPJTHGWBRG SPJTHGWBRG
| URI | m2://inv/SPJTHGWBRG |
|---|---|
| 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 2501.17850#VN4O (statement). In WS5KWBEG5Q/e1, lemma 3
History
- 2026-10-27: add by m2/v0.4.0
SPJZGT6FC5 SPJZGT6FC5
| URI | m2://inv/SPJZGT6FC5 |
|---|---|
| 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.05259#6HZZ (statement). In X1J5HKPS3R/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.10
Felix Hausdorff SPK33ERED0
| URI | m2://inv/SPK33ERED0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#HDOU, Felix Hausdorff (topic)
- wikipedia: Wikipedia List of publications in mathematics#8NJ9, Felix Hausdorff (topic)
History
- 2026-11-02: add by m2/dev
Construction of the competitor SPK5527G4S
| URI | m2://inv/SPK5527G4S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17815#EQBZ, Construction of the competitor (statement). In GJ7N2EWACX/e1, lemma 4.10
History
- 2026-10-28: add by m2/v0.4.2
Sharpness of the conjecture SPK76FXPY0
| URI | m2://inv/SPK76FXPY0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Szemerédi theorem#8J9Y, Sharpness of the conjecture (statement)
History
- 2026-11-02: add by m2/dev
SPK99AT193 SPK99AT193
| URI | m2://inv/SPK99AT193 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13883#2ERT (statement). In F3PQ8P7R2B/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
Examples SPK99MM7M8
| URI | m2://inv/SPK99MM7M8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scale-free network#CBMP, Examples (example)
History
- 2026-11-02: add by m2/dev
polyvector field SPKAN1TNN5
| URI | m2://inv/SPKAN1TNN5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25098671, polyvector field (unknown). Also nLab multivector field
- wikipedia: Wikipedia Multivector field, Multivector field (definition). Also Wikidata Q25098671
History
- 2026-10-26: add by m2/dev
Jean-François Le Gall SPKXJPD2JQ
| URI | m2://inv/SPKXJPD2JQ |
|---|---|
| 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#34D6, Jean-François Le Gall (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#6FM2, Jean-François Le Gall (unknown)
History
- 2026-11-02: add by m2/dev
Separating the path supports SPKYXPMN7N
| URI | m2://inv/SPKYXPMN7N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#06HU, Separating the path supports (statement). In ZZER8ZBSCR/e1, lemma 5.24
History
- 2026-10-29: add by m2/v0.4.12
Example SPM36SRHCC
| URI | m2://inv/SPM36SRHCC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperoperation#Z9WF, Example (example)
History
- 2026-11-02: add by m2/dev
SPM73RAR4N SPM73RAR4N
| URI | m2://inv/SPM73RAR4N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#RSCN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hilbert's theorems SPME976GJ6
| URI | m2://inv/SPME976GJ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Invariant theory#NDTR, Hilbert's theorems (statement)
History
- 2026-11-02: add by m2/dev
SPMZ57MVFW SPMZ57MVFW
| URI | m2://inv/SPMZ57MVFW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2210.06147#8TDO (statement). In 94RBNQA07A/e1, corollary 2.12
History
- 2026-10-27: add by m2/v0.3.5
López-Hernanz, Raissy, Ribón, Sanz SPN5DCZFXR
| URI | m2://inv/SPN5DCZFXR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01520#HO59, López-Hernanz, Raissy, Ribón, Sanz (statement). In GTZYR8QA3G/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.12
Primacy effect SPN97YVY7M
| URI | m2://inv/SPN97YVY7M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#R9NW, Primacy effect (unknown)
History
- 2026-11-02: add by m2/dev
Extreme point SPNGSREPTA
| URI | m2://inv/SPNGSREPTA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#TZ15, Extreme point (definition)
History
- 2026-11-02: add by m2/dev
SPNZQZ2E53 SPNZQZ2E53
| URI | m2://inv/SPNZQZ2E53 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.21090#ZWWJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
SPP2QAGTXS SPP2QAGTXS
| URI | m2://inv/SPP2QAGTXS |
|---|---|
| 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#3FQA (definition). In M0SQY5EZN5/e1, definition 4.2.1
History
- 2026-10-27: add by m2/v0.3.5
SPP915CE76 SPP915CE76
| URI | m2://inv/SPP915CE76 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/reduction-alt.tex#sfr:siz:red:prob:nat-nat (exercise). In PKGMM3P5QY, prob, section 83.12
History
- 2026-11-01: add by m2/v0.6.13
Raphaël Rouquier SPPAXGJ5H8
| URI | m2://inv/SPPAXGJ5H8 |
|---|---|
| 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#NXJW, Raphaël Rouquier (topic)
History
- 2026-11-02: add by m2/dev
SPPMW0AV54 SPPMW0AV54
| URI | m2://inv/SPPMW0AV54 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20153#MKZH (statement). In EYB107TM4Q/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.2
Heike Hofmann SPPYX9G7NN
| URI | m2://inv/SPPYX9G7NN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heike Hofmann, Heike Hofmann (topic). Also Wikidata Q27674369
History
- 2026-11-02: add by m2/dev
hypergraph SPQ0K95517
| URI | m2://inv/SPQ0K95517 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hypergraph CH2JRZNX7V |
Mentions
- wikidata: Wikidata Q840247, hypergraph (unknown). Also EoM Hypergraph, MathWorld Hypergraph, nLab hypergraph
- wikipedia: Wikipedia Hypergraph, Hypergraph (definition). Also Wikidata Q840247
History
- 2026-10-26: add by m2/dev
SPQ33QBYN9 SPQ33QBYN9
| URI | m2://inv/SPQ33QBYN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23605#3YYA (statement)
History
- 2026-11-02: add by m2/v0.6.17
SPQ63NA30G SPQ63NA30G
| URI | m2://inv/SPQ63NA30G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03373#MPJO (definition). In ZA7DBT3NWR/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.12
Examples SPQC465WBJ
| URI | m2://inv/SPQC465WBJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Final value theorem#ML64, Examples (example)
History
- 2026-11-02: add by m2/dev
SPQE6TT31T SPQE6TT31T
| URI | m2://inv/SPQE6TT31T |
|---|---|
| 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.15525#DAFM (statement). In EFDRME13PT/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
propositional function SPQEAZ9T4K
| URI | m2://inv/SPQEAZ9T4K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3606768, propositional function (unknown). Also EoM Propositional_function
- wikipedia: Wikipedia Propositional function, Propositional function (definition). Also Wikidata Q3606768
History
- 2026-10-26: add by m2/dev
Generalizations SPQHVJ6S41
| URI | m2://inv/SPQHVJ6S41 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mersenne prime#9KVP, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
SPQMXWR5XC SPQMXWR5XC
| URI | m2://inv/SPQMXWR5XC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section7-3.xml#activity-3 (exercise). In 649HGZKE96, activity, section 7.3.3
History
- 2026-11-01: add by m2/v0.6.13
SPQQ6XZ5TF SPQQ6XZ5TF
| URI | m2://inv/SPQQ6XZ5TF |
|---|---|
| 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.23106#2FTY (statement)
History
- 2026-11-02: add by m2/v0.6.17
Laplace, Pierre-Simon SPQRBZT9Y0
| URI | m2://inv/SPQRBZT9Y0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#XX96, Laplace, Pierre-Simon (topic)
History
- 2026-11-02: add by m2/dev
Clique-width SPQXX1HM0R
| URI | m2://inv/SPQXX1HM0R |
|---|---|
| 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.01441#D1NK, Clique-width (definition). In V678XY1P9A/e1, definition 2
History
- 2026-10-29: add by m2/v0.4.12
$x$-Variant SPR23V51EW
| URI | m2://inv/SPR23V51EW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/second-order-logic/syntax-and-semantics/satisfaction.tex#defn-3, $x$-Variant (definition). In PKGMM3P5QY, defn, section 67.5
History
- 2026-11-01: add by m2/v0.6.13
Problems and Theorems in Analysis SPRAKZFWRB
| URI | m2://inv/SPRAKZFWRB |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Problems and Theorems in Analysis, Problems and Theorems in Analysis (problem). Also Wikidata Q127533458
History
- 2026-11-02: add by m2/dev
Distribution sort SPRKQXA10J
| URI | m2://inv/SPRKQXA10J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sorting algorithm#6FPY, Distribution sort (unknown)
History
- 2026-11-02: add by m2/dev
Lie algebroid SPRS9E685F
| URI | m2://inv/SPRS9E685F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6543810, Lie algebroid (unknown). Also EoM Lie_algebroid, MathWorld LieAlgebroid, nLab Lie algebroid
- wikipedia: Wikipedia Lie algebroid, Lie algebroid (definition). Also Wikidata Q6543810
History
- 2026-10-26: add by m2/dev
SPRYATPEQG SPRYATPEQG
| URI | m2://inv/SPRYATPEQG |
|---|---|
| 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 2407.04161#GV73 (statement). In JBZJ7NPQ4G/e1, proposition 3.8
History
- 2026-10-27: add by m2/v0.4.0
SPS9P66R6R SPS9P66R6R
| URI | m2://inv/SPS9P66R6R |
|---|---|
| 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 2310.14879#V3HQ (statement). In 3VZ55B2N0D/e1, theorem 6.19
History
- 2026-10-27: add by m2/v0.4.0
SPSG16J68H SPSG16J68H
| URI | m2://inv/SPSG16J68H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2406.06548#3DKT (statement). In SCC2N3WNYE/e1, theorem 6.1
History
- 2026-10-27: add by m2/v0.3.5
improper integral SPSHA56TER
| URI | m2://inv/SPSHA56TER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#QU94, improper integral (definition)
History
- 2026-11-02: add by m2/dev
Isotropic line SPSHP23P24
| URI | m2://inv/SPSHP23P24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Isotropic line, Isotropic line (definition). Also Wikidata Q6086570
History
- 2026-11-02: add by m2/dev
SPSK8EV7Q6 SPSK8EV7Q6
| URI | m2://inv/SPSK8EV7Q6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1303.4328#70JR (statement). In HCTYW6VH87/e1, theorem 1.7
History
- 2026-10-27: add by m2/v0.3.5
SPSM46XR71 SPSM46XR71
| URI | m2://inv/SPSM46XR71 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.21391#BCJQ (statement). In J9C7YMKJ33/e1, lemma 3.7
History
- 2026-10-27: add by m2/v0.3.5
Examples SPSPFF50PA
| URI | m2://inv/SPSPFF50PA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Maximum spacing estimation#R9FN, Examples (example)
History
- 2026-11-02: add by m2/dev
associativity, of function composition SPSZDM5TZM
| URI | m2://inv/SPSZDM5TZM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.3/associativity-of-function-composition, associativity, of function composition (concept). In N54F33XE07, index, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
SPT61JVVP9 SPT61JVVP9
| URI | m2://inv/SPT61JVVP9 |
|---|---|
| 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.15525#4AGM (statement). In EFDRME13PT/e1, corollary 4.10
History
- 2026-10-28: add by m2/v0.4.2
SPT7WNFZM7 SPT7WNFZM7
| URI | m2://inv/SPT7WNFZM7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 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.15869#US33 (definition). In 5VRP29WZEK/e1, definition 1.2
History
- 2026-10-28: add by m2/v0.4.2
borrow SPT9CKFMFY
| URI | m2://inv/SPT9CKFMFY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16177075, borrow (concept). Also MathWorld Borrow
History
- 2026-10-26: add by m2/dev
Data monitoring committee SPTNWX8QJB
| URI | m2://inv/SPTNWX8QJB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Data monitoring committee, Data monitoring committee (definition). Also Wikidata Q2985397
History
- 2026-11-02: add by m2/dev
SPTPDGVKT3 SPTPDGVKT3
| URI | m2://inv/SPTPDGVKT3 |
|---|---|
| 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.28650#48HV (statement)
History
- 2026-11-01: add by m2/v0.6.15
SPTS0CGSQM SPTS0CGSQM
| URI | m2://inv/SPTS0CGSQM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises4-2.xml#exercise-5 (exercise). In 649HGZKE96, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
SPTS1BAZRR SPTS1BAZRR
| URI | m2://inv/SPTS1BAZRR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#85VO (statement). In 9YAE8FNQST/e1, theorem 24.4
History
- 2026-10-30: add by m2/v0.4.12
SPV4YDJGPG SPV4YDJGPG
| URI | m2://inv/SPV4YDJGPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29699#JAM8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
SPV8SGC23N SPV8SGC23N
| URI | m2://inv/SPV8SGC23N |
|---|---|
| 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#9INF (statement). In GXHKRV5BPY/e1, lemma 2.10
History
- 2026-10-29: add by m2/v0.4.10
Regular language SPVEW1G4N8
| URI | m2://inv/SPVEW1G4N8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#5J6B, Regular language (definition)
History
- 2026-11-02: add by m2/dev
SPVH4M2063 SPVH4M2063
| URI | m2://inv/SPVH4M2063 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37093#8WN6 (statement). In GA6QH32CJQ/e1, theorem 23
History
- 2026-10-30: add by m2/v0.4.12
SPVT3MR6JG SPVT3MR6JG
| URI | m2://inv/SPVT3MR6JG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#ZK8K (definition). In A1GWWGRXPA/e1, definition 1.9
History
- 2026-10-27: add by m2/v0.4.2
SPVWRCDPPA SPVWRCDPPA
| URI | m2://inv/SPVWRCDPPA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-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.30014#K96W (statement)
History
- 2026-11-01: add by m2/v0.6.15
SPW0DPPKWN SPW0DPPKWN
| URI | m2://inv/SPW0DPPKWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#6VI7 (statement). In E7W2HDNEKJ/e1, lemma 4.31
History
- 2026-10-30: add by m2/v0.4.12
SPW0PDQ1ER SPW0PDQ1ER
| URI | m2://inv/SPW0PDQ1ER |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#DY5T (statement). In 2QP93JHYNB/e1, theorem 3.7
History
- 2026-10-27: add by m2/v0.4.2
Cederbaum's maximum flow theorem SPW5SABZYA
| URI | m2://inv/SPW5SABZYA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cederbaum's maximum flow theorem, Cederbaum's maximum flow theorem (statement). Also Wikidata Q85751092
History
- 2026-11-02: add by m2/dev
SPWCH6J3RG SPWCH6J3RG
| URI | m2://inv/SPWCH6J3RG |
|---|---|
| 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 2204.04820#3CZW (statement). In 9EJ71MW89B/e1, theorem 4.2
History
- 2026-10-27: add by m2/v0.3.5
Harrison Wadsworth Jr. SPWF71B66R
| URI | m2://inv/SPWF71B66R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#I0PT, Harrison Wadsworth Jr. (unknown)
History
- 2026-11-02: add by m2/dev
Theorem SPWJ4MX6Q0
| URI | m2://inv/SPWJ4MX6Q0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie algebra extension#Q2B2, Theorem (statement)
History
- 2026-11-02: add by m2/dev
SPWNWMADC3 SPWNWMADC3
| URI | m2://inv/SPWNWMADC3 |
|---|---|
| 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.02663#4LMQ (statement). In PGAZ70WGMG/e1, lemma 14
History
- 2026-10-29: add by m2/v0.4.12
Pointed tail cover SPWTJ7Q9SD
| URI | m2://inv/SPWTJ7Q9SD |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20572#PQK6, Pointed tail cover (definition)
History
- 2026-11-02: add by m2/v0.6.18
principal root of unity SPWX0GBXRD
| URI | m2://inv/SPWX0GBXRD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25303623, principal root of unity (concept). Also MathWorld PrincipalRootofUnity
- wikipedia: Wikipedia Principal root of unity, Principal root of unity (definition). Also Wikidata Q25303623
History
- 2026-10-26: add by m2/dev
SPXEE03KT4 SPXEE03KT4
| URI | m2://inv/SPXEE03KT4 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14914#OWPN (definition). In CHC3T113Y4/e1, definition 4.3
History
- 2026-10-28: add by m2/v0.4.2
SPXGKV4AND SPXGKV4AND
| URI | m2://inv/SPXGKV4AND |
|---|---|
| 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.11082#U2T2 (statement). In GFPFFN0BXV/e1, lemma 16
History
- 2026-10-28: add by m2/v0.4.3
SPXS5V3NSG SPXS5V3NSG
| URI | m2://inv/SPXS5V3NSG |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-6 (proof). In VNMV985MXX, proof, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
SPXSGGW6WT SPXSGGW6WT
| URI | m2://inv/SPXSGGW6WT |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25539#U299 (example)
History
- 2026-11-01: add by m2/v0.6.15
Herbert Fleischner SPXWS4E0WM
| URI | m2://inv/SPXWS4E0WM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herbert Fleischner, Herbert Fleischner (topic). Also Wikidata Q28729974
History
- 2026-11-02: add by m2/dev
SPXYZXWBT9 SPXYZXWBT9
| URI | m2://inv/SPXYZXWBT9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/ordinal.tex#theorem-3 (statement). In RZP28ERRZV, theorem, section 92.4
History
- 2026-11-01: add by m2/v0.6.13
Ali Moustafa Mosharafa SPY113VMRR
| URI | m2://inv/SPY113VMRR |
|---|---|
| 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#PBQ7, Ali Moustafa Mosharafa (unknown)
History
- 2026-11-02: add by m2/dev
Pythagoras's constant SPY4BK60X6
| URI | m2://inv/SPY4BK60X6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Pythagoras#3OE2, Pythagoras's constant (definition)
History
- 2026-11-02: add by m2/dev
SPY52KM5CR SPY52KM5CR
| URI | m2://inv/SPY52KM5CR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25762#E234 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Michael R. Douglas SPYDXXD8KC
| URI | m2://inv/SPYDXXD8KC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FR1K, Michael R. Douglas (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#SQBQ, Michael R. Douglas (unknown)
History
- 2026-11-02: add by m2/dev
SPYGG1A6XK SPYGG1A6XK
| URI | m2://inv/SPYGG1A6XK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2401.13523#5EH2 (statement). In DDA62XQTWW/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.3.5
SPYKVGX2KW SPYKVGX2KW
| URI | m2://inv/SPYKVGX2KW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21260#V8EY (definition). In Z7WW536KA5/e1, definition C
History
- 2026-10-27: add by m2/v0.4.2
Problem of the Nile SPYXJXX04R
| URI | m2://inv/SPYXJXX04R |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Problem of the Nile, Problem of the Nile (problem). Also Wikidata Q109236647
History
- 2026-11-02: add by m2/dev
SPZ1NJT46N SPZ1NJT46N
| URI | m2://inv/SPZ1NJT46N |
|---|---|
| Kind | definition |
| 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 2501.15680#J4LL (definition). In VBWH2Z3YHA/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Lower bound under smoothness SPZ6VFKT8V
| URI | m2://inv/SPZ6VFKT8V |
|---|---|
| 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.02355#ESP0, Lower bound under smoothness (statement). In 1AXXV9ZT11/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.12
SPZ7Q35EBH SPZ7Q35EBH
| URI | m2://inv/SPZ7Q35EBH |
|---|---|
| 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 2609.20665#DQPE (definition)
History
- 2026-11-02: add by m2/v0.6.18
Terri Vaughan SPZBV4HYN6
| URI | m2://inv/SPZBV4HYN6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#EB1N, Terri Vaughan (unknown)
History
- 2026-11-02: add by m2/dev
SPZGJX4XRG SPZGJX4XRG
| URI | m2://inv/SPZGJX4XRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.03517#1HEQ (statement). In 3CGS9GSKTQ/e1, lemma 7.3
History
- 2026-10-29: add by m2/v0.4.12
fundamental theorem of calculus SPZTZ6RTGD
| URI | m2://inv/SPZTZ6RTGD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/4.4.2/fundamental-theorem-of-calculus, fundamental theorem of calculus (concept). In 907G4C4EJ1, index, section 4.4.2
History
- 2026-11-01: add by m2/v0.6.13
SPZV00J2T1 SPZV00J2T1
| URI | m2://inv/SPZV00J2T1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.11301#F3JC (statement). In YH1W5A0JTS/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
small rhombihexacron SPZXDNFQV0
| URI | m2://inv/SPZXDNFQV0 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7543565, small rhombihexacron (unknown). Also MathWorld SmallRhombihexacron
- wikipedia: Wikipedia Small rhombihexacron, Small rhombihexacron (object). Also Wikidata Q7543565
History
- 2026-10-26: add by m2/dev
SPZZXH2ZRS SPZZXH2ZRS
| URI | m2://inv/SPZZXH2ZRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09171#WZD9 (statement). In 5ZPSZFE08Q/e1, theorem 3.8
History
- 2026-10-29: add by m2/v0.4.10