Inventory rows 73
The cards of the rows of the inventory whose ids start with 73. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
7303HHMPNE 7303HHMPNE
| URI | m2://inv/7303HHMPNE |
|---|---|
| Kind | definition |
| 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.06707#840S (definition). In 9TR5E527P5/e1, definition 5.8
History
- 2026-10-29: add by m2/v0.4.10
73075FPN29 73075FPN29
| URI | m2://inv/73075FPN29 |
|---|---|
| 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.22345#BX7R (statement). In 7JATJ4VG9G/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.0
giant 730N49EHKN
| URI | m2://inv/730N49EHKN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#C99E, giant (definition)
History
- 2026-11-02: add by m2/dev
Jennifer McLoud-Mann 730W637G30
| URI | m2://inv/730W637G30 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jennifer McLoud-Mann, Jennifer McLoud-Mann (topic). Also Wikidata Q54871334
History
- 2026-11-02: add by m2/dev
Veronica Dahl 730Y43MRSJ
| URI | m2://inv/730Y43MRSJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#555C, Veronica Dahl (unknown)
History
- 2026-11-02: add by m2/dev
7319SVJW93 7319SVJW93
| URI | m2://inv/7319SVJW93 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30933#0SSL (statement). In KXWYE4SJY3/e1, corollary 3
History
- 2026-10-31: add by m2/v0.5.6
Formulation 731DAKH7CQ
| URI | m2://inv/731DAKH7CQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schauder estimates#21E4, Formulation (definition)
History
- 2026-11-02: add by m2/dev
Theorem 731G8R8SQX
| URI | m2://inv/731G8R8SQX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension theory (algebra)#5UB4, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Practical value of a logical criterion 731HY671AP
| URI | m2://inv/731HY671AP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Falsifiability#VJYF, Practical value of a logical criterion (statement)
History
- 2026-11-02: add by m2/dev
Gilah Leder 731VMP8AV2
| URI | m2://inv/731VMP8AV2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gilah Leder, Gilah Leder (topic). Also Wikidata Q5560698
History
- 2026-11-02: add by m2/dev
731WKXF8F9 731WKXF8F9
| URI | m2://inv/731WKXF8F9 |
|---|---|
| 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.32903#SW6K (statement). In S8NB83KQX3/e1, lemma 24
History
- 2026-10-31: add by m2/v0.5.6
Polarized spectral admissible pairs 731X9Z84QW
| URI | m2://inv/731X9Z84QW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#0PXT, Polarized spectral admissible pairs (statement)
History
- 2026-11-02: add by m2/v0.6.17
7322F5F5X8 7322F5F5X8
| URI | m2://inv/7322F5F5X8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-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.35577#ICRR (statement). In 4F8QRV05BV/e1, lemma 4.3
History
- 2026-10-30: add by m2/v0.4.12
7324F3H8W2 7324F3H8W2
| URI | m2://inv/7324F3H8W2 |
|---|---|
| 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.32585#1Q9L (statement). In FJFJ3WR1SS/e1, lemma A.1
History
- 2026-10-31: add by m2/v0.5.6
73279B0Y7V 73279B0Y7V
| URI | m2://inv/73279B0Y7V |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-systems.tex#exercise-98 (exercise). In E9HS8K3A52, exercise, section 10.9.1
History
- 2026-11-01: add by m2/v0.6.13
Hessian automatic differentiation 732FWRGC6J
| URI | m2://inv/732FWRGC6J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hessian automatic differentiation, Hessian automatic differentiation (definition). Also Wikidata Q17023333
History
- 2026-11-02: add by m2/dev
Alternative definitions 732ZQ3CYRK
| URI | m2://inv/732ZQ3CYRK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closed-form expression#MKHR, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
Partial derivatives of the neighbourhood projections 7330ETKBE5
| URI | m2://inv/7330ETKBE5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21710#3TR2, Partial derivatives of the neighbourhood projections (statement)
History
- 2026-11-02: add by m2/v0.6.18
73331DV0Z1 73331DV0Z1
| URI | m2://inv/73331DV0Z1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34289#N055 (definition). In 9RBATD2Z1F/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
733CG2ET20 733CG2ET20
| URI | m2://inv/733CG2ET20 |
|---|---|
| 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#23NA (statement). In 5KR3MHYVV6/e1, corollary 3.10
History
- 2026-10-28: add by m2/v0.4.2
Naive Bayes classifier 733ECSRRW8
| URI | m2://inv/733ECSRRW8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#BACP, Naive Bayes classifier (definition)
History
- 2026-11-02: add by m2/dev
733PJFXS0B 733PJFXS0B
| URI | m2://inv/733PJFXS0B |
|---|---|
| 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.25307#GTMI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Al-Qalqashandi 733QNF0N7N
| URI | m2://inv/733QNF0N7N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Al-Qalqashandi, Al-Qalqashandi (topic). Also Wikidata Q400919
History
- 2026-11-02: add by m2/dev
733S11354T 733S11354T
| URI | m2://inv/733S11354T |
|---|---|
| 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.39946#1NYE (statement). In ZTREM09NFT/e1, proposition 3
History
- 2026-10-30: add by m2/v0.4.12
Interpolation (computer graphics) 733VFATYAZ
| URI | m2://inv/733VFATYAZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#YKFN, Interpolation (computer graphics) (unknown)
History
- 2026-11-02: add by m2/dev
7341015MMY 7341015MMY
| URI | m2://inv/7341015MMY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21649#0YXC (statement)
History
- 2026-11-02: add by m2/v0.6.18
ecology 734BNGFW9N
| URI | m2://inv/734BNGFW9N |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 92D40 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7150, ecology (topic)
History
- 2026-10-26: add by m2/dev
Marion Scheepers 734X3Y16E2
| URI | m2://inv/734X3Y16E2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Marion Scheepers, Marion Scheepers (topic). Also Wikidata Q27662677
History
- 2026-11-02: add by m2/dev
Cohen's g 734YAS59QT
| URI | m2://inv/734YAS59QT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Effect size#1U21, Cohen's g (unknown)
History
- 2026-11-02: add by m2/dev
Universality 73543CT6GK
| URI | m2://inv/73543CT6GK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Universality (dynamical systems), Universality (definition). Also Wikidata Q2495574
History
- 2026-11-02: add by m2/dev
J. Michael Boardman 735APS0PHW
| URI | m2://inv/735APS0PHW |
|---|---|
| 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 Q2815670, J. Michael Boardman (unknown). Also nLab Michael Boardman
- wikipedia: Wikipedia Michael Boardman, Michael Boardman (topic). Also Wikidata Q2815670
History
- 2026-10-26: add by m2/dev
Nerida Ellerton 735NDKRW1M
| URI | m2://inv/735NDKRW1M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nerida Ellerton, Nerida Ellerton (topic). Also Wikidata Q98940130
History
- 2026-11-02: add by m2/dev
Definition 735NWABDJ5
| URI | m2://inv/735NWABDJ5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representable functor#PUWC, Definition (definition)
History
- 2026-11-02: add by m2/dev
Vladimir Rokhlin 735PX2EWR9
| URI | m2://inv/735PX2EWR9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#VADV, Vladimir Rokhlin (topic)
History
- 2026-11-02: add by m2/dev
Critical Mass Density of the Universe 735QM6Q907
| URI | m2://inv/735QM6Q907 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedmann equations#OYQ3, Critical Mass Density of the Universe (unknown)
History
- 2026-11-02: add by m2/dev
735T8CS7HJ 735T8CS7HJ
| URI | m2://inv/735T8CS7HJ |
|---|---|
| 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 2610.13295#2LG6 (example). In 8Q7QXTWD0S/e1, example 4.8
History
- 2026-10-28: add by m2/v0.4.2
Christian Robert 735Z9R1HBK
| URI | m2://inv/735Z9R1HBK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#61LV, Christian Robert (topic)
History
- 2026-11-02: add by m2/dev
$L$-dependent data 735ZCVPSWM
| URI | m2://inv/735ZCVPSWM |
|---|---|
| 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.12873#HOVX, $L$-dependent data (statement). In 9MMD2N7DQ1/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
7364JF7AS0 7364JF7AS0
| URI | m2://inv/7364JF7AS0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04431#W1R0 (statement). In 3PSAWXCCJ8/e1, proposition 7
History
- 2026-10-29: add by m2/v0.4.12
73651Z55CP 73651Z55CP
| URI | m2://inv/73651Z55CP |
|---|---|
| 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.33771#W87O (statement). In ZXQA7QH0H0/e1, lemma 3.20
History
- 2026-10-30: add by m2/v0.4.12
379 (number) 736B01HFTG
| URI | m2://inv/736B01HFTG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#SIVL, 379 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Encode-decode for Truncations of Loop Spaces 736CHXX4GQ
| URI | m2://inv/736CHXX4GQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book homotopy.tex#lem-5, Encode-decode for Truncations of Loop Spaces (statement). In N54F33XE07, lem, section 7.9
History
- 2026-11-01: add by m2/v0.6.13
Equivalence problem 736S0CX0QM
| URI | m2://inv/736S0CX0QM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#4J42, Equivalence problem (unknown)
History
- 2026-11-02: add by m2/dev
7372H27N87 7372H27N87
| URI | m2://inv/7372H27N87 |
|---|---|
| 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.28937#MJI1 (statement)
History
- 2026-11-01: add by m2/v0.6.15
7372PDY4BE 7372PDY4BE
| URI | m2://inv/7372PDY4BE |
|---|---|
| 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 2203.07710#N35S (example). In NESGAWA54K/e1, example 3
History
- 2026-10-27: add by m2/v0.3.5
Tran--Vo--Nguyen 737535FCK0
| URI | m2://inv/737535FCK0 |
|---|---|
| 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.15444#59UX, Tran--Vo--Nguyen (statement). In M2X9TEYRPC/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
7379VTTPPF 7379VTTPPF
| URI | m2://inv/7379VTTPPF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33283#Z9NV (statement). In CXPFSDMEPB/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
domain decomposition methods 737JV0EZ9B
| URI | m2://inv/737JV0EZ9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 65N55 |
| Sources | 2 |
| Outcome | open |
| Node | Domain decomposition methods AN054RHT1K |
Mentions
- wikidata: Wikidata Q5289813, domain decomposition methods (topic)
- wikipedia: Wikipedia Domain decomposition methods, Domain decomposition methods (definition). Also Wikidata Q5289813
History
- 2026-10-26: add by m2/dev
The group composition law of 737R71HKWB
| URI | m2://inv/737R71HKWB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pauli matrices#IW4P, The group composition law of (statement)
History
- 2026-11-02: add by m2/dev
737WN5G5CQ 737WN5G5CQ
| URI | m2://inv/737WN5G5CQ |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 14-XX, 37-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05850#4KIB (unknown). In D424GB5MAW/e1, unknown 4.1
History
- 2026-10-29: add by m2/v0.4.10
7381WDFGXF 7381WDFGXF
| URI | m2://inv/7381WDFGXF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20567#43V3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Statistical thermodynamics 7388D0DMRY
| URI | m2://inv/7388D0DMRY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fields of application of statistics#27GC, Statistical thermodynamics (definition)
History
- 2026-11-02: add by m2/dev
738JZYKQTX 738JZYKQTX
| URI | m2://inv/738JZYKQTX |
|---|---|
| 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.23781#OOJ5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
738MGQ0B32 738MGQ0B32
| URI | m2://inv/738MGQ0B32 |
|---|---|
| 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.22909#3GHP (statement)
History
- 2026-11-02: add by m2/v0.6.17
738RQ82FPG 738RQ82FPG
| URI | m2://inv/738RQ82FPG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.07573#HEXL (statement). In 78X5SKJX8J/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.3.5
738Y5SGXZ1 738Y5SGXZ1
| URI | m2://inv/738Y5SGXZ1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#prop-8 (statement). In E59CDZA4DP, prop, section 11.2.3
History
- 2026-11-01: add by m2/v0.6.13
Taking Sudoku Seriously 738Z2WMT1V
| URI | m2://inv/738Z2WMT1V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Taking Sudoku Seriously, Taking Sudoku Seriously (definition). Also Wikidata Q96407696
History
- 2026-11-02: add by m2/dev
7393A1A8ZA 7393A1A8ZA
| URI | m2://inv/7393A1A8ZA |
|---|---|
| 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.37589#SN0S (statement). In 18HVB2SKW1/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
Lyapunov vector 7393YCF8PY
| URI | m2://inv/7393YCF8PY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lyapunov vector, Lyapunov vector (definition). Also Wikidata Q6707088
History
- 2026-11-02: add by m2/dev
\coqident{obj_ext_structure 739C96AA4K
| URI | m2://inv/739C96AA4K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.04310#K52A, \coqident{obj_ext_structure (definition). In MG51GG0QZN/e1, definition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Properties 739FCA16X9
| URI | m2://inv/739FCA16X9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral#12UY, Properties (statement)
History
- 2026-11-02: add by m2/dev
Scheherazade number 739H120BJR
| URI | m2://inv/739H120BJR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Palindromic number#9C1S, Scheherazade number (unknown)
History
- 2026-11-02: add by m2/dev
739M9S48DM 739M9S48DM
| URI | m2://inv/739M9S48DM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31102#ZW6M (definition). In 7CADATJMAA/e1, definition 3.2
History
- 2026-10-31: add by m2/v0.5.6
739P5974QK 739P5974QK
| URI | m2://inv/739P5974QK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#example-3 (example). In RZP28ERRZV, example, section 35.3
History
- 2026-11-01: add by m2/v0.6.13
739VYS65D1 739VYS65D1
| URI | m2://inv/739VYS65D1 |
|---|---|
| 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.12169#BZ21 (definition). In 645GF9SFWM/e1, definition 12
History
- 2026-10-28: add by m2/v0.4.2
Gumbel distribution 739X585VK2
| URI | m2://inv/739X585VK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#K4Q8, Gumbel distribution (definition)
History
- 2026-11-02: add by m2/dev
Corollary 739Y6VBYZ5
| URI | m2://inv/739Y6VBYZ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L'Hôpital's rule#BIBV, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Cartan–Brauer–Hua theorem 73A9Q43BGD
| URI | m2://inv/73A9Q43BGD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 13-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5047046, Brauer–Cartan–Hua theorem (statement). Also Wikidata Q5047046
- thousand_plus: thousand_plus Q5047046, Brauer–Cartan–Hua theorem (statement). Also Wikidata Q5047046, Wikipedia Brauer–Cartan–Hua theorem
- wikipedia: Wikipedia Cartan–Brauer–Hua theorem, Cartan–Brauer–Hua theorem (statement). Also Wikidata Q5047046
History
- 2026-10-26: add by m2/dev
Higher homotopy after compactification 73AH94CAGH
| URI | m2://inv/73AH94CAGH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24807#6X61, Higher homotopy after compactification (statement)
History
- 2026-11-01: add by m2/v0.6.15
73AJWXA43N 73AJWXA43N
| URI | m2://inv/73AJWXA43N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#GLTF (definition). In BDN507RN7J/e1, definition 3.2.19
History
- 2026-10-30: add by m2/v0.4.12
73AS0YQGJ0 73AS0YQGJ0
| URI | m2://inv/73AS0YQGJ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34081#C7GZ (statement). In 3RVGEKGX46/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
Tricky 73AT421X3J
| URI | m2://inv/73AT421X3J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-5, Tricky (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
73B6ABQ4F3 73B6ABQ4F3
| URI | m2://inv/73B6ABQ4F3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2203.17055#D7XL (statement). In 2FCSSBRX80/e1, lemma III.5
History
- 2026-10-27: add by m2/v0.3.6
Automatic regularity for bounded functional rows 73B6MX7RF9
| URI | m2://inv/73B6MX7RF9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#ZGCT, Automatic regularity for bounded functional rows (statement). In 6FY8BVP1F3/e1, lemma C.4
History
- 2026-10-29: add by m2/v0.4.12
group-like element 73B7EXQYVN
| URI | m2://inv/73B7EXQYVN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91594216, group-like element (unknown). Also nLab grouplike element
History
- 2026-10-26: add by m2/dev
Maurice Auslander 73B7VTGSBH
| URI | m2://inv/73B7VTGSBH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#JYXC, Maurice Auslander (topic)
History
- 2026-11-02: add by m2/dev
73B8MQRS9N 73B8MQRS9N
| URI | m2://inv/73B8MQRS9N |
|---|---|
| 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 2308.05715#X57O (definition). In FC0SB9JFWH/e1, definition 4.11
History
- 2026-10-27: add by m2/v0.3.5
73B8ZXBSBG 73B8ZXBSBG
| URI | m2://inv/73B8ZXBSBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23004#8PO8 (statement)
History
- 2026-11-02: add by m2/v0.6.17
73BNHEG5N2 73BNHEG5N2
| URI | m2://inv/73BNHEG5N2 |
|---|---|
| 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.36412#MLL5 (statement). In 6HKGGCMBCK/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Rung $2''$ 73CGK8SDEW
| URI | m2://inv/73CGK8SDEW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#1768, Rung $2''$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Littlewood's extension of Tauber's theorem 73CKS5AZEX
| URI | m2://inv/73CKS5AZEX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hardy–Littlewood Tauberian theorem#4SN8, Littlewood's extension of Tauber's theorem (statement)
History
- 2026-11-02: add by m2/dev
nonstationary 73CP3Y499T
| URI | m2://inv/73CP3Y499T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#IXA8, nonstationary (definition)
History
- 2026-11-02: add by m2/dev
The affine alternative 73CYVXPF7V
| URI | m2://inv/73CYVXPF7V |
|---|---|
| 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 2610.19243#NVGE, The affine alternative (statement). In 8CSXBTYKDT/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
73D3VZJ5EP 73D3VZJ5EP
| URI | m2://inv/73D3VZJ5EP |
|---|---|
| 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.09129#GOFR (statement). In Z1RZSF68XZ/e1, corollary 4.5
History
- 2026-10-29: add by m2/v0.4.10
S. Ramanan 73D6JY3CS7
| URI | m2://inv/73D6JY3CS7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#8Z3E, S. Ramanan (topic)
History
- 2026-11-02: add by m2/dev
73D6K4SS0R 73D6K4SS0R
| URI | m2://inv/73D6K4SS0R |
|---|---|
| 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 2212.00617#A6TK (statement). In K7505G10SS/e1, corollary 4.14
History
- 2026-10-27: add by m2/v0.3.5
CVE-2008-0166 73D9QXD1G4
| URI | m2://inv/73D9QXD1G4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia OpenSSL#TJKD, CVE-2008-0166 (unknown)
History
- 2026-11-02: add by m2/dev
Hyperkähler quotient 73DARJBRPD
| URI | m2://inv/73DARJBRPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperkähler quotient, Hyperkähler quotient (definition). Also Wikidata Q5958212
History
- 2026-11-02: add by m2/dev
Magnetic charges as the shape of fields 73DH763CNK
| URI | m2://inv/73DH763CNK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#0IYF, Magnetic charges as the shape of fields (statement). In G3D1YR20BJ/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.12
73DPZZQR5G 73DPZZQR5G
| URI | m2://inv/73DPZZQR5G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#DX2C (statement). In V7SN19J84T/e1, lemma 9.1
History
- 2026-10-28: add by m2/v0.4.2
Population process 73DR2QV6XA
| URI | m2://inv/73DR2QV6XA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of stochastic processes topics#ZIBN, Population process (definition)
- wikipedia: Wikipedia List of statistics articles#OR3P, Population process (definition)
- wikipedia: Wikipedia List of probability topics#VBXZ, Population process (definition)
History
- 2026-11-02: add by m2/dev
73DRRXPC2J 73DRRXPC2J
| URI | m2://inv/73DRRXPC2J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#mv:prop:pathinddf (statement). In E59CDZA4DP, prop, section 6.3.1
History
- 2026-11-01: add by m2/v0.6.13
73DT1R5PC9 73DT1R5PC9
| URI | m2://inv/73DT1R5PC9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/proofs-modal-systems.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 50.9
History
- 2026-11-01: add by m2/v0.6.13
73DTJ0P6MT 73DTJ0P6MT
| URI | m2://inv/73DTJ0P6MT |
|---|---|
| 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.37794#34ZI (statement). In ACFC6XHAMQ/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
73DTK74XPV 73DTK74XPV
| URI | m2://inv/73DTK74XPV |
|---|---|
| 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.17817#2OE6 (statement). In M8TSJ24RC2/e1, proposition 2.14
History
- 2026-10-28: add by m2/v0.4.2
73E7EC95BQ 73E7EC95BQ
| URI | m2://inv/73E7EC95BQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34311#D5FZ (statement). In YYV9SHAPCZ/e1, theorem 3.1
History
- 2026-10-30: add by m2/v0.4.12
two-term decomposition 73ECHCCQBK
| URI | m2://inv/73ECHCCQBK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39511#4P0V, two-term decomposition (statement). In 6W9H24A378/e1, theorem 10
History
- 2026-10-30: add by m2/v0.4.12
Icosian calculus 73EFBW73QJ
| URI | m2://inv/73EFBW73QJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Icosian calculus, Icosian calculus (definition). Also Wikidata Q5986733
History
- 2026-11-02: add by m2/dev
CAST-256 73EH502WYV
| URI | m2://inv/73EH502WYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia CAST-256, CAST-256 (definition). Also Wikidata Q1022875
History
- 2026-11-02: add by m2/dev
73EK2QTND1 73EK2QTND1
| URI | m2://inv/73EK2QTND1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises1-3.xml#exercise-6 (exercise). In 649HGZKE96, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
73EPMR3HH2 73EPMR3HH2
| URI | m2://inv/73EPMR3HH2 |
|---|---|
| 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.12912#5LOU (statement). In PDKBKKJ4BV/e1, lemma 3.10
History
- 2026-10-28: add by m2/v0.4.2
Minimax rate under trial heterogeneity 73EPVDXQEB
| URI | m2://inv/73EPVDXQEB |
|---|---|
| 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.04135#MFXD, Minimax rate under trial heterogeneity (statement). In 587PWJ6W5D/e1, corollary 4
History
- 2026-10-29: add by m2/v0.4.12
Geometric decomposition of the Kinser slack 73EVV81SQF
| URI | m2://inv/73EVV81SQF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.06739#579N, Geometric decomposition of the Kinser slack (statement). In HA9B7PD0YV/e1, theorem 37
History
- 2026-10-29: add by m2/v0.4.10
73EXKZC7R0 73EXKZC7R0
| URI | m2://inv/73EXKZC7R0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1502.03309#728Q (statement). In HSW1350PNY/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Riemann–Liouville integral 73EYDQ91GG
| URI | m2://inv/73EYDQ91GG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Riemann–Liouville integral JTKCZ44NN3 |
Mentions
- wikidata: Wikidata Q4162532, Riemann–Liouville integral (unknown). Also MathWorld Riemann-LiouvilleOperator
- wikipedia: Wikipedia Riemann–Liouville integral, Riemann–Liouville integral (definition). Also Wikidata Q4162532
History
- 2026-10-26: add by m2/dev
geometric mean 73F6YDSEV9
| URI | m2://inv/73F6YDSEV9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q185049, geometric mean (definition). Also MathWorld GeometricMean, ProofWiki Definition:Geometric_Mean
- wikipedia: Wikipedia Geometric mean, Geometric mean (definition). Also Wikidata Q185049
History
- 2026-10-26: add by m2/dev
Hosotope 73F7BMX3Z3
| URI | m2://inv/73F7BMX3Z3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hosohedron#03OQ, Hosotope (unknown)
History
- 2026-11-02: add by m2/dev
73FCYNTDXP 73FCYNTDXP
| URI | m2://inv/73FCYNTDXP |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-proofs.ptx#exercise-8 (exercise). In Y91XFCEVHQ, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Burke's theorem 73FGXM1642
| URI | m2://inv/73FGXM1642 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4998912, Burke's theorem (statement). Also Wikidata Q4998912
- thousand_plus: thousand_plus Q4998912, Burke's theorem (statement). Also Wikidata Q4998912, Wikipedia Burke's theorem
- wikipedia: Wikipedia Burke's theorem, Burke's theorem (statement). Also Wikidata Q4998912
History
- 2026-10-26: add by m2/dev
Implied volatility surface 73FM2V600J
| URI | m2://inv/73FM2V600J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volatility smile#BNBD, Implied volatility surface (unknown)
History
- 2026-11-02: add by m2/dev
Ellipsoid 73FRGK69JB
| URI | m2://inv/73FRGK69JB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of formulas in elementary geometry#VBZA, Ellipsoid (definition)
History
- 2026-11-02: add by m2/dev
Spectral theorem 73FV34SZZV
| URI | m2://inv/73FV34SZZV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#KHZT, Spectral theorem (statement)
History
- 2026-11-02: add by m2/dev
73FXSM1J0S 73FXSM1J0S
| URI | m2://inv/73FXSM1J0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16069#VJQ5 (statement). In MBJA03ES8N/e1, corollary 4.3
History
- 2026-10-28: add by m2/v0.4.2
E7 polytope 73G2JD3RE0
| URI | m2://inv/73G2JD3RE0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia E7 polytope, E7 polytope (definition). Also Wikidata Q6569566
History
- 2026-11-02: add by m2/dev
73GAHMF8QR 73GAHMF8QR
| URI | m2://inv/73GAHMF8QR |
|---|---|
| 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.14681#JNT3 (statement). In 459W0NBS5Q/e1, theorem 9
History
- 2026-10-28: add by m2/v0.4.2
conditional probability 73GPG98Q9N
| URI | m2://inv/73GPG98Q9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 4 |
| Outcome | node (a node has the same name as the row) |
| Node | Conditional probability 0990W5PN13 |
Mentions
- mathlib_overview: mathlib_overview Probability Theory > Definitions in probability theory > conditional probability, conditional probability (unknown). Also Mathlib ProbabilityTheory.cond
- mathlib_undergrad: mathlib_undergrad Probability Theory > Definitions of a probability space > conditional probability, conditional probability (unknown). Also Mathlib ProbabilityTheory.cond
- wikidata: Wikidata Q327069, conditional probability (unknown). Also Mathlib ProbabilityTheory.cond, MathWorld ConditionalProbability
- wikipedia: Wikipedia Conditional probability, Conditional probability (definition). Also Wikidata Q327069
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Left and right 73GVV27F1V
| URI | m2://inv/73GVV27F1V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17098435, Left and right (concept). Also MathWorld RightIdeal
- wikipedia: Wikipedia Left and right (algebra), Left and right (definition). Also Wikidata Q17098435
History
- 2026-10-26: add by m2/dev
Applications 73GVVTBB3V
| URI | m2://inv/73GVVTBB3V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lacunarity#8U09, Applications (example)
History
- 2026-11-02: add by m2/dev
73GY4XSG7T 73GY4XSG7T
| URI | m2://inv/73GY4XSG7T |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/syntax-and-semantics/assignments.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 19.4
History
- 2026-11-01: add by m2/v0.6.13
Indiana pi bill 73H3DCDD8C
| URI | m2://inv/73H3DCDD8C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Indiana pi bill, Indiana pi bill (definition). Also Wikidata Q532335
History
- 2026-11-02: add by m2/dev
73H4QB62QH 73H4QB62QH
| URI | m2://inv/73H4QB62QH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#proof-1 (proof). In RZP28ERRZV, proof, section 35.2
History
- 2026-11-01: add by m2/v0.6.13
Lorenz Leonard Lindelöf 73H7GRAMNS
| URI | m2://inv/73H7GRAMNS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lorenz Leonard Lindelöf, Lorenz Leonard Lindelöf (topic). Also Wikidata Q4356483
History
- 2026-11-02: add by m2/dev
73HF4BMHRZ 73HF4BMHRZ
| URI | m2://inv/73HF4BMHRZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-13 (exercise). In Y91XFCEVHQ, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
73HF5NG0A9 73HF5NG0A9
| URI | m2://inv/73HF5NG0A9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.21960#BM57 (statement). In QX77AN49J0/e1, theorem 5.10
History
- 2026-10-27: add by m2/v0.4.2
Relative interior 73HG5F0BGQ
| URI | m2://inv/73HG5F0BGQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Relative interior, Relative interior (definition). Also Wikidata Q2142501
History
- 2026-11-02: add by m2/dev
Examples 73HJ7CPP6H
| URI | m2://inv/73HJ7CPP6H |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kronecker product#JAUU, Examples (example)
History
- 2026-11-02: add by m2/dev
73J4ET75A9 73J4ET75A9
| URI | m2://inv/73J4ET75A9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15242#E0P2 (statement). In 5NPFKE984E/e1, corollary 2.2
History
- 2026-10-28: add by m2/v0.4.2
Cohomological dimension of a field 73J9JZXE92
| URI | m2://inv/73J9JZXE92 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cohomological dimension#KDX9, Cohomological dimension of a field (unknown)
History
- 2026-11-02: add by m2/dev
Kadison–Singer problem 73JDXRNBBY
| URI | m2://inv/73JDXRNBBY |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kadison–Singer problem, Kadison–Singer problem (problem). Also Wikidata Q25304456
History
- 2026-11-02: add by m2/dev
73JNKPXV02 73JNKPXV02
| URI | m2://inv/73JNKPXV02 |
|---|---|
| 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#12G5 (statement). In GFPFFN0BXV/e1, lemma 21
History
- 2026-10-28: add by m2/v0.4.3
Fluctuation-dissipation theorem 73K0RT6YHG
| URI | m2://inv/73K0RT6YHG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langevin dynamics#HI08, Fluctuation-dissipation theorem (statement)
History
- 2026-11-02: add by m2/dev
Selberg sieve 73KBY08G6M
| URI | m2://inv/73KBY08G6M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Selberg sieve, Selberg sieve (definition). Also Wikidata Q15777141
History
- 2026-11-02: add by m2/dev
73KJ0W97JW 73KJ0W97JW
| URI | m2://inv/73KJ0W97JW |
|---|---|
| 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 0909.0714#YZF2 (statement). In XNNM92X6A8/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.5
Librsb 73KJMH3MMS
| URI | m2://inv/73KJMH3MMS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#2GO5, Librsb (unknown)
History
- 2026-11-02: add by m2/dev
event horizon 73KTYZFPGX
| URI | m2://inv/73KTYZFPGX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q181741, event horizon (unknown). Also nLab event horizon
- wikipedia: Wikipedia Event horizon, Event horizon (definition). Also Wikidata Q181741
History
- 2026-10-26: add by m2/dev
Exchange paradox 73M3W4YF5G
| URI | m2://inv/73M3W4YF5G |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#PPA3, Exchange paradox (problem)
History
- 2026-11-02: add by m2/dev
73M5RYT8R4 73M5RYT8R4
| URI | m2://inv/73M5RYT8R4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/models-of-arithmetic/computable-models.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 48.2
History
- 2026-11-01: add by m2/v0.6.13
Formulas 73M6NB55A7
| URI | m2://inv/73M6NB55A7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew lines#SL6O, Formulas (statement)
History
- 2026-11-02: add by m2/dev
Horst Herrlich 73MDFVZES0
| URI | m2://inv/73MDFVZES0 |
|---|---|
| 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#JU0C, Horst Herrlich (topic)
History
- 2026-11-02: add by m2/dev
Playfair cipher 73MQRWWW8X
| URI | m2://inv/73MQRWWW8X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Playfair cipher, Playfair cipher (definition). Also Wikidata Q829915
History
- 2026-11-02: add by m2/dev
73MS2GRKGM 73MS2GRKGM
| URI | m2://inv/73MS2GRKGM |
|---|---|
| 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 2211.16099#KIOV (statement). In 91RRFW0K5D/e1, theorem 40
History
- 2026-10-27: add by m2/v0.3.5
73MV4DDBQ2 73MV4DDBQ2
| URI | m2://inv/73MV4DDBQ2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/many-valued-logic/three-valued-logics/multiple-designation.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 42.6
History
- 2026-11-01: add by m2/v0.6.13
73MYVRYDJA 73MYVRYDJA
| URI | m2://inv/73MYVRYDJA |
|---|---|
| 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.20656#93OY (statement)
History
- 2026-11-02: add by m2/v0.6.18
73N1BM0BYH 73N1BM0BYH
| URI | m2://inv/73N1BM0BYH |
|---|---|
| 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.24584#YDVM (statement)
History
- 2026-11-01: add by m2/v0.6.15
Schubert's theorem 73N8PTRR8W
| URI | m2://inv/73N8PTRR8W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of knot theory topics#AP8Z, Schubert's theorem (unknown)
History
- 2026-11-02: add by m2/dev
Shading 73NHB8H5J8
| URI | m2://inv/73NHB8H5J8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#V3V2, Shading (unknown)
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#0VXW, Shading (unknown)
History
- 2026-11-02: add by m2/dev
73NK3H54CM 73NK3H54CM
| URI | m2://inv/73NK3H54CM |
|---|---|
| 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.35404#1KOZ (statement). In DH84PYVRCF/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Theorem 73NNRFTQAF
| URI | m2://inv/73NNRFTQAF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Restricted representation#FFM1, Theorem (statement)
History
- 2026-11-02: add by m2/dev
73P5HQMTW7 73P5HQMTW7
| URI | m2://inv/73P5HQMTW7 |
|---|---|
| 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.24185#9NBQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Sum of squares 73PNATZ000
| URI | m2://inv/73PNATZ000 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sum of squares, Sum of squares (definition). Also Wikidata Q47016077
History
- 2026-11-02: add by m2/dev
Muckenhoupt weights 73PWS6X9ZA
| URI | m2://inv/73PWS6X9ZA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Muckenhoupt weights, Muckenhoupt weights (definition). Also Wikidata Q6931165
History
- 2026-11-02: add by m2/dev
Karol Józef Krótki 73PYDBX3NP
| URI | m2://inv/73PYDBX3NP |
|---|---|
| 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#NVN9, Karol Józef Krótki (unknown)
History
- 2026-11-02: add by m2/dev
Definition 73Q0NSBEA4
| URI | m2://inv/73Q0NSBEA4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twisted Hessian curves#FCOH, Definition (definition)
History
- 2026-11-02: add by m2/dev
Algorithm 73Q6D93JSC
| URI | m2://inv/73Q6D93JSC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-nearest neighbors algorithm#N11C, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
73Q9MX736M 73Q9MX736M
| URI | m2://inv/73Q9MX736M |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-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.29107#LFVM (definition)
History
- 2026-11-01: add by m2/v0.6.15
Definitions 73QFYB7P5V
| URI | m2://inv/73QFYB7P5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Globally hyperbolic spacetime#ODCH, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Deontic logic 73QG2DVTP1
| URI | m2://inv/73QG2DVTP1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Deontic logic, Deontic logic (topic). Also Wikidata Q302542
History
- 2026-11-02: add by m2/dev
Signed transition blocks 73QKM92ECH
| URI | m2://inv/73QKM92ECH |
|---|---|
| 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.20994#OID4, Signed transition blocks (statement). In E90KYMVZMR/e1, lemma 1.1
History
- 2026-10-27: add by m2/v0.4.2
Mahler's 3/2 problem 73QN5AAV32
| URI | m2://inv/73QN5AAV32 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#9X5Z, Mahler's 3/2 problem (conjecture)
History
- 2026-11-02: add by m2/dev
Clairaut's theorem 73QS806WEK
| URI | m2://inv/73QS806WEK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#LGS4, Clairaut's theorem (statement)
History
- 2026-11-02: add by m2/dev
Characterizations 73R4CTPD70
| URI | m2://inv/73R4CTPD70 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-tree#CX5C, Characterizations (statement)
History
- 2026-11-02: add by m2/dev
Well-posedness of the mean-field equation 73R4Z5RT7X
| URI | m2://inv/73R4Z5RT7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.33541#LV4C, Well-posedness of the mean-field equation (statement). In N3P196CEAJ/e1, theorem 2.4
History
- 2026-10-30: add by m2/v0.4.12
Frederik Schuh 73RAZF8A36
| URI | m2://inv/73RAZF8A36 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frederik Schuh, Frederik Schuh (topic). Also Wikidata Q2468485
History
- 2026-11-02: add by m2/dev
Balanced repeated replication 73RKDRKA5Y
| URI | m2://inv/73RKDRKA5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanced repeated replication, Balanced repeated replication (definition). Also Wikidata Q4849996
History
- 2026-11-02: add by m2/dev
subobject classifier 73RPA5FS0R
| URI | m2://inv/73RPA5FS0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Subobject classifier NKP5TPQ79X |
Mentions
- wikidata: Wikidata Q7631737, subobject classifier (unknown). Also nLab subobject classifier
- wikipedia: Wikipedia Subobject classifier, Subobject classifier (definition). Also Wikidata Q7631737
History
- 2026-10-26: add by m2/dev
Bogdan Suceavă 73SCWSM5VS
| URI | m2://inv/73SCWSM5VS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bogdan Suceavă, Bogdan Suceavă (topic). Also Wikidata Q12722841
History
- 2026-11-02: add by m2/dev
strange loop 73SEN7W9V3
| URI | m2://inv/73SEN7W9V3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1457329, strange loop (unknown). Also MathWorld StrangeLoop
- wikipedia: Wikipedia Strange loop, Strange loop (definition). Also Wikidata Q1457329
History
- 2026-10-26: add by m2/dev
Borel–Moore homology 73SQ604RQA
| URI | m2://inv/73SQ604RQA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Moore homology, Borel–Moore homology (definition). Also Wikidata Q4944924
History
- 2026-11-02: add by m2/dev
Artinian bimodule 73T2P6ZHQ6
| URI | m2://inv/73T2P6ZHQ6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artinian module#IT9C, Artinian bimodule (unknown)
History
- 2026-11-02: add by m2/dev
73TAKFZJCH 73TAKFZJCH
| URI | m2://inv/73TAKFZJCH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24593#5O6K (statement)
History
- 2026-11-01: add by m2/v0.6.15
73TCRMN4XZ 73TCRMN4XZ
| URI | m2://inv/73TCRMN4XZ |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#AU3R (conjecture). In E4EK1XXPY4/e1, conjecture 1.5
History
- 2026-10-31: add by m2/v0.5.6
Poisson limit theorem 73TDX5Q0KQ
| URI | m2://inv/73TDX5Q0KQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#Y8DY, Poisson limit theorem (statement)
History
- 2026-11-02: add by m2/dev
J. C. P. Miller 73TK99PWY6
| URI | m2://inv/73TK99PWY6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8W6U, J. C. P. Miller (topic)
History
- 2026-11-02: add by m2/dev
Mass-lumping error 73VB49D0Z3
| URI | m2://inv/73VB49D0Z3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05313#HPFM, Mass-lumping error (statement). In 8XPN1A2GR0/e1, lemma 5.3
History
- 2026-10-29: add by m2/v0.4.10
73VJYZB7ZE 73VJYZB7ZE
| URI | m2://inv/73VJYZB7ZE |
|---|---|
| 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#QTZM (statement). In DDA62XQTWW/e1, proposition 2.14
History
- 2026-10-27: add by m2/v0.3.5
73VKDYFQEW 73VKDYFQEW
| URI | m2://inv/73VKDYFQEW |
|---|---|
| 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.14838#6F5F (statement). In J7ZX3WWRQP/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
A New Kind of Science 73VMNV1NF9
| URI | m2://inv/73VMNV1NF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a book or a journal, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2987018, A New Kind of Science (unknown). Also MathWorld NewKindofScience
- wikipedia: Wikipedia A New Kind of Science, A New Kind of Science (definition). Also Wikidata Q2987018
History
- 2026-10-26: add by m2/dev
73VR8KGAWS 73VR8KGAWS
| URI | m2://inv/73VR8KGAWS |
|---|---|
| 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.32439#XOQT (statement). In GD8D1YH7K4/e1, theorem 3.4
History
- 2026-10-31: add by m2/v0.5.6
Aksel Frederik Andersen 73VS3KF7PM
| URI | m2://inv/73VS3KF7PM |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Aksel Frederik Andersen, Aksel Frederik Andersen (topic). Also Wikidata Q4701768
History
- 2026-11-02: add by m2/dev
Definition 73VV5523EB
| URI | m2://inv/73VV5523EB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carathéodory metric#2Y17, Definition (definition)
History
- 2026-11-02: add by m2/dev
Michael Langston 73W5FAAQ2T
| URI | m2://inv/73W5FAAQ2T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#E57G, Michael Langston (unknown)
History
- 2026-11-02: add by m2/dev
Conditionality principle 73W8ZNJF06
| URI | m2://inv/73W8ZNJF06 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JQA1, Conditionality principle (statement)
History
- 2026-11-02: add by m2/dev
73WE4C9F4B 73WE4C9F4B
| URI | m2://inv/73WE4C9F4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18544#2H0B (statement). In HT5MC1SPD9/e1, corollary 1.7
History
- 2026-10-28: add by m2/v0.4.2
Visualization of EF-axiom 73WJ107JZ3
| URI | m2://inv/73WJ107JZ3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Near sets#IYPM, Visualization of EF-axiom (statement)
History
- 2026-11-02: add by m2/dev
73WMXRKF89 73WMXRKF89
| URI | m2://inv/73WMXRKF89 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/model-theory/basics/isomorphism.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 46.2
History
- 2026-11-01: add by m2/v0.6.13
73WTJHFW28 73WTJHFW28
| URI | m2://inv/73WTJHFW28 |
|---|---|
| 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.06755#WHL9 (statement). In DKEX05SEXS/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
Definition 73WW77NXQE
| URI | m2://inv/73WW77NXQE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Realization (probability)#1KO8, Definition (definition)
History
- 2026-11-02: add by m2/dev
73X0BVBFD4 73X0BVBFD4
| URI | m2://inv/73X0BVBFD4 |
|---|---|
| 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.17817#G305 (statement). In M8TSJ24RC2/e1, theorem 1.6
History
- 2026-10-28: add by m2/v0.4.2
Theorem 73XMTTVQF5
| URI | m2://inv/73XMTTVQF5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian connection on a surface#L2CN, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Three counterexamples 73XZZH1Q8W
| URI | m2://inv/73XZZH1Q8W |
|---|---|
| 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.22345#OGZ2, Three counterexamples (statement). In 7JATJ4VG9G/e1, proposition 1.1
History
- 2026-10-27: add by m2/v0.4.0
Examples 73YA0YA3VW
| URI | m2://inv/73YA0YA3VW |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov constant#9GM4, Examples (example)
History
- 2026-11-02: add by m2/dev
73YD3G36NR 73YD3G36NR
| URI | m2://inv/73YD3G36NR |
|---|---|
| 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.12817#JN3P (statement). In FPSGZ5S6YF/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
73YDKJF9F7 73YDKJF9F7
| URI | m2://inv/73YDKJF9F7 |
|---|---|
| Kind | definition |
| 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.04317#5Q1N (definition). In CF1X73QQ11/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.12
73YJBX9MEB 73YJBX9MEB
| URI | m2://inv/73YJBX9MEB |
|---|---|
| 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.34522#YXNN (statement). In 1HJGW3Z6Q8/e1, corollary 1.3
History
- 2026-10-30: add by m2/v0.4.12
palindromic prime 73YMD4TSEP
| URI | m2://inv/73YMD4TSEP |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1196843, palindromic prime (unknown). Also MathWorld PalindromicPrime, OEIS A002385
- wikipedia: Wikipedia Palindromic prime, Palindromic prime (conjecture). Also Wikidata Q1196843
History
- 2026-10-26: add by m2/dev
Four-photon polynomial Lieb--Robinson bound 73YYMGY1E1
| URI | m2://inv/73YYMGY1E1 |
|---|---|
| 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.01669#4NPA, Four-photon polynomial Lieb--Robinson bound (statement). In 41AVNP6DJ9/e1, proposition 3.5
History
- 2026-10-29: add by m2/v0.4.12
Riemann hypothesis 73ZDH01CVV
| URI | m2://inv/73ZDH01CVV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Farey sequence#TPQN, Riemann hypothesis (statement)
History
- 2026-11-02: add by m2/dev
73ZFGMYNPD 73ZFGMYNPD
| URI | m2://inv/73ZFGMYNPD |
|---|---|
| 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.02681#JC4I (statement). In 7BBJMB97N7/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
Locality of neighbors 73ZKZ8RC3K
| URI | m2://inv/73ZKZ8RC3K |
|---|---|
| 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.14681#5RJP, Locality of neighbors (statement). In 459W0NBS5Q/e1, lemma 4
History
- 2026-10-28: add by m2/v0.4.2