Inventory rows RZ
The cards of the rows of the inventory whose ids start with RZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
RZ00BB2EMM RZ00BB2EMM
| URI | m2://inv/RZ00BB2EMM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.05850#L9KC (statement). In D424GB5MAW/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.10
RZ0CX1071Z RZ0CX1071Z
| URI | m2://inv/RZ0CX1071Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11671#Y1L2 (statement). In V06H8BAGEH/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.3
Properties RZ0DZP626M
| URI | m2://inv/RZ0DZP626M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic extension#2ZIX, Properties (statement)
History
- 2026-11-02: add by m2/dev
RZ0G33BJJA RZ0G33BJJA
| URI | m2://inv/RZ0G33BJJA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21668#R1WE (statement)
History
- 2026-11-02: add by m2/v0.6.18
RZ0VE80N6G RZ0VE80N6G
| URI | m2://inv/RZ0VE80N6G |
|---|---|
| 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.07855#RDH1 (statement). In 1VT8CVVCM7/e1, lemma 4.3
History
- 2026-10-29: add by m2/v0.4.10
RZ0WC40DDH RZ0WC40DDH
| URI | m2://inv/RZ0WC40DDH |
|---|---|
| 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.25367#BFGX (statement)
History
- 2026-11-01: add by m2/v0.6.15
circles of Apollonius RZ10DFSV87
| URI | m2://inv/RZ10DFSV87 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q773862, circles of Apollonius (concept). Also MathWorld CoaxalCircles
- wikipedia: Wikipedia Apollonian circles, Apollonian circles (definition). Also Wikidata Q773862
History
- 2026-10-26: add by m2/dev
Syntactic identity RZ1956TSRP
| URI | m2://inv/RZ1956TSRP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/formulas.tex#defn-2, Syntactic identity (definition). In PKGMM3P5QY, defn, section 62.4
History
- 2026-11-01: add by m2/v0.6.13
Properties RZ1CCFMQGT
| URI | m2://inv/RZ1CCFMQGT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catalan's triangle#KMXC, Properties (statement)
History
- 2026-11-02: add by m2/dev
Proposition RZ1E045PYZ
| URI | m2://inv/RZ1E045PYZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclic and separating vector#16RP, Proposition (statement)
History
- 2026-11-02: add by m2/dev
Uncertainty RZ1K42FKW7
| URI | m2://inv/RZ1K42FKW7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#3VY5, Uncertainty (definition)
- wikipedia: Wikipedia List of probability topics#7LWE, Uncertainty (definition)
History
- 2026-11-02: add by m2/dev
RZ1Q3A0KCW RZ1Q3A0KCW
| URI | m2://inv/RZ1Q3A0KCW |
|---|---|
| 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.02756#9G6B (statement). In GCQ5YCQQHD/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
Examples RZ1TMA9C4V
| URI | m2://inv/RZ1TMA9C4V |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amplitwist#ZGNH, Examples (example)
History
- 2026-11-02: add by m2/dev
RZ24B1N95K RZ24B1N95K
| URI | m2://inv/RZ24B1N95K |
|---|---|
| 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.06466#R32M (statement). In 6W451V3N75/e1, proposition 9.4
History
- 2026-10-29: add by m2/v0.4.10
uniform disc-algebra gaps for powers of Ritt operators RZ27RSRE1T
| URI | m2://inv/RZ27RSRE1T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#VE46, uniform disc-algebra gaps for powers of Ritt operators (statement)
History
- 2026-11-01: add by m2/v0.6.15
RZ29Q2M2MY RZ29Q2M2MY
| URI | m2://inv/RZ29Q2M2MY |
|---|---|
| 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.39700#GJC3 (statement). In E7W2HDNEKJ/e1, theorem 5.33
History
- 2026-10-30: add by m2/v0.4.12
integers, formal definition of RZ2A1DTS05
| URI | m2://inv/RZ2A1DTS05 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/B.14/integers-formal-definition-of, integers, formal definition of (concept). In QKM9DD2H56, index, section B.14
History
- 2026-11-01: add by m2/v0.6.13
Kepler conjecture RZ33PTJC55
| URI | m2://inv/RZ33PTJC55 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#NXJ8, Kepler conjecture (statement)
History
- 2026-11-02: add by m2/dev
Axiom of choice RZ3HV9M29W
| URI | m2://inv/RZ3HV9M29W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#HSVY, Axiom of choice (statement)
History
- 2026-11-02: add by m2/dev
Ginzburg–Landau equations RZ3JDMG93T
| URI | m2://inv/RZ3JDMG93T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#9R90, Ginzburg–Landau equations (definition)
History
- 2026-11-02: add by m2/dev
RZ3N00678J RZ3N00678J
| URI | m2://inv/RZ3N00678J |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-conc.ptx#proof-1 (proof). In Y91XFCEVHQ, proof, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
Victor Lidskii RZ3QDH7QJY
| URI | m2://inv/RZ3QDH7QJY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#IZZK, Victor Lidskii (unknown)
History
- 2026-11-02: add by m2/dev
V. Lakshmibai RZ40GCXSQR
| URI | m2://inv/RZ40GCXSQR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia V. Lakshmibai, V. Lakshmibai (topic). Also Wikidata Q37189048
History
- 2026-11-02: add by m2/dev
Empirical projections RZ423M8V01
| URI | m2://inv/RZ423M8V01 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21710#GBR6, Empirical projections (definition)
History
- 2026-11-02: add by m2/v0.6.18
Definition RZ460VNDP2
| URI | m2://inv/RZ460VNDP2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Porous set#LX5E, Definition (definition)
History
- 2026-11-02: add by m2/dev
Fatou's lemma for conditional expectations RZ47Q1HQDX
| URI | m2://inv/RZ47Q1HQDX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fatou's lemma#FH85, Fatou's lemma for conditional expectations (statement)
History
- 2026-11-02: add by m2/dev
Poincar\'e Lemma RZ4B9EPBG4
| URI | m2://inv/RZ4B9EPBG4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#theorem-1, Poincar\'e Lemma (statement). In E9HS8K3A52, theorem, section 4.8.1
History
- 2026-11-01: add by m2/v0.6.13
Mutation compatibility RZ4FD0GJ52
| URI | m2://inv/RZ4FD0GJ52 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#B2KQ, Mutation compatibility (statement). In 6G1KBA0SXV/e1, proposition 4.24
History
- 2026-10-31: add by m2/v0.5.6
306 (number) RZ4FVQ107V
| URI | m2://inv/RZ4FVQ107V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#NQ9E, 306 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Phelix RZ4Q3446S6
| URI | m2://inv/RZ4Q3446S6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phelix, Phelix (definition). Also Wikidata Q3901296
History
- 2026-11-02: add by m2/dev
Essence of the paradox RZ4RY9M0HY
| URI | m2://inv/RZ4RY9M0HY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ehrenfest paradox#35QF, Essence of the paradox (statement)
History
- 2026-11-02: add by m2/dev
NDR-pair RZ4TWP5PW6
| URI | m2://inv/RZ4TWP5PW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#E4KJ, NDR-pair (definition)
History
- 2026-11-02: add by m2/dev
Benjamin Weiss RZ4ZMB7C4K
| URI | m2://inv/RZ4ZMB7C4K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#2GW9, Benjamin Weiss (topic)
History
- 2026-11-02: add by m2/dev
Erich Schönhardt RZ500RGXVS
| URI | m2://inv/RZ500RGXVS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erich Schönhardt, Erich Schönhardt (topic). Also Wikidata Q122562
History
- 2026-11-02: add by m2/dev
Moritz Cantor RZ51HBGY4G
| URI | m2://inv/RZ51HBGY4G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moritz Cantor, Moritz Cantor (topic). Also Wikidata Q61751
History
- 2026-11-02: add by m2/dev
RZ5990CTV2 RZ5990CTV2
| URI | m2://inv/RZ5990CTV2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#KLT2 (statement). In CGA36VE1C5/e1, fact 3.3.3
History
- 2026-10-27: add by m2/v0.3.6
Georges Tiercy RZ5F67GZE8
| URI | m2://inv/RZ5F67GZE8 |
|---|---|
| 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#8U6A, Georges Tiercy (unknown)
History
- 2026-11-02: add by m2/dev
The Sun RZ5G05EXA4
| URI | m2://inv/RZ5G05EXA4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#AVS2, The Sun (unknown)
History
- 2026-11-02: add by m2/dev
Blow-up data at every prescribed energy level RZ5G5JA8MN
| URI | m2://inv/RZ5G5JA8MN |
|---|---|
| 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.21256#0L50, Blow-up data at every prescribed energy level (statement)
History
- 2026-11-02: add by m2/v0.6.18
Otto Forster RZ5G684C62
| URI | m2://inv/RZ5G684C62 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Otto Forster, Otto Forster (topic). Also Wikidata Q1516609
History
- 2026-11-02: add by m2/dev
RZ5GJNH0YW RZ5GJNH0YW
| URI | m2://inv/RZ5GJNH0YW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26337#M0KJ (statement)
History
- 2026-11-01: add by m2/v0.6.15
RZ5NYCW9MX RZ5NYCW9MX
| URI | m2://inv/RZ5NYCW9MX |
|---|---|
| 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.34339#ZETG (statement). In 9WFSTGMQ4E/e1, lemma 4.4
History
- 2026-10-30: add by m2/v0.4.12
Cuboctahedral graph RZ5X5A2RR8
| URI | m2://inv/RZ5X5A2RR8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cuboctahedron#TSMG, Cuboctahedral graph (unknown)
History
- 2026-11-02: add by m2/dev
Eddy covariance RZ65NMK06D
| URI | m2://inv/RZ65NMK06D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WH3N, Eddy covariance (definition)
History
- 2026-11-02: add by m2/dev
Mine Çetinkaya-Rundel RZ69ZCX62B
| URI | m2://inv/RZ69ZCX62B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#J4DU, Mine Çetinkaya-Rundel (topic)
History
- 2026-11-02: add by m2/dev
RZ6EDFY1ZG RZ6EDFY1ZG
| URI | m2://inv/RZ6EDFY1ZG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08885#CZKF (statement). In B4RHB3CF12/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
RZ6F05XJ4V RZ6F05XJ4V
| URI | m2://inv/RZ6F05XJ4V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15242#PXI7 (statement). In 5NPFKE984E/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
Topology of the monodromy cover RZ6M4BZA5A
| URI | m2://inv/RZ6M4BZA5A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24807#NDRQ, Topology of the monodromy cover (statement)
History
- 2026-11-01: add by m2/v0.6.15
Conjecture RZ6PJXWAFB
| URI | m2://inv/RZ6PJXWAFB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Manin conjecture#36RR, Conjecture (statement)
History
- 2026-11-02: add by m2/dev
Samuel Merrill III RZ6RPW75YK
| URI | m2://inv/RZ6RPW75YK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samuel Merrill III, Samuel Merrill III (topic). Also Wikidata Q7412175
History
- 2026-11-02: add by m2/dev
Divisor of a meromorphic function RZ6YGE08GE
| URI | m2://inv/RZ6YGE08GE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/riemann-surface/riemann-roch.tex#definition-4, Divisor of a meromorphic function (definition). In RZP28ERRZV, definition, section 87.4
History
- 2026-11-01: add by m2/v0.6.13
Carsten Thomassen RZ6ZP6TXPK
| URI | m2://inv/RZ6ZP6TXPK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1045720, Carsten Thomassen (unknown). Also ProofWiki Mathematician:Carsten_Thomassen
- wikipedia: Wikipedia Carsten Thomassen (mathematician), Carsten Thomassen (topic). Also Wikidata Q1045720
History
- 2026-10-26: add by m2/dev
Cksum RZ70ARARZB
| URI | m2://inv/RZ70ARARZB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic coding theory topics#BESI, Cksum (unknown)
History
- 2026-11-02: add by m2/dev
Charles Alastair Stephen Young RZ73Q5SVSA
| URI | m2://inv/RZ73Q5SVSA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q76222743, Charles Alastair Stephen Young (unknown). Also nLab Charles A. S. Young
History
- 2026-10-26: add by m2/dev
RZ79J1FRPG RZ79J1FRPG
| URI | m2://inv/RZ79J1FRPG |
|---|---|
| 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.22218#OC20 (statement). In 338GKREFVP/e1, theorem 11
History
- 2026-10-27: add by m2/v0.4.0
RZ79YVM40M RZ79YVM40M
| URI | m2://inv/RZ79YVM40M |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-one-dim-ints-sv.tex#exercise-6 (exercise). In E59CDZA4DP, exercise, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
Example RZ7DF68XF6
| URI | m2://inv/RZ7DF68XF6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propagation of uncertainty#HOKB, Example (example)
History
- 2026-11-02: add by m2/dev
prime ring RZ7J2JH0YT
| URI | m2://inv/RZ7J2JH0YT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Prime ring Z9TJSZZYG1 |
Mentions
- wikidata: Wikidata Q386597, prime ring (unknown). Also MathWorld PrimeRing, nLab prime ring
- wikipedia: Wikipedia Prime ring, Prime ring (definition). Also Wikidata Q386597
History
- 2026-10-26: add by m2/dev
Reference parameters and maximal block-image dimension RZ7N9ES9SY
| URI | m2://inv/RZ7N9ES9SY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22485#07AE, Reference parameters and maximal block-image dimension (statement)
History
- 2026-11-02: add by m2/v0.6.17
RZ7NP5A9T9 RZ7NP5A9T9
| URI | m2://inv/RZ7NP5A9T9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0301148#JUI1 (statement). In 5RE15848Z0/e1, lemma A.4
History
- 2026-10-27: add by m2/v0.3.5
Theorem (Topology induced by strings) RZ7R36GKJ5
| URI | m2://inv/RZ7R36GKJ5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Topological vector space#DH7I, Theorem (Topology induced by strings) (statement)
History
- 2026-11-02: add by m2/dev
RZ7V3BTJ55 RZ7V3BTJ55
| URI | m2://inv/RZ7V3BTJ55 |
|---|---|
| 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 2506.07061#ZYBE (definition). In G2PA4KAGRP/e1, definition 4.1
History
- 2026-10-27: add by m2/v0.3.6
RZ82YZCKCZ RZ82YZCKCZ
| URI | m2://inv/RZ82YZCKCZ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_genfunction_exercises.ptx#exercise-14 (exercise). In QKM9DD2H56, exercise, section 8
History
- 2026-11-01: add by m2/v0.6.13
inverse hyperbolic secant RZ84149KM8
| URI | m2://inv/RZ84149KM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12748486, inverse hyperbolic secant (definition). Also MathWorld InverseHyperbolicSecant, ProofWiki Definition:Area_Hyperbolic_Secant
History
- 2026-10-26: add by m2/dev
2.5D RZ85PMQT9Z
| URI | m2://inv/RZ85PMQT9Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2.5D (visual perception), 2.5D (definition). Also Wikidata Q4596985
History
- 2026-11-02: add by m2/dev
RZ89X80J9G RZ89X80J9G
| URI | m2://inv/RZ89X80J9G |
|---|---|
| Kind | problem |
| 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.09483#A8KC (problem). In N1MQ8F9JN6/e1, problem 1
History
- 2026-10-29: add by m2/v0.4.10
RZ8M97F78Y RZ8M97F78Y
| URI | m2://inv/RZ8M97F78Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/propositional-logic/syntax-and-semantics/semantic-notions.tex#prop:entails-unsat (statement). In PKGMM3P5QY, prop, section 62.7
History
- 2026-11-01: add by m2/v0.6.13
Robert Daverman RZ8RP0VDA3
| URI | m2://inv/RZ8RP0VDA3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Robert Daverman, Robert Daverman (topic). Also Wikidata Q102128866
History
- 2026-11-02: add by m2/dev
Eternality of God RZ8TT06VQV
| URI | m2://inv/RZ8TT06VQV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eternity#T40G, Eternality of God (unknown)
History
- 2026-11-02: add by m2/dev
Fppf topology RZ8W1HPPZF
| URI | m2://inv/RZ8W1HPPZF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies on the category of schemes#WW2M, Fppf topology (definition)
History
- 2026-11-02: add by m2/dev
RZ95AQBXNG RZ95AQBXNG
| URI | m2://inv/RZ95AQBXNG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33124#OOXD (definition). In P27HYGQDAN/e1, definition 28
History
- 2026-10-30: add by m2/v0.4.12
RZ97F282H2 RZ97F282H2
| URI | m2://inv/RZ97F282H2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07122#BSAM (example). In W0ZHX9DHPV/e1, example 10
History
- 2026-10-29: add by m2/v0.4.10
RZ9BNFFMEB RZ9BNFFMEB
| URI | m2://inv/RZ9BNFFMEB |
|---|---|
| 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.31489#UVSQ (statement). In ZKBG58PN1J/e1, corollary 5.6
History
- 2026-10-31: add by m2/v0.5.6
The projection-slice theorem in N dimensions RZ9DSK0P1K
| URI | m2://inv/RZ9DSK0P1K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projection-slice theorem#41LX, The projection-slice theorem in N dimensions (statement)
History
- 2026-11-02: add by m2/dev
autonomous RZ9N2J1FBC
| URI | m2://inv/RZ9N2J1FBC |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/7.1.4/autonomous, autonomous (concept). In 907G4C4EJ1, index, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
RZ9Q3V1VSP RZ9Q3V1VSP
| URI | m2://inv/RZ9Q3V1VSP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#example-9 (example). In E59CDZA4DP, example, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
RZ9TTFEFR4 RZ9TTFEFR4
| URI | m2://inv/RZ9TTFEFR4 |
|---|---|
| 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.14458#UCAD (statement). In WJ76MVYAZQ/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Degree can occur entirely in the singular direction RZ9YT3FMHK
| URI | m2://inv/RZ9YT3FMHK |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 13-XX, 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07528#PSS3, Degree can occur entirely in the singular direction (example). In WVX0T502A1/e1, example 7.2
History
- 2026-10-29: add by m2/v0.4.10
quotient RZA853Y1CH
| URI | m2://inv/RZA853Y1CH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q41118, quotient (unknown). Also MathWorld Quotient
- wikipedia: Wikipedia Quotient, Quotient (definition). Also Wikidata Q41118
History
- 2026-10-26: add by m2/dev
RZA9EEWMT7 RZA9EEWMT7
| URI | m2://inv/RZA9EEWMT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27151#XTF4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
RZABQGN7PK RZABQGN7PK
| URI | m2://inv/RZABQGN7PK |
|---|---|
| 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#K1GT (statement). In TTRSZVT4VX/e1, proposition 4.11
History
- 2026-10-27: add by m2/v0.4.2
List of fallacies RZAEV3RR51
| URI | m2://inv/RZAEV3RR51 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fallacies, List of fallacies (topic). Also Wikidata Q863221
History
- 2026-11-02: add by m2/dev
Overlay RZAF4FTV14
| URI | m2://inv/RZAF4FTV14 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-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.23106#KYW5, Overlay (definition)
History
- 2026-11-02: add by m2/v0.6.17
RZAS3SE9Z0 RZAS3SE9Z0
| URI | m2://inv/RZAS3SE9Z0 |
|---|---|
| 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.22040#E571 (definition). In 2QP93JHYNB/e1, definition 4.7
History
- 2026-10-27: add by m2/v0.4.2
Large set (Ramsey theory) RZAS7AGP2G
| URI | m2://inv/RZAS7AGP2G |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts#FUKE, Large set (Ramsey theory) (definition)
History
- 2026-11-02: add by m2/dev
Knot genus RZAZ0R3VX9
| URI | m2://inv/RZAZ0R3VX9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Seifert surface#OU8Q, Knot genus (unknown)
History
- 2026-11-02: add by m2/dev
RZB0CX7376 RZB0CX7376
| URI | m2://inv/RZB0CX7376 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36321#F6D3 (statement). In 3KTZ6Z615H/e1, proposition 3.10
History
- 2026-10-30: add by m2/v0.4.12
Black triangle RZB1NC4JCG
| URI | m2://inv/RZB1NC4JCG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#XV5B, Black triangle (unknown)
History
- 2026-11-02: add by m2/dev
RZB59BYD54 RZB59BYD54
| URI | m2://inv/RZB59BYD54 |
|---|---|
| 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.20600#ZW1T (statement). In H5JZ2T9KVT/e1, lemma 3
History
- 2026-10-27: add by m2/v0.4.2
RZB5MVS5R8 RZB5MVS5R8
| URI | m2://inv/RZB5MVS5R8 |
|---|---|
| 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.23605#STPM (statement)
History
- 2026-11-02: add by m2/v0.6.17
RZB6Q812PC RZB6Q812PC
| URI | m2://inv/RZB6Q812PC |
|---|---|
| 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.02628#42CE (statement). In G4S9C5M1A4/e1, proposition 5.7
History
- 2026-10-29: add by m2/v0.4.12
Sign certificates RZB7SYFC6C
| URI | m2://inv/RZB7SYFC6C |
|---|---|
| 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#MCP9, Sign certificates (statement). In 65TJENWK7X/e1, lemma 48
History
- 2026-10-29: add by m2/v0.4.10
Cunningham chain RZBC8SMCYK
| URI | m2://inv/RZBC8SMCYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1144029, Cunningham chain (unknown). Also MathWorld CunninghamChain
- wikipedia: Wikipedia Cunningham chain, Cunningham chain (definition). Also Wikidata Q1144029
History
- 2026-10-26: add by m2/dev
RZBFDSM5AP RZBFDSM5AP
| URI | m2://inv/RZBFDSM5AP |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Whitehead's algorithm#PAC2 (problem)
History
- 2026-11-02: add by m2/dev
Umberto Hryniewicz RZBS5XXVF6
| URI | m2://inv/RZBS5XXVF6 |
|---|---|
| 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#AWJ8, Umberto Hryniewicz (unknown)
History
- 2026-11-02: add by m2/dev
Linear bottleneck assignment problem RZBSSAN2CZ
| URI | m2://inv/RZBSSAN2CZ |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear bottleneck assignment problem, Linear bottleneck assignment problem (problem). Also Wikidata Q6553416
History
- 2026-11-02: add by m2/dev
RZBV10C54R RZBV10C54R
| URI | m2://inv/RZBV10C54R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#T1TG (statement). In CGA36VE1C5/e1, fact 3.3.2
History
- 2026-10-27: add by m2/v0.3.6
Erdős–Tenenbaum–Ford constant RZBXVPJF1T
| URI | m2://inv/RZBXVPJF1T |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Paul Erdős#CR2W, Erdős–Tenenbaum–Ford constant (object)
History
- 2026-11-02: add by m2/dev
the diagonal $\beta=\alpha$ RZCB6NDBVG
| URI | m2://inv/RZCB6NDBVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.23922#F67H, the diagonal $\beta=\alpha$ (statement)
History
- 2026-11-02: add by m2/v0.6.17
RZCE5DDPPP RZCE5DDPPP
| URI | m2://inv/RZCE5DDPPP |
|---|---|
| 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.20077#SO0K (statement). In W5XRKWDADE/e1, lemma 6.12
History
- 2026-10-27: add by m2/v0.4.2
RZCF6HYWFN RZCF6HYWFN
| URI | m2://inv/RZCF6HYWFN |
|---|---|
| Kind | example |
| 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 2304.03611#N06V (example). In 75E8ZB1CBV/e1, example 5.2.1
History
- 2026-10-27: add by m2/v0.4.0
RZCNQ44N59 RZCNQ44N59
| URI | m2://inv/RZCNQ44N59 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35001#ZAOJ (statement). In 1PN6NESQER/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
RZCPBKJEQQ RZCPBKJEQQ
| URI | m2://inv/RZCPBKJEQQ |
|---|---|
| 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.18358#ESHN (statement). In SPZ446XNDW/e1, corollary 6.3
History
- 2026-10-28: add by m2/v0.4.2
RZD1BGW0NB RZD1BGW0NB
| URI | m2://inv/RZD1BGW0NB |
|---|---|
| Kind | definition |
| 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 2610.15593#B015 (definition). In PREJREM4BB/e1, definition 2.5
History
- 2026-10-28: add by m2/v0.4.2
Gibbons–Hawking–York boundary term RZD5NWT89V
| URI | m2://inv/RZD5NWT89V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbons–Hawking–York boundary term, Gibbons–Hawking–York boundary term (definition). Also Wikidata Q5558922
History
- 2026-11-02: add by m2/dev
RZDC2WXM8B RZDC2WXM8B
| URI | m2://inv/RZDC2WXM8B |
|---|---|
| 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 2310.02073#E49B (statement). In 3PNCRG6J62/e1, proposition 5.6
History
- 2026-10-27: add by m2/v0.3.5
Definition RZDGDGBNM8
| URI | m2://inv/RZDGDGBNM8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Helmholtz decomposition#9UVT, Definition (definition)
History
- 2026-11-02: add by m2/dev
RZDKGA22R1 RZDKGA22R1
| URI | m2://inv/RZDKGA22R1 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07963#8A03 (example). In HAGJKEZ1CK/e1, example 7.7
History
- 2026-10-29: add by m2/v0.4.10
RZDYM4E518 RZDYM4E518
| URI | m2://inv/RZDYM4E518 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2308.05066#D9R1 (statement). In 1QSCT53ZED/e1, lemma 5.8
History
- 2026-10-27: add by m2/v0.4.0
Jan Hemelrijk RZE0JKT9HV
| URI | m2://inv/RZE0JKT9HV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jan Hemelrijk, Jan Hemelrijk (topic). Also Wikidata Q2061088
History
- 2026-11-02: add by m2/dev
Definition RZE4HM4EF5
| URI | m2://inv/RZE4HM4EF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Character group#2YGO, Definition (definition)
History
- 2026-11-02: add by m2/dev
Andrei Suslin RZEA9CAX6F
| URI | m2://inv/RZEA9CAX6F |
|---|---|
| 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#09DS, Andrei Suslin (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#UE8O, Andrei Suslin (topic)
History
- 2026-11-02: add by m2/dev
RZEK9YKYSS RZEK9YKYSS
| URI | m2://inv/RZEK9YKYSS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25255#W16W (statement)
History
- 2026-11-01: add by m2/v0.6.15
RZEKMDB8BQ RZEKMDB8BQ
| URI | m2://inv/RZEKMDB8BQ |
|---|---|
| Kind | example |
| 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.09300#F9KO (example). In JP589KS01S/e1, example 3.7
History
- 2026-10-29: add by m2/v0.4.10
Nonelementary integral RZEQ0QPCXJ
| URI | m2://inv/RZEQ0QPCXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nonelementary integral, Nonelementary integral (definition). Also Wikidata Q4891778
History
- 2026-11-02: add by m2/dev
Itô calculus RZES8B829W
| URI | m2://inv/RZES8B829W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#X0II, Itô calculus (definition)
History
- 2026-11-02: add by m2/dev
Larry Nagler RZF03V22J6
| URI | m2://inv/RZF03V22J6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#RIEG, Larry Nagler (unknown)
History
- 2026-11-02: add by m2/dev
Sign extension RZF12CSCSF
| URI | m2://inv/RZF12CSCSF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sign extension, Sign extension (definition). Also Wikidata Q3273602
History
- 2026-11-02: add by m2/dev
RZF3VC3Y6W RZF3VC3Y6W
| URI | m2://inv/RZF3VC3Y6W |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#proof-14 (proof). In N54F33XE07, proof, section 5.5
History
- 2026-11-01: add by m2/v0.6.13
RZF733K8CV RZF733K8CV
| URI | m2://inv/RZF733K8CV |
|---|---|
| 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 2609.31126#8UW6 (definition). In GK1V5GEHTK/e1, definition 2.16
History
- 2026-10-31: add by m2/v0.5.6
Net reproduction rate RZFR0Q6BK5
| URI | m2://inv/RZFR0Q6BK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Net reproduction rate, Net reproduction rate (definition). Also Wikidata Q1978761
History
- 2026-11-02: add by m2/dev
Lise Getoor RZFW6Z8JNY
| URI | m2://inv/RZFW6Z8JNY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#OUE6, Lise Getoor (unknown)
History
- 2026-11-02: add by m2/dev
RZG0YY6VM4 RZG0YY6VM4
| URI | m2://inv/RZG0YY6VM4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30637#OVBE (statement). In 6G1KBA0SXV/e1, theorem 3.24
History
- 2026-10-31: add by m2/v0.5.6
RZG2NV4V12 RZG2NV4V12
| URI | m2://inv/RZG2NV4V12 |
|---|---|
| Kind | definition |
| 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.35323#WEJI (definition). In 5CKPXBWSCX/e1, definition 4.2
History
- 2026-10-30: add by m2/v0.4.12
RZG6EP4WGJ RZG6EP4WGJ
| URI | m2://inv/RZG6EP4WGJ |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroToLogic.tex#problem-7 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
RZG7R65TEH RZG7R65TEH
| URI | m2://inv/RZG7R65TEH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21414#VVDV (statement)
History
- 2026-11-02: add by m2/v0.6.18
RZG86B70Z3 RZG86B70Z3
| URI | m2://inv/RZG86B70Z3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/martingale.tex#thm:doob_martingale_converge (statement). In RZP28ERRZV, theorem, section 66.4
History
- 2026-11-01: add by m2/v0.6.13
RZGA3YA38T RZGA3YA38T
| URI | m2://inv/RZGA3YA38T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2503.19729#GB5F (statement). In 40YZ43TS8K/e1, proposition 2.12
History
- 2026-10-27: add by m2/v0.3.5
RZGB5SA326 RZGB5SA326
| URI | m2://inv/RZGB5SA326 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-18 (exercise). In E59CDZA4DP, exercise, section 1.2.4
History
- 2026-11-01: add by m2/v0.6.13
RZGNV3S8KY RZGNV3S8KY
| URI | m2://inv/RZGNV3S8KY |
|---|---|
| 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.13898#LEKM (statement). In 44EVK9BPC9/e1, lemma 1.5
History
- 2026-10-28: add by m2/v0.4.2
Examples RZH4FZMXQQ
| URI | m2://inv/RZH4FZMXQQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lie bialgebroid#YGKS, Examples (example)
History
- 2026-11-02: add by m2/dev
Implementation RZH542NRKM
| URI | m2://inv/RZH542NRKM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Red–black tree#JE8Z, Implementation (definition)
History
- 2026-11-02: add by m2/dev
Gibbs constant RZH5SVNG0Z
| URI | m2://inv/RZH5SVNG0Z |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q126489505, Gibbs constant (object). Also MathWorld Wilbraham-GibbsConstant, OEIS A036792, ProofWiki Definition:Wilbraham-Gibbs_Constant
History
- 2026-10-26: add by m2/dev
RZH6G9FXE6 RZH6G9FXE6
| URI | m2://inv/RZH6G9FXE6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23684#15IC (statement)
History
- 2026-11-02: add by m2/v0.6.17
RZH9E0QRRG RZH9E0QRRG
| URI | m2://inv/RZH9E0QRRG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.17135#QDF1 (statement). In 74MXJ2RX4B/e1, theorem 4.12
History
- 2026-10-27: add by m2/v0.3.5
minimum-maximum theorem RZH9NKK994
| URI | m2://inv/RZH9NKK994 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/2.3.1/minimum-maximum-theorem, minimum-maximum theorem (concept). In E59CDZA4DP, index, section 2.3.1
History
- 2026-11-01: add by m2/v0.6.13
Cunningham Project RZHAKXDSK5
| URI | m2://inv/RZHAKXDSK5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cunningham Project, Cunningham Project (definition). Also Wikidata Q5194348
History
- 2026-11-02: add by m2/dev
RZHEJX1HVK RZHEJX1HVK
| URI | m2://inv/RZHEJX1HVK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#HJDH (statement)
History
- 2026-11-01: add by m2/v0.6.15
RZHFE6SC5K RZHFE6SC5K
| URI | m2://inv/RZHFE6SC5K |
|---|---|
| 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 2505.18850#CPWK (statement). In Z6PQ3MKA9T/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
RZHNG4QPK7 RZHNG4QPK7
| URI | m2://inv/RZHNG4QPK7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#ct:units (statement). In N54F33XE07, lem, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
Examples RZHPJ1VVGY
| URI | m2://inv/RZHPJ1VVGY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Noisy-storage model#DY07, Examples (example)
History
- 2026-11-02: add by m2/dev
Arithmetic dynamics RZJ3NX341M
| URI | m2://inv/RZJ3NX341M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic dynamics, Arithmetic dynamics (topic). Also Wikidata Q4791123
History
- 2026-11-02: add by m2/dev
Properties RZJ936NY8X
| URI | m2://inv/RZJ936NY8X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homology manifold#WPUZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Wegman, Edward RZJJ3H02HX
| URI | m2://inv/RZJJ3H02HX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#EIMO, Wegman, Edward (topic)
History
- 2026-11-02: add by m2/dev
Definition RZJPQRBPG1
| URI | m2://inv/RZJPQRBPG1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-convex function#Z055, Definition (definition)
History
- 2026-11-02: add by m2/dev
John Tiltman RZJT3NW7R5
| URI | m2://inv/RZJT3NW7R5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#9BU4, John Tiltman (unknown)
History
- 2026-11-02: add by m2/dev
P. A. P. Moran RZK21NDADJ
| URI | m2://inv/RZK21NDADJ |
|---|---|
| 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#PSVO, P. A. P. Moran (topic)
History
- 2026-11-02: add by m2/dev
RZK8HV8H8J RZK8HV8H8J
| URI | m2://inv/RZK8HV8H8J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32300#U04K (statement). In VNE8N0D2FB/e1, lemma 4.5
History
- 2026-10-31: add by m2/v0.5.6
RZKSPCQ1EB RZKSPCQ1EB
| URI | m2://inv/RZKSPCQ1EB |
|---|---|
| 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.06707#60YS (statement). In 9TR5E527P5/e1, proposition 6.11
History
- 2026-10-29: add by m2/v0.4.10
RZKV8S26GT RZKV8S26GT
| URI | m2://inv/RZKV8S26GT |
|---|---|
| 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.02944#KRM3 (statement). In 1F99Z64AB7/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
Properties RZKWWPYDP7
| URI | m2://inv/RZKWWPYDP7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adjoint representation#Z6MM, Properties (statement)
History
- 2026-11-02: add by m2/dev
Example RZM2BV564W
| URI | m2://inv/RZM2BV564W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Prior probability#E5WF, Example (example)
History
- 2026-11-02: add by m2/dev
RZM2DD7MA8 RZM2DD7MA8
| URI | m2://inv/RZM2DD7MA8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03341#WD2Z (statement). In 3G1H5ASBVE/e1, theorem 3
History
- 2026-10-29: add by m2/v0.4.12
RZM2ZFKRDY RZM2ZFKRDY
| URI | m2://inv/RZM2ZFKRDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17717#15BQ (statement). In YXRKS451PK/e1, lemma 1.5
History
- 2026-10-28: add by m2/v0.4.2
RZM3JZBR4A RZM3JZBR4A
| URI | m2://inv/RZM3JZBR4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20049#M9LC (statement)
History
- 2026-11-02: add by m2/v0.6.18
RZM6DC7X64 RZM6DC7X64
| URI | m2://inv/RZM6DC7X64 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0810.0962#ALV9 (statement). In 80YMRN5KS9/e1, proposition 13
History
- 2026-10-27: add by m2/v0.3.5
Poggendorff illusion RZM7JGTJ04
| URI | m2://inv/RZM7JGTJ04 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1542758, Poggendorff illusion (unknown). Also MathWorld PoggendorffIllusion
History
- 2026-10-26: add by m2/dev
Inverse of products RZM942TYHY
| URI | m2://inv/RZM942TYHY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/grp-intro.tex#proposition-1, Inverse of products (statement). In RZP28ERRZV, proposition, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
RZMFCHZS5D RZMFCHZS5D
| URI | m2://inv/RZMFCHZS5D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2212.00617#2A86 (statement). In K7505G10SS/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.5
RZN7NKP5K7 RZN7NKP5K7
| URI | m2://inv/RZN7NKP5K7 |
|---|---|
| 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.19260#NMVH (statement). In PWXT7J9JX3/e1, proposition 3.17
History
- 2026-10-28: add by m2/v0.4.2
Politics, law and military RZN8X5HHAN
| URI | m2://inv/RZN8X5HHAN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International rankings of North Korea#JCGV, Politics, law and military (statement)
History
- 2026-11-02: add by m2/dev
RZNN26MAR2 RZNN26MAR2
| URI | m2://inv/RZNN26MAR2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30200#DBPK (statement)
History
- 2026-11-01: add by m2/v0.6.15
RZNT75V3GX RZNT75V3GX
| URI | m2://inv/RZNT75V3GX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#FIZC (statement). In 3A4K47Y9F2/e1, lemma 6.31
History
- 2026-10-27: add by m2/v0.4.0
invariant theory RZNZBXKCZ1
| URI | m2://inv/RZNZBXKCZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 13A50 |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1855669, invariant theory (topic). Also nLab invariant theory
- wikipedia: Wikipedia Invariant theory, Invariant theory (definition). Also Wikidata Q1855669
History
- 2026-10-26: add by m2/dev
Euler–Gompertz constant RZNZTZVV00
| URI | m2://inv/RZNZTZVV00 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#B0FH, Euler–Gompertz constant (object)
History
- 2026-11-02: add by m2/dev
Implementation RZPMC2TX7N
| URI | m2://inv/RZPMC2TX7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic gain model#9UKK, Implementation (definition)
History
- 2026-11-02: add by m2/dev
RZPSFQPV1B RZPSFQPV1B
| URI | m2://inv/RZPSFQPV1B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02935#PD4R (statement). In WE2KKAMEFW/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.12
Paradigm (experimental) RZPTNMR5P7
| URI | m2://inv/RZPTNMR5P7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#6RWQ, Paradigm (experimental) (definition)
History
- 2026-11-02: add by m2/dev
RZPW3C5YCN RZPW3C5YCN
| URI | m2://inv/RZPW3C5YCN |
|---|---|
| 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.20466#ETK0 (statement). In M4ZVJWM8YA/e1, lemma 4.6
History
- 2026-10-27: add by m2/v0.4.2
Example RZPWV8PNRN
| URI | m2://inv/RZPWV8PNRN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov blanket#E4CG, Example (example)
History
- 2026-11-02: add by m2/dev
Causes of pattern RZQ5JB2D6F
| URI | m2://inv/RZQ5JB2D6F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Patterns in nature#CWEW, Causes of pattern (unknown)
History
- 2026-11-02: add by m2/dev
David Tweedie RZQ5P8DZP1
| URI | m2://inv/RZQ5P8DZP1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Tweedie (mathematician), David Tweedie (topic). Also Wikidata Q37738209
History
- 2026-11-02: add by m2/dev
projective scheme RZQ6137AY1
| URI | m2://inv/RZQ6137AY1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91443379, projective scheme (unknown). Also EoM Projective_scheme
History
- 2026-10-26: add by m2/dev
Elizabeth M. Ward RZQ8KS5DW9
| URI | m2://inv/RZQ8KS5DW9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elizabeth M. Ward, Elizabeth M. Ward (topic). Also Wikidata Q22096940
History
- 2026-11-02: add by m2/dev
Katherine Halvorsen RZQ8N60K5B
| URI | m2://inv/RZQ8N60K5B |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#2KYH, Katherine Halvorsen (topic)
History
- 2026-11-02: add by m2/dev
RZQ8NSCEQ0 RZQ8NSCEQ0
| URI | m2://inv/RZQ8NSCEQ0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.14383#JT5V (statement). In QD0X3XJS6T/e1, lemma 7.24
History
- 2026-10-27: add by m2/v0.3.5
RZQMMW53A7 RZQMMW53A7
| URI | m2://inv/RZQMMW53A7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03138#CRR1 (statement). In P5SY7AVP5E/e1, lemma 6.10
History
- 2026-10-29: add by m2/v0.4.12
Distance measure RZQPKZ5KMZ
| URI | m2://inv/RZQPKZ5KMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Distance measure, Distance measure (definition). Also Wikidata Q1344778
History
- 2026-11-02: add by m2/dev
RZQQYVTEQ0 RZQQYVTEQ0
| URI | m2://inv/RZQQYVTEQ0 |
|---|---|
| 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.38844#C1S8 (statement). In PX8D91DQCX/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Permutation automaton RZQV3JDNRE
| URI | m2://inv/RZQV3JDNRE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Permutation automaton, Permutation automaton (definition). Also Wikidata Q7169368
History
- 2026-11-02: add by m2/dev
Computation RZQYWKXN6V
| URI | m2://inv/RZQYWKXN6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hoover index#YIG7, Computation (definition)
History
- 2026-11-02: add by m2/dev
RZR13ARJSR RZR13ARJSR
| URI | m2://inv/RZR13ARJSR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.16205#U79K (definition). In 3GE9PS9AH0/e1, definition 4.1.4
History
- 2026-10-27: add by m2/v0.3.5
finite, sets, family of RZR9X6MS0K
| URI | m2://inv/RZR9X6MS0K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.4/finite-sets-family-of, finite, sets, family of (concept). In N54F33XE07, index, section A.4
History
- 2026-11-01: add by m2/v0.6.13
Dot plot (bioinformatics) RZRAFNZY21
| URI | m2://inv/RZRAFNZY21 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#V0SX, Dot plot (bioinformatics) (definition)
History
- 2026-11-02: add by m2/dev
RZRD2GKMVC RZRD2GKMVC
| URI | m2://inv/RZRD2GKMVC |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-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.26479#4JEV (example)
History
- 2026-11-01: add by m2/v0.6.15
classical reductio ad absurdum RZRRD407W9
| URI | m2://inv/RZRRD407W9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#AMY3, classical reductio ad absurdum (definition)
History
- 2026-11-02: add by m2/dev
RZRRHF478P RZRRHF478P
| URI | m2://inv/RZRRHF478P |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
History
- 2026-10-28: add by m2/v0.4.2
RZRSD9SYXQ RZRSD9SYXQ
| URI | m2://inv/RZRSD9SYXQ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#X2TK (definition). In Z7E16PFFCP/e1, definition 2.12
History
- 2026-10-30: add by m2/v0.4.12
RZRVD1XBVC RZRVD1XBVC
| URI | m2://inv/RZRVD1XBVC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13475#ZLMN (definition). In P5SQ4CMX42/e1, definition 1
History
- 2026-10-28: add by m2/v0.4.2
Turing's proof RZS04Z3HQG
| URI | m2://inv/RZS04Z3HQG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Alan Turing#3MM1, Turing's proof (definition)
History
- 2026-11-02: add by m2/dev
RZS05E4HZD RZS05E4HZD
| URI | m2://inv/RZS05E4HZD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00105#MS7R (statement). In EZXTEXR47M/e1, corollary 3.6
History
- 2026-10-30: add by m2/v0.4.12
RZS1E4VWK2 RZS1E4VWK2
| URI | m2://inv/RZS1E4VWK2 |
|---|---|
| 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.21472#2JYE (statement)
History
- 2026-11-02: add by m2/v0.6.18
RZS38TN06S RZS38TN06S
| URI | m2://inv/RZS38TN06S |
|---|---|
| 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 2211.14214#DKKP (statement). In SY85Y9E45A/e1, fact 3
History
- 2026-10-27: add by m2/v0.3.5
RZS6F0DQNX RZS6F0DQNX
| URI | m2://inv/RZS6F0DQNX |
|---|---|
| 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 2207.07461#E6XH (statement). In GAG532VMPF/e1, lemma 3.3.1
History
- 2026-10-27: add by m2/v0.3.5
Indicator function RZS9THDYJH
| URI | m2://inv/RZS9THDYJH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of integration and measure theory topics#EB7S, Indicator function (definition)
History
- 2026-11-02: add by m2/dev
Theorem RZSB7CEA1G
| URI | m2://inv/RZSB7CEA1G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute neighborhood retract#T24G, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Sweave RZSC50Q33F
| URI | m2://inv/RZSC50Q33F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sweave, Sweave (definition). Also Wikidata Q1429916
History
- 2026-11-02: add by m2/dev
Jan-Olov Strömberg RZSGWM4591
| URI | m2://inv/RZSGWM4591 |
|---|---|
| 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#VA0N, Jan-Olov Strömberg (unknown)
History
- 2026-11-02: add by m2/dev
Humbert polynomials RZSPKT3HAV
| URI | m2://inv/RZSPKT3HAV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Humbert polynomials, Humbert polynomials (definition). Also Wikidata Q15284583
History
- 2026-11-02: add by m2/dev
The one-dimension recursion formula RZSRE8PDVG
| URI | m2://inv/RZSRE8PDVG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Volume of an n-ball#L7GU, The one-dimension recursion formula (statement)
History
- 2026-11-02: add by m2/dev
RZSX94QRF5 RZSX94QRF5
| URI | m2://inv/RZSX94QRF5 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1009.2043#0AC0 (definition). In 7DCNHRBK5A/e1, definition 2.8
History
- 2026-10-27: add by m2/v0.3.5
theorem, Hedberg's RZT1Y26RV0
| URI | m2://inv/RZT1Y26RV0 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.11/theorem-hedberg-s, theorem, Hedberg's (concept). In N54F33XE07, index, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
the $2$-adic bound is attained RZT2MVYZ4H
| URI | m2://inv/RZT2MVYZ4H |
|---|---|
| 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.37459#Z9YR, the $2$-adic bound is attained (statement). In RPBXABNQTG/e1, theorem 6
History
- 2026-10-30: add by m2/v0.4.12
Properties RZT6SFDQD8
| URI | m2://inv/RZT6SFDQD8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metalog distribution#CBK5, Properties (statement)
History
- 2026-11-02: add by m2/dev
Uniform analytic propagation in the group cases RZTE25NS6M
| URI | m2://inv/RZTE25NS6M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16094#4XMR, Uniform analytic propagation in the group cases (statement). In RHBS9QDHC3/e1, proposition 5.8
History
- 2026-10-28: add by m2/v0.4.2
Brauer–Suzuki–Wall theorem RZTEHTD41G
| URI | m2://inv/RZTEHTD41G |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4958233, Brauer–Suzuki–Wall theorem (statement). Also Wikidata Q4958233
- thousand_plus: thousand_plus Q4958233, Brauer–Suzuki–Wall theorem (statement). Also Wikidata Q4958233, Wikipedia Brauer–Suzuki–Wall theorem
- wikipedia: Wikipedia Brauer–Suzuki–Wall theorem, Brauer–Suzuki–Wall theorem (statement). Also Wikidata Q4958233
History
- 2026-10-26: add by m2/dev
Average-radius multiple packing RZTEZ7PJDE
| URI | m2://inv/RZTEZ7PJDE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 51-XX, 52-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 2211.04407#34F7, Average-radius multiple packing (definition). In XCZS191H6Q/e1, definition 4
History
- 2026-10-27: add by m2/v0.3.6
Survey sampling RZTJEZ9JBM
| URI | m2://inv/RZTJEZ9JBM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#XYX0, Survey sampling (definition)
History
- 2026-11-02: add by m2/dev
Moving sofa problem RZTXX39ZEK
| URI | m2://inv/RZTXX39ZEK |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#I0D4, Moving sofa problem (conjecture)
History
- 2026-11-02: add by m2/dev
fractional part RZTYHJ1NSY
| URI | m2://inv/RZTYHJ1NSY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2366982, fractional part (unknown). Also MathWorld FractionalPart
- wikipedia: Wikipedia Fractional part, Fractional part (definition). Also Wikidata Q2366982
History
- 2026-10-26: add by m2/dev
RZV1R7EE86 RZV1R7EE86
| URI | m2://inv/RZV1R7EE86 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_induction_exercises.ptx#exercise-18 (exercise). In QKM9DD2H56, exercise, section 3
History
- 2026-11-01: add by m2/v0.6.13
Lagrange's four-square theorem RZVCYE1JWN
| URI | m2://inv/RZVCYE1JWN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quaternion#GZEB, Lagrange's four-square theorem (statement)
History
- 2026-11-02: add by m2/dev
generic RZVPNQWSVR
| URI | m2://inv/RZVPNQWSVR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#4UHN, generic (definition)
History
- 2026-11-02: add by m2/dev
category RZW1T6HP02
| URI | m2://inv/RZW1T6HP02 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#CT8J, category (definition)
History
- 2026-11-02: add by m2/dev
Duplication of a point RZW4Z0CPVF
| URI | m2://inv/RZW4Z0CPVF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#0BLV, Duplication of a point (unknown)
History
- 2026-11-02: add by m2/dev
Robert Solovay RZW92N7EYW
| URI | m2://inv/RZW92N7EYW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#V9CK, Robert Solovay (topic)
History
- 2026-11-02: add by m2/dev
François Proth RZWDMPS5GJ
| URI | m2://inv/RZWDMPS5GJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia François Proth, François Proth (topic). Also Wikidata Q3807625
History
- 2026-11-02: add by m2/dev
RZWEWW3MQB RZWEWW3MQB
| URI | m2://inv/RZWEWW3MQB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2106.11898#AE5A (definition). In KXXV5X8AG4/e1, definition 3.1
History
- 2026-10-27: add by m2/v0.3.6
RZWFD69QX4 RZWFD69QX4
| URI | m2://inv/RZWFD69QX4 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 26-XX, 35-XX, 37-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.00585#D0U4 (problem). In 332PQD90SW/e1, problem 4.5
History
- 2026-10-27: add by m2/v0.3.5
RZWGSTBSXG RZWGSTBSXG
| URI | m2://inv/RZWGSTBSXG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15444#B917 (statement). In M2X9TEYRPC/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
Amèle El Mahdi RZWPG25S3N
| URI | m2://inv/RZWPG25S3N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amèle El Mahdi, Amèle El Mahdi (topic). Also Wikidata Q23001711
History
- 2026-11-02: add by m2/dev
inductive proof RZWQPSGNJZ
| URI | m2://inv/RZWQPSGNJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#0SXO, inductive proof (definition)
History
- 2026-11-02: add by m2/dev
RZWV16V02S RZWV16V02S
| URI | m2://inv/RZWV16V02S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2311.16205#JFHF (statement). In 3GE9PS9AH0/e1, theorem 1.2.2
History
- 2026-10-27: add by m2/v0.3.5
Acyclic resolution RZX78J59NE
| URI | m2://inv/RZX78J59NE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resolution (algebra)#3A9N, Acyclic resolution (unknown)
History
- 2026-11-02: add by m2/dev
Length two RZXGPBBHKZ
| URI | m2://inv/RZXGPBBHKZ |
|---|---|
| Kind | example |
| 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.04214#OQ3R, Length two (example). In HWY7AQ4KT2/e1, example 3.4
History
- 2026-10-29: add by m2/v0.4.12
Ariel Rubinstein RZXRWDRPVS
| URI | m2://inv/RZXRWDRPVS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q659305, Ariel Rubinstein (unknown). Also ProofWiki Mathematician:Ariel_Rubinstein
History
- 2026-10-26: add by m2/dev
Catastro of Ensenada RZXSYB34TN
| URI | m2://inv/RZXSYB34TN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catastro of Ensenada, Catastro of Ensenada (definition). Also Wikidata Q2932613
History
- 2026-11-02: add by m2/dev
Bell numbers RZXTZBE43B
| URI | m2://inv/RZXTZBE43B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#Y7Z7, Bell numbers (definition)
History
- 2026-11-02: add by m2/dev
RZY17NNPRX RZY17NNPRX
| URI | m2://inv/RZY17NNPRX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_intro-sets.ptx#example-6 (example). In Y91XFCEVHQ, example, section 1.3.3
History
- 2026-11-01: add by m2/v0.6.13
Optional stopping theorem RZY279FWX5
| URI | m2://inv/RZY279FWX5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#20W6, Optional stopping theorem (statement)
History
- 2026-11-02: add by m2/dev
Terminology RZY32NQCS9
| URI | m2://inv/RZY32NQCS9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Birkhoff algorithm#Z9CH, Terminology (definition)
History
- 2026-11-02: add by m2/dev
Continuity in initial position RZY8QQZJS1
| URI | m2://inv/RZY8QQZJS1 |
|---|---|
| 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.07380#S5OS, Continuity in initial position (statement). In XM2CDRKSGE/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
metabigyrate rhombicosidodecahedron RZYB35QXJC
| URI | m2://inv/RZYB35QXJC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q931149, metabigyrate rhombicosidodecahedron (object). Also MathWorld MetabigyrateRhombicosidodecahedron
- wikipedia: Wikipedia Metabigyrate rhombicosidodecahedron, Metabigyrate rhombicosidodecahedron (definition). Also Wikidata Q931149
History
- 2026-10-26: add by m2/dev
RZYBTZVNTK RZYBTZVNTK
| URI | m2://inv/RZYBTZVNTK |
|---|---|
| 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.20817#57RZ (statement). In M1YRBSZT4H/e1, theorem 1
History
- 2026-10-27: add by m2/v0.4.2
RZYGCX5F0N RZYGCX5F0N
| URI | m2://inv/RZYGCX5F0N |
|---|---|
| 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 2207.12181#XGO1 (statement). In FSD8NE3XSR/e1, proposition 6.6
History
- 2026-10-27: add by m2/v0.4.0
RZZ0X07PAY RZZ0X07PAY
| URI | m2://inv/RZZ0X07PAY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.17135#G841 (definition). In 74MXJ2RX4B/e1, definition 2.6
History
- 2026-10-27: add by m2/v0.3.5
RZZ2646Y69 RZZ2646Y69
| URI | m2://inv/RZZ2646Y69 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2603.26376#QQRE (statement). In PJAT9YDX7Y/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.4.0
RZZ8QH88FK RZZ8QH88FK
| URI | m2://inv/RZZ8QH88FK |
|---|---|
| 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.13580#L28R (statement). In KEQ57N9N7Z/e1, lemma 3.5
History
- 2026-10-28: add by m2/v0.4.2
Conley index theory RZZD66E4KB
| URI | m2://inv/RZZD66E4KB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conley index theory, Conley index theory (definition). Also Wikidata Q5161242
History
- 2026-11-02: add by m2/dev
RZZDX8VWFG RZZDX8VWFG
| URI | m2://inv/RZZDX8VWFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/complex-ana/meromorphic.tex#definition-2 (definition). In RZP28ERRZV, definition, section 41.2
History
- 2026-11-01: add by m2/v0.6.13
Definition RZZT9A3077
| URI | m2://inv/RZZT9A3077 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Explained sum of squares#TYS8, Definition (definition)
History
- 2026-11-02: add by m2/dev