Inventory rows DZ
The cards of the rows of the inventory whose ids start with DZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
DZ0721BQ62 DZ0721BQ62
| URI | m2://inv/DZ0721BQ62 |
|---|---|
| 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.01268#IDRD (statement). In 80Q4X3WT8W/e1, lemma 3.6
History
- 2026-10-29: add by m2/v0.4.12
Greek constructions DZ0DV6R4WF
| URI | m2://inv/DZ0DV6R4WF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/galois.tex#problem-2, Greek constructions (exercise). In RZP28ERRZV, problem, section 14.6
History
- 2026-11-01: add by m2/v0.6.13
Theorem DZ0HM065D2
| URI | m2://inv/DZ0HM065D2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bloch sphere#WBYQ, Theorem (statement)
History
- 2026-11-02: add by m2/dev
DZ0J852T2Y DZ0J852T2Y
| URI | m2://inv/DZ0J852T2Y |
|---|---|
| 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.28046#L2QC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Spectral orthogonality formula DZ12M6JEX6
| URI | m2://inv/DZ12M6JEX6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#EM2F, Spectral orthogonality formula (statement). In 7GMD8J4200/e1, proposition 13
History
- 2026-10-27: add by m2/v0.4.2
DZ1393585H DZ1393585H
| URI | m2://inv/DZ1393585H |
|---|---|
| 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.01354#5L83 (statement). In BWD76W20W8/e1, proposition 6.5
History
- 2026-10-29: add by m2/v0.4.12
DZ15GSRBK3 DZ15GSRBK3
| URI | m2://inv/DZ15GSRBK3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#RU4R (statement). In 43TBS9P2PX/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
Christy Chuang-Stein DZ17K430QY
| URI | m2://inv/DZ17K430QY |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Christy Chuang-Stein, Christy Chuang-Stein (topic). Also Wikidata Q88552186
History
- 2026-11-02: add by m2/dev
DZ1A4TWCER DZ1A4TWCER
| URI | m2://inv/DZ1A4TWCER |
|---|---|
| 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 1002.0879#JVFA (statement). In M0SQY5EZN5/e1, lemma 5.3.6
History
- 2026-10-27: add by m2/v0.3.5
DZ1JQQG7KY DZ1JQQG7KY
| URI | m2://inv/DZ1JQQG7KY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-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.06699#NJ51 (definition). In GXHKRV5BPY/e1, definition 2.12
History
- 2026-10-29: add by m2/v0.4.10
Willem Abraham Wythoff DZ1KB7F91C
| URI | m2://inv/DZ1KB7F91C |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Willem Abraham Wythoff, Willem Abraham Wythoff (topic). Also Wikidata Q440426
History
- 2026-11-02: add by m2/dev
Odd-degree MRS functions DZ1MDC45T9
| URI | m2://inv/DZ1MDC45T9 |
|---|---|
| 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.17100#WRQW, Odd-degree MRS functions (statement). In 4TSS52DMB2/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
Derivations and formula DZ1N2MMVN9
| URI | m2://inv/DZ1N2MMVN9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snell's law#WC84, Derivations and formula (statement)
History
- 2026-11-02: add by m2/dev
DZ1QXSDJAT DZ1QXSDJAT
| URI | m2://inv/DZ1QXSDJAT |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#example-6 (example). In RZP28ERRZV, example, section 8.5
History
- 2026-11-01: add by m2/v0.6.13
1.96 DZ1RG7KZ1X
| URI | m2://inv/DZ1RG7KZ1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#WL3H, 1.96 (definition)
History
- 2026-11-02: add by m2/dev
Frequency probability DZ20T5BRPE
| URI | m2://inv/DZ20T5BRPE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7C8I, Frequency probability (definition)
- wikipedia: Wikipedia List of probability topics#MU7I, Frequency probability (definition)
History
- 2026-11-02: add by m2/dev
Nancy Spruill DZ26AZA60G
| URI | m2://inv/DZ26AZA60G |
|---|---|
| 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#3AVV, Nancy Spruill (topic)
History
- 2026-11-02: add by m2/dev
Examples DZ2FYGAMKR
| URI | m2://inv/DZ2FYGAMKR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skew and direct sums of permutations#Z2PM, Examples (example)
History
- 2026-11-02: add by m2/dev
N-body problem DZ2HN467XN
| URI | m2://inv/DZ2HN467XN |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia N-body problem, N-body problem (problem). Also Wikidata Q1199050
History
- 2026-11-02: add by m2/dev
Monotonic DZ2JD182WB
| URI | m2://inv/DZ2JD182WB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of order theory topics#3BMY, Monotonic (definition)
History
- 2026-11-02: add by m2/dev
DZ2M007WRM DZ2M007WRM
| URI | m2://inv/DZ2M007WRM |
|---|---|
| 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.39531#A59J (statement). In SN9RSTHQ07/e1, theorem H.8
History
- 2026-10-30: add by m2/v0.4.12
Entropy-corrected continuity in the magnetization DZ2NFSKW1J
| URI | m2://inv/DZ2NFSKW1J |
|---|---|
| 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.18350#BR7A, Entropy-corrected continuity in the magnetization (statement). In A20E8FZS21/e1, lemma 7.4
History
- 2026-10-28: add by m2/v0.4.2
Cartesian product DZ2NGFNFDA
| URI | m2://inv/DZ2NGFNFDA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical logic topics#RDKA, Cartesian product (definition)
History
- 2026-11-02: add by m2/dev
Claude LeBrun DZ2X4TB4K3
| URI | m2://inv/DZ2X4TB4K3 |
|---|---|
| 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#94Y5, Claude LeBrun (topic)
History
- 2026-11-02: add by m2/dev
Dyadic decomposition DZ2YA7904G
| URI | m2://inv/DZ2YA7904G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood–Paley theory#1OVA, Dyadic decomposition (unknown)
History
- 2026-11-02: add by m2/dev
Private synthetic data in the cube DZ2YM9K68P
| URI | m2://inv/DZ2YM9K68P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.09167#ET55, Private synthetic data in the cube (statement). In S1MENYEAG5/e1, corollary 9.2
History
- 2026-10-27: add by m2/v0.3.5
Aumann's agreement theorem DZ2Z3C78JQ
| URI | m2://inv/DZ2Z3C78JQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 62-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4454919, Aumann's agreement theorem (statement). Also Wikidata Q4454919
- thousand_plus: thousand_plus Q4454919, Aumann's agreement theorem (statement). Also Wikidata Q4454919, Wikipedia Aumann's agreement theorem
- wikipedia: Wikipedia Aumann's agreement theorem, Aumann's agreement theorem (statement). Also Wikidata Q4454919
History
- 2026-10-26: add by m2/dev
Gordon Preston DZ2ZN565AF
| URI | m2://inv/DZ2ZN565AF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gordon Preston, Gordon Preston (topic). Also Wikidata Q3110880
History
- 2026-11-02: add by m2/dev
DZ31Q52TK7 DZ31Q52TK7
| URI | m2://inv/DZ31Q52TK7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreInduction.tex#theorem-11 (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
Elongated pentagonal rotunda DZ3958XVYK
| URI | m2://inv/DZ3958XVYK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#8CXX, Elongated pentagonal rotunda (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#8BET, Elongated pentagonal rotunda (definition)
History
- 2026-11-02: add by m2/dev
Shamir's secret sharing DZ39M452RE
| URI | m2://inv/DZ39M452RE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shamir's secret sharing, Shamir's secret sharing (definition). Also Wikidata Q935125
History
- 2026-11-02: add by m2/dev
Simple example DZ3HDZ3B22
| URI | m2://inv/DZ3HDZ3B22 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solving quadratic equations with continued fractions#P5ZE, Simple example (example)
History
- 2026-11-02: add by m2/dev
M/G/1 queue DZ3QSEHPFJ
| URI | m2://inv/DZ3QSEHPFJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M/G/1 queue, M/G/1 queue (definition). Also Wikidata Q3916814
History
- 2026-11-02: add by m2/dev
Main Theorem DZ3QVBCGW7
| URI | m2://inv/DZ3QVBCGW7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33162#C0VE, Main Theorem (statement). In RPC7VG3KHQ/e1, theorem 9.5
History
- 2026-10-30: add by m2/v0.4.12
product measure DZ3R3Q14VF
| URI | m2://inv/DZ3R3Q14VF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fubini's theorem#D0KA, product measure (definition)
History
- 2026-11-02: add by m2/dev
discarded block DZ404Q2YX3
| URI | m2://inv/DZ404Q2YX3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26134#B2H0, discarded block (statement)
History
- 2026-11-01: add by m2/v0.6.15
compound poisson-gamma or Tweedie distribution DZ4A1NQX82
| URI | m2://inv/DZ4A1NQX82 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#6K3Q, compound poisson-gamma or Tweedie distribution (definition)
History
- 2026-11-02: add by m2/dev
Non-symmetric operad DZ4GGFVY7W
| URI | m2://inv/DZ4GGFVY7W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Operad#KGY7, Non-symmetric operad (unknown)
History
- 2026-11-02: add by m2/dev
DZ4W3GH49M DZ4W3GH49M
| URI | m2://inv/DZ4W3GH49M |
|---|---|
| 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.29918#58YA (statement)
History
- 2026-11-01: add by m2/v0.6.15
statistical dispersion DZ4ZZBVX3W
| URI | m2://inv/DZ4ZZBVX3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#TJ6K, statistical dispersion (definition)
History
- 2026-11-02: add by m2/dev
Near-optimal sfat bounds DZ52MYQ0RM
| URI | m2://inv/DZ52MYQ0RM |
|---|---|
| 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.20687#HS0T, Near-optimal sfat bounds (statement)
History
- 2026-11-02: add by m2/v0.6.18
DZ59HDESXM DZ59HDESXM
| URI | m2://inv/DZ59HDESXM |
|---|---|
| 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.07290#NK4E (statement). In WC7BN66XSN/e1, lemma 6
History
- 2026-10-29: add by m2/v0.4.10
Andy Coulson DZ5FMQEVKG
| URI | m2://inv/DZ5FMQEVKG |
|---|---|
| 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#3SM6, Andy Coulson (unknown)
History
- 2026-11-02: add by m2/dev
Examples DZ5HX8P5FS
| URI | m2://inv/DZ5HX8P5FS |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolic link#A8O3, Examples (example)
History
- 2026-11-02: add by m2/dev
Example DZ5PZ07XV6
| URI | m2://inv/DZ5PZ07XV6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faro shuffle#1592, Example (example)
History
- 2026-11-02: add by m2/dev
Australian Aboriginal enumeration DZ5VD23FVT
| URI | m2://inv/DZ5VD23FVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Australian Aboriginal enumeration, Australian Aboriginal enumeration (definition). Also Wikidata Q2783979
History
- 2026-11-02: add by m2/dev
DZ5XGVH0SE DZ5XGVH0SE
| URI | m2://inv/DZ5XGVH0SE |
|---|---|
| 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.14803#KXO1 (statement). In VAEVDTBD3B/e1, theorem C
History
- 2026-10-28: add by m2/v0.4.2
DZ64P7JG70 DZ64P7JG70
| URI | m2://inv/DZ64P7JG70 |
|---|---|
| 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 2609.32174#OSEM (definition). In GHKR740SG3/e1, definition 20.1
History
- 2026-10-31: add by m2/v0.5.6
Generalizations DZ687CXNJ4
| URI | m2://inv/DZ687CXNJ4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kraft–McMillan inequality#UG1P, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Implementation DZ6KGEYC48
| URI | m2://inv/DZ6KGEYC48 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean addition#U70F, Implementation (definition)
History
- 2026-11-02: add by m2/dev
DZ6MWQNWHD DZ6MWQNWHD
| URI | m2://inv/DZ6MWQNWHD |
|---|---|
| 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.04935#51LZ (statement). In 7WVPJVPQH2/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.12
DZ6RSGPY3F DZ6RSGPY3F
| URI | m2://inv/DZ6RSGPY3F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_inclusion-exclusion_derangements.ptx#theorem-2 (statement). In QKM9DD2H56, theorem, section 7.4
History
- 2026-11-01: add by m2/v0.6.13
DZ7E11GSRX DZ7E11GSRX
| URI | m2://inv/DZ7E11GSRX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.14045#1GR0 (statement). In KZ71GXT2B0/e1, proposition 4.16
History
- 2026-10-28: add by m2/v0.4.2
DZ7HTH13MM DZ7HTH13MM
| URI | m2://inv/DZ7HTH13MM |
|---|---|
| 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.23559#EECE (statement)
History
- 2026-11-02: add by m2/v0.6.17
Arithmetic of abelian varieties DZ7RK60PRD
| URI | m2://inv/DZ7RK60PRD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of arithmetic and diophantine geometry#FSV8, Arithmetic of abelian varieties (definition)
History
- 2026-11-02: add by m2/dev
Locally dense DZ7SRNA56N
| URI | m2://inv/DZ7SRNA56N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#NTRS, Locally dense (definition)
History
- 2026-11-02: add by m2/dev
DZ88KKT8WZ DZ88KKT8WZ
| URI | m2://inv/DZ88KKT8WZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreInduction.tex#theorem-8 (statement). In P1C114YBXG, theorem, section F
History
- 2026-11-01: add by m2/v0.6.13
A conservative pilot screening rule DZ89F4KBMH
| URI | m2://inv/DZ89F4KBMH |
|---|---|
| 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.19207#Q9CI, A conservative pilot screening rule (statement). In BH3R0BA3PC/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.2
DZ8AW89WW5 DZ8AW89WW5
| URI | m2://inv/DZ8AW89WW5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-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.21768#WEU3 (statement). In VD53W58DS1/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.4.2
Contractible maps DZ8F1A320M
| URI | m2://inv/DZ8F1A320M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#defn:equivalence, Contractible maps (definition). In N54F33XE07, defn, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Statement DZ8TBCJ50H
| URI | m2://inv/DZ8TBCJ50H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sperner's lemma#27PR, Statement (statement)
History
- 2026-11-02: add by m2/dev
Comparison of topologies DZ919FDF34
| URI | m2://inv/DZ919FDF34 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Comparison of topologies, Comparison of topologies (definition). Also Wikidata Q906456
History
- 2026-11-02: add by m2/dev
DZ94G91MFK DZ94G91MFK
| URI | m2://inv/DZ94G91MFK |
|---|---|
| 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 2609.29759#YMXI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Douglas Jones DZ97HGB6E3
| URI | m2://inv/DZ97HGB6E3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Douglas Jones (mathematician), Douglas Jones (topic). Also Wikidata Q1252476
History
- 2026-11-02: add by m2/dev
Coinduction DZ9AXGTXJ9
| URI | m2://inv/DZ9AXGTXJ9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coinduction, Coinduction (definition). Also Wikidata Q4227156
History
- 2026-11-02: add by m2/dev
DZ9BVEDDC6 DZ9BVEDDC6
| URI | m2://inv/DZ9BVEDDC6 |
|---|---|
| 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 2406.07116#8GUU (statement). In 5B030CB2RK/e1, proposition 4.1
History
- 2026-10-27: add by m2/v0.3.6
DZ9PMP42B0 DZ9PMP42B0
| URI | m2://inv/DZ9PMP42B0 |
|---|---|
| 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#7302 (definition). In Z7E16PFFCP/e1, definition 3.9
History
- 2026-10-30: add by m2/v0.4.12
475 (number) DZ9TBRTDFD
| URI | m2://inv/DZ9TBRTDFD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#D7N0, 475 (number) (unknown)
History
- 2026-11-02: add by m2/dev
Codd's cellular automaton DZ9WH95CQ8
| URI | m2://inv/DZ9WH95CQ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Codd's cellular automaton, Codd's cellular automaton (definition). Also Wikidata Q2872594
History
- 2026-11-02: add by m2/dev
Two-layer molecule DZ9WZEB0WX
| URI | m2://inv/DZ9WZEB0WX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38061#IOKL, Two-layer molecule (definition). In XFBW60M3AR/e1, definition 3.1
History
- 2026-10-30: add by m2/v0.4.12
DZ9YTXAQZV DZ9YTXAQZV
| URI | m2://inv/DZ9YTXAQZV |
|---|---|
| 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.21976#FQ72 (statement)
History
- 2026-11-02: add by m2/v0.6.17
DZA2462TH2 DZA2462TH2
| URI | m2://inv/DZA2462TH2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/truth-lemma.tex#probtag-1 (exercise). In PKGMM3P5QY, probtag, section 51.5
History
- 2026-11-01: add by m2/v0.6.13
Constantin Rădulescu-Motru DZA3VM2FKB
| URI | m2://inv/DZA3VM2FKB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#IL90, Constantin Rădulescu-Motru (topic)
History
- 2026-11-02: add by m2/dev
DZA9GT64NM DZA9GT64NM
| URI | m2://inv/DZA9GT64NM |
|---|---|
| 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.07673#13G7 (statement). In 37B1MPV8GX/e1, corollary 6.7
History
- 2026-10-29: add by m2/v0.4.10
DZAA5GAQF6 DZAA5GAQF6
| URI | m2://inv/DZAA5GAQF6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 37-XX, 47-XX, 58-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.17139#PBI5 (statement). In AQWX60Z563/e1, lemma C.2
History
- 2026-10-28: add by m2/v0.4.2
Brian Copenhaver DZAGP5T1D1
| URI | m2://inv/DZAGP5T1D1 |
|---|---|
| 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#20K3, Brian Copenhaver (unknown)
History
- 2026-11-02: add by m2/dev
DZAHNK1PFE DZAHNK1PFE
| URI | m2://inv/DZAHNK1PFE |
|---|---|
| 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 2607.20739#C7MU (statement). In XFZJZS3GB1/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
DZAKAH7SZN DZAKAH7SZN
| URI | m2://inv/DZAKAH7SZN |
|---|---|
| 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.04264#OUMC (statement). In 5YRJ4HGY4N/e1, lemma 2
History
- 2026-10-29: add by m2/v0.4.12
DZASH3RTSP DZASH3RTSP
| URI | m2://inv/DZASH3RTSP |
|---|---|
| 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.28794#32BN (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gaston Maurice Julia DZAXMRBNK3
| URI | m2://inv/DZAXMRBNK3 |
|---|---|
| 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#608A, Gaston Maurice Julia (topic)
History
- 2026-11-02: add by m2/dev
5 DZBAT6S26B
| URI | m2://inv/DZBAT6S26B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of prime numbers#KBCL, 5 (definition)
History
- 2026-11-02: add by m2/dev
DZBBCM9S47 DZBBCM9S47
| URI | m2://inv/DZBBCM9S47 |
|---|---|
| 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.15982#MKRS (statement). In KB50SHR229/e1, lemma A.3
History
- 2026-10-28: add by m2/v0.4.2
DZBD6VHJCG DZBD6VHJCG
| URI | m2://inv/DZBD6VHJCG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21994#N0X1 (statement)
History
- 2026-11-02: add by m2/v0.6.17
DZBEBPN028 DZBEBPN028
| URI | m2://inv/DZBEBPN028 |
|---|---|
| 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.36613#FML4 (statement). In GX0K0ZM700/e1, lemma 3.18
History
- 2026-10-30: add by m2/v0.4.12
DZBHD4NXQB DZBHD4NXQB
| URI | m2://inv/DZBHD4NXQB |
|---|---|
| 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 2610.07530#S1X0 (definition). In C7QZ0VPBC8/e1, definition 2.13
History
- 2026-10-29: add by m2/v0.4.10
Sorlin's theorem (polar dual) DZBHWXZH2P
| URI | m2://inv/DZBHWXZH2P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lexell's theorem#CKMH, Sorlin's theorem (polar dual) (statement)
History
- 2026-11-02: add by m2/dev
DZBN7AD8D8 DZBN7AD8D8
| URI | m2://inv/DZBN7AD8D8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13972#R74A (statement). In S1KHNS8XQM/e1, lemma 4.3
History
- 2026-10-28: add by m2/v0.4.2
DZBP4DG9ZX DZBP4DG9ZX
| URI | m2://inv/DZBP4DG9ZX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#1ISQ (definition). In ZA6XNBA90V/e1, definition 2.5
History
- 2026-10-27: add by m2/v0.3.5
Boltzmann machine DZBT8RQP42
| URI | m2://inv/DZBT8RQP42 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boltzmann machine, Boltzmann machine (definition). Also Wikidata Q194706
History
- 2026-11-02: add by m2/dev
DZC2HFYC1G DZC2HFYC1G
| URI | m2://inv/DZC2HFYC1G |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/fixed-point-thm.tex#thm-1 (statement). In PKGMM3P5QY, thm, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Universal exactness DZC373K5M6
| URI | m2://inv/DZC373K5M6 |
|---|---|
| Kind | definition |
| 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.31607#VKAU, Universal exactness (definition). In H9X9WZ17TT/e1, definition 4
History
- 2026-10-31: add by m2/v0.5.6
99 Points of Intersection DZC47ZFZ4S
| URI | m2://inv/DZC47ZFZ4S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 99 Points of Intersection, 99 Points of Intersection (definition). Also Wikidata Q85738744
History
- 2026-11-02: add by m2/dev
DZCA9A3Q36 DZCA9A3Q36
| URI | m2://inv/DZCA9A3Q36 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.05499#X3GY (statement). In WRMNCC8VBC/e1, lemma 45
History
- 2026-10-27: add by m2/v0.3.6
Winston Center for Leadership and Ethics DZCR7YNW5T
| URI | m2://inv/DZCR7YNW5T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of research centers at Boston College#67K9, Winston Center for Leadership and Ethics (unknown)
History
- 2026-11-02: add by m2/dev
Loch Ness monster surface DZCTGT8Z35
| URI | m2://inv/DZCTGT8Z35 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Loch Ness monster surface, Loch Ness monster surface (definition). Also Wikidata Q6664993
History
- 2026-11-02: add by m2/dev
DZCVRTC6QW DZCVRTC6QW
| URI | m2://inv/DZCVRTC6QW |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34311#AVXJ (definition). In YYV9SHAPCZ/e1, definition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Endpoint cones DZCZHB3VF3
| URI | m2://inv/DZCZHB3VF3 |
|---|---|
| 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.20270#53AA, Endpoint cones (statement). In GV0QGZH67P/e1, proposition C.4
History
- 2026-10-27: add by m2/v0.4.2
DZD2VVW9DX DZD2VVW9DX
| URI | m2://inv/DZD2VVW9DX |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-4 (exercise). In E9HS8K3A52, exercise, section 4.1.1
History
- 2026-11-01: add by m2/v0.6.13
Mother wavelet DZD48R7WHM
| URI | m2://inv/DZD48R7WHM |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wavelet#9FOC, Mother wavelet (unknown)
History
- 2026-11-02: add by m2/dev
DZD5C763HQ DZD5C763HQ
| URI | m2://inv/DZD5C763HQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book equivalences.tex#thm:lequiv-contr-hae (statement). In N54F33XE07, thm, section 3.4
History
- 2026-11-01: add by m2/v0.6.13
Definition DZDGGA5MR3
| URI | m2://inv/DZDGGA5MR3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snark (graph theory)#1B3L, Definition (definition)
History
- 2026-11-02: add by m2/dev
Censoring (clinical trials) DZDK6BYZF9
| URI | m2://inv/DZDK6BYZF9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#N2L1, Censoring (clinical trials) (definition)
History
- 2026-11-02: add by m2/dev
DZDMQHDP8S DZDMQHDP8S
| URI | m2://inv/DZDMQHDP8S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 79.2
History
- 2026-11-01: add by m2/v0.6.13
DZDN56YT73 DZDN56YT73
| URI | m2://inv/DZDN56YT73 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40282#2CB8 (definition). In P86RWY99S2/e1, definition 2.1.2
History
- 2026-10-30: add by m2/v0.4.12
measure DZDRYEJ5JV
| URI | m2://inv/DZDRYEJ5JV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Banach spaces#CQ7M, measure (definition)
History
- 2026-11-02: add by m2/dev
classical dilemma DZE27MYMP9
| URI | m2://inv/DZE27MYMP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ARMT, classical dilemma (definition)
History
- 2026-11-02: add by m2/dev
DZED0RCKRA DZED0RCKRA
| URI | m2://inv/DZED0RCKRA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 51-XX, 52-XX, 58-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.07728#39KL (statement). In B1VVAKFCKZ/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.10
DZEDTTFN3P DZEDTTFN3P
| URI | m2://inv/DZEDTTFN3P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.01615#7K66 (statement). In CJYRXT18TD/e1, lemma 3.2
History
- 2026-10-29: add by m2/v0.4.12
DZEFW33GFC DZEFW33GFC
| URI | m2://inv/DZEFW33GFC |
|---|---|
| Kind | problem |
| 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.19333#FJCP (problem). In 5Y3HF693YB/e1, problem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Existence of the edge speeds DZEP8ZASNE
| URI | m2://inv/DZEP8ZASNE |
|---|---|
| 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.18312#BAFA, Existence of the edge speeds (statement). In NPEVE32HFP/e1, proposition 2.1
History
- 2026-10-28: add by m2/v0.4.2
DZERD0FD8Y DZERD0FD8Y
| URI | m2://inv/DZERD0FD8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.04958#110M (statement). In 5HQJSF6458/e1, theorem 4
History
- 2026-10-27: add by m2/v0.3.5
Dormand–Prince method DZESRAZ6CT
| URI | m2://inv/DZESRAZ6CT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dormand–Prince method, Dormand–Prince method (definition). Also Wikidata Q5298067
History
- 2026-11-02: add by m2/dev
type I and type II errors DZEVWBTG9N
| URI | m2://inv/DZEVWBTG9N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of probability and statistics#737G, type I and type II errors (definition)
History
- 2026-11-02: add by m2/dev
DZEXJYRF0B DZEXJYRF0B
| URI | m2://inv/DZEXJYRF0B |
|---|---|
| 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 2403.15255#QKBG (statement). In G691MXMYW0/e1, lemma 2.5
History
- 2026-10-27: add by m2/v0.4.0
Examples DZF13GNBMK
| URI | m2://inv/DZF13GNBMK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contact geometry#HFRX, Examples (example)
History
- 2026-11-02: add by m2/dev
Exact worst-case ratio of the adaptive batch rule DZF2TV3057
| URI | m2://inv/DZF2TV3057 |
|---|---|
| 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.15202#84UV, Exact worst-case ratio of the adaptive batch rule (statement). In X1FPG0KYBM/e1, proposition G.3
History
- 2026-10-28: add by m2/v0.4.2
Bhattacharyya's inequality DZFAEHNN4A
| URI | m2://inv/DZFAEHNN4A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev's inequality#GQ5X, Bhattacharyya's inequality (statement)
History
- 2026-11-02: add by m2/dev
DZFN3K6MT6 DZFN3K6MT6
| URI | m2://inv/DZFN3K6MT6 |
|---|---|
| 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.11829#QOVB (statement). In 76DK6SPN88/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.3
Euler's Graeco-Latin square conjecture DZFQ7F1562
| URI | m2://inv/DZFQ7F1562 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topics named after Leonhard Euler#UMOD, Euler's Graeco-Latin square conjecture (definition)
History
- 2026-11-02: add by m2/dev
Equal probability sampling DZFW5NE9DF
| URI | m2://inv/DZFW5NE9DF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Simple random sample#U5UL, Equal probability sampling (unknown)
History
- 2026-11-02: add by m2/dev
DZFW6MK54S DZFW6MK54S
| URI | m2://inv/DZFW6MK54S |
|---|---|
| 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.10077#GI5I (definition). In YA7H9PY3R1/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
Applications DZG39E90R0
| URI | m2://inv/DZG39E90R0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexastix#CEFQ, Applications (example)
History
- 2026-11-02: add by m2/dev
De Finetti's theorem DZG6QGZNAS
| URI | m2://inv/DZG6QGZNAS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#5S8L, De Finetti's theorem (statement)
History
- 2026-11-02: add by m2/dev
DZGDZM7PRH DZGDZM7PRH
| URI | m2://inv/DZGDZM7PRH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10828#IFY2 (statement). In 8PTDFHV8SQ/e1, proposition 4.1
History
- 2026-10-28: add by m2/v0.4.3
DZGHSDXKWE DZGHSDXKWE
| URI | m2://inv/DZGHSDXKWE |
|---|---|
| Kind | definition |
| 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 2601.22681#QMMW (definition). In 68VEQQX68G/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.0
Definition DZGJYMWNXT
| URI | m2://inv/DZGJYMWNXT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fibonacci sequence#RCG0, Definition (definition)
History
- 2026-11-02: add by m2/dev
Affine-subspace selectors DZGK9SJB3J
| URI | m2://inv/DZGK9SJB3J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16069#IU1E, Affine-subspace selectors (statement). In MBJA03ES8N/e1, corollary 8.2
History
- 2026-10-28: add by m2/v0.4.2
DZGVBAMMK7 DZGVBAMMK7
| URI | m2://inv/DZGVBAMMK7 |
|---|---|
| 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.10927#6IS2 (statement). In DHEJP3YATV/e1, lemma 19
History
- 2026-10-28: add by m2/v0.4.3
DZH0EAPYKC DZH0EAPYKC
| URI | m2://inv/DZH0EAPYKC |
|---|---|
| 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-2 (exercise). In E59CDZA4DP, exercise, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
Specialization of the trapezoidal family DZH22QKAKF
| URI | m2://inv/DZH22QKAKF |
|---|---|
| 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.24541#OLE9, Specialization of the trapezoidal family (statement)
History
- 2026-11-01: add by m2/v0.6.15
Stefan Mazurkiewicz DZHAX67PXT
| URI | m2://inv/DZHAX67PXT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stefan Mazurkiewicz, Stefan Mazurkiewicz (topic). Also Wikidata Q656642
History
- 2026-11-02: add by m2/dev
DZHJRA7Z26 DZHJRA7Z26
| URI | m2://inv/DZHJRA7Z26 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-81 (exercise). In E9HS8K3A52, exercise, section 4.5.4
History
- 2026-11-01: add by m2/v0.6.13
DZHJTTRRB4 DZHJTTRRB4
| URI | m2://inv/DZHJTTRRB4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/affine-var.tex#prop:radical (statement). In RZP28ERRZV, proposition, section 19.3
History
- 2026-11-01: add by m2/v0.6.13
faithful representation DZHK3M9EQ8
| URI | m2://inv/DZHK3M9EQ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5431294, faithful representation (unknown). Also EoM Faithful_representation, LMFDB knowl group.representation.faithful, MathWorld FaithfulRepresentation, nLab faithful representation
- wikipedia: Wikipedia Faithful representation, Faithful representation (definition). Also Wikidata Q5431294
History
- 2026-10-26: add by m2/dev
Schläfli double six DZHW2GQQQZ
| URI | m2://inv/DZHW2GQQQZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7431763, Schläfli double six (concept). Also MathWorld DoubleSixes
- wikipedia: Wikipedia Schläfli double six, Schläfli double six (definition). Also Wikidata Q7431763
History
- 2026-10-26: add by m2/dev
DZJ07P1JWH DZJ07P1JWH
| URI | m2://inv/DZJ07P1JWH |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28289#LQEP (statement)
History
- 2026-11-01: add by m2/v0.6.15
DZJ511TSAR DZJ511TSAR
| URI | m2://inv/DZJ511TSAR |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cohomology.tex#sproblem-1 (exercise). In RZP28ERRZV, sproblem, section 51.8
History
- 2026-11-01: add by m2/v0.6.13
Definition DZJ6AK3K9A
| URI | m2://inv/DZJ6AK3K9A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Balanced polygamma function#LMSM, Definition (definition)
History
- 2026-11-02: add by m2/dev
ShapeShift DZJCD5MYM7
| URI | m2://inv/DZJCD5MYM7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ShapeShift, ShapeShift (definition). Also Wikidata Q25209771
History
- 2026-11-02: add by m2/dev
Jacob Lüroth DZJJMJF9GD
| URI | m2://inv/DZJJMJF9GD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#UC9M, Jacob Lüroth (topic)
History
- 2026-11-02: add by m2/dev
Uses DZK5FKQA81
| URI | m2://inv/DZK5FKQA81 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Propositional variable#YFHY, Uses (example)
History
- 2026-11-02: add by m2/dev
Effective General Position DZKHTCB4YQ
| URI | m2://inv/DZKHTCB4YQ |
|---|---|
| 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.26592#T9AA, Effective General Position (definition)
History
- 2026-11-01: add by m2/v0.6.15
Extensional and intensional definitions DZKJ3WQS5T
| URI | m2://inv/DZKJ3WQS5T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extensional and intensional definitions, Extensional and intensional definitions (definition). Also Wikidata Q19515659
History
- 2026-11-02: add by m2/dev
DZKVAVW6HM DZKVAVW6HM
| URI | m2://inv/DZKVAVW6HM |
|---|---|
| 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.01802#8F88 (statement). In XGPZ0G9E1Q/e1, proposition 9.3
History
- 2026-10-29: add by m2/v0.4.12
Properties of axiom sets DZKVVMH9FG
| URI | m2://inv/DZKVVMH9FG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Synthetic geometry#X8QX, Properties of axiom sets (statement)
History
- 2026-11-02: add by m2/dev
DZKX5GC9H5 DZKX5GC9H5
| URI | m2://inv/DZKX5GC9H5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1709.08958#CRI0 (statement). In H46J8XRDFJ/e1, lemma 1.2.1
History
- 2026-10-27: add by m2/v0.3.5
Hybrid Monte Carlo DZM1A1XFJS
| URI | m2://inv/DZM1A1XFJS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#ODF6, Hybrid Monte Carlo (definition)
History
- 2026-11-02: add by m2/dev
Exponential kernels DZM5J3F1N7
| URI | m2://inv/DZM5J3F1N7 |
|---|---|
| Kind | example |
| 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.32083#NXTY, Exponential kernels (example). In 7H843YN8HK/e1, example 3.3
History
- 2026-10-31: add by m2/v0.5.6
DZMAASAB32 DZMAASAB32
| URI | m2://inv/DZMAASAB32 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.01642#47N7 (example). In CD9T8ZFES1/e1, example 3.2.1
History
- 2026-10-27: add by m2/v0.3.6
Gamma function DZMET57F5F
| URI | m2://inv/DZMET57F5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#DV4K, Gamma function (definition)
History
- 2026-11-02: add by m2/dev
De Sitter space DZMGG5ENS4
| URI | m2://inv/DZMGG5ENS4 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in relativity#H8Y6, De Sitter space (object)
History
- 2026-11-02: add by m2/dev
Relative rigidity DZMWP305HA
| URI | m2://inv/DZMWP305HA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#CMA9, Relative rigidity (statement). In 25B3WHEKH2/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.4.2
DZMY7RPNT3 DZMY7RPNT3
| URI | m2://inv/DZMY7RPNT3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cup-product.tex#example-6 (example). In RZP28ERRZV, example, section 52.7.3
History
- 2026-11-01: add by m2/v0.6.13
List of hundreds of England and Wales DZMZ9D4VJR
| URI | m2://inv/DZMZ9D4VJR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#MWJN, List of hundreds of England and Wales (unknown)
History
- 2026-11-02: add by m2/dev
Measurable acting group DZMZQ7DQ96
| URI | m2://inv/DZMZQ7DQ96 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Measurable acting group, Measurable acting group (definition). Also Wikidata Q56292615
History
- 2026-11-02: add by m2/dev
Homotopy groups of spheres DZN9M4JRQT
| URI | m2://inv/DZN9M4JRQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebraic topology topics#ZR6R, Homotopy groups of spheres (definition)
History
- 2026-11-02: add by m2/dev
DZNAS6E25H DZNAS6E25H
| URI | m2://inv/DZNAS6E25H |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 12F20 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114716152 (topic)
History
- 2026-10-26: add by m2/dev
DZNFDTTNQ0 DZNFDTTNQ0
| URI | m2://inv/DZNFDTTNQ0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/InjectiveSurjectiveFunctions.tex#problem-10 (exercise). In P1C114YBXG, problem, section D
History
- 2026-11-01: add by m2/v0.6.13
Andrey Markov, Jr. DZNKCM2KCE
| URI | m2://inv/DZNKCM2KCE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Russian mathematicians#OYQH, Andrey Markov, Jr. (topic)
History
- 2026-11-02: add by m2/dev
Hipparchus DZNKMW33ZW
| URI | m2://inv/DZNKMW33ZW |
|---|---|
| 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 Q159905, Hipparchus (unknown). Also ProofWiki Mathematician:Hipparchus_of_Nicaea
- wikipedia: Wikipedia Hipparchus, Hipparchus (topic). Also Wikidata Q159905
History
- 2026-10-26: add by m2/dev
A. A. Samarski DZNNE51Q8X
| URI | m2://inv/DZNNE51Q8X |
|---|---|
| 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#7BUU, A. A. Samarski (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#OSUA, A. A. Samarski (topic)
History
- 2026-11-02: add by m2/dev
DZNPJVKM27 DZNPJVKM27
| URI | m2://inv/DZNPJVKM27 |
|---|---|
| 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.12329#NYUL (statement). In ZJQB9W60T6/e1, lemma 8.11
History
- 2026-10-28: add by m2/v0.4.2
graph, oriented DZNWMCTR5M
| URI | m2://inv/DZNWMCTR5M |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics index/13.1/graph-oriented, graph, oriented (concept). In QKM9DD2H56, index, section 13.1
History
- 2026-11-01: add by m2/v0.6.13
Isserlis' theorem DZNYEB4K7E
| URI | m2://inv/DZNYEB4K7E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#8DQ6, Isserlis' theorem (statement)
History
- 2026-11-02: add by m2/dev
Theorem DZP1MN5P6F
| URI | m2://inv/DZP1MN5P6F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Compact operator on Hilbert space#7EFG, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Singularities of pairs DZP2TV9FVG
| URI | m2://inv/DZP2TV9FVG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33679#25BL, Singularities of pairs (definition). In 3N9E9T6AF5/e1, definition 2.2
History
- 2026-10-30: add by m2/v0.4.12
trapezohedron DZPADHXY28
| URI | m2://inv/DZPADHXY28 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q141458, trapezohedron (unknown). Also MathWorld Trapezohedron
- wikipedia: Wikipedia Trapezohedron, Trapezohedron (object). Also Wikidata Q141458
History
- 2026-10-26: add by m2/dev
Cauchy--Schwarz DZPBCBY4TP
| URI | m2://inv/DZPBCBY4TP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#thm-52, Cauchy--Schwarz (statement). In VNMV985MXX, thm, section E.1
History
- 2026-11-01: add by m2/v0.6.13
DZPGFC9HSA DZPGFC9HSA
| URI | m2://inv/DZPGFC9HSA |
|---|---|
| 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 2305.10202#51WX (statement). In ER06JKXR8B/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.0
Brauer DZPPH4X38F
| URI | m2://inv/DZPPH4X38F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of ring theory#EDEN, Brauer (definition)
History
- 2026-11-02: add by m2/dev
Recursive identity DZPWJ9FXBZ
| URI | m2://inv/DZPWJ9FXBZ |
|---|---|
| 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.12853#E675, Recursive identity (statement). In GAX7MSHJE0/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Joseph L. Ullman DZPXCZ4XMR
| URI | m2://inv/DZPXCZ4XMR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph L. Ullman, Joseph L. Ullman (topic). Also Wikidata Q6284758
History
- 2026-11-02: add by m2/dev
DZPZ1KTW2H DZPZ1KTW2H
| URI | m2://inv/DZPZ1KTW2H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#J58S (definition). In A1GWWGRXPA/e1, definition 1.3
History
- 2026-10-27: add by m2/v0.4.2
DZPZDJHYN3 DZPZDJHYN3
| URI | m2://inv/DZPZDJHYN3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-3-5-3.xml#act-3-5-3 (exercise). In 907G4C4EJ1, activity, section 3.5.3
History
- 2026-11-01: add by m2/v0.6.13
DZQ055DYYM DZQ055DYYM
| URI | m2://inv/DZQ055DYYM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06338#FJIW (statement). In F1CYVYK7YB/e1, theorem 8.1
History
- 2026-10-29: add by m2/v0.4.10
Gδ space DZQ7EW4HMQ
| URI | m2://inv/DZQ7EW4HMQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gδ space, Gδ space (definition). Also Wikidata Q5627777
History
- 2026-11-02: add by m2/dev
John Horton Conway DZQDEWYT3P
| URI | m2://inv/DZQDEWYT3P |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#UGSY, John Horton Conway (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#8AUQ, John Horton Conway (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#GL4H, John Horton Conway (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#Z1Z5, John Horton Conway (topic)
History
- 2026-11-02: add by m2/dev
Properties DZQE11M7DX
| URI | m2://inv/DZQE11M7DX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Special unitary group#AMBB, Properties (statement)
History
- 2026-11-02: add by m2/dev
DZQKYYMN0C DZQKYYMN0C
| URI | m2://inv/DZQKYYMN0C |
|---|---|
| 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.06152#BUE1 (statement). In HH35K7S17H/e1, proposition A.32
History
- 2026-10-29: add by m2/v0.4.10
DZQR03RC2W DZQR03RC2W
| URI | m2://inv/DZQR03RC2W |
|---|---|
| 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.16225#REAZ (statement). In H3DJV9YQW1/e1, theorem 2.2
History
- 2026-10-28: add by m2/v0.4.2
DZQTDKNJER DZQTDKNJER
| URI | m2://inv/DZQTDKNJER |
|---|---|
| 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.24541#MXLM (definition)
History
- 2026-11-01: add by m2/v0.6.15
DZQVYTXSXQ DZQVYTXSXQ
| URI | m2://inv/DZQVYTXSXQ |
|---|---|
| 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 2207.12181#KJRD (definition). In FSD8NE3XSR/e1, definition 7.18
History
- 2026-10-27: add by m2/v0.4.0
DZQYQA4PRJ DZQYQA4PRJ
| URI | m2://inv/DZQYQA4PRJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27922#L1BF (statement)
History
- 2026-11-01: add by m2/v0.6.15
Rank product DZR1101QMH
| URI | m2://inv/DZR1101QMH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rank product, Rank product (definition). Also Wikidata Q17051866
History
- 2026-11-02: add by m2/dev
Werner Hildenbrand DZR7341Z6R
| URI | m2://inv/DZR7341Z6R |
|---|---|
| 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#WTJV, Werner Hildenbrand (unknown)
History
- 2026-11-02: add by m2/dev
Remote point DZR86W5199
| URI | m2://inv/DZR86W5199 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Remote point, Remote point (definition). Also Wikidata Q97358764
History
- 2026-11-02: add by m2/dev
Proposition DZR8J50MP3
| URI | m2://inv/DZR8J50MP3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ultrafilter on a set#IWDN, Proposition (statement)
History
- 2026-11-02: add by m2/dev
DZR9FRGGKZ DZR9FRGGKZ
| URI | m2://inv/DZR9FRGGKZ |
|---|---|
| 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.15360#KRX3 (statement). In DJCXDQQK7Y/e1, theorem 1.1
History
- 2026-10-28: add by m2/v0.4.2
DZRDXX25WF DZRDXX25WF
| URI | m2://inv/DZRDXX25WF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-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.14278#ASHK (statement). In RTE2C0PH4S/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
DZRVSHYV1X DZRVSHYV1X
| URI | m2://inv/DZRVSHYV1X |
|---|---|
| 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.26951#LH52 (statement)
History
- 2026-11-01: add by m2/v0.6.15
DZRZF6D9DP DZRZF6D9DP
| URI | m2://inv/DZRZF6D9DP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 37-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.21931#G8EF (statement)
History
- 2026-11-02: add by m2/v0.6.17
DZS9PM7MBJ DZS9PM7MBJ
| URI | m2://inv/DZS9PM7MBJ |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/rep-alg.tex#proof-3 (proof). In RZP28ERRZV, proof, section 80.6
History
- 2026-11-01: add by m2/v0.6.13
DZSE61ADB2 DZSE61ADB2
| URI | m2://inv/DZSE61ADB2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16059#2STZ (statement). In 51W7AECQDA/e1, proposition 4.5
History
- 2026-10-28: add by m2/v0.4.2
DZSEEY6QXE DZSEEY6QXE
| URI | m2://inv/DZSEEY6QXE |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/gt-trees.ptx#exercise-14 (exercise). In Y91XFCEVHQ, exercise, section 5.2
History
- 2026-11-01: add by m2/v0.6.13
Properties DZSPNQ9WAT
| URI | m2://inv/DZSPNQ9WAT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arithmetic billiards#JQ5C, Properties (statement)
History
- 2026-11-02: add by m2/dev
Fenchel conjugate DZSSF6X7FQ
| URI | m2://inv/DZSSF6X7FQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of convexity topics#61FS, Fenchel conjugate (definition)
History
- 2026-11-02: add by m2/dev
Reduction lemma DZT43759P1
| URI | m2://inv/DZT43759P1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.22132#ESNZ, Reduction lemma (statement). In FDVAR4G2C4/e1, lemma 1.3
History
- 2026-10-27: add by m2/v0.4.0
Bidifferential operator DZTHV9ERM4
| URI | m2://inv/DZTHV9ERM4 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential operator#Y07V, Bidifferential operator (unknown)
History
- 2026-11-02: add by m2/dev
Polynomial reformulation DZTTFHCAJ2
| URI | m2://inv/DZTTFHCAJ2 |
|---|---|
| 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.07214#V62B, Polynomial reformulation (statement). In 669PBFJX0Z/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Barnabé Brisson DZTTNGFJZE
| URI | m2://inv/DZTTNGFJZE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barnabé Brisson (engineer), Barnabé Brisson (topic). Also Wikidata Q2884655
History
- 2026-11-02: add by m2/dev
Giovanni Battista Rizza DZTWZEG6F4
| URI | m2://inv/DZTWZEG6F4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Giovanni Battista Rizza, Giovanni Battista Rizza (topic). Also Wikidata Q5563749
History
- 2026-11-02: add by m2/dev
DZTYK26S06 DZTYK26S06
| URI | m2://inv/DZTYK26S06 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#7AWK (statement). In V7SN19J84T/e1, theorem 7.23
History
- 2026-10-28: add by m2/v0.4.2
4,294,967,295 DZTYQG1R2Q
| URI | m2://inv/DZTYQG1R2Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 4,294,967,295, 4,294,967,295 (definition). Also Wikidata Q16143324
History
- 2026-11-02: add by m2/dev
DZV8H6NM3T DZV8H6NM3T
| URI | m2://inv/DZV8H6NM3T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29107#CCBE (statement)
History
- 2026-11-01: add by m2/v0.6.15
DZVCG17919 DZVCG17919
| URI | m2://inv/DZVCG17919 |
|---|---|
| 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 2304.03611#YCLC (statement). In 75E8ZB1CBV/e1, proposition 5.1.1
History
- 2026-10-27: add by m2/v0.4.0
Dec2hex DZVE9ZBC1D
| URI | m2://inv/DZVE9ZBC1D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexadecimal#JCPZ, Dec2hex (unknown)
History
- 2026-11-02: add by m2/dev
Automatic group DZVWV2PKW2
| URI | m2://inv/DZVWV2PKW2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Automatic group, Automatic group (definition). Also Wikidata Q4826571
History
- 2026-11-02: add by m2/dev
DZW7JQJ5MR DZW7JQJ5MR
| URI | m2://inv/DZW7JQJ5MR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-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.17045#TYG0 (statement). In PA6JQDSKQT/e1, proposition 4.7
History
- 2026-10-28: add by m2/v0.4.2
DZW9GDZZB3 DZW9GDZZB3
| URI | m2://inv/DZW9GDZZB3 |
|---|---|
| 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.35467#JTY7 (statement). In FK89DQ9J4S/e1, theorem 5.5
History
- 2026-10-30: add by m2/v0.4.12
One-ended chain balance DZW9VRJGD7
| URI | m2://inv/DZW9VRJGD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20414#ZTP2, One-ended chain balance (statement). In X2NNNW8CX5/e1, lemma 7.5
History
- 2026-10-27: add by m2/v0.4.2
Pressure volume work DZWRPARW66
| URI | m2://inv/DZWRPARW66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Work (thermodynamics)#NNZ0, Pressure volume work (unknown)
History
- 2026-11-02: add by m2/dev
``continuity'' of functions in type theory DZWZ970WFW
| URI | m2://inv/DZWZ970WFW |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1.4/continuity-of-functions-in-type-theory, ``continuity'' of functions in type theory (concept). In N54F33XE07, index, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
Alice universe DZX127EMYK
| URI | m2://inv/DZX127EMYK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-orientable wormhole#LFY2, Alice universe (unknown)
History
- 2026-11-02: add by m2/dev
tetrahedral group DZX6T1VHNX
| URI | m2://inv/DZX6T1VHNX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q45034192, tetrahedral group (statement). Also MathWorld TetrahedralGroup, nLab tetrahedral group, ProofWiki Alternating_Group_on_4_Letters
History
- 2026-10-26: add by m2/dev
Copenhagen interpretation DZXDN8Y9KZ
| URI | m2://inv/DZXDN8Y9KZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q46079, Copenhagen interpretation (definition). Also ProofWiki Definition:Copenhagen_Interpretation
History
- 2026-10-26: add by m2/dev
Applications DZXF8E7J4Q
| URI | m2://inv/DZXF8E7J4Q |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kähler differential#V4LM, Applications (example)
History
- 2026-11-02: add by m2/dev
DZXFA1Y0J6 DZXFA1Y0J6
| URI | m2://inv/DZXFA1Y0J6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17116#34XG (statement). In A02X6MX28Y/e1, corollary 3.8
History
- 2026-10-28: add by m2/v0.4.2
Astronomical nutation DZXHCS6VF5
| URI | m2://inv/DZXHCS6VF5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Astronomical nutation, Astronomical nutation (definition). Also Wikidata Q190009
History
- 2026-11-02: add by m2/dev
Properties of functions in $\mathcal F_j^+$ DZXYW5A14K
| URI | m2://inv/DZXYW5A14K |
|---|---|
| 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#YDSD, Properties of functions in $\mathcal F_j^+$ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples DZY06VVWQ1
| URI | m2://inv/DZY06VVWQ1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dimension (vector space)#N6WX, Examples (example)
History
- 2026-11-02: add by m2/dev
Alexander Crescenzi DZYCH9392Z
| URI | m2://inv/DZYCH9392Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#7AMS, Alexander Crescenzi (unknown)
History
- 2026-11-02: add by m2/dev
Lagrange reversion theorem DZYCMXHZNB
| URI | m2://inv/DZYCMXHZNB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6402928, Lagrange reversion theorem (statement). Also Wikidata Q6402928
- thousand_plus: thousand_plus Q6402928, Lagrange reversion theorem (statement). Also Wikidata Q6402928, Wikipedia Lagrange reversion theorem
- wikidata: Wikidata Q6402928, Lagrange reversion theorem (statement). Also MathWorld LagrangeInversionTheorem
- wikipedia: Wikipedia Lagrange reversion theorem, Lagrange reversion theorem (statement). Also Wikidata Q6402928
History
- 2026-10-26: add by m2/dev
Example DZYJ2RFRG5
| URI | m2://inv/DZYJ2RFRG5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kernel density estimation#HTVU, Example (example)
History
- 2026-11-02: add by m2/dev
Dirichlet's theorem DZYRCB8MXG
| URI | m2://inv/DZYRCB8MXG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of sums of reciprocals#CRLV, Dirichlet's theorem (statement)
History
- 2026-11-02: add by m2/dev
DZZ3GN4GCZ DZZ3GN4GCZ
| URI | m2://inv/DZZ3GN4GCZ |
|---|---|
| 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#DBLG (statement). In 8ZKPJ3CBDF/e1, proposition 5.8
History
- 2026-10-28: add by m2/v0.4.2
DZZ5706JGP DZZ5706JGP
| URI | m2://inv/DZZ5706JGP |
|---|---|
| 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.16989#58B6 (statement). In 4769XNDWYS/e1, proposition 2.4
History
- 2026-10-28: add by m2/v0.4.2
DZZAA5TQEX DZZAA5TQEX
| URI | m2://inv/DZZAA5TQEX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/sequent-calculus/admissible-derivable.tex#defn-3 (definition). In PKGMM3P5QY, defn, section 61.6
History
- 2026-11-01: add by m2/v0.6.13
DZZE2WS7C8 DZZE2WS7C8
| URI | m2://inv/DZZE2WS7C8 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_ramsey_girth.ptx#proof-1 (proof). In QKM9DD2H56, proof, section 11.6
History
- 2026-11-01: add by m2/v0.6.13
DZZR7H9YJW DZZR7H9YJW
| URI | m2://inv/DZZR7H9YJW |
|---|---|
| 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.05327#NOB0 (statement). In ZD7BWDKT84/e1, lemma A.6
History
- 2026-10-29: add by m2/v0.4.10
Elvin C. Drake DZZWCF27JN
| URI | m2://inv/DZZWCF27JN |
|---|---|
| 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#7V5Y, Elvin C. Drake (unknown)
History
- 2026-11-02: add by m2/dev
DZZX0QZFSK DZZX0QZFSK
| URI | m2://inv/DZZX0QZFSK |
|---|---|
| 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.29949#QWML (statement)
History
- 2026-11-01: add by m2/v0.6.15
DZZY56XT05 DZZY56XT05
| URI | m2://inv/DZZY56XT05 |
|---|---|
| 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.24023#6D83 (definition)
History
- 2026-11-02: add by m2/v0.6.17