Inventory rows MS
The cards of the rows of the inventory whose ids start with MS. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Sam Boghosian MS0B8DGZ1M
| URI | m2://inv/MS0B8DGZ1M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#5DFN, Sam Boghosian (unknown)
History
- 2026-11-02: add by m2/dev
Flat edge MS0CDJ82VX
| URI | m2://inv/MS0CDJ82VX |
|---|---|
| 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#KKL6, Flat edge (statement). In X5BYGZZHPF/e1, lemma H.2
History
- 2026-10-28: add by m2/v0.4.2
MS0CE4GQ8A MS0CE4GQ8A
| URI | m2://inv/MS0CE4GQ8A |
|---|---|
| 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 2610.12480#9TF0 (definition). In 585QYGX4X6/e1, definition 13
History
- 2026-10-28: add by m2/v0.4.2
MS0DNA8507 MS0DNA8507
| URI | m2://inv/MS0DNA8507 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-24 (proof). In N54F33XE07, proof, section 5.10
History
- 2026-11-01: add by m2/v0.6.13
Examples MS0FRC6E2M
| URI | m2://inv/MS0FRC6E2M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic torus#OR5Z, Examples (example)
History
- 2026-11-02: add by m2/dev
MS0SNFAN10 MS0SNFAN10
| URI | m2://inv/MS0SNFAN10 |
|---|---|
| Kind | example |
| 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.33313#45N1 (example). In HRCEFY172P/e1, example 3.18
History
- 2026-10-30: add by m2/v0.4.12
Properties MS0Y361ZMA
| URI | m2://inv/MS0Y361ZMA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Souček space#W8AU, Properties (statement)
History
- 2026-11-02: add by m2/dev
MS10K8QN6X MS10K8QN6X
| URI | m2://inv/MS10K8QN6X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2609.21670#2NXC (statement)
History
- 2026-11-02: add by m2/v0.6.18
Examples MS17DR0DR5
| URI | m2://inv/MS17DR0DR5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cisinski model structure#V8UO, Examples (example)
History
- 2026-11-02: add by m2/dev
Hartogs number MS1AABYPY3
| URI | m2://inv/MS1AABYPY3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1186007, Hartogs number (definition). Also nLab Hartogs number, ProofWiki Definition:Hartogs_Number
- wikipedia: Wikipedia Hartogs number, Hartogs number (definition). Also Wikidata Q1186007
History
- 2026-10-26: add by m2/dev
MS1EX13MHN MS1EX13MHN
| URI | m2://inv/MS1EX13MHN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29574#803X (statement)
History
- 2026-11-01: add by m2/v0.6.15
Voyage 200 MS1P0YJWJ2
| URI | m2://inv/MS1P0YJWJ2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia TI-92 series#TLRA, Voyage 200 (unknown)
History
- 2026-11-02: add by m2/dev
Saint-Venant's theorem MS1RJXXBV5
| URI | m2://inv/MS1RJXXBV5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 00-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3699212, Saint-Venant's theorem (statement). Also Wikidata Q3699212
- thousand_plus: thousand_plus Q3699212, Saint-Venant's theorem (statement). Also Wikidata Q3699212, Wikipedia Saint-Venant's theorem
- wikipedia: Wikipedia Saint-Venant's theorem, Saint-Venant's theorem (statement). Also Wikidata Q3699212
History
- 2026-10-26: add by m2/dev
Abstract derived Hecke algebra, Venkatesh MS1T2019GJ
| URI | m2://inv/MS1T2019GJ |
|---|---|
| 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.21278#MH8F, Abstract derived Hecke algebra, Venkatesh (definition). In DCH1JJGGYH/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.4.2
Pseudo Jacobi polynomials MS27E5TFTS
| URI | m2://inv/MS27E5TFTS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudo Jacobi polynomials, Pseudo Jacobi polynomials (definition). Also Wikidata Q7254457
History
- 2026-11-02: add by m2/dev
Theorem MS2D748H2P
| URI | m2://inv/MS2D748H2P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CW complex#J956, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Fitness landscape MS2J67P8BA
| URI | m2://inv/MS2J67P8BA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fitness landscape, Fitness landscape (definition). Also Wikidata Q3307742
History
- 2026-11-02: add by m2/dev
The Principles of Mathematics MS2QNBA7P5
| URI | m2://inv/MS2QNBA7P5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematics books#R7AK, The Principles of Mathematics (unknown)
History
- 2026-11-02: add by m2/dev
Example MS30H4844N
| URI | m2://inv/MS30H4844N |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extensions of symmetric operators#NR73, Example (example)
History
- 2026-11-02: add by m2/dev
system of parameters MS30KYEQ6M
| URI | m2://inv/MS30KYEQ6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#ZX2P, system of parameters (definition)
History
- 2026-11-02: add by m2/dev
MS324Y6DFS MS324Y6DFS
| URI | m2://inv/MS324Y6DFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21622#JT8B (statement). In H21X3FHNYJ/e1, lemma 1.4
History
- 2026-10-27: add by m2/v0.4.2
Recreational mathematics MS32G1F13F
| URI | m2://inv/MS32G1F13F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#OAUV, Recreational mathematics (definition)
History
- 2026-11-02: add by m2/dev
MS366NPYF8 MS366NPYF8
| URI | m2://inv/MS366NPYF8 |
|---|---|
| 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.09672#YXMW (statement). In TXBXCPP0QH/e1, lemma 44
History
- 2026-10-29: add by m2/v0.4.10
MS3N7ZTYSG MS3N7ZTYSG
| URI | m2://inv/MS3N7ZTYSG |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book preliminaries.tex#ex:add-nat-commutative (exercise). In N54F33XE07, ex, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
Prescott Durand Crout MS3QRDQK01
| URI | m2://inv/MS3QRDQK01 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prescott Durand Crout, Prescott Durand Crout (topic). Also Wikidata Q16011008
History
- 2026-11-02: add by m2/dev
divergent, power series MS3VFX3TTD
| URI | m2://inv/MS3VFX3TTD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.6.5/divergent-power-series, divergent, power series (concept). In E59CDZA4DP, index, section 10.6.5
History
- 2026-11-01: add by m2/v0.6.13
Tits alternative for varieties MS3WVQQBXS
| URI | m2://inv/MS3WVQQBXS |
|---|---|
| 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.18106#H4FG, Tits alternative for varieties (statement). In VZDPG7NJCX/e1, proposition 3
History
- 2026-10-28: add by m2/v0.4.2
MS42GA6X4R MS42GA6X4R
| URI | m2://inv/MS42GA6X4R |
|---|---|
| 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.24902#8VDS (definition)
History
- 2026-11-01: add by m2/v0.6.15
Almost purity theorem MS44D43R0P
| URI | m2://inv/MS44D43R0P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfectoid space#56MA, Almost purity theorem (statement)
History
- 2026-11-02: add by m2/dev
syntheme MS46S780TH
| URI | m2://inv/MS46S780TH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#XL7N, syntheme (definition)
History
- 2026-11-02: add by m2/dev
MS48W68978 MS48W68978
| URI | m2://inv/MS48W68978 |
|---|---|
| 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.20690#HW06 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Leonard Sarason MS49167491
| URI | m2://inv/MS49167491 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leonard Sarason, Leonard Sarason (topic). Also Wikidata Q16014175
History
- 2026-11-02: add by m2/dev
MS4DT3KSSY MS4DT3KSSY
| URI | m2://inv/MS4DT3KSSY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24023#BMKT (definition)
History
- 2026-11-02: add by m2/v0.6.17
MS4EFEHT7H MS4EFEHT7H
| URI | m2://inv/MS4EFEHT7H |
|---|---|
| Kind | example |
| 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.24363#MMF4 (example)
History
- 2026-11-01: add by m2/v0.6.15
\bf Weak martingale solution MS4G7MR570
| URI | m2://inv/MS4G7MR570 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29747#AXAM, \bf Weak martingale solution (definition)
History
- 2026-11-01: add by m2/v0.6.15
MS4NR8H4QJ MS4NR8H4QJ
| URI | m2://inv/MS4NR8H4QJ |
|---|---|
| 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 2601.13782#KYY9 (statement). In 12RSHWCNMX/e1, lemma 5
History
- 2026-10-27: add by m2/v0.3.5
MS4P3KXQHJ MS4P3KXQHJ
| URI | m2://inv/MS4P3KXQHJ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX, 14-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.19669#BMEP (problem). In 1QPAA94Q76/e1, problem 2
History
- 2026-10-28: add by m2/v0.4.2
Challenging MS4WW9RH4E
| URI | m2://inv/MS4WW9RH4E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#exercise:seriesconvergestoanything, Challenging (exercise). In E59CDZA4DP, exercise, section 10.6.6
History
- 2026-11-01: add by m2/v0.6.13
Conjecture 1 MS54TJGAQF
| URI | m2://inv/MS54TJGAQF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Low-discrepancy sequence#WEU8, Conjecture 1 (statement)
History
- 2026-11-02: add by m2/dev
Hecke algebra (disambiguation) MS5643AVTZ
| URI | m2://inv/MS5643AVTZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Erich Hecke#8XXS, Hecke algebra (disambiguation) (unknown)
History
- 2026-11-02: add by m2/dev
Andrea Rotnitzky MS59W02KB5
| URI | m2://inv/MS59W02KB5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrea Rotnitzky, Andrea Rotnitzky (topic). Also Wikidata Q90029091
History
- 2026-11-02: add by m2/dev
Christian Hennig MS5D0F91DB
| URI | m2://inv/MS5D0F91DB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christian Hennig, Christian Hennig (topic). Also Wikidata Q56379415
History
- 2026-11-02: add by m2/dev
MS5QKTHPZ4 MS5QKTHPZ4
| URI | m2://inv/MS5QKTHPZ4 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#FCST (example). In M0SQY5EZN5/e1, example 2.1.12
History
- 2026-10-27: add by m2/v0.3.5
MS5YPA50ES MS5YPA50ES
| URI | m2://inv/MS5YPA50ES |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise:maxprinciple (exercise). In E59CDZA4DP, exercise, section 1.5.1
History
- 2026-11-01: add by m2/v0.6.13
Graph-tool MS62J3EJFW
| URI | m2://inv/MS62J3EJFW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graph-tool, Graph-tool (definition). Also Wikidata Q5597060
History
- 2026-11-02: add by m2/dev
Converse MS66MQ7ZQG
| URI | m2://inv/MS66MQ7ZQG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four vertex theorem#18QC, Converse (statement)
History
- 2026-11-02: add by m2/dev
MS68HEK628 MS68HEK628
| URI | m2://inv/MS68HEK628 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34289#UX8F (statement). In 9RBATD2Z1F/e1, lemma 2.13
History
- 2026-10-30: add by m2/v0.4.12
MS6AZJ98B7 MS6AZJ98B7
| URI | m2://inv/MS6AZJ98B7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-proofs.ptx#example-2 (example). In Y91XFCEVHQ, example, section 2.4.1
History
- 2026-11-01: add by m2/v0.6.13
MS6C69YMHX MS6C69YMHX
| URI | m2://inv/MS6C69YMHX |
|---|---|
| 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.23446#WK4X (statement)
History
- 2026-11-02: add by m2/v0.6.17
source field MS6S9JQV8V
| URI | m2://inv/MS6S9JQV8V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7565149, source field (unknown). Also nLab source field
History
- 2026-10-26: add by m2/dev
Algorithm MS6XDD6VDD
| URI | m2://inv/MS6XDD6VDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Misra & Gries edge-coloring algorithm#SV6Q, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Mexican paradox MS7FETQN4Z
| URI | m2://inv/MS7FETQN4Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#N1DI, Mexican paradox (statement)
History
- 2026-11-02: add by m2/dev
Definition MS7FT76TJT
| URI | m2://inv/MS7FT76TJT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spline (mathematics)#PRJM, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples MS7GG1E6W3
| URI | m2://inv/MS7GG1E6W3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler system#G4OF, Examples (example)
History
- 2026-11-02: add by m2/dev
Joan Staniswalis MS7HFFS7EW
| URI | m2://inv/MS7HFFS7EW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joan Staniswalis, Joan Staniswalis (topic). Also Wikidata Q59847604
History
- 2026-11-02: add by m2/dev
Hering illusion MS7HH1RNS2
| URI | m2://inv/MS7HH1RNS2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2035662, Hering illusion (unknown). Also MathWorld HeringIllusion
History
- 2026-10-26: add by m2/dev
MS7TYAAV1Y MS7TYAAV1Y
| URI | m2://inv/MS7TYAAV1Y |
|---|---|
| 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#8LW6 (statement). In YH1W5A0JTS/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
MS8A9V2PPG MS8A9V2PPG
| URI | m2://inv/MS8A9V2PPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.02901#ZT8E (statement). In NSP90G5XCQ/e1, lemma 2.10
History
- 2026-10-29: add by m2/v0.4.12
Lucien Le Cam MS8N23D939
| URI | m2://inv/MS8N23D939 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lucien Le Cam, Lucien Le Cam (topic). Also Wikidata Q3265601
History
- 2026-11-02: add by m2/dev
MS8NW9FH5Y MS8NW9FH5Y
| URI | m2://inv/MS8NW9FH5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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 2512.16003#75YF (statement). In BJGS6ZCQ12/e1, theorem 8.1
History
- 2026-10-27: add by m2/v0.3.6
Definitions MS8PGCXENQ
| URI | m2://inv/MS8PGCXENQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperdeterminant#FE2X, Definitions (definition)
History
- 2026-11-02: add by m2/dev
cocomplete category MS8WBF8W5Q
| URI | m2://inv/MS8WBF8W5Q |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.1.1/cocomplete-category, cocomplete category (concept). In N54F33XE07, index, section C.1.1
History
- 2026-11-01: add by m2/v0.6.13
Milagros D. Ibe MS8WJFGYJT
| URI | m2://inv/MS8WJFGYJT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Milagros D. Ibe, Milagros D. Ibe (topic). Also Wikidata Q6850429
History
- 2026-11-02: add by m2/dev
MS8WX5D6N7 MS8WX5D6N7
| URI | m2://inv/MS8WX5D6N7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.31413#9PUZ (statement). In 1C68G64QZS/e1, lemma 1
History
- 2026-10-31: add by m2/v0.5.6
MS92SF4SVG MS92SF4SVG
| URI | m2://inv/MS92SF4SVG |
|---|---|
| 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.12329#1SPC (statement). In ZJQB9W60T6/e1, lemma 8.9
History
- 2026-10-28: add by m2/v0.4.2
MS9338SNVW MS9338SNVW
| URI | m2://inv/MS9338SNVW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:omg (statement). In N54F33XE07, lem, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
MS99P65BB5 MS99P65BB5
| URI | m2://inv/MS99P65BB5 |
|---|---|
| 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 2609.32033#AVWG (definition). In 17W5G060QX/e1, definition 7.3
History
- 2026-10-31: add by m2/v0.5.6
Function field of an algebraic variety MS9EQK8BKT
| URI | m2://inv/MS9EQK8BKT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic geometry topics#AZBE, Function field of an algebraic variety (definition)
History
- 2026-11-02: add by m2/dev
Mathematical sculpture MS9GMM5P8F
| URI | m2://inv/MS9GMM5P8F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical sculpture, Mathematical sculpture (definition). Also Wikidata Q25304010
History
- 2026-11-02: add by m2/dev
Definitions MS9SBA9GGG
| URI | m2://inv/MS9SBA9GGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Baer ring#ZEWU, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Reduction lemma MS9SSZMFCH
| URI | m2://inv/MS9SSZMFCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17240#Q3ZY, Reduction lemma (statement). In 59BZ4V9RQW/e1, lemma 3.8
History
- 2026-10-28: add by m2/v0.4.2
Angelo Vistoli MS9XVVKXR8
| URI | m2://inv/MS9XVVKXR8 |
|---|---|
| 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 Q102124097, Angelo Vistoli (unknown). Also nLab Angelo Vistoli
- wikipedia: Wikipedia Angelo Vistoli, Angelo Vistoli (topic). Also Wikidata Q102124097
History
- 2026-10-26: add by m2/dev
Bayesian inference in phylogeny MSAHJ72S0G
| URI | m2://inv/MSAHJ72S0G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XY60, Bayesian inference in phylogeny (definition)
History
- 2026-11-02: add by m2/dev
Zero-dimensional space MSAM0NRWR3
| URI | m2://inv/MSAM0NRWR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-dimensional space, Zero-dimensional space (definition). Also Wikidata Q1801244
History
- 2026-11-02: add by m2/dev
MSAMWJH8C8 MSAMWJH8C8
| URI | m2://inv/MSAMWJH8C8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08500#6QT7 (statement). In ZPCYW4N0EH/e1, corollary 1.4
History
- 2026-10-29: add by m2/v0.4.10
Stephen Francis Jones MSB0JPP2RD
| URI | m2://inv/MSB0JPP2RD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#MUUQ, Stephen Francis Jones (unknown)
History
- 2026-11-02: add by m2/dev
Leon Ehrenpreis MSB7X0BD7N
| URI | m2://inv/MSB7X0BD7N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Leon Ehrenpreis, Leon Ehrenpreis (topic). Also Wikidata Q1818874
History
- 2026-11-02: add by m2/dev
Statement MSBD7PWKWJ
| URI | m2://inv/MSBD7PWKWJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cereceda's conjecture#HQR7, Statement (statement)
History
- 2026-11-02: add by m2/dev
MSBS3NXQ10 MSBS3NXQ10
| URI | m2://inv/MSBS3NXQ10 |
|---|---|
| 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 2609.36444#U3Z9 (statement). In 4DJE72VPJP/e1, theorem I
History
- 2026-10-30: add by m2/v0.4.12
MSBV6J4ZMZ MSBV6J4ZMZ
| URI | m2://inv/MSBV6J4ZMZ |
|---|---|
| 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 2406.19866#A5FJ (statement). In 9F94CEQ1ZM/e1, proposition 4.8
History
- 2026-10-27: add by m2/v0.3.5
temperature scale MSBYT50SS4
| URI | m2://inv/MSBYT50SS4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2394680, temperature scale (definition). Also ProofWiki Definition:Temperature/Scales
History
- 2026-10-26: add by m2/dev
Type I$_2$ estimates MSC3723J8B
| URI | m2://inv/MSC3723J8B |
|---|---|
| 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.11487#FM27, Type I$_2$ estimates (statement). In 8S0K3Y25HM/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.3
Computability theory MSC4Z8BM73
| URI | m2://inv/MSC4Z8BM73 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#RRLT, Computability theory (topic)
History
- 2026-11-02: add by m2/dev
MSCP9JJPP4 MSCP9JJPP4
| URI | m2://inv/MSCP9JJPP4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.25255#AEIB (statement)
History
- 2026-11-01: add by m2/v0.6.15
supergeometry MSD0BAXNYQ
| URI | m2://inv/MSD0BAXNYQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7643393, supergeometry (topic). Also nLab supergeometry
History
- 2026-10-26: add by m2/dev
Jeffery–Hamel flow MSD0PTFG47
| URI | m2://inv/MSD0PTFG47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jeffery–Hamel flow, Jeffery–Hamel flow (definition). Also Wikidata Q30596183
History
- 2026-11-02: add by m2/dev
MSD28SC0VA MSD28SC0VA
| URI | m2://inv/MSD28SC0VA |
|---|---|
| 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.21535#I8TJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
MSD6WF688J MSD6WF688J
| URI | m2://inv/MSD6WF688J |
|---|---|
| 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.09594#YUPX (statement). In TVE5WK2MH8/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
MSDGP8V43Y MSDGP8V43Y
| URI | m2://inv/MSDGP8V43Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:fminusgsubharmonic (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Computation MSDJ5FDPED
| URI | m2://inv/MSDJ5FDPED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Girth (graph theory)#V92F, Computation (definition)
History
- 2026-11-02: add by m2/dev
constructivity MSDNG424X7
| URI | m2://inv/MSDNG424X7 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u7/constructivity, constructivity (concept). In N54F33XE07, index, section u1.u7
History
- 2026-11-01: add by m2/v0.6.13
Arakelyan's theorem MSDPM9TB8C
| URI | m2://inv/MSDPM9TB8C |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q25304227, Arakelyan's theorem (statement). Also Wikidata Q25304227
- thousand_plus: thousand_plus Q25304227, Arakelyan's theorem (statement). Also Wikidata Q25304227, Wikipedia Arakelyan's theorem
- wikipedia: Wikipedia Arakelyan's theorem, Arakelyan's theorem (statement). Also Wikidata Q25304227
History
- 2026-10-26: add by m2/dev
Properties MSDZ1N32RN
| URI | m2://inv/MSDZ1N32RN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differentiable measure#6QZ6, Properties (statement)
History
- 2026-11-02: add by m2/dev
Urn problem MSE0WY6E0H
| URI | m2://inv/MSE0WY6E0H |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#5NIO, Urn problem (problem)
History
- 2026-11-02: add by m2/dev
MSE1XG66TF MSE1XG66TF
| URI | m2://inv/MSE1XG66TF |
|---|---|
| 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#ASRJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
MSE5CCPSWT MSE5CCPSWT
| URI | m2://inv/MSE5CCPSWT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07001#60WD (statement). In 5DFTVG7FFF/e1, lemma 2.12
History
- 2026-10-29: add by m2/v0.4.10
MSEHPFX8N7 MSEHPFX8N7
| URI | m2://inv/MSEHPFX8N7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#proof-20 (proof). In E59CDZA4DP, proof, section 2.6.1
History
- 2026-11-01: add by m2/v0.6.13
MSEN4X2EKF MSEN4X2EKF
| URI | m2://inv/MSEN4X2EKF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#EGXC (statement). In F1CYVYK7YB/e1, proposition 7.1
History
- 2026-10-29: add by m2/v0.4.10
Hirzebruch-Riemann-Roch formula MSET5ZFGQ2
| URI | m2://inv/MSET5ZFGQ2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Todd class#ZZOY, Hirzebruch-Riemann-Roch formula (statement)
History
- 2026-11-02: add by m2/dev
Chrystal's equation MSEVRDYH2Q
| URI | m2://inv/MSEVRDYH2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chrystal's equation, Chrystal's equation (definition). Also Wikidata Q48996353
History
- 2026-11-02: add by m2/dev
MSF5335HS4 MSF5335HS4
| URI | m2://inv/MSF5335HS4 |
|---|---|
| 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.21915#OMQ7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
rational MSFB7TTYJN
| URI | m2://inv/MSFB7TTYJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#XNE5, rational (definition)
History
- 2026-11-02: add by m2/dev
MSFBRKP1Z4 MSFBRKP1Z4
| URI | m2://inv/MSFBRKP1Z4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#LM0X (statement). In F71MS1F637/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
bad company objection MSFEG29D3A
| URI | m2://inv/MSFEG29D3A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#U2VP, bad company objection (definition)
History
- 2026-11-02: add by m2/dev
MSFG6DW8ZQ MSFG6DW8ZQ
| URI | m2://inv/MSFG6DW8ZQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21921#JW75 (statement). In CM2YEK9T4F/e1, lemma 4.10
History
- 2026-10-27: add by m2/v0.4.2
Action-Sufficient Coordination Target MSFRM19ACA
| URI | m2://inv/MSFRM19ACA |
|---|---|
| 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.03769#PYZQ, Action-Sufficient Coordination Target (definition). In 35DNCV14M4/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
MSG1RP7VPZ MSG1RP7VPZ
| URI | m2://inv/MSG1RP7VPZ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_gt-trees.ptx#proof-1 (proof). In Y91XFCEVHQ, proof, section 5.2.1
History
- 2026-11-01: add by m2/v0.6.13
Properties MSG6WFE8H8
| URI | m2://inv/MSG6WFE8H8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simply connected space#XHAC, Properties (statement)
History
- 2026-11-02: add by m2/dev
Construction of solution in the linear equation MSG9G5NNAT
| URI | m2://inv/MSG9G5NNAT |
|---|---|
| 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 2106.09062#HKOA, Construction of solution in the linear equation (statement). In 8HAH8QVKDF/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.6
MSGBPA7KD0 MSGBPA7KD0
| URI | m2://inv/MSGBPA7KD0 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21703#KN0D (example)
History
- 2026-11-02: add by m2/v0.6.18
Conic bundle MSGF5ZYBX2
| URI | m2://inv/MSGF5ZYBX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conic bundle, Conic bundle (definition). Also Wikidata Q3071325
History
- 2026-11-02: add by m2/dev
MSGNKVVFJV MSGNKVVFJV
| URI | m2://inv/MSGNKVVFJV |
|---|---|
| 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#ZDNG (statement). In WJD9YPGGYH/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
A. Huber MSGSM9GZ2E
| URI | m2://inv/MSGSM9GZ2E |
|---|---|
| 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#9O8I, A. Huber (topic)
History
- 2026-11-02: add by m2/dev
Third principle: coupling MSGT9F801G
| URI | m2://inv/MSGT9F801G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical principles of reinforcement#JZCN, Third principle: coupling (statement)
History
- 2026-11-02: add by m2/dev
MSGVAMQH0T MSGVAMQH0T
| URI | m2://inv/MSGVAMQH0T |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-15 (proof). In N54F33XE07, proof, section 5.8
History
- 2026-11-01: add by m2/v0.6.13
Primes in Pr\"ufer overrings MSGX0D851W
| URI | m2://inv/MSGX0D851W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00076#8BRH, Primes in Pr\"ufer overrings (statement). In 2VQ90WEZKB/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Rotational invariance MSH2DER0SD
| URI | m2://inv/MSH2DER0SD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#IO1Y, Rotational invariance (definition)
- wikipedia: Wikipedia List of mathematical topics in quantum theory#S6QD, Rotational invariance (definition)
History
- 2026-11-02: add by m2/dev
Kepler–Poinsot polyhedra MSH7YX71YE
| URI | m2://inv/MSH7YX71YE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#IET0, Kepler–Poinsot polyhedra (definition)
History
- 2026-11-02: add by m2/dev
Block-diagonal stability MSH975VK93
| URI | m2://inv/MSH975VK93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 62-XX, 65-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.23927#9ZMX, Block-diagonal stability (statement)
History
- 2026-11-02: add by m2/v0.6.17
Definition MSHP9VXD9Y
| URI | m2://inv/MSHP9VXD9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parity-check matrix#PP27, Definition (definition)
History
- 2026-11-02: add by m2/dev
Kervaire semi-characteristic MSHY8812Y4
| URI | m2://inv/MSHY8812Y4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kervaire semi-characteristic, Kervaire semi-characteristic (definition). Also Wikidata Q16963380
History
- 2026-11-02: add by m2/dev
Fractional model MSJ10FZFKM
| URI | m2://inv/MSJ10FZFKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional model, Fractional model (definition). Also Wikidata Q25111835
History
- 2026-11-02: add by m2/dev
Cumulative Dual Updates MSJB9Z56J8
| URI | m2://inv/MSJB9Z56J8 |
|---|---|
| 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.33814#OVXT, Cumulative Dual Updates (statement). In WG5RT5PRNB/e1, lemma 2
History
- 2026-10-30: add by m2/v0.4.12
MSJJBNFVAF MSJJBNFVAF
| URI | m2://inv/MSJJBNFVAF |
|---|---|
| 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.01737#HYX0 (statement). In M4JGP708F4/e1, lemma 4.30
History
- 2026-10-29: add by m2/v0.4.12
MSJM20NYYV MSJM20NYYV
| URI | m2://inv/MSJM20NYYV |
|---|---|
| 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 2609.38131#436R (example). In GM3S19KFDH/e1, example 3.17
History
- 2026-10-30: add by m2/v0.4.12
Hermann Hankel MSJNHSM8XW
| URI | m2://inv/MSJNHSM8XW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermann Hankel, Hermann Hankel (topic). Also Wikidata Q61038
History
- 2026-11-02: add by m2/dev
Displacement potential MSJW12NYTV
| URI | m2://inv/MSJW12NYTV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#QZ9U, Displacement potential (statement). In HGTFJ325A4/e1, lemma 5.3
History
- 2026-10-30: add by m2/v0.4.12
Pareto frontier MSK4M32G2F
| URI | m2://inv/MSK4M32G2F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pareto frontier, Pareto frontier (definition). Also Wikidata Q55362336
History
- 2026-11-02: add by m2/dev
Binyong Sun MSK63CFJCQ
| URI | m2://inv/MSK63CFJCQ |
|---|---|
| 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#QR3I, Binyong Sun (topic)
History
- 2026-11-02: add by m2/dev
Examples MSKDNSX217
| URI | m2://inv/MSKDNSX217 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Principal ideal domain#8MZL, Examples (example)
History
- 2026-11-02: add by m2/dev
MSKGBW5GMJ MSKGBW5GMJ
| URI | m2://inv/MSKGBW5GMJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30999#815Z (statement). In J1BWCKW2QK/e1, proposition 2.3
History
- 2026-10-31: add by m2/v0.5.6
Icosihenagon MSKJFY9GAK
| URI | m2://inv/MSKJFY9GAK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#WFAX, Icosihenagon (topic)
History
- 2026-11-02: add by m2/dev
MSKMBAPKX8 MSKMBAPKX8
| URI | m2://inv/MSKMBAPKX8 |
|---|---|
| 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 2506.18813#VLGT (statement). In J2QAPQ7JW3/e1, proposition 2
History
- 2026-10-27: add by m2/v0.4.0
Math on Trial MSKSSCKB8X
| URI | m2://inv/MSKSSCKB8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Math on Trial, Math on Trial (definition). Also Wikidata Q115821245
History
- 2026-11-02: add by m2/dev
Power representation MSKZC33XC2
| URI | m2://inv/MSKZC33XC2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02806#Z7RF, Power representation (statement). In F4A354Y5NC/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Subtree MSM3JZGJD1
| URI | m2://inv/MSM3JZGJD1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.05005#RUNJ, Subtree (definition). In SMJMAQ2S3J/e1, definition 25
History
- 2026-10-27: add by m2/v0.4.0
Liar paradox MSM40B7W1T
| URI | m2://inv/MSM40B7W1T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#R4F4, Liar paradox (statement)
History
- 2026-11-02: add by m2/dev
700 MSMHEQASCC
| URI | m2://inv/MSMHEQASCC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 700 (number), 700 (definition). Also Wikidata Q721126
History
- 2026-11-02: add by m2/dev
Bulverism MSMHRW0B9T
| URI | m2://inv/MSMHRW0B9T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bulverism, Bulverism (definition). Also Wikidata Q2085659
History
- 2026-11-02: add by m2/dev
System identification MSMJJM3BNE
| URI | m2://inv/MSMJJM3BNE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia System identification, System identification (definition). Also Wikidata Q1366192
History
- 2026-11-02: add by m2/dev
octahemioctacron MSMWYJ0CRD
| URI | m2://inv/MSMWYJ0CRD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18048474, octahemioctacron (unknown). Also MathWorld Octahemioctacron
History
- 2026-10-26: add by m2/dev
MSN2M3GVTM MSN2M3GVTM
| URI | m2://inv/MSN2M3GVTM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-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.17060#LZRP (statement). In 5KR3MHYVV6/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.2
a linear bank the call excess is nuisance MSN31XYCDE
| URI | m2://inv/MSN31XYCDE |
|---|---|
| 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.12211#J7TV, a linear bank the call excess is nuisance (statement). In WBC7PQTVYC/e1, corollary 11
History
- 2026-10-28: add by m2/v0.4.2
Hopf theorem MSNBH8YG2C
| URI | m2://inv/MSNBH8YG2C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf theorem, Hopf theorem (statement). Also Wikidata Q12012849
History
- 2026-11-02: add by m2/dev
Theorem MSNCKBGF3Z
| URI | m2://inv/MSNCKBGF3Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Approximately finite-dimensional C*-algebra#FNOV, Theorem (statement)
History
- 2026-11-02: add by m2/dev
parallelotope MSNE9NQRXW
| URI | m2://inv/MSNE9NQRXW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q27678359, parallelotope (unknown). Also MathWorld Parallelotope
History
- 2026-10-26: add by m2/dev
Doob–Dynkin lemma MSNFJ5Q16Y
| URI | m2://inv/MSNFJ5Q16Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doob–Dynkin lemma, Doob–Dynkin lemma (statement). Also Wikidata Q1242399
History
- 2026-11-02: add by m2/dev
History of gauge theory MSNM5Y5ZHB
| URI | m2://inv/MSNM5Y5ZHB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gauge theory#GSHZ, History of gauge theory (unknown)
History
- 2026-11-02: add by m2/dev
MSNNKRWTZD MSNNKRWTZD
| URI | m2://inv/MSNNKRWTZD |
|---|---|
| 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.17871#IH1P (statement). In H17E7PBG1M/e1, lemma 5
History
- 2026-10-28: add by m2/v0.4.2
MSP5HY3EA3 MSP5HY3EA3
| URI | m2://inv/MSP5HY3EA3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07001#A6A0 (statement). In 5DFTVG7FFF/e1, lemma 2.19
History
- 2026-10-29: add by m2/v0.4.10
MSP71B94J2 MSP71B94J2
| URI | m2://inv/MSP71B94J2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.11107#70M5 (statement). In CC0NDYRS8N/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
MSPJB7022W MSPJB7022W
| URI | m2://inv/MSPJB7022W |
|---|---|
| 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 0905.2248#LWJY (statement). In 7EWB9ZRD9Z/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
One critical direction MSPMBBD95F
| URI | m2://inv/MSPMBBD95F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#IIHB, One critical direction (statement). In HGTFJ325A4/e1, proposition 6.4
History
- 2026-10-30: add by m2/v0.4.12
Institute of Actuaries MSPPVAT88D
| URI | m2://inv/MSPPVAT88D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institute of Actuaries, Institute of Actuaries (definition). Also Wikidata Q15995180
History
- 2026-11-02: add by m2/dev
MSQ3P0Q4DJ MSQ3P0Q4DJ
| URI | m2://inv/MSQ3P0Q4DJ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15160#JQN5 (problem). In 6FV4CCY1NX/e1, problem Question
History
- 2026-10-28: add by m2/v0.4.2
Gerard Laman MSQ4N5Q0N1
| URI | m2://inv/MSQ4N5Q0N1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gerard Laman, Gerard Laman (topic). Also Wikidata Q4253454
History
- 2026-11-02: add by m2/dev
MSQ94CX0T2 MSQ94CX0T2
| URI | m2://inv/MSQ94CX0T2 |
|---|---|
| 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 2208.06310#GWKX (statement). In 9YR0E0T9XA/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.5
MSQ98DKRWH MSQ98DKRWH
| URI | m2://inv/MSQ98DKRWH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/sequent-calculus/proving-things.tex#prob-3 (exercise). In PKGMM3P5QY, prob, section 17.11
History
- 2026-11-01: add by m2/v0.6.13
Upper stationary-flow truncation energy MSQA1XMTJY
| URI | m2://inv/MSQA1XMTJY |
|---|---|
| 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.09030#Q9UA, Upper stationary-flow truncation energy (statement). In BYN44C0X0C/e1, lemma C.2
History
- 2026-10-29: add by m2/v0.4.10
induced torsors MSQTAK9S8K
| URI | m2://inv/MSQTAK9S8K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07508#V9U7, induced torsors (statement). In TPA3E67MKK/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.10
Chowla–Selberg formula MSQXYC0ZXF
| URI | m2://inv/MSQXYC0ZXF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chowla–Selberg formula, Chowla–Selberg formula (statement). Also Wikidata Q3077611
History
- 2026-11-02: add by m2/dev
Whitehead link MSR11X6VXB
| URI | m2://inv/MSR11X6VXB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Whitehead link TPGBASPKE0 |
Mentions
- wikidata: Wikidata Q2588098, Whitehead link (unknown). Also MathWorld WhiteheadLink, nLab Whitehead link
- wikipedia: Wikipedia Whitehead link, Whitehead link (definition). Also Wikidata Q2588098
History
- 2026-10-26: add by m2/dev
MSR1YCCDQF MSR1YCCDQF
| URI | m2://inv/MSR1YCCDQF |
|---|---|
| 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#5LLA (statement). In CETHKW9EBV/e1, lemma 4.12
History
- 2026-10-27: add by m2/v0.4.2
Comparing means MSR4BTHP00
| URI | m2://inv/MSR4BTHP00 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#DJQ6, Comparing means (definition)
History
- 2026-11-02: add by m2/dev
dodecahedral number MSR5902NGW
| URI | m2://inv/MSR5902NGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13825533, dodecahedral number (object). Also OEIS A006566
- wikipedia: Wikipedia Dodecahedral number, Dodecahedral number (definition). Also Wikidata Q13825533
History
- 2026-10-26: add by m2/dev
Mikhail Kravchuk MSR7VWV983
| URI | m2://inv/MSR7VWV983 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of eponyms of special functions#1Z6S, Mikhail Kravchuk (unknown)
History
- 2026-11-02: add by m2/dev
Definition MSRKERHDZQ
| URI | m2://inv/MSRKERHDZQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hutchinson operator#BW66, Definition (definition)
History
- 2026-11-02: add by m2/dev
Kakeya set MSSG3BKX30
| URI | m2://inv/MSSG3BKX30 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kakeya set, Kakeya set (definition). Also Wikidata Q3054869
History
- 2026-11-02: add by m2/dev
MSSSEMMAHC MSSSEMMAHC
| URI | m2://inv/MSSSEMMAHC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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 2609.25495#LGKF (statement)
History
- 2026-11-01: add by m2/v0.6.15
inclusion–exclusion principle MSSTJ0C480
| URI | m2://inv/MSSTJ0C480 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Inclusion–exclusion principle 0FF7726C7P |
Mentions
- wikidata: Wikidata Q849335, inclusion–exclusion principle (unknown). Also EoM Inclusion-and-exclusion_principle, MathWorld Inclusion-ExclusionPrinciple
- wikipedia: Wikipedia Inclusion–exclusion principle, Inclusion–exclusion principle (statement). Also Wikidata Q849335
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
spectrum MSSWYPGTW8
| URI | m2://inv/MSSWYPGTW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of linear algebra#2KL8, spectrum (definition)
History
- 2026-11-02: add by m2/dev
MSSXMQ2SHE MSSXMQ2SHE
| URI | m2://inv/MSSXMQ2SHE |
|---|---|
| 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 2607.01358#4MZP (statement). In H808CYZ7YM/e1, proposition 3.5
History
- 2026-10-27: add by m2/v0.3.5
MST5DX5J81 MST5DX5J81
| URI | m2://inv/MST5DX5J81 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#CZ0M (statement)
History
- 2026-11-02: add by m2/v0.6.17
MST6142TC7 MST6142TC7
| URI | m2://inv/MST6142TC7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.15344#KAEN (statement). In B9EX6K51RD/e1, proposition 4.22
History
- 2026-10-28: add by m2/v0.4.2
Theorem MST972F00J
| URI | m2://inv/MST972F00J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Binomial type#IVM0, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Definition MSTCWTD4RV
| URI | m2://inv/MSTCWTD4RV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deviance information criterion#Y0KA, Definition (definition)
History
- 2026-11-02: add by m2/dev
type, negative MSTKH36Q0D
| URI | m2://inv/MSTKH36Q0D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.12/type-negative, type, negative (concept). In N54F33XE07, index, section 1.12
History
- 2026-11-01: add by m2/v0.6.13
MSTN9NBQ8G MSTN9NBQ8G
| URI | m2://inv/MSTN9NBQ8G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#DLBJ (statement). In XYCBKM4WKY/e1, lemma 27
History
- 2026-10-27: add by m2/v0.3.5
Henry L. Alder Award MSTWE24DB4
| URI | m2://inv/MSTWE24DB4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry L. Alder Award, Henry L. Alder Award (definition). Also Wikidata Q104859376
History
- 2026-11-02: add by m2/dev
MSTWJE6CMS MSTWJE6CMS
| URI | m2://inv/MSTWJE6CMS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-13 (exercise). In E59CDZA4DP, exercise, section 5.2.1
History
- 2026-11-01: add by m2/v0.6.13
node MSTZNS7QE5
| URI | m2://inv/MSTZNS7QE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#C40S, node (definition)
History
- 2026-11-02: add by m2/dev
MSVCCHS26H MSVCCHS26H
| URI | m2://inv/MSVCCHS26H |
|---|---|
| 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.01656#U76W (statement). In AHGQZ89DY0/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
Decision analysis cycle MSVK9ATSTN
| URI | m2://inv/MSVK9ATSTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision analysis cycle, Decision analysis cycle (definition). Also Wikidata Q5249225
History
- 2026-11-02: add by m2/dev
MSVMT1S8KV MSVMT1S8KV
| URI | m2://inv/MSVMT1S8KV |
|---|---|
| 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.11292#0ACJ (statement). In Y35XMETFV7/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.3
Edward Nelson MSVMYVSAHV
| URI | m2://inv/MSVMYVSAHV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#P7T2, Edward Nelson (topic)
History
- 2026-11-02: add by m2/dev
Haversine function MSVPABHQ4G
| URI | m2://inv/MSVPABHQ4G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Versine#VB9N, Haversine function (unknown)
History
- 2026-11-02: add by m2/dev
Bertrand's postulate MSVY8M7DZB
| URI | m2://inv/MSVY8M7DZB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0GXJ, Bertrand's postulate (definition)
History
- 2026-11-02: add by m2/dev
Definition MSW2VTS3ZX
| URI | m2://inv/MSW2VTS3ZX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quot scheme#PAWL, Definition (definition)
History
- 2026-11-02: add by m2/dev
MSW3XM4KZS MSW3XM4KZS
| URI | m2://inv/MSW3XM4KZS |
|---|---|
| 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 2210.02997#IO7G (definition). In KEXVYV0SNS/e1, definition 20
History
- 2026-10-27: add by m2/v0.3.5
MSWBJ1A4RB MSWBJ1A4RB
| URI | m2://inv/MSWBJ1A4RB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#RVLX (statement). In TX0H26X4VX/e1, corollary 8.18
History
- 2026-10-29: add by m2/v0.4.12
Examples MSX16XV2V9
| URI | m2://inv/MSX16XV2V9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noncommutative projective geometry#D8W0, Examples (example)
History
- 2026-11-02: add by m2/dev
MPMC MSX5JJNJ42
| URI | m2://inv/MSX5JJNJ42 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#6QFS, MPMC (unknown)
History
- 2026-11-02: add by m2/dev
Theorem (Schmidt 1968) MSXC59QSW3
| URI | m2://inv/MSXC59QSW3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Congruence lattice problem#TU8N, Theorem (Schmidt 1968) (statement)
History
- 2026-11-02: add by m2/dev
MSXDMZ8CYN MSXDMZ8CYN
| URI | m2://inv/MSXDMZ8CYN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10469#AZ0O (statement). In Q39BEKW6D9/e1, theorem 3.14
History
- 2026-10-29: add by m2/v0.4.10
Applications MSXMHX6DR5
| URI | m2://inv/MSXMHX6DR5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generative model#IVSR, Applications (example)
History
- 2026-11-02: add by m2/dev
MSXPQ7HKY4 MSXPQ7HKY4
| URI | m2://inv/MSXPQ7HKY4 |
|---|---|
| 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 2504.14383#L5K7 (statement). In QD0X3XJS6T/e1, lemma 7.22
History
- 2026-10-27: add by m2/v0.3.5
Global attractor MSXQPRT68W
| URI | m2://inv/MSXQPRT68W |
|---|---|
| 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.11027#0NAE, Global attractor (definition). In 2BBW80EX78/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.3
MSXRPNDCTE MSXRPNDCTE
| URI | m2://inv/MSXRPNDCTE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2507.05417#DCSB (statement). In RGHZ863Q26/e1, theorem 2.4
History
- 2026-10-27: add by m2/v0.3.5
Nancy Lynch MSXSKFMC5N
| URI | m2://inv/MSXSKFMC5N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#XVEE, Nancy Lynch (unknown)
History
- 2026-11-02: add by m2/dev
Whataboutism MSXW9V1QJW
| URI | m2://inv/MSXW9V1QJW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whataboutism, Whataboutism (definition). Also Wikidata Q4053075
History
- 2026-11-02: add by m2/dev
Lozanić's triangle MSY8V1EG0N
| URI | m2://inv/MSY8V1EG0N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#PD8D, Lozanić's triangle (definition)
- wikipedia: Wikipedia List of factorial and binomial topics#8V90, Lozanić's triangle (definition)
History
- 2026-11-02: add by m2/dev
MSYABNSCJ8 MSYABNSCJ8
| URI | m2://inv/MSYABNSCJ8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#JE1L (statement). In V6EPE8XHAD/e1, lemma 12.2
History
- 2026-10-29: add by m2/v0.4.10
Power and blind spot of the calibration test MSYG7RJWFC
| URI | m2://inv/MSYG7RJWFC |
|---|---|
| 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.17403#N49Q, Power and blind spot of the calibration test (statement). In 9EMNMAW8YH/e1, proposition 26
History
- 2026-10-28: add by m2/v0.4.2
MSYN7WFC7A MSYN7WFC7A
| URI | m2://inv/MSYN7WFC7A |
|---|---|
| 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.10796#P6AX (statement). In 9YDW0QJZ6K/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.3
MSYRB6F7EC MSYRB6F7EC
| URI | m2://inv/MSYRB6F7EC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12777#AV08 (statement). In 1YFK2FB3JY/e1, theorem 3.4
History
- 2026-10-28: add by m2/v0.4.2
Subdivided double MSZ84MC9S7
| URI | m2://inv/MSZ84MC9S7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subdivided double, Subdivided double (definition). Also Wikidata Q141304267
History
- 2026-11-02: add by m2/dev
MSZAMQM4K1 MSZAMQM4K1
| URI | m2://inv/MSZAMQM4K1 |
|---|---|
| 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 math/0003117#TBS8 (statement). In WD2NCBV9F0/e1, theorem 11
History
- 2026-10-27: add by m2/v0.3.5
Circular smoothing MSZC9FY13E
| URI | m2://inv/MSZC9FY13E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37704#6BW9, Circular smoothing (statement). In HGTFJ325A4/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Examples MSZHG3EYXN
| URI | m2://inv/MSZHG3EYXN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semiprimitive ring#FJ7T, Examples (example)
History
- 2026-11-02: add by m2/dev
MSZSK80NX7 MSZSK80NX7
| URI | m2://inv/MSZSK80NX7 |
|---|---|
| Kind | definition |
| 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#SZVU (definition). In KEP21CZFV9/e1, definition #1
History
- 2026-10-31: add by m2/v0.5.6
Applications MSZVC6W4CH
| URI | m2://inv/MSZVC6W4CH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin conductor#V4O0, Applications (example)
History
- 2026-11-02: add by m2/dev