Inventory rows E9
The cards of the rows of the inventory whose ids start with E9. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
E901A0BCDA E901A0BCDA
| URI | m2://inv/E901A0BCDA |
|---|---|
| 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 2610.22247#RVYU (statement). In SBNH1MWND8/e1, theorem 22
History
- 2026-10-27: add by m2/v0.4.0
E9066GDMM2 E9066GDMM2
| URI | m2://inv/E9066GDMM2 |
|---|---|
| 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.14741#C7AR (statement). In RK1VPWWX9E/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.2
Mirabolic group E90CZWW4S4
| URI | m2://inv/E90CZWW4S4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mirabolic group, Mirabolic group (definition). Also Wikidata Q6872335
History
- 2026-11-02: add by m2/dev
Chebyshev's Inequality E90D855EBB
| URI | m2://inv/E90D855EBB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_probability_central-tendency.ptx#thm_chebyshev, Chebyshev's Inequality (statement). In QKM9DD2H56, theorem, section 10.5.1
History
- 2026-11-01: add by m2/v0.6.13
E90HQX8QEV E90HQX8QEV
| URI | m2://inv/E90HQX8QEV |
|---|---|
| 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.25030#VX9V (statement)
History
- 2026-11-01: add by m2/v0.6.15
NLSY97 E90K904TQ5
| URI | m2://inv/E90K904TQ5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia National Longitudinal Surveys#ULP1, NLSY97 (unknown)
History
- 2026-11-02: add by m2/dev
Serial position effect E90QZ57HC9
| URI | m2://inv/E90QZ57HC9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cognitive biases#62K0, Serial position effect (unknown)
History
- 2026-11-02: add by m2/dev
Vilmos Totik E90ZQJ955T
| URI | m2://inv/E90ZQJ955T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1VX5, Vilmos Totik (unknown)
History
- 2026-11-02: add by m2/dev
E911K6M4T9 E911K6M4T9
| URI | m2://inv/E911K6M4T9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_logic-prop.ptx#example-7 (example). In Y91XFCEVHQ, example, section 4.1.4
History
- 2026-11-01: add by m2/v0.6.13
Generalizations E9124HNCVG
| URI | m2://inv/E9124HNCVG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Divergence theorem#PZ6A, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
principal ideal domain E919PXDQR4
| URI | m2://inv/E919PXDQR4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Principal ideal domain 0CMD0BCH8T |
Mentions
- wikidata: Wikidata Q1143969, principal ideal domain (definition). Also EoM Principal_ideal_domain, MathWorld PrincipalIdealDomain, nLab principal ideal domain, ProofWiki Definition:Principal_Ideal_Domain
- wikipedia: Wikipedia Principal ideal domain, Principal ideal domain (definition). Also Wikidata Q1143969
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Definitions E91MKKMMDM
| URI | m2://inv/E91MKKMMDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nucleolus (game theory)#DV74, Definitions (definition)
History
- 2026-11-02: add by m2/dev
E91PJTKMPW E91PJTKMPW
| URI | m2://inv/E91PJTKMPW |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/filtrations/euclidean-filtrations.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 51.8
History
- 2026-11-01: add by m2/v0.6.13
Two-sided clipping reaches this rung, for any \evar E91PTKDSZ9
| URI | m2://inv/E91PTKDSZ9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27766#XXJA, Two-sided clipping reaches this rung, for any \evar (example)
History
- 2026-11-01: add by m2/v0.6.15
E91V7CVZZF E91V7CVZZF
| URI | m2://inv/E91V7CVZZF |
|---|---|
| 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.10477#P2P9 (statement). In 1NZSZ241WE/e1, lemma C.3
History
- 2026-10-29: add by m2/v0.4.10
E91Y1CY7H6 E91Y1CY7H6
| URI | m2://inv/E91Y1CY7H6 |
|---|---|
| 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 1006.4617#QQ9E (definition). In VWACF4K16Q/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Bergman kernel E92287JR8H
| URI | m2://inv/E92287JR8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bergman kernel, Bergman kernel (definition). Also Wikidata Q3345664
History
- 2026-11-02: add by m2/dev
E92DD114J4 E92DD114J4
| URI | m2://inv/E92DD114J4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/cover-project.tex#definition-2 (definition). In RZP28ERRZV, definition, section 97.1
History
- 2026-11-01: add by m2/v0.6.13
PETSc E92FGG5D8G
| URI | m2://inv/E92FGG5D8G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#HAJH, PETSc (definition)
History
- 2026-11-02: add by m2/dev
E92J1BAJBW E92J1BAJBW
| URI | m2://inv/E92J1BAJBW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03688#V1WN (statement). In HMWJQY9NAP/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.12
Number E92RBCVM0J
| URI | m2://inv/E92RBCVM0J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#2DE0, Number (definition)
History
- 2026-11-02: add by m2/dev
Chebyshev's inequality E92RM45W0C
| URI | m2://inv/E92RM45W0C |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov's inequality#7NHM, Chebyshev's inequality (statement)
History
- 2026-11-02: add by m2/dev
Vestavia Hills High School Math Tournament E92XWYYGA2
| URI | m2://inv/E92XWYYGA2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of United States regional mathematics competitions#G8AK, Vestavia Hills High School Math Tournament (unknown)
History
- 2026-11-02: add by m2/dev
Pushforward Lemma E931KCWKJG
| URI | m2://inv/E931KCWKJG |
|---|---|
| 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.09650#NST4, Pushforward Lemma (statement). In 628KM8869P/e1, lemma 4.9
History
- 2026-10-29: add by m2/v0.4.10
Node E932D3VH8Y
| URI | m2://inv/E932D3VH8Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Node (autonomous system), Node (definition). Also Wikidata Q7046662
History
- 2026-11-02: add by m2/dev
Examples E93SNT2XT1
| URI | m2://inv/E93SNT2XT1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irreducible fraction#9P8T, Examples (example)
History
- 2026-11-02: add by m2/dev
E93TY5ASBP E93TY5ASBP
| URI | m2://inv/E93TY5ASBP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17004#OHNJ (statement). In XNJGNMS6H0/e1, proposition 5.7
History
- 2026-10-28: add by m2/v0.4.2
Dey's almost-smooth discretization E942P5B96M
| URI | m2://inv/E942P5B96M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 53-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.37769#3SU3, Dey's almost-smooth discretization (statement). In MJWNGM4S01/e1, proposition 4.1
History
- 2026-10-30: add by m2/v0.4.12
Half line E9444WJHR4
| URI | m2://inv/E9444WJHR4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Line (geometry)#USYS, Half line (unknown)
History
- 2026-11-02: add by m2/dev
E945BABP3W E945BABP3W
| URI | m2://inv/E945BABP3W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23994#3Q6I (statement)
History
- 2026-11-02: add by m2/v0.6.17
Brauer–Fowler theorem E9490FWQBN
| URI | m2://inv/E9490FWQBN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brauer–Fowler theorem, Brauer–Fowler theorem (statement). Also Wikidata Q4958229
History
- 2026-11-02: add by m2/dev
E94E7N55BX E94E7N55BX
| URI | m2://inv/E94E7N55BX |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#proof-15 (proof). In N54F33XE07, proof, section C.2
History
- 2026-11-01: add by m2/v0.6.13
E94G88HZ8S E94G88HZ8S
| URI | m2://inv/E94G88HZ8S |
|---|---|
| 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.25656#MA19 (statement)
History
- 2026-11-01: add by m2/v0.6.15
E94MJDNEVX E94MJDNEVX
| URI | m2://inv/E94MJDNEVX |
|---|---|
| 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 1907.01440#P3A5 (statement). In QDRYC6WJJ7/e1, lemma 6
History
- 2026-10-27: add by m2/v0.3.5
Non-examples E94Q1XKPJV
| URI | m2://inv/E94Q1XKPJV |
|---|---|
| Kind | counterexample |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular local ring#G9BG, Non-examples (counterexample)
History
- 2026-11-02: add by m2/dev
Properties E94RVD6YFF
| URI | m2://inv/E94RVD6YFF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete graph#JG2C, Properties (statement)
History
- 2026-11-02: add by m2/dev
Abu Hanifa Dinawari E94T489X2P
| URI | m2://inv/E94T489X2P |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Iranian mathematicians#SZCH, Abu Hanifa Dinawari (unknown)
History
- 2026-11-02: add by m2/dev
E9531SJ3DH E9531SJ3DH
| URI | m2://inv/E9531SJ3DH |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12481#M9AO (definition). In TD288AK3EJ/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
E95B9EHXCE E95B9EHXCE
| URI | m2://inv/E95B9EHXCE |
|---|---|
| Kind | definition |
| 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 2309.15424#YAOI (definition). In NXYZ1EAWKN/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.5
E95BXGWTEC E95BXGWTEC
| URI | m2://inv/E95BXGWTEC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#BDQT (statement). In HX63A1PH1W/e1, corollary 6.23
History
- 2026-10-28: add by m2/v0.4.3
E95JZFW15D E95JZFW15D
| URI | m2://inv/E95JZFW15D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2502.14306#9Z5Z (definition). In ZNBQD5WH1M/e1, definition 4.2
History
- 2026-10-27: add by m2/v0.3.5
Dual-tree complex wavelet transform E95K8MKYWW
| URI | m2://inv/E95K8MKYWW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of wavelet-related transforms#O4XL, Dual-tree complex wavelet transform (unknown)
History
- 2026-11-02: add by m2/dev
E95RD87GA5 E95RD87GA5
| URI | m2://inv/E95RD87GA5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/forcing.tex#definition-5 (definition). In RZP28ERRZV, definition, section 90.3
History
- 2026-11-01: add by m2/v0.6.13
E95YPFX9CV E95YPFX9CV
| URI | m2://inv/E95YPFX9CV |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise:modholplush (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
E967TE720N E967TE720N
| URI | m2://inv/E967TE720N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13850#D6ZQ (statement). In KJY735KSMF/e1, theorem D
History
- 2026-10-28: add by m2/v0.4.2
George W. Whitehead E96887HT3D
| URI | m2://inv/E96887HT3D |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George W. Whitehead, George W. Whitehead (topic). Also Wikidata Q1508482
History
- 2026-11-02: add by m2/dev
Cochleoid E96FZRVXKE
| URI | m2://inv/E96FZRVXKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#GFA4, Cochleoid (definition)
- wikipedia: Wikipedia List of curves#KIGZ, Cochleoid (definition)
History
- 2026-11-02: add by m2/dev
E96QMXP90W E96QMXP90W
| URI | m2://inv/E96QMXP90W |
|---|---|
| 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.01946#SVQA (statement). In NB1Z31FMXN/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.12
E96RGEYAVA E96RGEYAVA
| URI | m2://inv/E96RGEYAVA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_comb-proof.ptx#example-4 (example). In QKM9DD2H56, example, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Clifford semigroup E96RM6PJFB
| URI | m2://inv/E96RM6PJFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford semigroup, Clifford semigroup (definition). Also Wikidata Q16885330
History
- 2026-11-02: add by m2/dev
The History of Mathematical Tables E96TNSE3R1
| URI | m2://inv/E96TNSE3R1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The History of Mathematical Tables, The History of Mathematical Tables (definition). Also Wikidata Q96408984
History
- 2026-11-02: add by m2/dev
E97227EFWW E97227EFWW
| URI | m2://inv/E97227EFWW |
|---|---|
| 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.35740#EO2O (statement). In N7C6C0QGJM/e1, proposition 2.5
History
- 2026-10-30: add by m2/v0.4.12
L-moment E975QY6YAX
| URI | m2://inv/E975QY6YAX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia L-moment, L-moment (definition). Also Wikidata Q6456145
History
- 2026-11-02: add by m2/dev
Nyāya Sūtras E9775XHXGY
| URI | m2://inv/E9775XHXGY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nyāya Sūtras, Nyāya Sūtras (definition). Also Wikidata Q2363579
History
- 2026-11-02: add by m2/dev
$1$-rectifiability of limit varifolds E97A8GSG6M
| URI | m2://inv/E97A8GSG6M |
|---|---|
| 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.24451#A6LD, $1$-rectifiability of limit varifolds (statement)
History
- 2026-11-01: add by m2/v0.6.15
Bucur-Henrot E97A8X50GB
| URI | m2://inv/E97A8X50GB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13180#DBHA, Bucur-Henrot (statement). In 7TSVFYEGD8/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
Reverse cloner E97E5JZ3PM
| URI | m2://inv/E97E5JZ3PM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.06742#LDVX, Reverse cloner (statement). In 24FJ7C8WPN/e1, proposition 2
History
- 2026-10-29: add by m2/v0.4.10
E97GVS3Y6X E97GVS3Y6X
| URI | m2://inv/E97GVS3Y6X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24078#RJO9 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Infinitesimal calculus E97M8Z6NK2
| URI | m2://inv/E97M8Z6NK2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#GYLW, Infinitesimal calculus (definition)
History
- 2026-11-02: add by m2/dev
three-valued logic E97NGWZ7MC
| URI | m2://inv/E97NGWZ7MC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q185443, three-valued logic (unknown). Also MathWorld Three-ValuedLogic
- wikipedia: Wikipedia Three-valued logic, Three-valued logic (definition). Also Wikidata Q185443
History
- 2026-10-26: add by m2/dev
E97P4MY02T E97P4MY02T
| URI | m2://inv/E97P4MY02T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.00589#5NC3 (statement). In C8JAGP8VCQ/e1, lemma 9.4
History
- 2026-10-27: add by m2/v0.3.5
Remark E97PJDZ0NV
| URI | m2://inv/E97PJDZ0NV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Möbius plane#7B6J, Remark (unknown)
History
- 2026-11-02: add by m2/dev
E97PXMPM8Q E97PXMPM8Q
| URI | m2://inv/E97PXMPM8Q |
|---|---|
| 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 2002.01498#2G0S (definition). In 2H7TQ695XW/e1, definition 4.3
History
- 2026-10-27: add by m2/v0.3.5
E97Q9TZBC8 E97Q9TZBC8
| URI | m2://inv/E97Q9TZBC8 |
|---|---|
| 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.39104#1EYF (statement). In V2NTW27MSJ/e1, proposition 2.2
History
- 2026-10-30: add by m2/v0.4.12
Ring with involution E97R0F6KDD
| URI | m2://inv/E97R0F6KDD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Involution (mathematics)#SPHE, Ring with involution (unknown)
History
- 2026-11-02: add by m2/dev
E97T01R73M E97T01R73M
| URI | m2://inv/E97T01R73M |
|---|---|
| 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.01225#6TBE (statement). In MFR807V4YG/e1, proposition 6.5
History
- 2026-10-29: add by m2/v0.4.12
Langlands conjectures for GL1 E97T75W9E2
| URI | m2://inv/E97T75W9E2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lafforgue's theorem#NG4P, Langlands conjectures for GL1 (statement)
History
- 2026-11-02: add by m2/dev
Ishak Efendi E97VTCVQTE
| URI | m2://inv/E97VTCVQTE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#MW2L, Ishak Efendi (unknown)
History
- 2026-11-02: add by m2/dev
Jean-Marie De Koninck E97WZFP1S2
| URI | m2://inv/E97WZFP1S2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jean-Marie De Koninck, Jean-Marie De Koninck (topic). Also Wikidata Q3167629
History
- 2026-11-02: add by m2/dev
E97XG33GFR E97XG33GFR
| URI | m2://inv/E97XG33GFR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2608.17785#1O28 (statement). In H3FDP8S1Z7/e1, lemma 2.7
History
- 2026-10-27: add by m2/v0.3.5
E97YHGNHD6 E97YHGNHD6
| URI | m2://inv/E97YHGNHD6 |
|---|---|
| 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.10576#OXM7 (statement). In N3ZA5MDZBW/e1, theorem 1
History
- 2026-10-29: add by m2/v0.4.10
Polars E9810DNHHY
| URI | m2://inv/E9810DNHHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polars (software), Polars (definition). Also Wikidata Q120549730
History
- 2026-11-02: add by m2/dev
E98FGS41PC E98FGS41PC
| URI | m2://inv/E98FGS41PC |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-13 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
Quotient of subspace theorem E98H8ZKQST
| URI | m2://inv/E98H8ZKQST |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#0O7H, Quotient of subspace theorem (statement)
History
- 2026-11-02: add by m2/dev
E98HHM6DTN E98HHM6DTN
| URI | m2://inv/E98HHM6DTN |
|---|---|
| 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 0804.2115#NU0W (statement). In B9XACVAC6X/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Relationships to other separation axioms E98JSSX6K5
| URI | m2://inv/E98JSSX6K5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Regular space#ZUG4, Relationships to other separation axioms (statement)
History
- 2026-11-02: add by m2/dev
E98MCRSR7E E98MCRSR7E
| URI | m2://inv/E98MCRSR7E |
|---|---|
| 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.33015#J7MT (statement). In W6Y6NPK648/e1, lemma 4.2
History
- 2026-10-27: add by m2/v0.3.5
Extensions E98MNWBRD8
| URI | m2://inv/E98MNWBRD8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zero-sum game#HBE5, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Removal of poles from a primitive E98QFZ81VF
| URI | m2://inv/E98QFZ81VF |
|---|---|
| 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.00490#4OOV, Removal of poles from a primitive (statement). In PZJDV6SJ9E/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
Barnes interpolation E98VB8RQNZ
| URI | m2://inv/E98VB8RQNZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barnes interpolation, Barnes interpolation (definition). Also Wikidata Q4861558
History
- 2026-11-02: add by m2/dev
Nielsen realization problem E98WRZG8ET
| URI | m2://inv/E98WRZG8ET |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of incomplete proofs#I5VN, Nielsen realization problem (problem)
History
- 2026-11-02: add by m2/dev
Probabilistic logic E98XM4VS65
| URI | m2://inv/E98XM4VS65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Probabilistic logic, Probabilistic logic (definition). Also Wikidata Q2599292
History
- 2026-11-02: add by m2/dev
perspective center E991S58A3G
| URI | m2://inv/E991S58A3G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2258374, perspective center (unknown). Also MathWorld PerspectiveCenter, MathWorld Perspector
History
- 2026-10-26: add by m2/dev
E998M92BBA E998M92BBA
| URI | m2://inv/E998M92BBA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20522#4A9B (statement)
History
- 2026-11-02: add by m2/v0.6.18
E99AX0CEMN E99AX0CEMN
| URI | m2://inv/E99AX0CEMN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10930#6LJU (example). In HX63A1PH1W/e1, example 7.2
History
- 2026-10-28: add by m2/v0.4.3
E99BW6C4JY E99BW6C4JY
| URI | m2://inv/E99BW6C4JY |
|---|---|
| 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.16844#ZCV2 (statement). In MAY0WVXT07/e1, theorem 1.3
History
- 2026-10-28: add by m2/v0.4.2
E99D8YKG2K E99D8YKG2K
| URI | m2://inv/E99D8YKG2K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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 1407.0548#PO6Q (statement). In 3EAQ15QTJC/e1, proposition 3.8
History
- 2026-10-27: add by m2/v0.3.5
Thales' theorem E99H1SBJCX
| URI | m2://inv/E99H1SBJCX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#GWC4, Thales' theorem (statement)
- wikipedia: Wikipedia List of circle topics#5CGH, Thales' theorem (statement)
History
- 2026-11-02: add by m2/dev
Richard Ehrenborg E99M08D2N6
| URI | m2://inv/E99M08D2N6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Ehrenborg, Richard Ehrenborg (topic). Also Wikidata Q50333073
History
- 2026-11-02: add by m2/dev
A radius for the rigidity E99PSABG72
| URI | m2://inv/E99PSABG72 |
|---|---|
| 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.25120#ZTPP, A radius for the rigidity (statement)
History
- 2026-11-01: add by m2/v0.6.15
Extensions E99PY794XY
| URI | m2://inv/E99PY794XY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decision tree learning#Z05A, Extensions (statement)
History
- 2026-11-02: add by m2/dev
Example E99R69VXXD
| URI | m2://inv/E99R69VXXD |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace (linear algebra)#PPDJ, Example (example)
History
- 2026-11-02: add by m2/dev
E99XGQ7KMA E99XGQ7KMA
| URI | m2://inv/E99XGQ7KMA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18377#G1PZ (statement). In KYJJMC50SJ/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Population-error exponents of deterministic optimizers E99Z8G2HKE
| URI | m2://inv/E99Z8G2HKE |
|---|---|
| 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.11309#9PN8, Population-error exponents of deterministic optimizers (statement). In TTEAQA1XXR/e1, proposition C.27
History
- 2026-10-28: add by m2/v0.4.3
E9A26KCH0X E9A26KCH0X
| URI | m2://inv/E9A26KCH0X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08226#6S3Z (statement). In V6EPE8XHAD/e1, corollary A.9
History
- 2026-10-29: add by m2/v0.4.10
curve of constant width E9A477NX5W
| URI | m2://inv/E9A477NX5W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Curve of constant width B4YD1ZXRVH |
Mentions
- wikidata: Wikidata Q1192156, curve of constant width (unknown). Also MathWorld CurveofConstantWidth
- wikipedia: Wikipedia Curve of constant width, Curve of constant width (definition). Also Wikidata Q1192156
History
- 2026-10-26: add by m2/dev
irrationality measure E9A89WDYMG
| URI | m2://inv/E9A89WDYMG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14917576, irrationality measure (unknown). Also MathWorld IrrationalityMeasure
- wikipedia: Wikipedia Irrationality measure, Irrationality measure (definition). Also Wikidata Q14917576
History
- 2026-10-26: add by m2/dev
E9AAYS6T01 E9AAYS6T01
| URI | m2://inv/E9AAYS6T01 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27518#4NBB (definition)
History
- 2026-11-01: add by m2/v0.6.15
Relation to other separation axioms E9ABJHA87W
| URI | m2://inv/E9ABJHA87W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Urysohn and completely Hausdorff spaces#LVPW, Relation to other separation axioms (statement)
History
- 2026-11-02: add by m2/dev
Classes of Set Partitions E9ACW05MMV
| URI | m2://inv/E9ACW05MMV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-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 1711.00219#E9V5, Classes of Set Partitions (definition). In 7V3HG30ZGW/e1, definition A.3
History
- 2026-10-27: add by m2/v0.4.0
Use of the Greeks E9ADZ0HMY7
| URI | m2://inv/E9ADZ0HMY7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Greeks (finance)#N0DR, Use of the Greeks (example)
History
- 2026-11-02: add by m2/dev
Dark data E9AYPGX445
| URI | m2://inv/E9AYPGX445 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dark data, Dark data (definition). Also Wikidata Q25304151
History
- 2026-11-02: add by m2/dev
Robert Sinclair MacKay E9B3WJE7BY
| URI | m2://inv/E9B3WJE7BY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Sinclair MacKay, Robert Sinclair MacKay (topic). Also Wikidata Q11108478
History
- 2026-11-02: add by m2/dev
Fang Kaitai E9B4GR1QEK
| URI | m2://inv/E9B4GR1QEK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fang Kaitai, Fang Kaitai (topic). Also Wikidata Q26923352
History
- 2026-11-02: add by m2/dev
E9B4YKEX1P E9B4YKEX1P
| URI | m2://inv/E9B4YKEX1P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#prop:finitedimpropnorm (statement). In E59CDZA4DP, prop, section 11.2.1
History
- 2026-11-01: add by m2/v0.6.13
Rational function field E9B6CWRG9R
| URI | m2://inv/E9B6CWRG9R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rational function#Q5WK, Rational function field (unknown)
History
- 2026-11-02: add by m2/dev
Orthocentric system E9B7FS656A
| URI | m2://inv/E9B7FS656A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#YTIU, Orthocentric system (definition)
History
- 2026-11-02: add by m2/dev
Spinor E9BBBZP1T2
| URI | m2://inv/E9BBBZP1T2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#X6AW, Spinor (definition)
History
- 2026-11-02: add by m2/dev
Thurston elliptization conjecture E9BDHRWTCJ
| URI | m2://inv/E9BDHRWTCJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thurston elliptization conjecture#FIU3, Thurston elliptization conjecture (statement)
History
- 2026-11-02: add by m2/dev
E9BG2F9VES E9BG2F9VES
| URI | m2://inv/E9BG2F9VES |
|---|---|
| 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 2311.01874#DX92 (statement). In A4TR95VGX2/e1, theorem 5.5.3
History
- 2026-10-27: add by m2/v0.3.5
Pseudorandom number generator E9BKYXR0YA
| URI | m2://inv/E9BKYXR0YA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#VJSQ, Pseudorandom number generator (definition)
- wikipedia: Wikipedia List of telecommunications encryption terms#PXZU, Pseudorandom number generator (definition)
- wikipedia: Wikipedia List of algorithm general topics#16G1, Pseudorandom number generator (definition)
History
- 2026-11-02: add by m2/dev
Modulus ceiling E9BMFMJ7VW
| URI | m2://inv/E9BMFMJ7VW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00295#N2SY, Modulus ceiling (statement). In 7HXP270BD0/e1, corollary 5.12
History
- 2026-10-30: add by m2/v0.4.12
Voorhoeve index E9BMRZ5CGA
| URI | m2://inv/E9BMRZ5CGA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Voorhoeve index, Voorhoeve index (definition). Also Wikidata Q7941721
History
- 2026-11-02: add by m2/dev
Curry–Howard correspondence E9C07HSQJN
| URI | m2://inv/E9C07HSQJN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curry–Howard correspondence, Curry–Howard correspondence (definition). Also Wikidata Q975734
History
- 2026-11-02: add by m2/dev
E9C35PTPXT E9C35PTPXT
| URI | m2://inv/E9C35PTPXT |
|---|---|
| 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.06724#DPGR (statement). In W5XG3PGVF1/e1, corollary 5.7
History
- 2026-10-29: add by m2/v0.4.10
E9C4N5WAPZ E9C4N5WAPZ
| URI | m2://inv/E9C4N5WAPZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19449#EJJL (statement). In 8ZKPJ3CBDF/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
Francesco Perez E9C894M1QC
| URI | m2://inv/E9C894M1QC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Francesco Perez, Francesco Perez (topic). Also Wikidata Q21282955
History
- 2026-11-02: add by m2/dev
Trace norm versus Hilbert--Schmidt norm E9CANPEJG9
| URI | m2://inv/E9CANPEJG9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#3ZZB, Trace norm versus Hilbert--Schmidt norm (statement). In 1QSV7EQE3T/e1, lemma S5
History
- 2026-10-28: add by m2/v0.4.2
finite, -dimensional vector space E9CAV5N5J8
| URI | m2://inv/E9CAV5N5J8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/2.7/finite-dimensional-vector-space, finite, -dimensional vector space (concept). In N54F33XE07, index, section 2.7
History
- 2026-11-01: add by m2/v0.6.13
AKSZ sigma model E9CRA3AT4Y
| URI | m2://inv/E9CRA3AT4Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55098081, AKSZ sigma model (unknown). Also nLab AKSZ sigma-model
History
- 2026-10-26: add by m2/dev
E9CWBYKW80 E9CWBYKW80
| URI | m2://inv/E9CWBYKW80 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/zariski.tex#definition-5 (definition). In RZP28ERRZV, definition, section 29.5
History
- 2026-11-01: add by m2/v0.6.13
hyperspace E9D9RA8DV9
| URI | m2://inv/E9D9RA8DV9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5024959, hyperspace (unknown). Also MathWorld Hyperspace
History
- 2026-10-26: add by m2/dev
Vera Nikolaevna Maslennikova E9DHDXB011
| URI | m2://inv/E9DHDXB011 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vera Nikolaevna Maslennikova, Vera Nikolaevna Maslennikova (topic). Also Wikidata Q7920811
History
- 2026-11-02: add by m2/dev
Dickman function E9DHWT00JR
| URI | m2://inv/E9DHWT00JR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5273760, Dickman function (unknown). Also MathWorld DickmanFunction
- wikipedia: Wikipedia Dickman function, Dickman function (definition). Also Wikidata Q5273760
History
- 2026-10-26: add by m2/dev
Choropleth map E9DV70ZCM4
| URI | m2://inv/E9DV70ZCM4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Choropleth map, Choropleth map (definition). Also Wikidata Q261468
History
- 2026-11-02: add by m2/dev
E9DV8P8QJM E9DV8P8QJM
| URI | m2://inv/E9DV8P8QJM |
|---|---|
| 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 2610.21929#AF8E (statement). In 2PP4XRVS0J/e1, theorem 9.7
History
- 2026-10-27: add by m2/v0.4.2
RLWE-HOM E9DVA431CF
| URI | m2://inv/E9DVA431CF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ring learning with errors#SVMG, RLWE-HOM (unknown)
History
- 2026-11-02: add by m2/dev
Substructural logic E9DVV8C7DE
| URI | m2://inv/E9DVV8C7DE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#XNYN, Substructural logic (topic)
History
- 2026-11-02: add by m2/dev
E9DYRAEN2K E9DYRAEN2K
| URI | m2://inv/E9DYRAEN2K |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_exercises.ptx#exercise-13 (exercise). In QKM9DD2H56, exercise, section 2
History
- 2026-11-01: add by m2/v0.6.13
One-step density theorem E9E0F0PGJZ
| URI | m2://inv/E9E0F0PGJZ |
|---|---|
| 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.32937#AL4N, One-step density theorem (statement). In RB0SJRQP6X/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
E9E4YG5F69 E9E4YG5F69
| URI | m2://inv/E9E4YG5F69 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23527#JRJO (example)
History
- 2026-11-02: add by m2/v0.6.17
E9EEVT6D8Q E9EEVT6D8Q
| URI | m2://inv/E9EEVT6D8Q |
|---|---|
| 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.16362#BYHX (statement). In 4NJ4T3DEQB/e1, lemma 2.7
History
- 2026-10-28: add by m2/v0.4.2
Rewriting E9EF1PJ3Q1
| URI | m2://inv/E9EF1PJ3Q1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computability and complexity topics#0ZC4, Rewriting (definition)
History
- 2026-11-02: add by m2/dev
Mathematical principles of reinforcement E9EGYQS6MS
| URI | m2://inv/E9EGYQS6MS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematical principles of reinforcement, Mathematical principles of reinforcement (statement). Also Wikidata Q6786867
History
- 2026-11-02: add by m2/dev
Variants E9ESGZVYYM
| URI | m2://inv/E9ESGZVYYM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monadic second-order logic#M01T, Variants (statement)
History
- 2026-11-02: add by m2/dev
Duhamel’s Principle for General Linear Parabolic PDE E9ETX2QJXC
| URI | m2://inv/E9ETX2QJXC |
|---|---|
| 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.15111#02R3, Duhamel’s Principle for General Linear Parabolic PDE (statement). In 6RE6JYE4GP/e1, theorem B.3
History
- 2026-10-28: add by m2/v0.4.2
E9EWBTTXBB E9EWBTTXBB
| URI | m2://inv/E9EWBTTXBB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28403#4HYI (statement)
History
- 2026-11-01: add by m2/v0.6.15
E9F0PG4KSJ E9F0PG4KSJ
| URI | m2://inv/E9F0PG4KSJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#GN66 (statement). In SD28S3K7BT/e1, theorem 51
History
- 2026-10-29: add by m2/v0.4.12
E9F1XTXT66 E9F1XTXT66
| URI | m2://inv/E9F1XTXT66 |
|---|---|
| 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.09650#TS12 (definition). In 628KM8869P/e1, definition 6.1
History
- 2026-10-29: add by m2/v0.4.10
E9F2GJPT9F E9F2GJPT9F
| URI | m2://inv/E9F2GJPT9F |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/cardinals/classing.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 70.2
History
- 2026-11-01: add by m2/v0.6.13
E9F71WM4M2 E9F71WM4M2
| URI | m2://inv/E9F71WM4M2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#N8AK (definition)
History
- 2026-11-01: add by m2/v0.6.15
Le quinzième arrondissement de Paris E9FB8F3A7N
| URI | m2://inv/E9FB8F3A7N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#76QW, Le quinzième arrondissement de Paris (unknown)
History
- 2026-11-02: add by m2/dev
Transcript nuisance consistency E9FCAQCF2V
| URI | m2://inv/E9FCAQCF2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-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.22642#HAJ5, Transcript nuisance consistency (statement)
History
- 2026-11-02: add by m2/v0.6.17
E9FF9J4T40 E9FF9J4T40
| URI | m2://inv/E9FF9J4T40 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-vol1-intro.tex#exercise-13 (exercise). In E59CDZA4DP, exercise, section 11.9.6
History
- 2026-11-01: add by m2/v0.6.13
E9FKEZS51N E9FKEZS51N
| URI | m2://inv/E9FKEZS51N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11596#04OT (statement). In 76850E2X7T/e1, theorem 3.13
History
- 2026-10-28: add by m2/v0.4.3
E9G05RXTCB E9G05RXTCB
| URI | m2://inv/E9G05RXTCB |
|---|---|
| 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.38188#2SB1 (statement). In 7615KVXDB5/e1, theorem 2.14
History
- 2026-10-30: add by m2/v0.4.12
E9G1RZ5WMT E9G1RZ5WMT
| URI | m2://inv/E9G1RZ5WMT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22078#CS27 (statement). In NRF7379N9J/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.4.0
Applications E9GJV9D8PS
| URI | m2://inv/E9GJV9D8PS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Repetition code#JQ52, Applications (example)
History
- 2026-11-02: add by m2/dev
E9GWXDH2JC E9GWXDH2JC
| URI | m2://inv/E9GWXDH2JC |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/finite-field.tex#proof-5 (proof). In RZP28ERRZV, proof, section 12.3
History
- 2026-11-01: add by m2/v0.6.13
Completeness E9GZVK7SNZ
| URI | m2://inv/E9GZVK7SNZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/completeness.tex#thm:tableau-completeness, Completeness (statement). In PKGMM3P5QY, thm, section 55.4
History
- 2026-11-01: add by m2/v0.6.13
Algorithm E9H7X2RSYD
| URI | m2://inv/E9H7X2RSYD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frequency domain decomposition#J3NH, Algorithm (definition)
History
- 2026-11-02: add by m2/dev
Hamming Number E9HA03EF4R
| URI | m2://inv/E9HA03EF4R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38206#CTZZ, Hamming Number (definition). In F71MS1F637/e1, definition 4.8
History
- 2026-10-30: add by m2/v0.4.12
\textbf, Theorem 6.2 E9HDKP8NJ4
| URI | m2://inv/E9HDKP8NJ4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30086#46PS, \textbf, Theorem 6.2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Measured bisection symmetry datum E9HPTRK11B
| URI | m2://inv/E9HPTRK11B |
|---|---|
| Kind | definition |
| 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.25987#TEP1, Measured bisection symmetry datum (definition)
History
- 2026-11-01: add by m2/v0.6.15
Categorical Laws for Weakenings E9HQ73TZ6G
| URI | m2://inv/E9HQ73TZ6G |
|---|---|
| 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.21131#CPI5, Categorical Laws for Weakenings (statement). In CPYWHRTPKC/e1, lemma 2.10
History
- 2026-10-27: add by m2/v0.4.2
E9HS4C4C95 E9HS4C4C95
| URI | m2://inv/E9HS4C4C95 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/representability-in-q/basic-representable.tex#proof-6 (proof). In PKGMM3P5QY, proof, section 29.3
History
- 2026-11-01: add by m2/v0.6.13
E9J0AF69X3 E9J0AF69X3
| URI | m2://inv/E9J0AF69X3 |
|---|---|
| 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.15472#BRSQ (statement). In 5Z3FH46YSY/e1, theorem 3.24
History
- 2026-10-28: add by m2/v0.4.2
Compound of eight triangular prisms E9JAZNMKFY
| URI | m2://inv/E9JAZNMKFY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#9QOG, Compound of eight triangular prisms (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#9SIN, Compound of eight triangular prisms (definition)
History
- 2026-11-02: add by m2/dev
Sara Lombardo E9JD6VB7E9
| URI | m2://inv/E9JD6VB7E9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sara Lombardo, Sara Lombardo (topic). Also Wikidata Q90218399
History
- 2026-11-02: add by m2/dev
dipath E9JDD07F58
| URI | m2://inv/E9JDD07F58 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#5JGM, dipath (definition)
History
- 2026-11-02: add by m2/dev
Lambros D. Callimahos E9JP1VY6PK
| URI | m2://inv/E9JP1VY6PK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#URLH, Lambros D. Callimahos (unknown)
History
- 2026-11-02: add by m2/dev
E9JV31BGXK E9JV31BGXK
| URI | m2://inv/E9JV31BGXK |
|---|---|
| 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 2606.05329#5FBD (statement). In DZV8X6MNCH/e1, theorem 3
History
- 2026-10-27: add by m2/v0.4.0
NLS, defocusing E9KCRX6R94
| URI | m2://inv/E9KCRX6R94 |
|---|---|
| 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 2405.04958#Q499, NLS, defocusing (example). In 5HQJSF6458/e1, example 4
History
- 2026-10-27: add by m2/v0.3.5
E9KEM6JTR7 E9KEM6JTR7
| URI | m2://inv/E9KEM6JTR7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17482#LOCT (statement). In BQQK9JDJ9F/e1, proposition 5.3
History
- 2026-10-28: add by m2/v0.4.2
The Friis formula for noise temperature E9KGVHKJH0
| URI | m2://inv/E9KGVHKJH0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Friis formulas for noise#79K3, The Friis formula for noise temperature (statement)
History
- 2026-11-02: add by m2/dev
E9KJEZ8TQE E9KJEZ8TQE
| URI | m2://inv/E9KJEZ8TQE |
|---|---|
| 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 alg-geom/9506022#P54W (statement). In AQGEM4XAKD/e1, corollary 3.10
History
- 2026-10-27: add by m2/v0.3.5
Nicholas Michael Katz E9KN8RNPB0
| URI | m2://inv/E9KN8RNPB0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#F7NY, Nicholas Michael Katz (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#MUZR, Nicholas Michael Katz (topic)
History
- 2026-11-02: add by m2/dev
Examples E9KT996B9P
| URI | m2://inv/E9KT996B9P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semigroupoid#O5FI, Examples (example)
History
- 2026-11-02: add by m2/dev
Uses E9KTVHKAQJ
| URI | m2://inv/E9KTVHKAQJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Climate model#78A5, Uses (example)
History
- 2026-11-02: add by m2/dev
E9M1HT1Z1H E9M1HT1Z1H
| URI | m2://inv/E9M1HT1Z1H |
|---|---|
| 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.19273#YEEX (statement). In T3BY4TXYT4/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
E9M928PB5V E9M928PB5V
| URI | m2://inv/E9M928PB5V |
|---|---|
| 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.16235#XCS2 (statement). In RNGNWGMX85/e1, lemma 3.11
History
- 2026-10-28: add by m2/v0.4.2
E9M93RZJ6E E9M93RZJ6E
| URI | m2://inv/E9M93RZJ6E |
|---|---|
| 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 2409.03423#R46U (statement). In 8C5YCMN81V/e1, lemma 3
History
- 2026-10-27: add by m2/v0.3.5
E9MA3EDP04 E9MA3EDP04
| URI | m2://inv/E9MA3EDP04 |
|---|---|
| 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.06108#WV0Y (statement). In D3WKY1PW64/e1, proposition 3.8
History
- 2026-10-29: add by m2/v0.4.10
Sequential analysis E9MAK59D7F
| URI | m2://inv/E9MAK59D7F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#UN0G, Sequential analysis (definition)
History
- 2026-11-02: add by m2/dev
Statement E9MEFE8RN5
| URI | m2://inv/E9MEFE8RN5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barwise compactness theorem#3KU1, Statement (statement)
History
- 2026-11-02: add by m2/dev
polynomial regression E9MV2GJC4A
| URI | m2://inv/E9MV2GJC4A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q45343, polynomial regression (unknown). Also MathWorld LeastSquaresFittingPolynomial
- wikipedia: Wikipedia Polynomial regression, Polynomial regression (definition). Also Wikidata Q45343
History
- 2026-10-26: add by m2/dev
Gérard Cornuéjols E9MVP7RE12
| URI | m2://inv/E9MVP7RE12 |
|---|---|
| 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#JGEK, Gérard Cornuéjols (unknown)
History
- 2026-11-02: add by m2/dev
Time scale invariance E9MXTPS780
| URI | m2://inv/E9MXTPS780 |
|---|---|
| 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.07341#W7AS, Time scale invariance (statement). In 6KFS1X0MZR/e1, proposition 3
History
- 2026-10-29: add by m2/v0.4.10
Distributional Solution - compare to Luckhaus-Sturzenhecker E9NFZMSW7H
| URI | m2://inv/E9NFZMSW7H |
|---|---|
| Kind | definition |
| 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.21545#POM2, Distributional Solution - compare to Luckhaus-Sturzenhecker (definition). In 1Q3H75330M/e1, definition 2.3
History
- 2026-10-27: add by m2/v0.4.2
E9NKXZMNKY E9NKXZMNKY
| URI | m2://inv/E9NKXZMNKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14509#SKBF (statement). In N6GD8392QB/e1, proposition 17.5
History
- 2026-10-28: add by m2/v0.4.2
Dataplot E9NPN02HXZ
| URI | m2://inv/E9NPN02HXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistical software#H2O6, Dataplot (definition)
History
- 2026-11-02: add by m2/dev
E9NXR731YQ E9NXR731YQ
| URI | m2://inv/E9NXR731YQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-contfunc.tex#cor:imageofinterval (statement). In E59CDZA4DP, cor, section 2.3.2
History
- 2026-11-01: add by m2/v0.6.13
E9NYXA8V10 E9NYXA8V10
| URI | m2://inv/E9NYXA8V10 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15525#WBEO (statement). In EFDRME13PT/e1, lemma 8.5
History
- 2026-10-28: add by m2/v0.4.2
Fixed-ratio convergence E9P4233N5Y
| URI | m2://inv/E9P4233N5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09602#P2IW, Fixed-ratio convergence (statement). In 4AQ48WSBDQ/e1, theorem 1.1
History
- 2026-10-29: add by m2/v0.4.10
Definition E9P5Y7KQDD
| URI | m2://inv/E9P5Y7KQDD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integral domain#R6BP, Definition (definition)
History
- 2026-11-02: add by m2/dev
E9P6WAF5PN E9P6WAF5PN
| URI | m2://inv/E9P6WAF5PN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00337#SNOX (statement). In 5STQ3ABZ60/e1, proposition 8.3
History
- 2026-10-30: add by m2/v0.4.12
E9P733ZRWE E9P733ZRWE
| URI | m2://inv/E9P733ZRWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13528#DPCQ (statement). In TSBJEBS7SP/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
Qalculate! E9P9ZCQVK9
| URI | m2://inv/E9P9ZCQVK9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of open-source software for mathematics#EULG, Qalculate! (unknown)
History
- 2026-11-02: add by m2/dev
HN group E9PGG03839
| URI | m2://inv/E9PGG03839 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HN group, HN group (definition). Also Wikidata Q5635348
History
- 2026-11-02: add by m2/dev
State observer E9PJN1W9WN
| URI | m2://inv/E9PJN1W9WN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia State observer, State observer (definition). Also Wikidata Q818544
History
- 2026-11-02: add by m2/dev
Symmetry E9PKN279Q8
| URI | m2://inv/E9PKN279Q8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexaoctagonal tiling#AZ1T, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
E9PR3DKD2B E9PR3DKD2B
| URI | m2://inv/E9PR3DKD2B |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#ex:lem-impl-prop-equiv-bool (exercise). In N54F33XE07, ex, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Example E9PXTKMRAM
| URI | m2://inv/E9PXTKMRAM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Two-proportion Z-test#31JR, Example (example)
History
- 2026-11-02: add by m2/dev
Examples E9Q07S70B1
| URI | m2://inv/E9Q07S70B1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Subring#B7CB, Examples (example)
History
- 2026-11-02: add by m2/dev
Action-groupoid kernel constraint E9Q1V2NP49
| URI | m2://inv/E9Q1V2NP49 |
|---|---|
| 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.25987#0UXX, Action-groupoid kernel constraint (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties E9Q48D4SNZ
| URI | m2://inv/E9Q48D4SNZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hessenberg matrix#PV52, Properties (statement)
History
- 2026-11-02: add by m2/dev
E9Q79C59FP E9Q79C59FP
| URI | m2://inv/E9Q79C59FP |
|---|---|
| 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.16010#GKS8 (statement). In AQJXKF6WZP/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.2
Edward C. Molina E9Q7XQFKNQ
| URI | m2://inv/E9Q7XQFKNQ |
|---|---|
| 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#EZCD, Edward C. Molina (unknown)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#K6KA, Edward C. Molina (unknown)
History
- 2026-11-02: add by m2/dev
Examples E9QHJ3KWEM
| URI | m2://inv/E9QHJ3KWEM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Efficient dominating set#LZSY, Examples (example)
History
- 2026-11-02: add by m2/dev
Pearson type II distribution E9QRK5RFAM
| URI | m2://inv/E9QRK5RFAM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pearson distribution#7D63, Pearson type II distribution (unknown)
History
- 2026-11-02: add by m2/dev
The sector $k=0$ E9QTPFGNF2
| URI | m2://inv/E9QTPFGNF2 |
|---|---|
| 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.26152#642G, The sector $k=0$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
E9QZ48TBZY E9QZ48TBZY
| URI | m2://inv/E9QZ48TBZY |
|---|---|
| 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.03358#P3GT (statement). In KCXEY7HJ8V/e1, proposition 2.5
History
- 2026-10-29: add by m2/v0.4.12
Generic separation of branches E9R0R4J6J5
| URI | m2://inv/E9R0R4J6J5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32916#IDDN, Generic separation of branches (statement). In G1RP4JY5PE/e1, proposition 5.4.9
History
- 2026-10-31: add by m2/v0.5.6
Bernoulli's theorem for steady inviscid flow E9R1P71TW0
| URI | m2://inv/E9R1P71TW0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euler equations (fluid dynamics)#7TWX, Bernoulli's theorem for steady inviscid flow (statement)
History
- 2026-11-02: add by m2/dev
Definition E9R2YNWMED
| URI | m2://inv/E9R2YNWMED |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat pseudoprime#4FE4, Definition (definition)
History
- 2026-11-02: add by m2/dev
Theorem E9R8FZA1K9
| URI | m2://inv/E9R8FZA1K9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tunnell's theorem#1NKI, Theorem (statement)
History
- 2026-11-02: add by m2/dev
pattern trichotomy E9RG5C7K6Q
| URI | m2://inv/E9RG5C7K6Q |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04000#MWLH, pattern trichotomy (statement). In CBCCH5VTMQ/e1, theorem 3.17
History
- 2026-10-29: add by m2/v0.4.12
Primary ideal E9RWMGQ84P
| URI | m2://inv/E9RWMGQ84P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of commutative algebra topics#LPFJ, Primary ideal (definition)
History
- 2026-11-02: add by m2/dev
Applications E9S8R8BH5P
| URI | m2://inv/E9S8R8BH5P |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Surface equivalence principle#UAT3, Applications (example)
History
- 2026-11-02: add by m2/dev
Bolzano E9SD7GTBB7
| URI | m2://inv/E9SD7GTBB7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#UDIJ, Bolzano (unknown)
History
- 2026-11-02: add by m2/dev
Single-entry single-exit E9SJFH1BPD
| URI | m2://inv/E9SJFH1BPD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Single-entry single-exit, Single-entry single-exit (definition). Also Wikidata Q7523712
History
- 2026-11-02: add by m2/dev
E9SNKWMZ7T E9SNKWMZ7T
| URI | m2://inv/E9SNKWMZ7T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21475#L42K (statement). In TTRSZVT4VX/e1, theorem 5.5
History
- 2026-10-27: add by m2/v0.4.2
Four functions theorem E9T2TAN8N7
| URI | m2://inv/E9T2TAN8N7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#JLIY, Four functions theorem (statement)
History
- 2026-11-02: add by m2/dev
E9T8BY8Q8K E9T8BY8Q8K
| URI | m2://inv/E9T8BY8Q8K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numbers#HPX6 (unknown)
History
- 2026-11-02: add by m2/dev
E9T9DMARSG E9T9DMARSG
| URI | m2://inv/E9T9DMARSG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#QBTY (statement). In Q5Z178SAHP/e1, lemma 8.1
History
- 2026-10-30: add by m2/v0.4.12
Prescribed-rotation smoothing E9TAB3EVVN
| URI | m2://inv/E9TAB3EVVN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38013#W2GX, Prescribed-rotation smoothing (statement). In DQ6P0P6N78/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
Simon P. Norton E9TJ1Y7K75
| URI | m2://inv/E9TJ1Y7K75 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simon P. Norton, Simon P. Norton (topic). Also Wikidata Q381359
History
- 2026-11-02: add by m2/dev
Twin paradox E9TM8KTZHR
| URI | m2://inv/E9TM8KTZHR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special relativity#ESQD, Twin paradox (statement)
History
- 2026-11-02: add by m2/dev
E9TQ2XKRBS E9TQ2XKRBS
| URI | m2://inv/E9TQ2XKRBS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21680#8P34 (statement)
History
- 2026-11-02: add by m2/v0.6.18
E9VA4J7GZ3 E9VA4J7GZ3
| URI | m2://inv/E9VA4J7GZ3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40191#H7UD (statement). In F0D8VSM4Z4/e1, lemma 6.6
History
- 2026-10-30: add by m2/v0.4.12
Extremal graph theory E9VB5TT5C3
| URI | m2://inv/E9VB5TT5C3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#7A3U, Extremal graph theory (definition)
History
- 2026-11-02: add by m2/dev
axiom, of choice, countable E9VC2RDB1N
| URI | m2://inv/E9VC2RDB1N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.6/axiom-of-choice-countable, axiom, of choice, countable (concept). In N54F33XE07, index, section B.6
History
- 2026-11-01: add by m2/v0.6.13
E9VCT9EKFD E9VCT9EKFD
| URI | m2://inv/E9VCT9EKFD |
|---|---|
| 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.37124#LBDU (statement). In 2QF1YG9DD0/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
universal, property, of identity type E9VDM2GXP1
| URI | m2://inv/E9VDM2GXP1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.15/universal-property-of-identity-type, universal, property, of identity type (concept). In N54F33XE07, index, section 1.15
History
- 2026-11-01: add by m2/v0.6.13
E9VDRQ722V E9VDRQ722V
| URI | m2://inv/E9VDRQ722V |
|---|---|
| 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#IGXP (statement). In WYXQDSQR9B/e1, proposition 1.8
History
- 2026-10-31: add by m2/v0.5.6
E9VTW4YJE2 E9VTW4YJE2
| URI | m2://inv/E9VTW4YJE2 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Untouchable number#3STU (problem)
History
- 2026-11-02: add by m2/dev
Axioms E9VZDV1NZT
| URI | m2://inv/E9VZDV1NZT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Logic of graphs#96EN, Axioms (statement)
History
- 2026-11-02: add by m2/dev
E9W4YATKXM E9W4YATKXM
| URI | m2://inv/E9W4YATKXM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35691#O56L (statement). In G7R61RPWE2/e1, lemma 4.11
History
- 2026-10-30: add by m2/v0.4.12
Applications E9WKEC20RJ
| URI | m2://inv/E9WKEC20RJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gelfand representation#0Q76, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition E9WMB3PKYR
| URI | m2://inv/E9WMB3PKYR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform boundedness#G9M1, Definition (definition)
History
- 2026-11-02: add by m2/dev
Common starling E9WQA1JBEA
| URI | m2://inv/E9WQA1JBEA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#5FUS, Common starling (unknown)
History
- 2026-11-02: add by m2/dev
homotopy hypothesis E9WSQFRQX8
| URI | m2://inv/E9WSQFRQX8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#8M9P, homotopy hypothesis (definition)
History
- 2026-11-02: add by m2/dev
Algebraic identities on the arc E9WTW2PZTC
| URI | m2://inv/E9WTW2PZTC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09912#I292, Algebraic identities on the arc (statement). In 65TJENWK7X/e1, lemma 46
History
- 2026-10-29: add by m2/v0.4.10
E9X2ATQDFP E9X2ATQDFP
| URI | m2://inv/E9X2ATQDFP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01932#66EK (statement). In XDKWW6NR0K/e1, lemma 2.8
History
- 2026-10-29: add by m2/v0.4.12
E9X5BT17NQ E9X5BT17NQ
| URI | m2://inv/E9X5BT17NQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#K047 (statement). In RBQ5FNCVNZ/e1, corollary C.12
History
- 2026-10-30: add by m2/v0.4.12
E9X5JWVBEW E9X5JWVBEW
| URI | m2://inv/E9X5JWVBEW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21960#WIWN (definition). In QX77AN49J0/e1, definition 8.8
History
- 2026-10-27: add by m2/v0.4.2
Example of canonical embedding E9XAQAP2K7
| URI | m2://inv/E9XAQAP2K7 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#example-7, Example of canonical embedding (example). In RZP28ERRZV, example, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
Centre for Cybersecurity & Cybercrime Investigation E9XC1MTT47
| URI | m2://inv/E9XC1MTT47 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Centre for Cybersecurity & Cybercrime Investigation, Centre for Cybersecurity & Cybercrime Investigation (definition). Also Wikidata Q21015651
History
- 2026-11-02: add by m2/dev
Weighted trace gap and hard-edge truncation E9XZBR0174
| URI | m2://inv/E9XZBR0174 |
|---|---|
| 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.11309#1WGJ, Weighted trace gap and hard-edge truncation (statement). In TTEAQA1XXR/e1, lemma C.13
History
- 2026-10-28: add by m2/v0.4.3
Oberwolfach Research Institute for Mathematics E9Y9QA7PYV
| URI | m2://inv/E9Y9QA7PYV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oberwolfach Research Institute for Mathematics, Oberwolfach Research Institute for Mathematics (definition). Also Wikidata Q656142
History
- 2026-11-02: add by m2/dev
subdivision, elementary E9YJM37GE6
| URI | m2://inv/E9YJM37GE6 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/5.5/subdivision-elementary, subdivision, elementary (concept). In QKM9DD2H56, index, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
Definition E9YNFXMN72
| URI | m2://inv/E9YNFXMN72 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elementary symmetric polynomial#6Y6B, Definition (definition)
History
- 2026-11-02: add by m2/dev
E9YQD2WRS7 E9YQD2WRS7
| URI | m2://inv/E9YQD2WRS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.07573#2LQL (statement). In 78X5SKJX8J/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Theorem E9Z25R4048
| URI | m2://inv/E9Z25R4048 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse semigroup#8IOQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Carotid rete E9ZGENTGT1
| URI | m2://inv/E9ZGENTGT1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heat exchanger#RVH0, Carotid rete (unknown)
History
- 2026-11-02: add by m2/dev
E9ZGK05NMX E9ZGK05NMX
| URI | m2://inv/E9ZGK05NMX |
|---|---|
| Kind | definition |
| 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 2603.26376#B1JA (definition). In PJAT9YDX7Y/e1, definition 5.2
History
- 2026-10-27: add by m2/v0.4.0
Gersonides E9ZGY759ZP
| URI | m2://inv/E9ZGY759ZP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#CYB7, Gersonides (topic)
History
- 2026-11-02: add by m2/dev
E9ZSZD90VE E9ZSZD90VE
| URI | m2://inv/E9ZSZD90VE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21090#TRW0 (statement)
History
- 2026-11-02: add by m2/v0.6.18