Inventory rows XX
The cards of the rows of the inventory whose ids start with XX. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Statement XX0363K427
| URI | m2://inv/XX0363K427 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Krull–Schmidt theorem#0XR6, Statement (statement)
History
- 2026-11-02: add by m2/dev
Examples XX040YC3N0
| URI | m2://inv/XX040YC3N0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frobenius endomorphism#R3VB, Examples (example)
History
- 2026-11-02: add by m2/dev
A non-unimodular structure on $k^{1||3}$ XX06C4A7YE
| URI | m2://inv/XX06C4A7YE |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08091#OXCJ, A non-unimodular structure on $k^{1||3}$ (example). In MS13WE3CSD/e1, example 5.2
History
- 2026-10-29: add by m2/v0.4.10
XX07FX25W4 XX07FX25W4
| URI | m2://inv/XX07FX25W4 |
|---|---|
| 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 2210.04075#A0RQ (statement). In C5DZR0TC5E/e1, corollary 2.7
History
- 2026-10-27: add by m2/v0.3.5
Key lemma XX0B11DKK6
| URI | m2://inv/XX0B11DKK6 |
|---|---|
| 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.23006#7NAS, Key lemma (statement)
History
- 2026-11-02: add by m2/v0.6.17
Applications XX0C64PMM2
| URI | m2://inv/XX0C64PMM2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partition of unity#5SXD, Applications (example)
History
- 2026-11-02: add by m2/dev
XX0E54Q9CW XX0E54Q9CW
| URI | m2://inv/XX0E54Q9CW |
|---|---|
| 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 2610.21475#YFG4 (definition). In TTRSZVT4VX/e1, definition 5.1
History
- 2026-10-27: add by m2/v0.4.2
XX0GMFD7KR XX0GMFD7KR
| URI | m2://inv/XX0GMFD7KR |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31910#6L5N (example). In E4EK1XXPY4/e1, example 5.3
History
- 2026-10-31: add by m2/v0.5.6
Definition XX0H1SSMT0
| URI | m2://inv/XX0H1SSMT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jacquet module#F52S, Definition (definition)
History
- 2026-11-02: add by m2/dev
Incentive compatibility XX0NM0GDFY
| URI | m2://inv/XX0NM0GDFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Incentive compatibility, Incentive compatibility (definition). Also Wikidata Q7731670
History
- 2026-11-02: add by m2/dev
Formal statement XX0S6YSB7S
| URI | m2://inv/XX0S6YSB7S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum Markov chain#GGAA, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Multiple Indicator Cluster Surveys XX174PCG1Q
| URI | m2://inv/XX174PCG1Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiple Indicator Cluster Surveys, Multiple Indicator Cluster Surveys (definition). Also Wikidata Q6934891
History
- 2026-11-02: add by m2/dev
XX17F2ET5Z XX17F2ET5Z
| URI | m2://inv/XX17F2ET5Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40123#N1B3 (statement). In WK2YHYEDZ9/e1, corollary 4.4
History
- 2026-10-30: add by m2/v0.4.12
Operations on pointed spaces XX1FFG6S3Y
| URI | m2://inv/XX1FFG6S3Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pointed space#Z79L, Operations on pointed spaces (unknown)
History
- 2026-11-02: add by m2/dev
Karl Weierstraß XX1GCV17FW
| URI | m2://inv/XX1GCV17FW |
|---|---|
| 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 Q57103, Karl Weierstraß (unknown). Also nLab Karl Weierstraß, ProofWiki Mathematician:Karl_Theodor_Wilhelm_Weierstrass
- wikipedia: Wikipedia Karl Weierstrass, Karl Weierstrass (topic). Also Wikidata Q57103
History
- 2026-10-26: add by m2/dev
Aloha XX1HHSVSH6
| URI | m2://inv/XX1HHSVSH6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in information theory#KTVH, Aloha (unknown)
History
- 2026-11-02: add by m2/dev
Bisection method XX29E7BTDE
| URI | m2://inv/XX29E7BTDE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#example-11, Bisection method (example). In E59CDZA4DP, example, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
Low-conductor stationary-class table XX2CDFRN17
| URI | m2://inv/XX2CDFRN17 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#SMWR, Low-conductor stationary-class table (statement). In 5BZQS1KY9A/e1, proposition 6.10
History
- 2026-10-29: add by m2/v0.4.10
XX2GJ7DVKC XX2GJ7DVKC
| URI | m2://inv/XX2GJ7DVKC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05018#J38D (statement). In QFZSPBES9B/e1, lemma 2.1
History
- 2026-10-29: add by m2/v0.4.12
Separatrices XX2HWVT2NX
| URI | m2://inv/XX2HWVT2NX |
|---|---|
| Kind | definition |
| 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 2103.12669#UFRO, Separatrices (definition). In ZA6XNBA90V/e1, definition 1.16
History
- 2026-10-27: add by m2/v0.3.5
Bhaskaracharya Pratishthana XX2JHWCD46
| URI | m2://inv/XX2JHWCD46 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shreeram Shankar Abhyankar#81Q9, Bhaskaracharya Pratishthana (unknown)
History
- 2026-11-02: add by m2/dev
Logica nova XX2MR8SQXJ
| URI | m2://inv/XX2MR8SQXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logica nova, Logica nova (definition). Also Wikidata Q3257912
History
- 2026-11-02: add by m2/dev
Heart XX33VDKSQC
| URI | m2://inv/XX33VDKSQC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of two-dimensional geometric shapes#1FO5, Heart (unknown)
History
- 2026-11-02: add by m2/dev
Isoperimetric inequality with generalized boundary XX35YCPQQ1
| URI | m2://inv/XX35YCPQQ1 |
|---|---|
| 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.24716#RP19, Isoperimetric inequality with generalized boundary (statement)
History
- 2026-11-01: add by m2/v0.6.15
XX3NZFNSX0 XX3NZFNSX0
| URI | m2://inv/XX3NZFNSX0 |
|---|---|
| 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 2609.28297#JYAH (statement)
History
- 2026-11-01: add by m2/v0.6.15
Applications XX3WFNM513
| URI | m2://inv/XX3WFNM513 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edit distance#O4SA, Applications (example)
History
- 2026-11-02: add by m2/dev
Examples XX3XJQVFE7
| URI | m2://inv/XX3XJQVFE7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary class#N1AU, Examples (example)
History
- 2026-11-02: add by m2/dev
XX438386S1 XX438386S1
| URI | m2://inv/XX438386S1 |
|---|---|
| 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 2510.02019#2ITR (statement). In PD607VXPY3/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
Warburg coefficient XX43KGC17Z
| URI | m2://inv/XX43KGC17Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Warburg coefficient, Warburg coefficient (definition). Also Wikidata Q7968859
History
- 2026-11-02: add by m2/dev
XX45Z7DF7Y XX45Z7DF7Y
| URI | m2://inv/XX45Z7DF7Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:scoot in characterization of sup (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
Averaging the two blocks of a split XX4EC9K85R
| URI | m2://inv/XX4EC9K85R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15265#ETUJ, Averaging the two blocks of a split (statement). In TCQ1JBR84Y/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
MASH-1 XX4QTYGA0B
| URI | m2://inv/XX4QTYGA0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MASH-1, MASH-1 (definition). Also Wikidata Q6714507
History
- 2026-11-02: add by m2/dev
Tobias Dantzig XX50ZPF55W
| URI | m2://inv/XX50ZPF55W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#ERPI, Tobias Dantzig (topic)
History
- 2026-11-02: add by m2/dev
XX5D8YVKS6 XX5D8YVKS6
| URI | m2://inv/XX5D8YVKS6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01915#7MHT (definition). In 6HJQXZS0A6/e1, definition 1.2
History
- 2026-10-29: add by m2/v0.4.12
XX5DHCRWCX XX5DHCRWCX
| URI | m2://inv/XX5DHCRWCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20049#XFK3 (statement)
History
- 2026-11-02: add by m2/v0.6.18
&lbrace XX5JNACF48
| URI | m2://inv/XX5JNACF48 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bracket#S19F, &lbrace (unknown)
History
- 2026-11-02: add by m2/dev
XX5M2G1927 XX5M2G1927
| URI | m2://inv/XX5M2G1927 |
|---|---|
| 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.19086#Q3GA (statement). In RDW99P4ZZJ/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Wilhelm Müller XX5Q1DAPZF
| URI | m2://inv/XX5Q1DAPZF |
|---|---|
| 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#PT9H, Wilhelm Müller (unknown)
History
- 2026-11-02: add by m2/dev
Computation XX5SH6BRN3
| URI | m2://inv/XX5SH6BRN3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular multiplicative inverse#GYYC, Computation (definition)
History
- 2026-11-02: add by m2/dev
Absolute differential calculus XX5XJKHMM9
| URI | m2://inv/XX5XJKHMM9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#F2WV, Absolute differential calculus (definition)
History
- 2026-11-02: add by m2/dev
National Centre for Excellence in the Teaching of Mathematics XX6339YMJM
| URI | m2://inv/XX6339YMJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Centre for Excellence in the Teaching of Mathematics, National Centre for Excellence in the Teaching of Mathematics (definition). Also Wikidata Q6971406
History
- 2026-11-02: add by m2/dev
Scientific visualization XX676Y54Y0
| URI | m2://inv/XX676Y54Y0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#ABC6, Scientific visualization (unknown)
History
- 2026-11-02: add by m2/dev
Examples XX6N9H3BMA
| URI | m2://inv/XX6N9H3BMA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear form#0GBF, Examples (example)
History
- 2026-11-02: add by m2/dev
Proofs related to chi-squared distribution XX6Q3YK25E
| URI | m2://inv/XX6Q3YK25E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proofs related to chi-squared distribution, Proofs related to chi-squared distribution (definition). Also Wikidata Q7250033
History
- 2026-11-02: add by m2/dev
XX6Q99CG8J XX6Q99CG8J
| URI | m2://inv/XX6Q99CG8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#EFFS (statement). In QHFP0837Q8/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.12
XX6STEAMC0 XX6STEAMC0
| URI | m2://inv/XX6STEAMC0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.05499#ISTV (definition). In WRMNCC8VBC/e1, definition 12
History
- 2026-10-27: add by m2/v0.3.6
XX6T1T3HN4 XX6T1T3HN4
| URI | m2://inv/XX6T1T3HN4 |
|---|---|
| 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 2609.23682#CD86 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Mezhgorye, Bashkortostan XX6TBTVBP3
| URI | m2://inv/XX6TBTVBP3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#L48Z, Mezhgorye, Bashkortostan (unknown)
History
- 2026-11-02: add by m2/dev
BDDC XX70329PQV
| URI | m2://inv/XX70329PQV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia BDDC, BDDC (definition). Also Wikidata Q4835365
History
- 2026-11-02: add by m2/dev
XX74Q9YY03 XX74Q9YY03
| URI | m2://inv/XX74Q9YY03 |
|---|---|
| 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 2609.27484#FCPJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
XX76YCSD43 XX76YCSD43
| URI | m2://inv/XX76YCSD43 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16475#6UD9 (statement). In FM9SKN560Q/e1, theorem A
History
- 2026-10-28: add by m2/v0.4.2
XX77KS9R8S XX77KS9R8S
| URI | m2://inv/XX77KS9R8S |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#E6R6 (example). In 68AE571S4P/e1, example 2.4
History
- 2026-10-29: add by m2/v0.4.10
XX7EZ8VKB5 XX7EZ8VKB5
| URI | m2://inv/XX7EZ8VKB5 |
|---|---|
| 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 2609.40261#U2T6 (statement). In KAVANCCYJW/e1, proposition 1
History
- 2026-10-30: add by m2/v0.4.12
Conditional-type extraction rate XX7F0HM1RZ
| URI | m2://inv/XX7F0HM1RZ |
|---|---|
| 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.09472#K5X2, Conditional-type extraction rate (statement). In 35925M9GJW/e1, theorem 17
History
- 2026-10-29: add by m2/v0.4.10
XX7GY0K9A9 XX7GY0K9A9
| URI | m2://inv/XX7GY0K9A9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23804#WM3S (statement)
History
- 2026-11-02: add by m2/v0.6.17
Quesiti, et Inventioni Diverse XX7QJXVN3F
| URI | m2://inv/XX7QJXVN3F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q19138913, Quesiti, et Inventioni Diverse (unknown). Also ProofWiki Book:Nicolo_Tartaglia/Quesiti,_et_Inventioni_Diverse
History
- 2026-10-26: add by m2/dev
Rosenfeld projective plane XX7QRXX2DY
| URI | m2://inv/XX7QRXX2DY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freudenthal magic square#86YV, Rosenfeld projective plane (unknown)
History
- 2026-11-02: add by m2/dev
XX7YADZEHB XX7YADZEHB
| URI | m2://inv/XX7YADZEHB |
|---|---|
| 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.15217#AL2E (statement). In G70Q2FB591/e1, lemma 2.22
History
- 2026-10-28: add by m2/v0.4.2
Formulas in terms of three quantities XX8JF08W3P
| URI | m2://inv/XX8JF08W3P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bicentric quadrilateral#GIH2, Formulas in terms of three quantities (statement)
History
- 2026-11-02: add by m2/dev
Great retrosnub icosidodecahedron XX8JP7DR2W
| URI | m2://inv/XX8JP7DR2W |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#MCR6, Great retrosnub icosidodecahedron (object)
History
- 2026-11-02: add by m2/dev
Fourier representation of the Fourier-Bessel wavelet XX8MDRGYHG
| URI | m2://inv/XX8MDRGYHG |
|---|---|
| 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.26537#TGXB, Fourier representation of the Fourier-Bessel wavelet (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem XX8MXQ81D7
| URI | m2://inv/XX8MXQ81D7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Field arithmetic#HZHF, Theorem (statement)
History
- 2026-11-02: add by m2/dev
simple Lie algebra XX8Q9W40M2
| URI | m2://inv/XX8Q9W40M2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q78502771, simple Lie algebra (unknown). Also MathWorld SimpleLieAlgebra
- wikipedia: Wikipedia Simple Lie algebra, Simple Lie algebra (definition). Also Wikidata Q78502771
History
- 2026-10-26: add by m2/dev
XX8TSP0Q6J XX8TSP0Q6J
| URI | m2://inv/XX8TSP0Q6J |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-flavors.tex#prob:dedekind_sample (exercise). In RZP28ERRZV, dproblem, section 4.8
History
- 2026-11-01: add by m2/v0.6.13
XX8TTXYK4M XX8TTXYK4M
| URI | m2://inv/XX8TTXYK4M |
|---|---|
| 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.24463#U3YN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Noel Slater XX8X44C4VW
| URI | m2://inv/XX8X44C4VW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noel Slater, Noel Slater (topic). Also Wikidata Q1270832
History
- 2026-11-02: add by m2/dev
Difference algebra XX8ZNV2SMD
| URI | m2://inv/XX8ZNV2SMD |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 12H10 |
| Sources | 2 |
| Outcome | open |
| Node | Difference algebra Z1F7N07KFH |
Mentions
- wikidata: Wikidata Q5275270, Difference algebra (topic)
- wikipedia: Wikipedia Difference algebra, Difference algebra (definition). Also Wikidata Q5275270
History
- 2026-10-26: add by m2/dev
K. S. S. Nambooripad XX96PQPDHF
| URI | m2://inv/XX96PQPDHF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#1SWL, K. S. S. Nambooripad (topic)
History
- 2026-11-02: add by m2/dev
XX9FQDKDHM XX9FQDKDHM
| URI | m2://inv/XX9FQDKDHM |
|---|---|
| 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 1904.09810#ASNO (statement). In T1VFA7TXPA/e1, theorem 53
History
- 2026-10-27: add by m2/v0.3.5
XX9J81TCFM XX9J81TCFM
| URI | m2://inv/XX9J81TCFM |
|---|---|
| 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#H9PC (definition). In TB1294GY5X/e1, definition B.16
History
- 2026-10-27: add by m2/v0.4.2
XXAGFPF2VS XXAGFPF2VS
| URI | m2://inv/XXAGFPF2VS |
|---|---|
| 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.08658#IYB8 (statement). In 7PK5WS7246/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
XXAH029G2V XXAH029G2V
| URI | m2://inv/XXAH029G2V |
|---|---|
| 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 2505.08839#5OG9 (statement). In HJPDS53MX4/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.4.0
XXAMYVKT7S XXAMYVKT7S
| URI | m2://inv/XXAMYVKT7S |
|---|---|
| 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.14445#7MCM (statement). In V56MKF0KW2/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.3.5
XXAPGT0ZJZ XXAPGT0ZJZ
| URI | m2://inv/XXAPGT0ZJZ |
|---|---|
| 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.00625#E4LS (statement). In BGA625B7W1/e1, corollary 3.9
History
- 2026-10-30: add by m2/v0.4.12
Gallagher XXAQMB95P5
| URI | m2://inv/XXAQMB95P5 |
|---|---|
| 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.01899#L2JU, Gallagher (statement). In 638TEFBFGP/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
XXB0QM1JGT XXB0QM1JGT
| URI | m2://inv/XXB0QM1JGT |
|---|---|
| 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 2306.00212#3UGA (statement). In C9GG9C1X65/e1, lemma 15
History
- 2026-10-27: add by m2/v0.3.5
XXB1DJN84A XXB1DJN84A
| URI | m2://inv/XXB1DJN84A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03835#73CG (statement). In KAYGQMQPGS/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
XXB3QER4A9 XXB3QER4A9
| URI | m2://inv/XXB3QER4A9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02961#Y8MF (statement). In 986DENWM1D/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.12
Uniform concentration of the distance matrix XXB6HBMF14
| URI | m2://inv/XXB6HBMF14 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21985#Q8UI, Uniform concentration of the distance matrix (statement)
History
- 2026-11-02: add by m2/v0.6.17
family XXB73PFAVG
| URI | m2://inv/XXB73PFAVG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#ZWDD, family (definition)
History
- 2026-11-02: add by m2/dev
XXBHNSJBP0 XXBHNSJBP0
| URI | m2://inv/XXBHNSJBP0 |
|---|---|
| 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.11693#BLW9 (statement). In F8QNPNTBTZ/e1, lemma C.1
History
- 2026-10-28: add by m2/v0.4.3
Keyl's rate function XXBSQWFNX0
| URI | m2://inv/XXBSQWFNX0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40271#8FEQ, Keyl's rate function (statement). In 9MXMRKFKDW/e1, theorem 4.2
History
- 2026-10-30: add by m2/v0.4.12
XXC381HAN4 XXC381HAN4
| URI | m2://inv/XXC381HAN4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2303.09207#W7NZ (statement). In 9DQKY7KGE8/e1, proposition 6.26
History
- 2026-10-27: add by m2/v0.3.5
List of chaotic maps XXC84NGA00
| URI | m2://inv/XXC84NGA00 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#7AAE, List of chaotic maps (topic)
History
- 2026-11-02: add by m2/dev
XXC8K8ZJDE XXC8K8ZJDE
| URI | m2://inv/XXC8K8ZJDE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#proof-2 (proof). In VNMV985MXX, proof, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
XXCEZ08ABK XXCEZ08ABK
| URI | m2://inv/XXCEZ08ABK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#TVLX (statement). In B9EX6K51RD/e1, proposition 4.3
History
- 2026-10-28: add by m2/v0.4.2
XXCF7AKEMB XXCF7AKEMB
| URI | m2://inv/XXCF7AKEMB |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23833#6RFG (example)
History
- 2026-11-02: add by m2/v0.6.17
Definitions XXCMA315W5
| URI | m2://inv/XXCMA315W5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boundedly generated group#65EX, Definitions (definition)
History
- 2026-11-02: add by m2/dev
One reflection period XXCPXV7Y6C
| URI | m2://inv/XXCPXV7Y6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18698#FTCO, One reflection period (statement). In AVDZGC7976/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Weyl XXCXQRD636
| URI | m2://inv/XXCXQRD636 |
|---|---|
| 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.12324#5J42, Weyl (statement). In CJDCSSCF1V/e1, lemma II.1
History
- 2026-10-28: add by m2/v0.4.2
XXCZ2Z9NJ2 XXCZ2Z9NJ2
| URI | m2://inv/XXCZ2Z9NJ2 |
|---|---|
| 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.20915#3HO1 (statement). In 5M1SXP75D9/e1, lemma 2.6
History
- 2026-10-27: add by m2/v0.4.2
Third derivative representation lower bound XXD13WYM4J
| URI | m2://inv/XXD13WYM4J |
|---|---|
| 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.10875#RPL0, Third derivative representation lower bound (statement). In N91F15MHW1/e1, lemma 18
History
- 2026-10-28: add by m2/v0.4.3
Ordinal notation XXD6C71K76
| URI | m2://inv/XXD6C71K76 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal notation, Ordinal notation (definition). Also Wikidata Q7100790
History
- 2026-11-02: add by m2/dev
Evgeny Feigin XXDA8FMECP
| URI | m2://inv/XXDA8FMECP |
|---|---|
| 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#VARG, Evgeny Feigin (unknown)
History
- 2026-11-02: add by m2/dev
Examples XXDC8B79P3
| URI | m2://inv/XXDC8B79P3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Majorization#5IUA, Examples (example)
History
- 2026-11-02: add by m2/dev
XXDCP7Y362 XXDCP7Y362
| URI | m2://inv/XXDCP7Y362 |
|---|---|
| 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.08288#17A2 (statement). In CHVWYJM7RM/e1, lemma 4.7
History
- 2026-10-29: add by m2/v0.4.10
Sergei Fomin XXDRK1KZG7
| URI | m2://inv/XXDRK1KZG7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sergei Fomin, Sergei Fomin (topic). Also Wikidata Q951438
History
- 2026-11-02: add by m2/dev
Elastic net regularization XXDSE80Z1G
| URI | m2://inv/XXDSE80Z1G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elastic net regularization, Elastic net regularization (definition). Also Wikidata Q5353562
History
- 2026-11-02: add by m2/dev
XXE4E8PPHY XXE4E8PPHY
| URI | m2://inv/XXE4E8PPHY |
|---|---|
| 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.08935#1B7L (statement). In G02N9D40B9/e1, proposition 3.4.9
History
- 2026-10-29: add by m2/v0.4.10
maximum, relative XXE6KC82TC
| URI | m2://inv/XXE6KC82TC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/3.2.1/maximum-relative, maximum, relative (concept). In E59CDZA4DP, index, section 3.2.1
History
- 2026-11-01: add by m2/v0.6.13
Ultrabornological space XXEASXEQMP
| URI | m2://inv/XXEASXEQMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultrabornological space, Ultrabornological space (definition). Also Wikidata Q96412187
History
- 2026-11-02: add by m2/dev
Jean-Louis Verdier XXEE166TXN
| URI | m2://inv/XXEE166TXN |
|---|---|
| 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 Q931195, Jean-Louis Verdier (unknown). Also nLab Jean-Louis Verdier
- wikipedia: Wikipedia Jean-Louis Verdier, Jean-Louis Verdier (topic). Also Wikidata Q931195
History
- 2026-10-26: add by m2/dev
XXEEZMFK5G XXEEZMFK5G
| URI | m2://inv/XXEEZMFK5G |
|---|---|
| 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.34011#6IWG (statement). In RAXRNDW2Z0/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
XXEG7A3NDF XXEG7A3NDF
| URI | m2://inv/XXEG7A3NDF |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-ser.tex#proof-7 (proof). In E59CDZA4DP, proof, section 10.2.1
History
- 2026-11-01: add by m2/v0.6.13
Symmetry XXEJNAA453
| URI | m2://inv/XXEJNAA453 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decagon#Q6LI, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
XXEQNS708K XXEQNS708K
| URI | m2://inv/XXEQNS708K |
|---|---|
| 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.05314#J75K (statement). In PA3B6C0WY7/e1, proposition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Palindromic number XXES5JX8ER
| URI | m2://inv/XXES5JX8ER |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#REJJ, Palindromic number (definition)
History
- 2026-11-02: add by m2/dev
Overall convergence of PhiBE-Flow XXEWRPXW4A
| URI | m2://inv/XXEWRPXW4A |
|---|---|
| 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 2609.32026#CMIF, Overall convergence of PhiBE-Flow (statement). In KM6PX54YFZ/e1, corollary 1
History
- 2026-10-31: add by m2/v0.5.6
Sierpiński's constant XXF07KGD99
| URI | m2://inv/XXF07KGD99 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Wacław Sierpiński#SOL9, Sierpiński's constant (object)
History
- 2026-11-02: add by m2/dev
XXF0PS69P2 XXF0PS69P2
| URI | m2://inv/XXF0PS69P2 |
|---|---|
| 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 2609.33015#A3J1 (definition). In W6Y6NPK648/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.3.5
Applications XXF2F6YZ5Y
| URI | m2://inv/XXF2F6YZ5Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential polynomial#HPHD, Applications (example)
History
- 2026-11-02: add by m2/dev
XXF7Z59MXY XXF7Z59MXY
| URI | m2://inv/XXF7Z59MXY |
|---|---|
| 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.22847#984J (statement)
History
- 2026-11-02: add by m2/v0.6.17
Picard–Vessiot extension XXFDHBKVM4
| URI | m2://inv/XXFDHBKVM4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Picard–Vessiot theory#O7FB, Picard–Vessiot extension (unknown)
History
- 2026-11-02: add by m2/dev
Weierstrass polynomial approximation theorem XXFGF44F4S
| URI | m2://inv/XXFGF44F4S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences and series of functions > Weierstrass polynomial approximation theorem, Weierstrass polynomial approximation theorem (unknown). Also Mathlib polynomialFunctions_closure_eq_top
History
- 2026-10-26: add by m2/dev
XXFKG6AYGX XXFKG6AYGX
| URI | m2://inv/XXFKG6AYGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-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.09544#G91O (statement). In DYBM6Q2K6R/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.10
β-open XXFQ21XG11
| URI | m2://inv/XXFQ21XG11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#GG4M, β-open (definition)
History
- 2026-11-02: add by m2/dev
XXFSYQ4TC3 XXFSYQ4TC3
| URI | m2://inv/XXFSYQ4TC3 |
|---|---|
| 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.08424#UGS6 (statement). In BVD2HAAKD5/e1, lemma 6.5
History
- 2026-10-29: add by m2/v0.4.10
XXFTT253GB XXFTT253GB
| URI | m2://inv/XXFTT253GB |
|---|---|
| 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.26738#PKIE (statement)
History
- 2026-11-01: add by m2/v0.6.15
XXFTVZNVN9 XXFTVZNVN9
| URI | m2://inv/XXFTVZNVN9 |
|---|---|
| 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#5VB4 (example)
History
- 2026-11-02: add by m2/v0.6.18
Collision counts XXFWYTJCBG
| URI | m2://inv/XXFWYTJCBG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39233#SAI3, Collision counts (statement). In Y7NC12TBNP/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
XXG14ZEHBW XXG14ZEHBW
| URI | m2://inv/XXG14ZEHBW |
|---|---|
| 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.23327#OXM7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
XXG291N1SK XXG291N1SK
| URI | m2://inv/XXG291N1SK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.18246#0BI4 (statement). In SN6F0MPPVF/e1, theorem 5.10
History
- 2026-10-28: add by m2/v0.4.2
XXGFYFQYKR XXGFYFQYKR
| URI | m2://inv/XXGFYFQYKR |
|---|---|
| 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 0808.1331#POKS (statement). In RB2B1N73P0/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
John Mair XXGN0D9JZ2
| URI | m2://inv/XXGN0D9JZ2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#E5GP, John Mair (topic)
History
- 2026-11-02: add by m2/dev
XXGTK3QT2P XXGTK3QT2P
| URI | m2://inv/XXGTK3QT2P |
|---|---|
| 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.28501#03PH (statement)
History
- 2026-11-01: add by m2/v0.6.15
XXGVD1T6Q7 XXGVD1T6Q7
| URI | m2://inv/XXGVD1T6Q7 |
|---|---|
| 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 2509.21444#IUEU (statement). In CTVPA2FQT1/e1, lemma 8.5.1
History
- 2026-10-27: add by m2/v0.4.0
XXH06AS7DV XXH06AS7DV
| URI | m2://inv/XXH06AS7DV |
|---|---|
| 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.14582#DYR5 (statement). In 6XP6PD2XZA/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
XXH0PKSA24 XXH0PKSA24
| URI | m2://inv/XXH0PKSA24 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20050#ML13 (definition). In T41GD0Y0GX/e1, definition A.6
History
- 2026-10-27: add by m2/v0.4.2
XXH8E7Z7XS XXH8E7Z7XS
| URI | m2://inv/XXH8E7Z7XS |
|---|---|
| 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.31489#IODW (conjecture). In ZKBG58PN1J/e1, conjecture 5.10
History
- 2026-10-31: add by m2/v0.5.6
generalization XXH9HB632V
| URI | m2://inv/XXH9HB632V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#0W9L, generalization (definition)
History
- 2026-11-02: add by m2/dev
Spacing effect XXHEDWPSD1
| URI | m2://inv/XXHEDWPSD1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#YC7E, Spacing effect (definition)
History
- 2026-11-02: add by m2/dev
XXHEMDNS0X XXHEMDNS0X
| URI | m2://inv/XXHEMDNS0X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22040#UA4R (statement). In 2QP93JHYNB/e1, theorem 8.26
History
- 2026-10-27: add by m2/v0.4.2
XXHF5EE1TC XXHF5EE1TC
| URI | m2://inv/XXHF5EE1TC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/natural-deduction/proving-things.tex#prob-2 (exercise). In PKGMM3P5QY, prob, section 15.7
History
- 2026-11-01: add by m2/v0.6.13
homotopy, type XXHHEH5X9E
| URI | m2://inv/XXHHEH5X9E |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u2/homotopy-type, homotopy, type (concept). In N54F33XE07, index, section u1.u2
History
- 2026-11-01: add by m2/v0.6.13
XXHHM5AK8F XXHHM5AK8F
| URI | m2://inv/XXHHM5AK8F |
|---|---|
| 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.27834#70MU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Uses of linearization XXHJM46K7S
| URI | m2://inv/XXHJM46K7S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linearization#YH9Y, Uses of linearization (example)
History
- 2026-11-02: add by m2/dev
XXHJYHAE8K XXHJYHAE8K
| URI | m2://inv/XXHJYHAE8K |
|---|---|
| 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.36321#OA6V (statement). In 3KTZ6Z615H/e1, lemma 7.4
History
- 2026-10-30: add by m2/v0.4.12
XXHK165FKA XXHK165FKA
| URI | m2://inv/XXHK165FKA |
|---|---|
| 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 math/9802134#9TN9 (statement). In 235B1J1ETB/e1, lemma 4.4
History
- 2026-10-27: add by m2/v0.3.5
Uncertainty XXHMQWN3XX
| URI | m2://inv/XXHMQWN3XX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uncertainty, Uncertainty (definition). Also Wikidata Q13649246
History
- 2026-11-02: add by m2/dev
XXHMRHNB1Q XXHMRHNB1Q
| URI | m2://inv/XXHMRHNB1Q |
|---|---|
| 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.37901#5E6E (statement). In 363WNMSDMA/e1, proposition 12
History
- 2026-10-30: add by m2/v0.4.12
XXHNMHRQ2A XXHNMHRQ2A
| URI | m2://inv/XXHNMHRQ2A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18620#RY21 (statement). In 6WJ0R9YEBR/e1, proposition 3.19
History
- 2026-10-28: add by m2/v0.4.2
Effective domain XXHQ72KACN
| URI | m2://inv/XXHQ72KACN |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01855#NX5D, Effective domain (definition). In MM8P5CJR18/e1, definition C.1
History
- 2026-10-29: add by m2/v0.4.12
XXHTS4X42H XXHTS4X42H
| URI | m2://inv/XXHTS4X42H |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/exercises/exercises2-4.xml#exercise-3 (exercise). In 649HGZKE96, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
XXHZ01TBAH XXHZ01TBAH
| URI | m2://inv/XXHZ01TBAH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27078#3HPM (definition)
History
- 2026-11-01: add by m2/v0.6.15
Uses XXJ1JNMWBD
| URI | m2://inv/XXJ1JNMWBD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surrogate data#Q7HD, Uses (example)
History
- 2026-11-02: add by m2/dev
Ahmed I. Zayed XXJ3GN9F9Q
| URI | m2://inv/XXJ3GN9F9Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ahmed I. Zayed, Ahmed I. Zayed (topic). Also Wikidata Q4695857
History
- 2026-11-02: add by m2/dev
Statement of the inequality XXJ6DH8P28
| URI | m2://inv/XXJ6DH8P28 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapiro inequality#VS5I, Statement of the inequality (statement)
History
- 2026-11-02: add by m2/dev
An implication of Kronecker's theorem XXJMQD13P1
| URI | m2://inv/XXJMQD13P1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12831#67RM, An implication of Kronecker's theorem (statement). In 7ZBQ8WGQVB/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
XXJNPBWQTH XXJNPBWQTH
| URI | m2://inv/XXJNPBWQTH |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 37-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 0804.0248#KV72 (example). In NG9HWAE79A/e1, example 2
History
- 2026-10-27: add by m2/v0.3.5
Alternative formulas XXJQ8NFWCN
| URI | m2://inv/XXJQ8NFWCN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gaussian curvature#4CPH, Alternative formulas (statement)
History
- 2026-11-02: add by m2/dev
XXJR5ACSH3 XXJR5ACSH3
| URI | m2://inv/XXJR5ACSH3 |
|---|---|
| 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.18562#HDP3 (statement). In 793KXAR957/e1, corollary 2.2
History
- 2026-10-28: add by m2/v0.4.2
XXJWZ7G3D3 XXJWZ7G3D3
| URI | m2://inv/XXJWZ7G3D3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/AxiomsRealNumbers.tex#thm:irrationals dense (statement). In P1C114YBXG, theorem, section u1
History
- 2026-11-01: add by m2/v0.6.13
XXK2S7ZE2M XXK2S7ZE2M
| URI | m2://inv/XXK2S7ZE2M |
|---|---|
| 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 2509.05577#9E3C (statement). In EFWBREMZAP/e1, theorem A.1
History
- 2026-10-27: add by m2/v0.3.5
Combining double tilde XXKETRS934
| URI | m2://inv/XXKETRS934 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tilde#2GDX, Combining double tilde (unknown)
History
- 2026-11-02: add by m2/dev
XXKF00KWDN XXKF00KWDN
| URI | m2://inv/XXKF00KWDN |
|---|---|
| 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.10873#65I5 (statement). In AYG8HYGW6V/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.3
pseudograph XXKF39EE6D
| URI | m2://inv/XXKF39EE6D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q118574724, pseudograph (definition). Also MathWorld Pseudograph, nLab pseudograph, ProofWiki Definition:Loop-Graph/Loop-Multigraph
History
- 2026-10-26: add by m2/dev
XXKHJRYBWJ XXKHJRYBWJ
| URI | m2://inv/XXKHJRYBWJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/counting-starsbars.ptx#exercise-11 (exercise). In Y91XFCEVHQ, exercise, section 2.5
History
- 2026-11-01: add by m2/v0.6.13
XXKQ18GB0M XXKQ18GB0M
| URI | m2://inv/XXKQ18GB0M |
|---|---|
| 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.01276#SQXH (statement). In 7JJPPMS2DN/e1, proposition 7.4
History
- 2026-10-29: add by m2/v0.4.12
XXKRWPJMBB XXKRWPJMBB
| URI | m2://inv/XXKRWPJMBB |
|---|---|
| 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.38548#C38W (statement). In Z7ZFV3HM1S/e1, proposition 6.6
History
- 2026-10-30: add by m2/v0.4.12
Level-\(2\) block for \(d=3\), \(n=3\ XXKVVGWMDR
| URI | m2://inv/XXKVVGWMDR |
|---|---|
| Kind | example |
| 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 2610.03775#PVEE, Level-\(2\) block for \(d=3\), \(n=3\ (example). In NM928YZQVJ/e1, example
History
- 2026-10-29: add by m2/v0.4.12
Flexible arc XXKZFR741R
| URI | m2://inv/XXKZFR741R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14217#B0X5, Flexible arc (definition). In K0DHYQC5B7/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Action limit XXM7EW60A0
| URI | m2://inv/XXM7EW60A0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#MA4X, Action limit (unknown)
History
- 2026-11-02: add by m2/dev
formula XXM9A3FGGG
| URI | m2://inv/XXM9A3FGGG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#PI2W, formula (definition)
History
- 2026-11-02: add by m2/dev
XXMBYS2Y5J XXMBYS2Y5J
| URI | m2://inv/XXMBYS2Y5J |
|---|---|
| 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#DEIM (statement). In TXBXCPP0QH/e1, theorem 22
History
- 2026-10-29: add by m2/v0.4.10
XXMCTEEDCF XXMCTEEDCF
| URI | m2://inv/XXMCTEEDCF |
|---|---|
| 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.30817#CUSD (statement). In DP5KJ7AATM/e1, lemma 2.1
History
- 2026-10-31: add by m2/v0.5.6
Euler Society XXMMJ64SMP
| URI | m2://inv/XXMMJ64SMP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler Society, Euler Society (definition). Also Wikidata Q15995053
History
- 2026-11-02: add by m2/dev
Journal of Automated Reasoning XXMNATDS8S
| URI | m2://inv/XXMNATDS8S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#8DN6, Journal of Automated Reasoning (unknown)
History
- 2026-11-02: add by m2/dev
F-statistics XXMWVY377K
| URI | m2://inv/XXMWVY377K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#4J13, F-statistics (definition)
History
- 2026-11-02: add by m2/dev
XXN8EAXAQV XXN8EAXAQV
| URI | m2://inv/XXN8EAXAQV |
|---|---|
| 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 2609.19958#8YSZ (statement)
History
- 2026-11-02: add by m2/v0.6.18
XXNDRC29DC XXNDRC29DC
| URI | m2://inv/XXNDRC29DC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/completeness/maximally-consistent-sets.tex#prop:mcs (statement). In PKGMM3P5QY, prop, section 11.7
History
- 2026-11-01: add by m2/v0.6.13
Definition XXNK570592
| URI | m2://inv/XXNK570592 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Third fundamental form#IIXE, Definition (definition)
History
- 2026-11-02: add by m2/dev
Systems of Logic Based on Ordinals XXP3A6EEWV
| URI | m2://inv/XXP3A6EEWV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#8ADS, Systems of Logic Based on Ordinals (definition)
History
- 2026-11-02: add by m2/dev
anti-edge XXP6F8KY8T
| URI | m2://inv/XXP6F8KY8T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#8XSO, anti-edge (definition)
History
- 2026-11-02: add by m2/dev
XXPR2YWN83 XXPR2YWN83
| URI | m2://inv/XXPR2YWN83 |
|---|---|
| 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 2204.01073#OO6G (statement). In W4TYN4PGE8/e1, lemma 2.48
History
- 2026-10-27: add by m2/v0.3.5
Hermann Lotze XXPX79KHGE
| URI | m2://inv/XXPX79KHGE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#MSQK, Hermann Lotze (topic)
History
- 2026-11-02: add by m2/dev
Examples XXPX7FK858
| URI | m2://inv/XXPX7FK858 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Histogram#ICD1, Examples (example)
History
- 2026-11-02: add by m2/dev
XXQ2P9163K XXQ2P9163K
| URI | m2://inv/XXQ2P9163K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#6JV6 (statement). In 60CK7P5F36/e1, theorem 5.2
History
- 2026-10-27: add by m2/v0.3.5
Implementations XXQE5QARAA
| URI | m2://inv/XXQE5QARAA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal-flow graph#PMQX, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Definition XXQEX13YYE
| URI | m2://inv/XXQEX13YYE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Steinberg group (K-theory)#UUUW, Definition (definition)
History
- 2026-11-02: add by m2/dev
subalternation XXQJ8A8WNP
| URI | m2://inv/XXQJ8A8WNP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#O1V7, subalternation (definition)
History
- 2026-11-02: add by m2/dev
XXQRNX47YD XXQRNX47YD
| URI | m2://inv/XXQRNX47YD |
|---|---|
| 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.26745#281B (statement)
History
- 2026-11-01: add by m2/v0.6.15
XXQS5AZZHB XXQS5AZZHB
| URI | m2://inv/XXQS5AZZHB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04730#M7PN (statement). In QHFP0837Q8/e1, proposition 4.20
History
- 2026-10-29: add by m2/v0.4.12
Applications XXQX3X6JA7
| URI | m2://inv/XXQX3X6JA7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hill equation (biochemistry)#ZTNB, Applications (example)
History
- 2026-11-02: add by m2/dev
prismatoid XXR0WCJ2DH
| URI | m2://inv/XXR0WCJ2DH |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1757451, prismatoid (unknown). Also EoM Prismoid, MathWorld Prismatoid
- wikipedia: Wikipedia Prismatoid, Prismatoid (object). Also Wikidata Q1757451
History
- 2026-10-26: add by m2/dev
XXR10YWW2Z XXR10YWW2Z
| URI | m2://inv/XXR10YWW2Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38126#L851 (statement). In QNVKW32G02/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Generalizations XXR14W6B1S
| URI | m2://inv/XXR14W6B1S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orbifold#MBZW, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
XXR6CC254W XXR6CC254W
| URI | m2://inv/XXR6CC254W |
|---|---|
| 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.22090#QVE9 (statement). In NKJWGF050C/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.0
XXRJQCPNMZ XXRJQCPNMZ
| URI | m2://inv/XXRJQCPNMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#621E (statement). In B9EX6K51RD/e1, lemma 4.21
History
- 2026-10-28: add by m2/v0.4.2
Mikaela Iacobelli XXRMEQE6QZ
| URI | m2://inv/XXRMEQE6QZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mikaela Iacobelli, Mikaela Iacobelli (topic). Also Wikidata Q102440983
History
- 2026-11-02: add by m2/dev
0† XXRW7B56EP
| URI | m2://inv/XXRW7B56EP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#AP6E, 0† (definition)
History
- 2026-11-02: add by m2/dev
XXS76XFDKK XXS76XFDKK
| URI | m2://inv/XXS76XFDKK |
|---|---|
| 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.32077#CUEP (statement). In WYXQDSQR9B/e1, lemma 3.13
History
- 2026-10-31: add by m2/v0.5.6
XXS7ZWZV97 XXS7ZWZV97
| URI | m2://inv/XXS7ZWZV97 |
|---|---|
| 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.12295#3LAU (statement). In 6DZPR52HRP/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
XXS8TKM05J XXS8TKM05J
| URI | m2://inv/XXS8TKM05J |
|---|---|
| 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 2411.17227#7PPJ (statement). In DDNP38CHQJ/e1, theorem 2.7
History
- 2026-10-27: add by m2/v0.3.5
Symmetry XXS93SJVWM
| URI | m2://inv/XXS93SJVWM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Square tiling honeycomb#MEHO, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
krypton-86 XXSGD41VH7
| URI | m2://inv/XXSGD41VH7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2195058, krypton-86 (definition). Also ProofWiki Definition:Krypton/86
History
- 2026-10-26: add by m2/dev
Henry Moseley XXSJ3CEZQ7
| URI | m2://inv/XXSJ3CEZQ7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Henry Moseley (mathematician), Henry Moseley (topic). Also Wikidata Q15990186
History
- 2026-11-02: add by m2/dev
XXSTD1XCHP XXSTD1XCHP
| URI | m2://inv/XXSTD1XCHP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.06445#G2TW (statement). In 12JKZ8EN52/e1, corollary 7.12
History
- 2026-10-27: add by m2/v0.3.5
Sobolev spaces for planar domains XXSTVZT4DJ
| URI | m2://inv/XXSTVZT4DJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sobolev spaces for planar domains, Sobolev spaces for planar domains (definition). Also Wikidata Q7550132
History
- 2026-11-02: add by m2/dev
XXSV2VNPGS XXSV2VNPGS
| URI | m2://inv/XXSV2VNPGS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05391#STZA (definition). In 9B5TNEBJHV/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
polynomial root XXSWA7KCEF
| URI | m2://inv/XXSWA7KCEF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20113351, polynomial root (concept). Also MathWorld PolynomialRoots, ProofWiki Definition:Root_of_Polynomial
History
- 2026-10-26: add by m2/dev
XXSX6BVSN6 XXSX6BVSN6
| URI | m2://inv/XXSX6BVSN6 |
|---|---|
| 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.36088#O7IV (statement). In QJD3MZMJHW/e1, theorem 4.7
History
- 2026-10-30: add by m2/v0.4.12
Matching in a moving strip XXT0WTMZDY
| URI | m2://inv/XXT0WTMZDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33805#OWPQ, Matching in a moving strip (statement). In XM98BX97RT/e1, proposition 4.4
History
- 2026-10-30: add by m2/v0.4.12
XXT8CGEW51 XXT8CGEW51
| URI | m2://inv/XXT8CGEW51 |
|---|---|
| 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.23470#T5MO (statement)
History
- 2026-11-02: add by m2/v0.6.17
Particular values of the gamma function XXT9017974
| URI | m2://inv/XXT9017974 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Particular values of the gamma function, Particular values of the gamma function (definition). Also Wikidata Q7140511
History
- 2026-11-02: add by m2/dev
XXTDJA3SR7 XXTDJA3SR7
| URI | m2://inv/XXTDJA3SR7 |
|---|---|
| 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 2610.10413#JJ3O (statement). In 68MTQ59QTQ/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
XXTSXC0GPP XXTSXC0GPP
| URI | m2://inv/XXTSXC0GPP |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_total-order-N.ptx#proof-2 (proof). In QKM9DD2H56, proof, section B.11
History
- 2026-11-01: add by m2/v0.6.13
Second-order product rule XXTT3H1YQK
| URI | m2://inv/XXTT3H1YQK |
|---|---|
| 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.20593#67UC, Second-order product rule (statement). In 7GMD8J4200/e1, corollary 8
History
- 2026-10-27: add by m2/v0.4.2
XXTT602DQD XXTT602DQD
| URI | m2://inv/XXTT602DQD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15352#Y7WK (statement). In R39P7AFXM8/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
XXTXM101H8 XXTXM101H8
| URI | m2://inv/XXTXM101H8 |
|---|---|
| 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.12277#J1FM (statement). In N6GW8Z49SZ/e1, corollary 1.2
History
- 2026-10-28: add by m2/v0.4.2
XXV2JXGSBX XXV2JXGSBX
| URI | m2://inv/XXV2JXGSBX |
|---|---|
| Kind | example |
| 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 2508.01642#13BZ (example). In CD9T8ZFES1/e1, example 2.2.1
History
- 2026-10-27: add by m2/v0.3.6
icositruncated dodecadodecahedron XXV3TX30T1
| URI | m2://inv/XXV3TX30T1 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q34287, icositruncated dodecadodecahedron (unknown). Also MathWorld IcositruncatedDodecadodecahedron
- wikipedia: Wikipedia Icositruncated dodecadodecahedron, Icositruncated dodecadodecahedron (object). Also Wikidata Q34287
History
- 2026-10-26: add by m2/dev
Symmetry XXVZ7G7Y6W
| URI | m2://inv/XXVZ7G7Y6W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Length contraction#QOR6, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Ed Pegg Jr. XXVZTX43FQ
| URI | m2://inv/XXVZTX43FQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ed Pegg Jr., Ed Pegg Jr. (topic). Also Wikidata Q5335266
History
- 2026-11-02: add by m2/dev
Conservative extension (model theory) XXW6FAV109
| URI | m2://inv/XXW6FAV109 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conservative extension#VC7P, Conservative extension (model theory) (unknown)
History
- 2026-11-02: add by m2/dev
XXWH7NSD4K XXWH7NSD4K
| URI | m2://inv/XXWH7NSD4K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38975#H9FF (definition). In D2247CRPPE/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
\bf Good Nodes XXWJ43S0SC
| URI | m2://inv/XXWJ43S0SC |
|---|---|
| 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 2312.14445#A4MZ, \bf Good Nodes (definition). In V56MKF0KW2/e1, definition C.1
History
- 2026-10-27: add by m2/v0.3.5
Størmer's theorem XXWJGJWN1T
| URI | m2://inv/XXWJGJWN1T |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Størmer's theorem, Størmer's theorem (statement). Also Wikidata Q7630144
History
- 2026-11-02: add by m2/dev
real numbers, agree XXWJRY9RRK
| URI | m2://inv/XXWJRY9RRK |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.4/real-numbers-agree, real numbers, agree (concept). In N54F33XE07, index, section B.4
History
- 2026-11-01: add by m2/v0.6.13
Albrecht Dürer's magic square XXWKNWCEHC
| URI | m2://inv/XXWKNWCEHC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Albrecht Dürer's magic square, Albrecht Dürer's magic square (definition). Also Wikidata Q113886439
History
- 2026-11-02: add by m2/dev
Finite certificate of infeasibility XXWRSV8X1T
| URI | m2://inv/XXWRSV8X1T |
|---|---|
| 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.15125#F9PP, Finite certificate of infeasibility (statement). In V5GT8NJKCM/e1, lemma C.1
History
- 2026-10-28: add by m2/v0.4.2
XXWZHWCHG7 XXWZHWCHG7
| URI | m2://inv/XXWZHWCHG7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#prop:msconveuc (statement). In E59CDZA4DP, prop, section 4.3.2
History
- 2026-11-01: add by m2/v0.6.13
XXWZPKYBCG XXWZPKYBCG
| URI | m2://inv/XXWZPKYBCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28514#BP6P (statement)
History
- 2026-11-01: add by m2/v0.6.15
Coates--Corti--Iritani--Tseng XXX2RSVEC4
| URI | m2://inv/XXX2RSVEC4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10828#I1X4, Coates--Corti--Iritani--Tseng (statement). In 8PTDFHV8SQ/e1, theorem 6.4
History
- 2026-10-28: add by m2/v0.4.3
Definition XXX65AS7ZT
| URI | m2://inv/XXX65AS7ZT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quintic threefold#DIKU, Definition (definition)
History
- 2026-11-02: add by m2/dev
XXX8DPS6A8 XXX8DPS6A8
| URI | m2://inv/XXX8DPS6A8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37893#PLCR (statement). In 8H0KHK7AMN/e1, proposition 4.11
History
- 2026-10-30: add by m2/v0.4.12
Analysis of covariance XXXND96RFK
| URI | m2://inv/XXXND96RFK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#H0K9, Analysis of covariance (definition)
History
- 2026-11-02: add by m2/dev
XXXNW2BDQB XXXNW2BDQB
| URI | m2://inv/XXXNW2BDQB |
|---|---|
| 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.05784#H33N (statement). In 6NVP3YRWVA/e1, lemma 3.7
History
- 2026-10-29: add by m2/v0.4.10
Erik Demaine XXXPMW0628
| URI | m2://inv/XXXPMW0628 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#U4YN, Erik Demaine (unknown)
History
- 2026-11-02: add by m2/dev
Eigensystem XXXZJ8Q470
| URI | m2://inv/XXXZJ8Q470 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eigenvalues and eigenvectors#OMKA, Eigensystem (unknown)
History
- 2026-11-02: add by m2/dev
Definition XXY81V0FXW
| URI | m2://inv/XXY81V0FXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic subspace#CKYL, Definition (definition)
History
- 2026-11-02: add by m2/dev
Generalizations XXYAE58P7C
| URI | m2://inv/XXYAE58P7C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Provability logic#GZ7H, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Board puzzles with algebra of binary variables XXYBS0HA5P
| URI | m2://inv/XXYBS0HA5P |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Board puzzles with algebra of binary variables, Board puzzles with algebra of binary variables (problem). Also Wikidata Q4931400
History
- 2026-11-02: add by m2/dev
XXYD61ZN3Q XXYD61ZN3Q
| URI | m2://inv/XXYD61ZN3Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-conc.ptx#investigation-1 (exercise). In Y91XFCEVHQ, investigation, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
Exact orthogonality XXYDC9H3R6
| URI | m2://inv/XXYDC9H3R6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17403#HCQ2, Exact orthogonality (statement). In 9EMNMAW8YH/e1, proposition 20
History
- 2026-10-28: add by m2/v0.4.2
Rational function XXYE6123RR
| URI | m2://inv/XXYE6123RR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of real analysis topics#PU1M, Rational function (definition)
- wikipedia: Wikipedia List of polynomial topics#0W7V, Rational function (definition)
History
- 2026-11-02: add by m2/dev
Viggo Brun XXYKBEGH02
| URI | m2://inv/XXYKBEGH02 |
|---|---|
| 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#3VAX, Viggo Brun (topic)
History
- 2026-11-02: add by m2/dev
Recamán's sequence XXYVTBGP5F
| URI | m2://inv/XXYVTBGP5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16522517, Recamán's sequence (object). Also OEIS A005132
- wikipedia: Wikipedia Recamán's sequence, Recamán's sequence (definition). Also Wikidata Q16522517
History
- 2026-10-26: add by m2/dev
Radial curve XXYYYMX7HQ
| URI | m2://inv/XXYYYMX7HQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Evolute#69CK, Radial curve (unknown)
History
- 2026-11-02: add by m2/dev
XXYZS8S70Q XXYZS8S70Q
| URI | m2://inv/XXYZS8S70Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21017#AORA (statement). In 8KKYZ4NKT2/e1, theorem 20
History
- 2026-10-27: add by m2/v0.4.2
XXZ7KJNCVV XXZ7KJNCVV
| URI | m2://inv/XXZ7KJNCVV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-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.34193#GDUW (example). In 9XMZTTSF5E/e1, example 1.7
History
- 2026-10-30: add by m2/v0.4.12
Trajectoid XXZ9RDTWM8
| URI | m2://inv/XXZ9RDTWM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trajectoid, Trajectoid (definition). Also Wikidata Q133800061
History
- 2026-11-02: add by m2/dev
Perimeter bisector of a triangle XXZB93CPRA
| URI | m2://inv/XXZB93CPRA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#J0R3, Perimeter bisector of a triangle (definition)
History
- 2026-11-02: add by m2/dev
biconnected XXZBHDGCE5
| URI | m2://inv/XXZBHDGCE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#ULF4, biconnected (definition)
History
- 2026-11-02: add by m2/dev
Principles XXZJHY7Q73
| URI | m2://inv/XXZJHY7Q73 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid body#EIXK, Principles (statement)
History
- 2026-11-02: add by m2/dev
Polynomial trajectory lies before the balanced cutoff XXZN0N5C7V
| URI | m2://inv/XXZN0N5C7V |
|---|---|
| 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.20414#GR4L, Polynomial trajectory lies before the balanced cutoff (statement). In X2NNNW8CX5/e1, lemma 8.4
History
- 2026-10-27: add by m2/v0.4.2
XXZQPW3T25 XXZQPW3T25
| URI | m2://inv/XXZQPW3T25 |
|---|---|
| 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.40207#Q19Z (statement). In JXTG8KP95P/e1, lemma 5.14
History
- 2026-10-30: add by m2/v0.4.12
Disturbance-Budget Safety XXZTZM93CF
| URI | m2://inv/XXZTZM93CF |
|---|---|
| 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 2609.28364#PG10, Disturbance-Budget Safety (definition)
History
- 2026-11-01: add by m2/v0.6.15
Examples XXZVPJGSBZ
| URI | m2://inv/XXZVPJGSBZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Interchange of limiting operations#MS8M, Examples (example)
History
- 2026-11-02: add by m2/dev