Inventory rows H3
The cards of the rows of the inventory whose ids start with H3. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
H305CZFE74 H305CZFE74
| URI | m2://inv/H305CZFE74 |
|---|---|
| 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.39455#8PG9 (statement). In HW4Y4TMEZ3/e1, proposition 3.3
History
- 2026-10-30: add by m2/v0.4.12
Noisy-channel coding theorem H30E13BK6J
| URI | m2://inv/H30E13BK6J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Channel capacity#8XGC, Noisy-channel coding theorem (statement)
History
- 2026-11-02: add by m2/dev
Signature conjecture for main eigenvalues H30HQ90370
| URI | m2://inv/H30HQ90370 |
|---|---|
| Kind | conjecture |
| 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.27046#U9RQ, Signature conjecture for main eigenvalues (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Mahjong solitaire H30N06131R
| URI | m2://inv/H30N06131R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#FV3P, Mahjong solitaire (unknown)
History
- 2026-11-02: add by m2/dev
Edward Tufte H30QF89FA8
| URI | m2://inv/H30QF89FA8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edward Tufte, Edward Tufte (topic). Also Wikidata Q1293908
History
- 2026-11-02: add by m2/dev
Extreme value theorem H30TC1D0FF
| URI | m2://inv/H30TC1D0FF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#4QS4, Extreme value theorem (statement)
History
- 2026-11-02: add by m2/dev
H30TW39W0P H30TW39W0P
| URI | m2://inv/H30TW39W0P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16059#8N27 (statement). In 51W7AECQDA/e1, proposition 4.8
History
- 2026-10-28: add by m2/v0.4.2
dual basis H30VY59NB0
| URI | m2://inv/H30VY59NB0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Dual basis 0ZD2CF6ZS0 |
Mentions
- wikidata: Wikidata Q2297777, dual basis (unknown). Also EoM Dual_basis, MathWorld DualBasis, nLab dual basis
- wikipedia: Wikipedia Dual basis, Dual basis (definition). Also Wikidata Q2297777
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
John Griggs Thompson H30YB7GACW
| URI | m2://inv/H30YB7GACW |
|---|---|
| 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#9SH4, John Griggs Thompson (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MRZU, John Griggs Thompson (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#NY1V, John Griggs Thompson (topic)
History
- 2026-11-02: add by m2/dev
H312YHEQES H312YHEQES
| URI | m2://inv/H312YHEQES |
|---|---|
| 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 2312.06473#NCJ2 (statement). In P1MYSYHSGX/e1, proposition 4.9
History
- 2026-10-27: add by m2/v0.3.5
Batmanathan Dayanand Reddy H3183C12S7
| URI | m2://inv/H3183C12S7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZT56, Batmanathan Dayanand Reddy (unknown)
History
- 2026-11-02: add by m2/dev
H319HBPQ3Q H319HBPQ3Q
| URI | m2://inv/H319HBPQ3Q |
|---|---|
| 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 2609.23202#CU4O (statement)
History
- 2026-11-02: add by m2/v0.6.17
H31CE53Y9N H31CE53Y9N
| URI | m2://inv/H31CE53Y9N |
|---|---|
| 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.06381#TQC6 (statement). In X9JKBDHACW/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.10
H31HAYQ0TH H31HAYQ0TH
| URI | m2://inv/H31HAYQ0TH |
|---|---|
| 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 2212.11038#TTKT (statement). In M3E3ARMJXK/e1, lemma 4.9
History
- 2026-10-27: add by m2/v0.3.5
H3226Y87XR H3226Y87XR
| URI | m2://inv/H3226Y87XR |
|---|---|
| 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.23341#IO5X (statement)
History
- 2026-11-02: add by m2/v0.6.17
Michael Hartl H322VCENW7
| URI | m2://inv/H322VCENW7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michael Hartl, Michael Hartl (topic). Also Wikidata Q126417382
History
- 2026-11-02: add by m2/dev
H32509YHA6 H32509YHA6
| URI | m2://inv/H32509YHA6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.22636#PTCG (statement). In 2X2A6MT0QD/e1, lemma 2.8
History
- 2026-10-27: add by m2/v0.3.5
H325TS3SQN H325TS3SQN
| URI | m2://inv/H325TS3SQN |
|---|---|
| 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.31104#BHM3 (statement). In 67NFPNF39Y/e1, theorem 1.5
History
- 2026-10-31: add by m2/v0.5.6
Non-disturbing sets H326N1DMVZ
| URI | m2://inv/H326N1DMVZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26129#RJ06, Non-disturbing sets (statement)
History
- 2026-11-01: add by m2/v0.6.15
H328QDKMPA H328QDKMPA
| URI | m2://inv/H328QDKMPA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21568#CAL4 (example)
History
- 2026-11-02: add by m2/v0.6.18
H32BC2TRF6 H32BC2TRF6
| URI | m2://inv/H32BC2TRF6 |
|---|---|
| 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 2411.02694#ZL75 (statement). In A8EK2ARN5Q/e1, theorem
History
- 2026-10-27: add by m2/v0.4.0
H33DCFDKTY H33DCFDKTY
| URI | m2://inv/H33DCFDKTY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm:extensionhartogsfigure (statement). In VNMV985MXX, thm, section 2.1
History
- 2026-11-01: add by m2/v0.6.13
H33E51Q7BF H33E51Q7BF
| URI | m2://inv/H33E51Q7BF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15217#H0PJ (definition). In G70Q2FB591/e1, definition 4.13
History
- 2026-10-28: add by m2/v0.4.2
Definitions H33FHGD16B
| URI | m2://inv/H33FHGD16B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Design effect#G8WT, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Perfect measure H33XEW32FS
| URI | m2://inv/H33XEW32FS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect measure, Perfect measure (definition). Also Wikidata Q7168093
History
- 2026-11-02: add by m2/dev
Triangle-free sixth-moment consequence H340JR5N6A
| URI | m2://inv/H340JR5N6A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14373#ZMDH, Triangle-free sixth-moment consequence (statement). In 77TK7M3B9Y/e1, corollary 5
History
- 2026-10-28: add by m2/v0.4.2
Pythagorean field H345BSQE3V
| URI | m2://inv/H345BSQE3V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Pythagoras#URLD, Pythagorean field (topic)
History
- 2026-11-02: add by m2/dev
Initial stability H346G7N21N
| URI | m2://inv/H346G7N21N |
|---|---|
| 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 math/0003117#CUQQ, Initial stability (definition). In WD2NCBV9F0/e1, definition 4.26
History
- 2026-10-27: add by m2/v0.3.5
H34A483Y3E H34A483Y3E
| URI | m2://inv/H34A483Y3E |
|---|---|
| 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 2610.21675#ZIBY (statement). In TB1294GY5X/e1, theorem C.10
History
- 2026-10-27: add by m2/v0.4.2
Riemann zeta function H34JQGTJ0T
| URI | m2://inv/H34JQGTJ0T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#L0FO, Riemann zeta function (definition)
History
- 2026-11-02: add by m2/dev
Richard Haydon H34KFS55S6
| URI | m2://inv/H34KFS55S6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9T1H, Richard Haydon (unknown)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of projective geometry H34R6YMMAZ
| URI | m2://inv/H34R6YMMAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems called fundamental#NL0T, Fundamental theorem of projective geometry (definition)
- wikipedia: Wikipedia List of algebraic geometry topics#RAJW, Fundamental theorem of projective geometry (definition)
History
- 2026-11-02: add by m2/dev
H352XQ95AH H352XQ95AH
| URI | m2://inv/H352XQ95AH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26114#YS3Z (definition)
History
- 2026-11-01: add by m2/v0.6.15
Other forcing axioms H353HNZ1T0
| URI | m2://inv/H353HNZ1T0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proper forcing axiom#0LBX, Other forcing axioms (statement)
History
- 2026-11-02: add by m2/dev
H359QPVB7J H359QPVB7J
| URI | m2://inv/H359QPVB7J |
|---|---|
| Kind | definition |
| 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.25111#UU1U (definition)
History
- 2026-11-01: add by m2/v0.6.15
H35G7JPW6B H35G7JPW6B
| URI | m2://inv/H35G7JPW6B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20516#H2V0 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Binary block lemma H35GY38S4F
| URI | m2://inv/H35GY38S4F |
|---|---|
| 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#F2GM, Binary block lemma (statement)
History
- 2026-11-02: add by m2/v0.6.17
H35HQYVPBF H35HQYVPBF
| URI | m2://inv/H35HQYVPBF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28824#LFS8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
H35J7EZFA0 H35J7EZFA0
| URI | m2://inv/H35J7EZFA0 |
|---|---|
| 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.09729#DXLN (statement). In 7CDD4HCYTV/e1, proposition 3.3
History
- 2026-10-29: add by m2/v0.4.10
Intermediate Value Theorem H35PX831K9
| URI | m2://inv/H35PX831K9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#theorem-3, Intermediate Value Theorem (statement). In P1C114YBXG, theorem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Twelvefold way H35RF4Z4Q4
| URI | m2://inv/H35RF4Z4Q4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Twelvefold way, Twelvefold way (definition). Also Wikidata Q7857666
History
- 2026-11-02: add by m2/dev
primitive circle H3632D8K6B
| URI | m2://inv/H3632D8K6B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexell's theorem#MBH3, primitive circle (definition)
History
- 2026-11-02: add by m2/dev
Fridrikh Karpelevich H36CC9WCHS
| URI | m2://inv/H36CC9WCHS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fridrikh Karpelevich, Fridrikh Karpelevich (topic). Also Wikidata Q5503589
History
- 2026-11-02: add by m2/dev
Karl Christian von Langsdorf H36F2PCYFH
| URI | m2://inv/H36F2PCYFH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Karl Christian von Langsdorf, Karl Christian von Langsdorf (topic). Also Wikidata Q72538
History
- 2026-11-02: add by m2/dev
H36H2MBJ1V H36H2MBJ1V
| URI | m2://inv/H36H2MBJ1V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-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.37606#JIB4 (statement). In WNFW6GY38C/e1, corollary 7.4
History
- 2026-10-30: add by m2/v0.4.12
H36MYT4VHX H36MYT4VHX
| URI | m2://inv/H36MYT4VHX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 16-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.03601#1VTB (statement). In F7TDYCHCSE/e1, lemma 8.4
History
- 2026-10-27: add by m2/v0.3.5
H36V86TTEJ H36V86TTEJ
| URI | m2://inv/H36V86TTEJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21355#SKRV (definition). In XKJ7VKN4P0/e1, definition 3
History
- 2026-10-27: add by m2/v0.4.2
#1 H372HKRRFD
| URI | m2://inv/H372HKRRFD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.u2/1, #1 (concept). In N54F33XE07, index, section 9.u2
History
- 2026-11-01: add by m2/v0.6.13
Example and counterexample H376CPZWSA
| URI | m2://inv/H376CPZWSA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gröbner basis#8S31, Example and counterexample (example)
History
- 2026-11-02: add by m2/dev
H37DD489DE H37DD489DE
| URI | m2://inv/H37DD489DE |
|---|---|
| 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 2303.13891#FTL5 (statement). In TC91C5DGTG/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
H37EY3S8AF H37EY3S8AF
| URI | m2://inv/H37EY3S8AF |
|---|---|
| Kind | example |
| 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 2609.20606#A7GW (example)
History
- 2026-11-02: add by m2/v0.6.18
H37MAKCEM2 H37MAKCEM2
| URI | m2://inv/H37MAKCEM2 |
|---|---|
| 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.22784#IYZ2 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Kristin Umland H37QAHSGAS
| URI | m2://inv/H37QAHSGAS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kristin Umland, Kristin Umland (topic). Also Wikidata Q61874620
History
- 2026-11-02: add by m2/dev
Localization of the global slope H37V4CKJ12
| URI | m2://inv/H37V4CKJ12 |
|---|---|
| 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.20998#73H0, Localization of the global slope (statement)
History
- 2026-11-02: add by m2/v0.6.18
H37W4CQ5H5 H37W4CQ5H5
| URI | m2://inv/H37W4CQ5H5 |
|---|---|
| Kind | definition |
| 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.21540#8T4Z (definition)
History
- 2026-11-02: add by m2/v0.6.18
The theorems H388KGAPVA
| URI | m2://inv/H388KGAPVA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Picard theorem#67PI, The theorems (statement)
History
- 2026-11-02: add by m2/dev
Gabriel–Rosenberg reconstruction theorem H389WAWDYV
| URI | m2://inv/H389WAWDYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#PAPU, Gabriel–Rosenberg reconstruction theorem (definition)
History
- 2026-11-02: add by m2/dev
Abstract Group H38G81WVP8
| URI | m2://inv/H38G81WVP8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Group theory#YI3U, Abstract Group (unknown)
History
- 2026-11-02: add by m2/dev
H38HKS1JQP H38HKS1JQP
| URI | m2://inv/H38HKS1JQP |
|---|---|
| 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 2205.09049#Q4DI (statement). In 37S7MNMZ2F/e1, proposition 41
History
- 2026-10-27: add by m2/v0.3.5
Construction H38TESJS4N
| URI | m2://inv/H38TESJS4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boltzmann sampler#3RNE, Construction (definition)
History
- 2026-11-02: add by m2/dev
High-dimensional nonuniqueness H38WCCSG31
| URI | m2://inv/H38WCCSG31 |
|---|---|
| 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.02790#81OG, High-dimensional nonuniqueness (statement). In NB7HZ8W2K2/e1, theorem 5
History
- 2026-10-29: add by m2/v0.4.12
H394VBQX94 H394VBQX94
| URI | m2://inv/H394VBQX94 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroQuantification.tex#ex:quantified predicates (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
4-volume H3957VXZZ1
| URI | m2://inv/H3957VXZZ1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Four-dimensional space#4E33, 4-volume (unknown)
History
- 2026-11-02: add by m2/dev
Master noise lemma H397Y476DJ
| URI | m2://inv/H397Y476DJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-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.00295#DL8K, Master noise lemma (statement). In 7HXP270BD0/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Siu's semicontinuity theorem H39ABN9XTF
| URI | m2://inv/H39ABN9XTF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HAQC, Siu's semicontinuity theorem (statement)
History
- 2026-11-02: add by m2/dev
Corollary H39D1SGQSN
| URI | m2://inv/H39D1SGQSN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doob decomposition theorem#L448, Corollary (statement)
History
- 2026-11-02: add by m2/dev
Properties H39H3ASH2Z
| URI | m2://inv/H39H3ASH2Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bayes classifier#EMT9, Properties (statement)
History
- 2026-11-02: add by m2/dev
ordered field, archimedean H39K14WE5Y
| URI | m2://inv/H39K14WE5Y |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/ordered-field-archimedean, ordered field, archimedean (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
model H39X4JSC74
| URI | m2://inv/H39X4JSC74 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of set identities and relations#72UG, model (topic)
History
- 2026-11-02: add by m2/dev
L'homme moyen H39XDMY71Q
| URI | m2://inv/H39XDMY71Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adolphe Quetelet#XP7C, L'homme moyen (unknown)
History
- 2026-11-02: add by m2/dev
Semyon Dyatlov H3A9K7JZ35
| URI | m2://inv/H3A9K7JZ35 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#JTIT, Semyon Dyatlov (unknown)
History
- 2026-11-02: add by m2/dev
Correlation function H3ABSB9PJG
| URI | m2://inv/H3ABSB9PJG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Correlation function (statistical mechanics), Correlation function (definition). Also Wikidata Q5172856
History
- 2026-11-02: add by m2/dev
Letwin H3ACAMDGXD
| URI | m2://inv/H3ACAMDGXD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30105#SHT0, Letwin (statement)
History
- 2026-11-01: add by m2/v0.6.15
Application to the four colour theorem H3AMTACFXH
| URI | m2://inv/H3AMTACFXH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kempe chain#MC8J, Application to the four colour theorem (statement)
History
- 2026-11-02: add by m2/dev
Weakened weak form H3AX61YVX9
| URI | m2://inv/H3AX61YVX9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weakened weak form, Weakened weak form (definition). Also Wikidata Q17103615
History
- 2026-11-02: add by m2/dev
J. V. Grabiner H3B07H6ZGS
| URI | m2://inv/H3B07H6ZGS |
|---|---|
| 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#RN4V, J. V. Grabiner (topic)
History
- 2026-11-02: add by m2/dev
H3B1DNN603 H3B1DNN603
| URI | m2://inv/H3B1DNN603 |
|---|---|
| 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.15013#4Q0I (statement). In JB837X6D1Q/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
H3B2AVSVBF H3B2AVSVBF
| URI | m2://inv/H3B2AVSVBF |
|---|---|
| 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.27699#GINH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Everett C. Dade H3B39TZS3Q
| URI | m2://inv/H3B39TZS3Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Everett C. Dade, Everett C. Dade (topic). Also Wikidata Q5416985
History
- 2026-11-02: add by m2/dev
Properties of the Canonical Height H3BDVNEH4P
| URI | m2://inv/H3BDVNEH4P |
|---|---|
| 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 2609.33162#7GL2, Properties of the Canonical Height (statement). In RPC7VG3KHQ/e1, theorem 6.4
History
- 2026-10-30: add by m2/v0.4.12
Nucleus (algebra) H3BKETB49F
| URI | m2://inv/H3BKETB49F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Associator#4OG0, Nucleus (algebra) (unknown)
History
- 2026-11-02: add by m2/dev
Compact replacement H3BYN67BE0
| URI | m2://inv/H3BYN67BE0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17400#RSVZ, Compact replacement (statement). In 8VDXGR4SVD/e1, theorem 5.4
History
- 2026-10-28: add by m2/v0.4.2
H3C022TWM2 H3C022TWM2
| URI | m2://inv/H3C022TWM2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1209.5343#PGRK (example). In 4SPYEGKZ8J/e1, example 6.2
History
- 2026-10-27: add by m2/v0.3.5
Coordinate submatrices, compressions, and finite sections H3C5XCDNF9
| URI | m2://inv/H3C5XCDNF9 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#FZLY, Coordinate submatrices, compressions, and finite sections (definition)
History
- 2026-11-01: add by m2/v0.6.15
H3C6ESEV80 H3C6ESEV80
| URI | m2://inv/H3C6ESEV80 |
|---|---|
| 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.15787#DPR7 (statement). In BPY9RM0VK7/e1, corollary 4.2
History
- 2026-10-28: add by m2/v0.4.2
Applications H3CCAQZDZ0
| URI | m2://inv/H3CCAQZDZ0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doyle spiral#55ZP, Applications (example)
History
- 2026-11-02: add by m2/dev
Jan Tinbergen H3CM6TWK6G
| URI | m2://inv/H3CM6TWK6G |
|---|---|
| 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#IEZ4, Jan Tinbergen (unknown)
History
- 2026-11-02: add by m2/dev
Sacks's splitting theorem H3CPTQRQT3
| URI | m2://inv/H3CPTQRQT3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friedberg–Muchnik theorem#2AEE, Sacks's splitting theorem (statement)
History
- 2026-11-02: add by m2/dev
Kernel isotropy H3CPX95ZD5
| URI | m2://inv/H3CPX95ZD5 |
|---|---|
| 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 2609.20230#QYEA, Kernel isotropy (statement)
History
- 2026-11-02: add by m2/v0.6.18
List of numerical libraries H3CQ668BQF
| URI | m2://inv/H3CQ668BQF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical libraries, List of numerical libraries (topic). Also Wikidata Q16148246
History
- 2026-11-02: add by m2/dev
Marchenko, Volodymyr Olexandrovych H3CT95XWFW
| URI | m2://inv/H3CT95XWFW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#F9PH, Marchenko, Volodymyr Olexandrovych (topic)
History
- 2026-11-02: add by m2/dev
H3CTK96B7K H3CTK96B7K
| URI | m2://inv/H3CTK96B7K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18078#YJ9B (statement). In YVK8EFSYNJ/e1, theorem 4.3
History
- 2026-10-28: add by m2/v0.4.2
Localization in $\CAlg(\Sc p_G^\sm)$ H3D1E3V5VD
| URI | m2://inv/H3D1E3V5VD |
|---|---|
| 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 2610.21675#O8RK, Localization in $\CAlg(\Sc p_G^\sm)$ (definition). In TB1294GY5X/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.4.2
Dirac's theorem H3D52EWX2F
| URI | m2://inv/H3D52EWX2F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q125132955, Dirac's theorem (statement). Also MathWorld DiracsTheorem
History
- 2026-10-26: add by m2/dev
Trigonometric interpolation H3DDQQ4H2G
| URI | m2://inv/H3DDQQ4H2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#WRTF, Trigonometric interpolation (definition)
History
- 2026-11-02: add by m2/dev
Melody Chan H3DH01W663
| URI | m2://inv/H3DH01W663 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Melody Chan, Melody Chan (topic). Also Wikidata Q65747601
History
- 2026-11-02: add by m2/dev
Two wall inputs stabilize the two-fluid channel at any rate below the mean-flow limit H3DJDKK2T3
| URI | m2://inv/H3DJDKK2T3 |
|---|---|
| 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.22384#HIKK, Two wall inputs stabilize the two-fluid channel at any rate below the mean-flow limit (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hilda Geiringer H3DYHJYYR1
| URI | m2://inv/H3DYHJYYR1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#KKCR, Hilda Geiringer (topic)
History
- 2026-11-02: add by m2/dev
H3E2QJFH1A H3E2QJFH1A
| URI | m2://inv/H3E2QJFH1A |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39430#L7WV (example). In 6FH24CYAMW/e1, example 5.1
History
- 2026-10-30: add by m2/v0.4.12
Juan Carlos I Antarctic Base H3E4M50S67
| URI | m2://inv/H3E4M50S67 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#2NJC, Juan Carlos I Antarctic Base (unknown)
History
- 2026-11-02: add by m2/dev
Variants H3E5ZHGB2S
| URI | m2://inv/H3E5ZHGB2S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Teknomo–Fernandez algorithm#G0IO, Variants (statement)
History
- 2026-11-02: add by m2/dev
Catorce de Noviembre H3E88ZN5ZR
| URI | m2://inv/H3E88ZN5ZR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#U36I, Catorce de Noviembre (unknown)
History
- 2026-11-02: add by m2/dev
H3EA00GN7G H3EA00GN7G
| URI | m2://inv/H3EA00GN7G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31858#L5RW (definition). In QV16PHDXKJ/e1, definition 4.5
History
- 2026-10-31: add by m2/v0.5.6
Risch algorithm H3EGNMXV7B
| URI | m2://inv/H3EGNMXV7B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Risch algorithm VJ51B7J125 |
Mentions
- wikidata: Wikidata Q1382512, Risch algorithm (unknown). Also MathWorld RischAlgorithm
- wikipedia: Wikipedia Risch algorithm, Risch algorithm (definition). Also Wikidata Q1382512
History
- 2026-10-26: add by m2/dev
Naturalistic fallacy H3EMBPGVZ3
| URI | m2://inv/H3EMBPGVZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies#KQVI, Naturalistic fallacy (definition)
History
- 2026-11-02: add by m2/dev
H3ENHB974T H3ENHB974T
| URI | m2://inv/H3ENHB974T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33856#SKAF (statement). In 47WN78VDDF/e1, lemma 3.36
History
- 2026-10-30: add by m2/v0.4.12
H3EWMAM4PN H3EWMAM4PN
| URI | m2://inv/H3EWMAM4PN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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 2609.28411#K75R (statement)
History
- 2026-11-01: add by m2/v0.6.15
$n$-fold OR power H3EZWW8VB9
| URI | m2://inv/H3EZWW8VB9 |
|---|---|
| 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.08202#56UA, $n$-fold OR power (definition). In N7XJ16700B/e1, definition 8
History
- 2026-10-29: add by m2/v0.4.10
Thomas Archer Hirst H3F4Y01A8Z
| URI | m2://inv/H3F4Y01A8Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thomas Archer Hirst, Thomas Archer Hirst (topic). Also Wikidata Q441104
History
- 2026-11-02: add by m2/dev
Group law H3F7B692QP
| URI | m2://inv/H3F7B692QP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacobian curve#G3A7, Group law (statement)
History
- 2026-11-02: add by m2/dev
Existence of a non-degenerate anchor H3F8HV0AQX
| URI | m2://inv/H3F8HV0AQX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.21872#9CM2, Existence of a non-degenerate anchor (statement). In HEA1ME2ZE4/e1, lemma 14
History
- 2026-10-27: add by m2/v0.4.2
Alan Turing H3FH59PWVR
| URI | m2://inv/H3FH59PWVR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#PZVQ, Alan Turing (topic)
History
- 2026-11-02: add by m2/dev
Continuity H3FRV2W4XK
| URI | m2://inv/H3FRV2W4XK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projectively extended real line#TZ47, Continuity (statement)
History
- 2026-11-02: add by m2/dev
Examples H3FSF20S26
| URI | m2://inv/H3FSF20S26 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graphon#8PFE, Examples (example)
History
- 2026-11-02: add by m2/dev
Behrens–Fisher distribution H3G2EGTW0T
| URI | m2://inv/H3G2EGTW0T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Behrens–Fisher distribution, Behrens–Fisher distribution (definition). Also Wikidata Q4880990
History
- 2026-11-02: add by m2/dev
H3GEJ3QM7J H3GEJ3QM7J
| URI | m2://inv/H3GEJ3QM7J |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/identity.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 11.4
History
- 2026-11-01: add by m2/v0.6.13
H3GXRT6PSW H3GXRT6PSW
| URI | m2://inv/H3GXRT6PSW |
|---|---|
| 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 2304.02722#G2RV (statement). In AH7D55D3WV/e1, theorem 10.2
History
- 2026-10-27: add by m2/v0.3.5
H3H0FXPYCS H3H0FXPYCS
| URI | m2://inv/H3H0FXPYCS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 18-XX, 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30262#DGWW (definition). In FWA5QW6FCF/e1, definition 4.5
History
- 2026-10-31: add by m2/v0.5.6
H3H5SSET72 H3H5SSET72
| URI | m2://inv/H3H5SSET72 |
|---|---|
| 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.39260#O09L (statement). In ZNDB1AZZSA/e1, theorem 2.1
History
- 2026-10-30: add by m2/v0.4.12
Jonas Moore H3H61RFR5Q
| URI | m2://inv/H3H61RFR5Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jonas Moore, Jonas Moore (topic). Also Wikidata Q6272193
History
- 2026-11-02: add by m2/dev
H3HM3SGY6S H3HM3SGY6S
| URI | m2://inv/H3HM3SGY6S |
|---|---|
| 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.14450#PI6C (definition). In ZHTGQT07PE/e1, definition 3.8
History
- 2026-10-28: add by m2/v0.4.2
Hessian of a Bergman Busemann function H3HMVM01ZR
| URI | m2://inv/H3HMVM01ZR |
|---|---|
| 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.28014#VXEF, Hessian of a Bergman Busemann function (statement)
History
- 2026-11-01: add by m2/v0.6.15
H3HP1F7W8P H3HP1F7W8P
| URI | m2://inv/H3HP1F7W8P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#G6CW (definition). In A1GWWGRXPA/e1, definition 4.7
History
- 2026-10-27: add by m2/v0.4.2
Different drift clocks in one dimension H3HP72RBA1
| URI | m2://inv/H3HP72RBA1 |
|---|---|
| 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.15543#ZG1X, Different drift clocks in one dimension (statement). In TQSHQZFCS5/e1, theorem B.2
History
- 2026-10-28: add by m2/v0.4.2
H3HVXKA1GR H3HVXKA1GR
| URI | m2://inv/H3HVXKA1GR |
|---|---|
| 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.13358#CP1H (statement). In QHT28GABDG/e1, corollary 4.5
History
- 2026-10-28: add by m2/v0.4.2
List of information graphics software H3HVZM9EJ4
| URI | m2://inv/H3HVZM9EJ4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#B98K, List of information graphics software (topic)
History
- 2026-11-02: add by m2/dev
H3HZRXE5NY H3HZRXE5NY
| URI | m2://inv/H3HZRXE5NY |
|---|---|
| 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.21475#8UCN (statement). In TTRSZVT4VX/e1, theorem 2.25
History
- 2026-10-27: add by m2/v0.4.2
Subadditivity effect H3J06N0BPW
| URI | m2://inv/H3J06N0BPW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subadditivity effect, Subadditivity effect (definition). Also Wikidata Q7630715
History
- 2026-11-02: add by m2/dev
H3J3DYP0AS H3J3DYP0AS
| URI | m2://inv/H3J3DYP0AS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.08488#HDJQ (definition). In QH5MZXMXQH/e1, definition 6.9
History
- 2026-10-27: add by m2/v0.3.5
Lawson cubic, $\Pol(2,2)$ H3JDG77TA4
| URI | m2://inv/H3JDG77TA4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 26-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13532#YBXS, Lawson cubic, $\Pol(2,2)$ (statement). In 9B0X8YPF3P/e1, proposition 9.13
History
- 2026-10-28: add by m2/v0.4.2
Japanese mathematics H3JE6THPQS
| URI | m2://inv/H3JE6THPQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 01A27 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1735738, Japanese mathematics (topic)
- wikipedia: Wikipedia Japanese mathematics, Japanese mathematics (definition). Also Wikidata Q1735738
History
- 2026-10-26: add by m2/dev
Old examples of automorphism groups H3JEFS56C8
| URI | m2://inv/H3JEFS56C8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#example-5, Old examples of automorphism groups (example). In RZP28ERRZV, example, section 14.5
History
- 2026-11-01: add by m2/v0.6.13
Abelian surface H3JPEV15HY
| URI | m2://inv/H3JPEV15HY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Niels Henrik Abel#6S4O, Abelian surface (definition)
History
- 2026-11-02: add by m2/dev
pseudo-Riemannian manifold H3JVXTFR39
| URI | m2://inv/H3JVXTFR39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Pseudo-Riemannian manifold GH6CXWFNDJ |
Mentions
- wikidata: Wikidata Q1510587, pseudo-Riemannian manifold (definition). Also MathWorld Semi-RiemannianManifold, nLab pseudo-Riemannian manifold, ProofWiki Definition:Pseudo-Riemannian_Manifold
- wikipedia: Wikipedia Pseudo-Riemannian manifold, Pseudo-Riemannian manifold (definition). Also Wikidata Q1510587
History
- 2026-10-26: add by m2/dev
H3JW2B44D4 H3JW2B44D4
| URI | m2://inv/H3JW2B44D4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 18-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37520#S3LD (statement). In BDN507RN7J/e1, lemma 4.5.3
History
- 2026-10-30: add by m2/v0.4.12
Cut-Free Completeness H3K40HFBBZ
| URI | m2://inv/H3K40HFBBZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#CTW1, Cut-Free Completeness (statement)
History
- 2026-11-01: add by m2/v0.6.15
Meyer Bockstein H3KRBZQFPV
| URI | m2://inv/H3KRBZQFPV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6826405, Meyer Bockstein (unknown). Also nLab Meyer Bockstein
History
- 2026-10-26: add by m2/dev
H3KWSXJWBG H3KWSXJWBG
| URI | m2://inv/H3KWSXJWBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#9O7Q (statement). In N6GD8392QB/e1, theorem 2.1
History
- 2026-10-28: add by m2/v0.4.2
H3KX73SVXW H3KX73SVXW
| URI | m2://inv/H3KX73SVXW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34260#XICE (definition). In BBE69ZPVTF/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
H3M1H67ACQ H3M1H67ACQ
| URI | m2://inv/H3M1H67ACQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 57-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12352#A01K (statement). In EXASSFT73P/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
Rodolfo Benini H3M1J88MB9
| URI | m2://inv/H3M1J88MB9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rodolfo Benini, Rodolfo Benini (topic). Also Wikidata Q7357136
History
- 2026-11-02: add by m2/dev
Compactness of logarithmic potentials H3M39SGC4E
| URI | m2://inv/H3M39SGC4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.09602#KAZP, Compactness of logarithmic potentials (statement). In 4AQ48WSBDQ/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.10
Piero della Francesca H3M3QJTVKP
| URI | m2://inv/H3M3QJTVKP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#O19I, Piero della Francesca (unknown)
History
- 2026-11-02: add by m2/dev
Leslie Greengard H3M8DVTEQ2
| URI | m2://inv/H3M8DVTEQ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#PQNS, Leslie Greengard (topic)
History
- 2026-11-02: add by m2/dev
H3MCFPBFGB H3MCFPBFGB
| URI | m2://inv/H3MCFPBFGB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#exercise-20 (exercise). In E9HS8K3A52, exercise, section 9.2.1
History
- 2026-11-01: add by m2/v0.6.13
Killed process H3MH7QW07M
| URI | m2://inv/H3MH7QW07M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Killed process, Killed process (definition). Also Wikidata Q6407390
History
- 2026-11-02: add by m2/dev
Gan–Gross–Prasad conjecture H3MQ0JGSM5
| URI | m2://inv/H3MQ0JGSM5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gan–Gross–Prasad conjecture, Gan–Gross–Prasad conjecture (statement). Also Wikidata Q60791245
History
- 2026-11-02: add by m2/dev
H3N08PSFVG H3N08PSFVG
| URI | m2://inv/H3N08PSFVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27775#SPME (statement)
History
- 2026-11-01: add by m2/v0.6.15
Thales' theorem H3N6V3FAXC
| URI | m2://inv/H3N6V3FAXC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Right angle#PSAL, Thales' theorem (statement)
History
- 2026-11-02: add by m2/dev
set theory, algebraic H3N76HT1BZ
| URI | m2://inv/H3N76HT1BZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.5/set-theory-algebraic, set theory, algebraic (concept). In N54F33XE07, index, section C.5
History
- 2026-11-01: add by m2/v0.6.13
Derivation of the nome square theorem H3NAGFMK89
| URI | m2://inv/H3NAGFMK89 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nome (mathematics)#KS80, Derivation of the nome square theorem (statement)
History
- 2026-11-02: add by m2/dev
Tadepalli Venkata Narayana H3NB8WRQM7
| URI | m2://inv/H3NB8WRQM7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tadepalli Venkata Narayana, Tadepalli Venkata Narayana (topic). Also Wikidata Q59627882
History
- 2026-11-02: add by m2/dev
Mikhail Shubin H3NHQB0N55
| URI | m2://inv/H3NHQB0N55 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#AR2B, Mikhail Shubin (topic)
History
- 2026-11-02: add by m2/dev
Léon Motchane H3NPNEW6HY
| URI | m2://inv/H3NPNEW6HY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Léon Motchane, Léon Motchane (topic). Also Wikidata Q3271217
History
- 2026-11-02: add by m2/dev
Louis J. Mordell H3NQMCBHKN
| URI | m2://inv/H3NQMCBHKN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematicians born in the 19th century#5DQF, Louis J. Mordell (topic)
History
- 2026-11-02: add by m2/dev
H3NWD80SMF H3NWD80SMF
| URI | m2://inv/H3NWD80SMF |
|---|---|
| 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 2609.28011#ELMW (statement)
History
- 2026-11-01: add by m2/v0.6.15
Renzo L. Ricca H3NZT5WB1G
| URI | m2://inv/H3NZT5WB1G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Renzo L. Ricca, Renzo L. Ricca (topic). Also Wikidata Q15990253
History
- 2026-11-02: add by m2/dev
H3P8BTMBC9 H3P8BTMBC9
| URI | m2://inv/H3P8BTMBC9 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/functions/inverses.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 79.1
History
- 2026-11-01: add by m2/v0.6.13
Eamonn O'Brien H3P97MX23Z
| URI | m2://inv/H3P97MX23Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eamonn O'Brien (mathematician), Eamonn O'Brien (topic). Also Wikidata Q102231441
History
- 2026-11-02: add by m2/dev
Examples H3PEDPNFJG
| URI | m2://inv/H3PEDPNFJG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tunnel number#A0ET, Examples (example)
History
- 2026-11-02: add by m2/dev
Florence Griffith Joyner H3PHYCVHJ6
| URI | m2://inv/H3PHYCVHJ6 |
|---|---|
| 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#A5EU, Florence Griffith Joyner (unknown)
History
- 2026-11-02: add by m2/dev
Universal Hölder rate for \LLMO H3PMW43RT9
| URI | m2://inv/H3PMW43RT9 |
|---|---|
| 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.33383#NZ7S, Universal Hölder rate for \LLMO (statement). In 8AHWRHTP5G/e1, theorem 4
History
- 2026-10-30: add by m2/v0.4.12
Setting H3PTFJZVCH
| URI | m2://inv/H3PTFJZVCH |
|---|---|
| Kind | definition |
| 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.27765#IF0A, Setting (definition)
History
- 2026-11-01: add by m2/v0.6.15
Evelyn M. Kitagawa H3Q7M84AHY
| URI | m2://inv/H3Q7M84AHY |
|---|---|
| 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#NA6Z, Evelyn M. Kitagawa (topic)
History
- 2026-11-02: add by m2/dev
Analytic manifold H3QB64E547
| URI | m2://inv/H3QB64E547 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of manifolds#9M17, Analytic manifold (definition)
History
- 2026-11-02: add by m2/dev
Examples H3QD2DFW67
| URI | m2://inv/H3QD2DFW67 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amenable Banach algebra#37N9, Examples (example)
History
- 2026-11-02: add by m2/dev
H3QH2V9Z9R H3QH2V9Z9R
| URI | m2://inv/H3QH2V9Z9R |
|---|---|
| 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.11905#C91A (statement). In QQFXT31CA5/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.3
H3QMJBHJXQ H3QMJBHJXQ
| URI | m2://inv/H3QMJBHJXQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.14319#R6ZG (definition). In V0S2EZ53GB/e1, definition 1.4
History
- 2026-10-27: add by m2/v0.3.5
H3QSGF4NPR H3QSGF4NPR
| URI | m2://inv/H3QSGF4NPR |
|---|---|
| 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 2205.09049#X2ZH (statement). In 37S7MNMZ2F/e1, proposition 4
History
- 2026-10-27: add by m2/v0.3.5
Anne-Sophie Kaloghiros H3QXB4W495
| URI | m2://inv/H3QXB4W495 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Anne-Sophie Kaloghiros, Anne-Sophie Kaloghiros (topic). Also Wikidata Q102341319
History
- 2026-11-02: add by m2/dev
Applications H3QYD8QXRE
| URI | m2://inv/H3QYD8QXRE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decagram (geometry)#L3HL, Applications (example)
History
- 2026-11-02: add by m2/dev
Limiting spectral distribution; identity population H3R0T5W8QZ
| URI | m2://inv/H3R0T5W8QZ |
|---|---|
| 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.16680#2G4K, Limiting spectral distribution; identity population (statement). In H29YHXQZV6/e1, theorem 11
History
- 2026-10-28: add by m2/v0.4.2
Examples H3R0VWVJ7Z
| URI | m2://inv/H3R0VWVJ7Z |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hecke algebra of a pair#NWQS, Examples (example)
History
- 2026-11-02: add by m2/dev
osculant H3R36X95CE
| URI | m2://inv/H3R36X95CE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#RTN6, osculant (definition)
History
- 2026-11-02: add by m2/dev
Lu--Peng spectral estimate. H3R4RCAQ6H
| URI | m2://inv/H3R4RCAQ6H |
|---|---|
| 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.23362#3DDR, Lu--Peng spectral estimate. (statement)
History
- 2026-11-02: add by m2/v0.6.17
Marching soldiers H3R9Y9FB57
| URI | m2://inv/H3R9Y9FB57 |
|---|---|
| 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 math/0003117#LY7V, Marching soldiers (definition). In WD2NCBV9F0/e1, definition 8.10
History
- 2026-10-27: add by m2/v0.3.5
equivalence of categories H3RC2GS6RZ
| URI | m2://inv/H3RC2GS6RZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Equivalence of categories K7A04ZBD92 |
Mentions
- wikidata: Wikidata Q1082992, equivalence of categories (definition). Also nLab equivalence of categories, ProofWiki Definition:Equivalence_of_Categories
- wikipedia: Wikipedia Equivalence of categories, Equivalence of categories (definition). Also Wikidata Q1082992
History
- 2026-10-26: add by m2/dev
H3RF2HMR8M H3RF2HMR8M
| URI | m2://inv/H3RF2HMR8M |
|---|---|
| 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 2207.05628#AB21 (statement). In 9JPKTEWW4W/e1, corollary 2.8
History
- 2026-10-27: add by m2/v0.3.5
torsion constant H3RKYEDBPS
| URI | m2://inv/H3RKYEDBPS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3822160, torsion constant (unknown). Also MathWorld TorsionalRigidity
History
- 2026-10-26: add by m2/dev
H3RRNP7HQ2 H3RRNP7HQ2
| URI | m2://inv/H3RRNP7HQ2 |
|---|---|
| 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 2605.30285#KL6T (statement). In YMY0NNSM27/e1, proposition 2.2
History
- 2026-10-27: add by m2/v0.3.6
H3RY0WM89C H3RY0WM89C
| URI | m2://inv/H3RY0WM89C |
|---|---|
| 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.19449#95W7 (statement). In 8ZKPJ3CBDF/e1, proposition 3.13
History
- 2026-10-28: add by m2/v0.4.2
William Thurston H3RZE7M2W3
| URI | m2://inv/H3RZE7M2W3 |
|---|---|
| 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 Q333927, William Thurston (unknown). Also nLab William Thurston
- wikipedia: Wikipedia William Thurston, William Thurston (topic). Also Wikidata Q333927
History
- 2026-10-26: add by m2/dev
H3S32MN65H H3S32MN65H
| URI | m2://inv/H3S32MN65H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#2FEP (statement)
History
- 2026-11-02: add by m2/v0.6.18
Law and morality H3S4XQT975
| URI | m2://inv/H3S4XQT975 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gottfried Wilhelm Leibniz#REX1, Law and morality (statement)
History
- 2026-11-02: add by m2/dev
Repetition code H3S56N2WNP
| URI | m2://inv/H3S56N2WNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Repetition code, Repetition code (definition). Also Wikidata Q369367
History
- 2026-11-02: add by m2/dev
Theorems H3S7KA8YSE
| URI | m2://inv/H3S7KA8YSE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Accessible category#PLBQ, Theorems (statement)
History
- 2026-11-02: add by m2/dev
Icosidigon H3SBB6KNWB
| URI | m2://inv/H3SBB6KNWB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#IJ97, Icosidigon (definition)
History
- 2026-11-02: add by m2/dev
H3SCGBSB81 H3SCGBSB81
| URI | m2://inv/H3SCGBSB81 |
|---|---|
| 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.35421#3298 (statement). In KE8B8KMDJJ/e1, corollary 5
History
- 2026-10-30: add by m2/v0.4.12
Tammo Tom Dieck H3SZDRQFXX
| URI | m2://inv/H3SZDRQFXX |
|---|---|
| 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#H53W, Tammo Tom Dieck (topic)
History
- 2026-11-02: add by m2/dev
H3SZMXRWQ6 H3SZMXRWQ6
| URI | m2://inv/H3SZMXRWQ6 |
|---|---|
| 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.18226#QG4E (statement). In B3EHT1FRM5/e1, theorem 2.6
History
- 2026-10-28: add by m2/v0.4.2
Decomposition of time series H3T6F9TRXG
| URI | m2://inv/H3T6F9TRXG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decomposition of time series, Decomposition of time series (definition). Also Wikidata Q5249571
History
- 2026-11-02: add by m2/dev
H3TCTGV8XT H3TCTGV8XT
| URI | m2://inv/H3TCTGV8XT |
|---|---|
| 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#MLNE (statement). In TXBXCPP0QH/e1, proposition 21
History
- 2026-10-29: add by m2/v0.4.10
Nikos Logothetis H3TEQBE4NJ
| URI | m2://inv/H3TEQBE4NJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#ZZU0, Nikos Logothetis (unknown)
History
- 2026-11-02: add by m2/dev
H3TFYHAJ5R H3TFYHAJ5R
| URI | m2://inv/H3TFYHAJ5R |
|---|---|
| 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 2510.12502#4MJP (statement). In 3A4K47Y9F2/e1, theorem 2.12
History
- 2026-10-27: add by m2/v0.4.0
H3TGQEJ364 H3TGQEJ364
| URI | m2://inv/H3TGQEJ364 |
|---|---|
| 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.35030#7YUK (statement). In DPT4P2BTEW/e1, proposition 3.1
History
- 2026-10-30: add by m2/v0.4.12
H3TH5J44K5 H3TH5J44K5
| URI | m2://inv/H3TH5J44K5 |
|---|---|
| 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.03272#6MQ1 (statement). In H9ZC46G7BX/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
H3TKVSVRCV H3TKVSVRCV
| URI | m2://inv/H3TKVSVRCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2402.17852#8KYW (statement). In 1WCXV5PVZA/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.0
H3TN4RVFRS H3TN4RVFRS
| URI | m2://inv/H3TN4RVFRS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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 2610.05403#PZYH (statement). In PQGGCD09KP/e1, proposition 2.6
History
- 2026-10-29: add by m2/v0.4.10
H3TTGENH8G H3TTGENH8G
| URI | m2://inv/H3TTGENH8G |
|---|---|
| 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 0911.1417#31PP (statement). In BBD7TZW79R/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Dimension-Free Projected DP-PAC-Bayes Certificate H3V0T67QMT
| URI | m2://inv/H3V0T67QMT |
|---|---|
| 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.21340#YYPE, Dimension-Free Projected DP-PAC-Bayes Certificate (statement). In AEYX7SEVBG/e1, theorem 4
History
- 2026-10-27: add by m2/v0.4.2
Synthetic differential geometry H3V466KJER
| URI | m2://inv/H3V466KJER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#D9U4, Synthetic differential geometry (definition)
History
- 2026-11-02: add by m2/dev
Loedel diagram H3V99VMEA2
| URI | m2://inv/H3V99VMEA2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spacetime diagram#SBXQ, Loedel diagram (unknown)
History
- 2026-11-02: add by m2/dev
Niven--Jacobson--Baer H3VAXSZBT6
| URI | m2://inv/H3VAXSZBT6 |
|---|---|
| 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.04317#GXOD, Niven--Jacobson--Baer (statement). In CF1X73QQ11/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.12
Hermite–Minkowski theorem H3VD629GPS
| URI | m2://inv/H3VD629GPS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Charles Hermite#XBQO, Hermite–Minkowski theorem (statement)
History
- 2026-11-02: add by m2/dev
Annihilator (linear algebra) H3VT72QVWP
| URI | m2://inv/H3VT72QVWP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual space#7N3W, Annihilator (linear algebra) (unknown)
History
- 2026-11-02: add by m2/dev
Gyula Y. Katona H3VTRB7D0J
| URI | m2://inv/H3VTRB7D0J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PPUJ, Gyula Y. Katona (topic)
History
- 2026-11-02: add by m2/dev
Hilbert's theorem 90 H3VYXCES6X
| URI | m2://inv/H3VYXCES6X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#SZL4, Hilbert's theorem 90 (statement)
History
- 2026-11-02: add by m2/dev
Log-free second eigenvalue bound H3W2K9WTX1
| URI | m2://inv/H3W2K9WTX1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20520#7GLM, Log-free second eigenvalue bound (statement)
History
- 2026-11-02: add by m2/v0.6.18
Definition H3W9T6G61M
| URI | m2://inv/H3W9T6G61M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete-time Markov chain#V7AJ, Definition (definition)
History
- 2026-11-02: add by m2/dev
H3WEVCRT7Q H3WEVCRT7Q
| URI | m2://inv/H3WEVCRT7Q |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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 2610.18302#1BSF (example). In VJTRH1S4JA/e1, example 5.17
History
- 2026-10-28: add by m2/v0.4.2
less than H3WFT852AN
| URI | m2://inv/H3WFT852AN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q52834024, less than (unknown). Also MathWorld Less
History
- 2026-10-26: add by m2/dev
Dan Laksov H3WPV4KWJ8
| URI | m2://inv/H3WPV4KWJ8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dan Laksov, Dan Laksov (topic). Also Wikidata Q5932286
History
- 2026-11-02: add by m2/dev
H3WZE1X0NZ H3WZE1X0NZ
| URI | m2://inv/H3WZE1X0NZ |
|---|---|
| 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.10519#YPLJ (statement). In 83MMH8VF1X/e1, theorem 3.1
History
- 2026-10-29: add by m2/v0.4.10
H3X0N9E4EF H3X0N9E4EF
| URI | m2://inv/H3X0N9E4EF |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1408.1555#M1JA (proof). In S1F2QW24YW/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
H3X85AZZF7 H3X85AZZF7
| URI | m2://inv/H3X85AZZF7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25188#MAEJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
H3XCQ3RQEX H3XCQ3RQEX
| URI | m2://inv/H3XCQ3RQEX |
|---|---|
| Kind | example |
| 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.07963#6S78 (example). In HAGJKEZ1CK/e1, example 7.4
History
- 2026-10-29: add by m2/v0.4.10
H3XF4KHM0Y H3XF4KHM0Y
| URI | m2://inv/H3XF4KHM0Y |
|---|---|
| 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.20701#9NN5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Theorem without the dependency on the dimensions H3XFNW8PY6
| URI | m2://inv/H3XFNW8PY6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chernoff bound#S459, Theorem without the dependency on the dimensions (statement)
History
- 2026-11-02: add by m2/dev
Prism filtration H3XSWM0E7X
| URI | m2://inv/H3XSWM0E7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-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.28220#JECA, Prism filtration (statement)
History
- 2026-11-01: add by m2/v0.6.15
Samuel Kotz H3XT3FVS1Y
| URI | m2://inv/H3XT3FVS1Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samuel Kotz, Samuel Kotz (topic). Also Wikidata Q2218513
History
- 2026-11-02: add by m2/dev
Finite marked fibers H3Y36M0RPN
| URI | m2://inv/H3Y36M0RPN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06081#JJ1P, Finite marked fibers (statement). In 7Z3KQRFEVG/e1, lemma C.1
History
- 2026-10-29: add by m2/v0.4.10
Notation H3Y4SM9P9R
| URI | m2://inv/H3Y4SM9P9R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harmonic distribution#CILI, Notation (definition)
History
- 2026-11-02: add by m2/dev
Derivation of law of quadratic reciprocity H3Y5J79PWB
| URI | m2://inv/H3Y5J79PWB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oscillator representation#ST40, Derivation of law of quadratic reciprocity (statement)
History
- 2026-11-02: add by m2/dev
H3YKWJER43 H3YKWJER43
| URI | m2://inv/H3YKWJER43 |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-30: add by m2/v0.4.12
Charles Brenner H3YSAGJRG2
| URI | m2://inv/H3YSAGJRG2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Charles Brenner (mathematician), Charles Brenner (topic). Also Wikidata Q23856943
History
- 2026-11-02: add by m2/dev
Definitions H3YSWE6WXT
| URI | m2://inv/H3YSWE6WXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Étale cohomology#RBAM, Definitions (definition)
History
- 2026-11-02: add by m2/dev
The fibers of the lift H3YT1HJVQ1
| URI | m2://inv/H3YT1HJVQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22485#PCMS, The fibers of the lift (statement)
History
- 2026-11-02: add by m2/v0.6.17
H3YXVPTVF5 H3YXVPTVF5
| URI | m2://inv/H3YXVPTVF5 |
|---|---|
| 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.25524#WZ27 (statement)
History
- 2026-11-01: add by m2/v0.6.15
H-theorem H3YZ0MD1TT
| URI | m2://inv/H3YZ0MD1TT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 80-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q899853, H-theorem (statement). Also Wikidata Q899853
- thousand_plus: thousand_plus Q899853, H-theorem (statement). Also Wikidata Q899853, Wikipedia H-theorem
- wikipedia: Wikipedia H-theorem, H-theorem (statement). Also Wikidata Q899853
History
- 2026-10-26: add by m2/dev
Properties H3YZK772W7
| URI | m2://inv/H3YZK772W7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convolution power#7KO3, Properties (statement)
History
- 2026-11-02: add by m2/dev
H3Z25HCXVJ H3Z25HCXVJ
| URI | m2://inv/H3Z25HCXVJ |
|---|---|
| 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 2312.05005#KJUH (statement). In SMJMAQ2S3J/e1, proposition 3
History
- 2026-10-27: add by m2/v0.4.0
Notation H3Z93YGGX2
| URI | m2://inv/H3Z93YGGX2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ramanujan's sum#C00S, Notation (definition)
History
- 2026-11-02: add by m2/dev
Inverse-radius displacements H3Z9M316X3
| URI | m2://inv/H3Z9M316X3 |
|---|---|
| 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#0SR8, Inverse-radius displacements (statement). In HGTFJ325A4/e1, theorem 7.1
History
- 2026-10-30: add by m2/v0.4.12
Gate criterion H3ZASBBC65
| URI | m2://inv/H3ZASBBC65 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11793#DSUK, Gate criterion (statement). In GGCY8Z053Z/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.3
H3ZEC689DW H3ZEC689DW
| URI | m2://inv/H3ZEC689DW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#B784 (definition). In 60CK7P5F36/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Topological degree theory H3ZF760AYH
| URI | m2://inv/H3ZF760AYH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#3K30, Topological degree theory (definition)
History
- 2026-11-02: add by m2/dev
p-group H3ZHGHWMGA
| URI | m2://inv/H3ZHGHWMGA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has its own article, page 24664) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of group theory#J7X2, p-group (definition)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
Examples H3ZN6ZZP14
| URI | m2://inv/H3ZN6ZZP14 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divided power structure#D8Q6, Examples (example)
History
- 2026-11-02: add by m2/dev
H3ZRRQV2TD H3ZRRQV2TD
| URI | m2://inv/H3ZRRQV2TD |
|---|---|
| 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.26600#WGQB (definition)
History
- 2026-11-01: add by m2/v0.6.15
first kind H3ZXW266M8
| URI | m2://inv/H3ZXW266M8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#QD66, first kind (definition)
History
- 2026-11-02: add by m2/dev