Inventory rows BZ
The cards of the rows of the inventory whose ids start with BZ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
\textbf{Basis properties of $\mathcal R_d$ BZ01DE4FN0
| URI | m2://inv/BZ01DE4FN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 30-XX, 32-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 2610.14266#UKQJ, \textbf{Basis properties of $\mathcal R_d$ (statement). In 7R33E8515R/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
Helgason's inversion formula BZ08V4ZMQ6
| URI | m2://inv/BZ08V4ZMQ6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Funk transform#4J24, Helgason's inversion formula (statement)
History
- 2026-11-02: add by m2/dev
Zero set of a unimodular trinomial BZ0ACRRNEF
| URI | m2://inv/BZ0ACRRNEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.27970#1YTL, Zero set of a unimodular trinomial (statement)
History
- 2026-11-01: add by m2/v0.6.15
John Zaller BZ0CHZMPKQ
| URI | m2://inv/BZ0CHZMPKQ |
|---|---|
| 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#FTGU, John Zaller (unknown)
History
- 2026-11-02: add by m2/dev
BZ0J3BYBV9 BZ0J3BYBV9
| URI | m2://inv/BZ0J3BYBV9 |
|---|---|
| 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.36412#QMKZ (statement). In 6HKGGCMBCK/e1, lemma 9.2
History
- 2026-10-30: add by m2/v0.4.12
Heart rate variability BZ0PWRRM9D
| URI | m2://inv/BZ0PWRRM9D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#R3SE, Heart rate variability (definition)
History
- 2026-11-02: add by m2/dev
BZ1EMB2D4E BZ1EMB2D4E
| URI | m2://inv/BZ1EMB2D4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 20-XX, 22-XX, 46-XX, 47-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.01208#YI7A (statement). In 317GZJ38HS/e1, lemma 2.2
History
- 2026-10-29: add by m2/v0.4.12
predicative BZ206312P7
| URI | m2://inv/BZ206312P7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Principia Mathematica#V93L, predicative (definition)
History
- 2026-11-02: add by m2/dev
BZ261HA7TY BZ261HA7TY
| URI | m2://inv/BZ261HA7TY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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.35209#F4P0 (statement). In YEERR7F4NW/e1, theorem A
History
- 2026-10-30: add by m2/v0.4.12
Examples BZ2JYRRW67
| URI | m2://inv/BZ2JYRRW67 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glivenko–Cantelli theorem#ZNRR, Examples (example)
History
- 2026-11-02: add by m2/dev
Kuczynski, Robert René BZ2KS47G7H
| URI | m2://inv/BZ2KS47G7H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#FUM9, Kuczynski, Robert René (unknown)
History
- 2026-11-02: add by m2/dev
BZ2NXAW836 BZ2NXAW836
| URI | m2://inv/BZ2NXAW836 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-23 (exercise). In E59CDZA4DP, exercise, section 3.3.3
History
- 2026-11-01: add by m2/v0.6.13
Statement of the theorem BZ2PG5WK1X
| URI | m2://inv/BZ2PG5WK1X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cubic reciprocity#P7JY, Statement of the theorem (statement)
History
- 2026-11-02: add by m2/dev
Definitions BZ32Y6PQT7
| URI | m2://inv/BZ32Y6PQT7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schlessinger's theorem#T1NA, Definitions (definition)
History
- 2026-11-02: add by m2/dev
BZ35JH9CQX BZ35JH9CQX
| URI | m2://inv/BZ35JH9CQX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#Y80R (statement). In GQQZNRYK15/e1, proposition 2.2
History
- 2026-10-31: add by m2/v0.5.6
Borel distribution BZ35M6A695
| URI | m2://inv/BZ35M6A695 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel distribution, Borel distribution (definition). Also Wikidata Q17005364
History
- 2026-11-02: add by m2/dev
Applications BZ36E03PK0
| URI | m2://inv/BZ36E03PK0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mereotopology#RVSH, Applications (example)
History
- 2026-11-02: add by m2/dev
BZ3BZQC2TN BZ3BZQC2TN
| URI | m2://inv/BZ3BZQC2TN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2309.15228#SKIG (example). In 4778KMFZAF/e1, example 2.8
History
- 2026-10-27: add by m2/v0.3.5
concavity BZ3DGDZW0F
| URI | m2://inv/BZ3DGDZW0F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves topics#3G09, concavity (definition)
History
- 2026-11-02: add by m2/dev
measurable cardinal BZ3DJE9CBH
| URI | m2://inv/BZ3DJE9CBH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#3EBF, measurable cardinal (definition)
History
- 2026-11-02: add by m2/dev
BZ3HGRNJMN BZ3HGRNJMN
| URI | m2://inv/BZ3HGRNJMN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20207#MXA2 (statement). In 1MPH7GCFJ2/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.2
BZ3N9F9SE8 BZ3N9F9SE8
| URI | m2://inv/BZ3N9F9SE8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.02059#1XCK (statement). In 630RJSKBPW/e1, theorem 3.2
History
- 2026-10-29: add by m2/v0.4.12
Bias-dependent improvement BZ3SCK4S5P
| URI | m2://inv/BZ3SCK4S5P |
|---|---|
| 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.12357#NN70, Bias-dependent improvement (statement). In 1F26AF81XP/e1, corollary 3.4
History
- 2026-10-28: add by m2/v0.4.2
Subhash Khot BZ3Y9CVJSD
| URI | m2://inv/BZ3Y9CVJSD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#LOTU, Subhash Khot (topic)
History
- 2026-11-02: add by m2/dev
Wall–Sun–Sun prime BZ43AF7SET
| URI | m2://inv/BZ43AF7SET |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#UWUH, Wall–Sun–Sun prime (conjecture)
History
- 2026-11-02: add by m2/dev
Terminology BZ465KVXGB
| URI | m2://inv/BZ465KVXGB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bézier curve#4G4R, Terminology (definition)
History
- 2026-11-02: add by m2/dev
degree BZ47PGPVXW
| URI | m2://inv/BZ47PGPVXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic topology#PD6J, degree (definition)
History
- 2026-11-02: add by m2/dev
Desargues' theorem BZ4A5WVMAM
| URI | m2://inv/BZ4A5WVMAM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#XZZZ, Desargues' theorem (statement)
History
- 2026-11-02: add by m2/dev
BZ4B199D46 BZ4B199D46
| URI | m2://inv/BZ4B199D46 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10477#IPMU (statement). In 1NZSZ241WE/e1, lemma 2.6
History
- 2026-10-29: add by m2/v0.4.10
Ear decomposition BZ4FCD9N7T
| URI | m2://inv/BZ4FCD9N7T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ear decomposition, Ear decomposition (definition). Also Wikidata Q5325632
History
- 2026-11-02: add by m2/dev
Examples BZ4GWZJMBC
| URI | m2://inv/BZ4GWZJMBC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Limit ordinal#U8P9, Examples (example)
History
- 2026-11-02: add by m2/dev
Mathematica BZ4H4FF4C1
| URI | m2://inv/BZ4H4FF4C1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#7SEX, Mathematica (definition)
History
- 2026-11-02: add by m2/dev
BZ4JMQF372 BZ4JMQF372
| URI | m2://inv/BZ4JMQF372 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2007.14459#4A70 (definition). In SGQ7VFEZ22/e1, definition 2.9
History
- 2026-10-27: add by m2/v0.3.5
Grunsky's theorem BZ4S4DFSPH
| URI | m2://inv/BZ4S4DFSPH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5612131, Grunsky's theorem (statement). Also Wikidata Q5612131
- thousand_plus: thousand_plus Q5612131, Grunsky's theorem (statement). Also Wikidata Q5612131, Wikipedia Grunsky's theorem
- wikipedia: Wikipedia Grunsky's theorem, Grunsky's theorem (statement). Also Wikidata Q5612131
History
- 2026-10-26: add by m2/dev
Soundness and confinement in invertible-$H$ codes BZ4SM7VZ04
| URI | m2://inv/BZ4SM7VZ04 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2610.04834#JWQ4, Soundness and confinement in invertible-$H$ codes (statement). In YZNK67K060/e1, proposition 8.1
History
- 2026-10-29: add by m2/v0.4.12
Samuil Shatunovsky BZ4V0R9T6R
| URI | m2://inv/BZ4V0R9T6R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#X47S, Samuil Shatunovsky (unknown)
History
- 2026-11-02: add by m2/dev
BZ4V8DKC6C BZ4V8DKC6C
| URI | m2://inv/BZ4V8DKC6C |
|---|---|
| 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.06556#T3P2 (statement). In KW8C7VE9XR/e1, corollary 27
History
- 2026-10-29: add by m2/v0.4.10
Control of the certificate on near and far regions BZ4X4NAM01
| URI | m2://inv/BZ4X4NAM01 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30220#EPI9, Control of the certificate on near and far regions (statement)
History
- 2026-11-01: add by m2/v0.6.15
BZ51720X75 BZ51720X75
| URI | m2://inv/BZ51720X75 |
|---|---|
| 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.39981#II8J (statement). In PMMV6YAEVR/e1, lemma 9
History
- 2026-10-30: add by m2/v0.4.12
Arunas Rudvalis BZ59FHY127
| URI | m2://inv/BZ59FHY127 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#EQKP, Arunas Rudvalis (unknown)
History
- 2026-11-02: add by m2/dev
Selected function BZ5PQ7RFBZ
| URI | m2://inv/BZ5PQ7RFBZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29597#MG4G, Selected function (definition)
History
- 2026-11-01: add by m2/v0.6.15
Quine's criterion BZ665N9MJF
| URI | m2://inv/BZ665N9MJF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ontological commitment#I8O1, Quine's criterion (statement)
History
- 2026-11-02: add by m2/dev
BZ68F02WXY BZ68F02WXY
| URI | m2://inv/BZ68F02WXY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21408#US4O (statement). In 3XBEGXNPXZ/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.4.2
BZ6M9EJ7GY BZ6M9EJ7GY
| URI | m2://inv/BZ6M9EJ7GY |
|---|---|
| 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#VQAU (statement)
History
- 2026-11-01: add by m2/v0.6.15
Definition BZ6N54VRXJ
| URI | m2://inv/BZ6N54VRXJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Covering space#0QXE, Definition (definition)
History
- 2026-11-02: add by m2/dev
BZ6QPZD4GX BZ6QPZD4GX
| URI | m2://inv/BZ6QPZD4GX |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 46-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2606.21391#YURK (example). In J9C7YMKJ33/e1, example 4.24
History
- 2026-10-27: add by m2/v0.3.5
Langlands–Shahidi method BZ6V2TH2NP
| URI | m2://inv/BZ6V2TH2NP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Langlands–Shahidi method, Langlands–Shahidi method (definition). Also Wikidata Q6486192
History
- 2026-11-02: add by m2/dev
BZ6Y0QKJZJ BZ6Y0QKJZJ
| URI | m2://inv/BZ6Y0QKJZJ |
|---|---|
| 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.24065#SA7U (statement)
History
- 2026-11-02: add by m2/v0.6.17
BZ70BXRNAG BZ70BXRNAG
| URI | m2://inv/BZ70BXRNAG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/tableaux/completeness.tex#cor:weak-completeness (statement). In PKGMM3P5QY, cor, section 55.4
History
- 2026-11-01: add by m2/v0.6.13
BZ747H3TT5 BZ747H3TT5
| URI | m2://inv/BZ747H3TT5 |
|---|---|
| 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.01737#B7KS (statement). In M4JGP708F4/e1, lemma 2.18
History
- 2026-10-29: add by m2/v0.4.12
BZ77MD7R7C BZ77MD7R7C
| URI | m2://inv/BZ77MD7R7C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks 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.28295#WGNR (statement)
History
- 2026-11-01: add by m2/v0.6.15
BZ78WNN41P BZ78WNN41P
| URI | m2://inv/BZ78WNN41P |
|---|---|
| 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.07828#SO0J (statement). In TWGMVT1N1G/e1, lemma 8.8
History
- 2026-10-29: add by m2/v0.4.10
Basic properties BZ7K7BWN11
| URI | m2://inv/BZ7K7BWN11 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equality (mathematics)#8UH9, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Proposition (logic) BZ80D974VF
| URI | m2://inv/BZ80D974VF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proposition#MYIR, Proposition (logic) (unknown)
History
- 2026-11-02: add by m2/dev
F. Reese Harvey BZ80MC2FKC
| URI | m2://inv/BZ80MC2FKC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia F. Reese Harvey, F. Reese Harvey (topic). Also Wikidata Q100743441
History
- 2026-11-02: add by m2/dev
Trace distance BZ8EAM8NKS
| URI | m2://inv/BZ8EAM8NKS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trace distance, Trace distance (definition). Also Wikidata Q7831154
History
- 2026-11-02: add by m2/dev
J. Le Roux BZ8ST5ECTB
| URI | m2://inv/BZ8ST5ECTB |
|---|---|
| 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#C2EL, J. Le Roux (topic)
History
- 2026-11-02: add by m2/dev
BZ8VKWJ7AX BZ8VKWJ7AX
| URI | m2://inv/BZ8VKWJ7AX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2112.14455#QWBV (statement). In VDE5R8HBS1/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.3.5
equicontinuity BZ8YT7JRJZ
| URI | m2://inv/BZ8YT7JRJZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Equicontinuity 0XN66MZN0Y |
Mentions
- wikidata: Wikidata Q249092, equicontinuity (unknown). Also EoM Equicontinuity, MathWorld Equicontinuous
- wikipedia: Wikipedia Equicontinuity, Equicontinuity (definition). Also Wikidata Q249092
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
Nikolaus Hofreiter BZ92KG9FY2
| URI | m2://inv/BZ92KG9FY2 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nikolaus Hofreiter, Nikolaus Hofreiter (topic). Also Wikidata Q88041
History
- 2026-11-02: add by m2/dev
Menstrual cycle BZ93H7SK4Y
| URI | m2://inv/BZ93H7SK4Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common misconceptions about science, technology, and mathematics#06FO, Menstrual cycle (unknown)
History
- 2026-11-02: add by m2/dev
BZ97DAHA5Q BZ97DAHA5Q
| URI | m2://inv/BZ97DAHA5Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_recurrence_rigorous.ptx#theorem-1 (statement). In QKM9DD2H56, theorem, section 9.5.2
History
- 2026-11-01: add by m2/v0.6.13
BZ9BCKVRVX BZ9BCKVRVX
| URI | m2://inv/BZ9BCKVRVX |
|---|---|
| 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.28011#YCCO (definition)
History
- 2026-11-01: add by m2/v0.6.15
BZ9FF0AE6Y BZ9FF0AE6Y
| URI | m2://inv/BZ9FF0AE6Y |
|---|---|
| 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 2511.17751#3MYM (statement). In J39X0NB31S/e1, proposition 4.3
History
- 2026-10-27: add by m2/v0.3.5
BZ9K93K7F5 BZ9K93K7F5
| URI | m2://inv/BZ9K93K7F5 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid number#0NRN (problem)
History
- 2026-11-02: add by m2/dev
BZ9N9Z7HS1 BZ9N9Z7HS1
| URI | m2://inv/BZ9N9Z7HS1 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-107 (exercise). In VNMV985MXX, exercise, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
Olena Dvornichenko BZ9PESCJTF
| URI | m2://inv/BZ9PESCJTF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#49CU, Olena Dvornichenko (unknown)
History
- 2026-11-02: add by m2/dev
BZ9QGGKDX2 BZ9QGGKDX2
| URI | m2://inv/BZ9QGGKDX2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18219#AXXL (statement). In X1AGBB90EH/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Jacobi auxiliary theta functions BZ9VK2JG3T
| URI | m2://inv/BZ9VK2JG3T |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theta function#UK1H, Jacobi auxiliary theta functions (unknown)
History
- 2026-11-02: add by m2/dev
General formula BZA1BNG513
| URI | m2://inv/BZA1BNG513 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Catalan's triangle#V28S, General formula (statement)
History
- 2026-11-02: add by m2/dev
Multidimensional parity-check code BZA2STAJCA
| URI | m2://inv/BZA2STAJCA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multidimensional parity-check code, Multidimensional parity-check code (definition). Also Wikidata Q6934658
History
- 2026-11-02: add by m2/dev
Geometric standard deviation BZA5CQWH5F
| URI | m2://inv/BZA5CQWH5F |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#LFDR, Geometric standard deviation (definition)
History
- 2026-11-02: add by m2/dev
Institut de mathématiques de Jussieu – Paris Rive Gauche BZACYAQW1Q
| URI | m2://inv/BZACYAQW1Q |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Institut de mathématiques de Jussieu – Paris Rive Gauche, Institut de mathématiques de Jussieu – Paris Rive Gauche (definition). Also Wikidata Q3152049
History
- 2026-11-02: add by m2/dev
BZAD46VZ06 BZAD46VZ06
| URI | m2://inv/BZAD46VZ06 |
|---|---|
| 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.06108#64R9 (example). In D3WKY1PW64/e1, example 3.1
History
- 2026-10-29: add by m2/v0.4.10
Filter quantifier BZAEFHBFBZ
| URI | m2://inv/BZAEFHBFBZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Filter quantifier, Filter quantifier (definition). Also Wikidata Q97359288
History
- 2026-11-02: add by m2/dev
BZAF099YYJ BZAF099YYJ
| URI | m2://inv/BZAF099YYJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 16-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 2610.14060#RM7Q (statement). In X47RYAZF8P/e1, corollary 10.9
History
- 2026-10-28: add by m2/v0.4.2
BZAKM573H2 BZAKM573H2
| URI | m2://inv/BZAKM573H2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#1VGQ (definition). In XGPZ0G9E1Q/e1, definition 3.11
History
- 2026-10-29: add by m2/v0.4.12
BZB1MPW587 BZB1MPW587
| URI | m2://inv/BZB1MPW587 |
|---|---|
| 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.01267#DWC0 (statement). In GWWHP6R0BZ/e1, proposition 4.10
History
- 2026-10-29: add by m2/v0.4.12
rotational symmetry BZB61W9F56
| URI | m2://inv/BZB61W9F56 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q593950, rotational symmetry (unknown). Also MathWorld RotationalSymmetry
- wikipedia: Wikipedia Rotational symmetry, Rotational symmetry (definition). Also Wikidata Q593950
History
- 2026-10-26: add by m2/dev
BZBAGRZ5K7 BZBAGRZ5K7
| URI | m2://inv/BZBAGRZ5K7 |
|---|---|
| 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 2503.08018#ACQ6 (statement). In TN93YFN45W/e1, lemma 3.9
History
- 2026-10-27: add by m2/v0.4.0
Newton--Schulz matrix bounds BZBCS6KPWT
| URI | m2://inv/BZBCS6KPWT |
|---|---|
| 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.03306#L47D, Newton--Schulz matrix bounds (statement). In CXQ7FKSKSB/e1, lemma B.3
History
- 2026-10-29: add by m2/v0.4.12
BZBD3JTDQZ BZBD3JTDQZ
| URI | m2://inv/BZBD3JTDQZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20513#LU0C (statement)
History
- 2026-11-02: add by m2/v0.6.18
ternary relation BZBKZPWEZ7
| URI | m2://inv/BZBKZPWEZ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3756532, ternary relation (unknown). Also nLab ternary relation
- wikipedia: Wikipedia Ternary relation, Ternary relation (definition). Also Wikidata Q3756532
History
- 2026-10-26: add by m2/dev
Euler–Cauchy stress principle BZC2BF3XTM
| URI | m2://inv/BZC2BF3XTM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Augustin-Louis Cauchy#8OP5, Euler–Cauchy stress principle (definition)
History
- 2026-11-02: add by m2/dev
BZC6F76N15 BZC6F76N15
| URI | m2://inv/BZC6F76N15 |
|---|---|
| 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.13076#LYUR (statement). In K7GJA4WGV7/e1, proposition 2.3
History
- 2026-10-28: add by m2/v0.4.2
Fannes–Audenaert inequality BZCC921RW0
| URI | m2://inv/BZCC921RW0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#BGNK, Fannes–Audenaert inequality (statement)
History
- 2026-11-02: add by m2/dev
BZCCJNZNGR BZCCJNZNGR
| URI | m2://inv/BZCCJNZNGR |
|---|---|
| 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.20489#JUVI (statement). In BJ8JJZ0ZWT/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
Applications BZCNDYJG49
| URI | m2://inv/BZCNDYJG49 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ihara zeta function#5G6R, Applications (example)
History
- 2026-11-02: add by m2/dev
BZCW7SP62S BZCW7SP62S
| URI | m2://inv/BZCW7SP62S |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1103.1038#YMDJ (definition). In T9VMNNPS0H/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.6
BZCWYYTARC BZCWYYTARC
| URI | m2://inv/BZCWYYTARC |
|---|---|
| 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 2610.10546#H65A (definition). In K5R5RRPMQ5/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Duodecimal BZCZ5XWKZ2
| URI | m2://inv/BZCZ5XWKZ2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of numbers#MEPU, Duodecimal (definition)
History
- 2026-11-02: add by m2/dev
BZD94F9C2F BZD94F9C2F
| URI | m2://inv/BZD94F9C2F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20299#LYSO (statement). In P7T0W5D3W3/e1, proposition 2.7
History
- 2026-10-27: add by m2/v0.4.2
Example BZDC1MYV95
| URI | m2://inv/BZDC1MYV95 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mediation (statistics)#S2QV, Example (example)
History
- 2026-11-02: add by m2/dev
George Udny Yule BZDJ8Q6H2Q
| URI | m2://inv/BZDJ8Q6H2Q |
|---|---|
| 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#QW3D, George Udny Yule (unknown)
History
- 2026-11-02: add by m2/dev
Almost everywhere BZDJCNRVQQ
| URI | m2://inv/BZDJCNRVQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical abbreviations#2KQ3, Almost everywhere (definition)
History
- 2026-11-02: add by m2/dev
BZDQB8ZSF6 BZDQB8ZSF6
| URI | m2://inv/BZDQB8ZSF6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08697#9OKD (definition). In GJ4ZMDQF3C/e1, definition 3
History
- 2026-10-29: add by m2/v0.4.10
BZDQHKZNSX BZDQHKZNSX
| URI | m2://inv/BZDQHKZNSX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00337#OZS5 (statement). In 5STQ3ABZ60/e1, lemma 8.1
History
- 2026-10-30: add by m2/v0.4.12
Practical rationality BZDS9JWAFK
| URI | m2://inv/BZDS9JWAFK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rationality#C9MK, Practical rationality (unknown)
History
- 2026-11-02: add by m2/dev
BZDSHZS81S BZDSHZS81S
| URI | m2://inv/BZDSHZS81S |
|---|---|
| Kind | definition |
| 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 2610.14847#65BF (definition). In 2RC8WXQ9ET/e1, definition 2.1
History
- 2026-10-28: add by m2/v0.4.2
BZDTYY5M6J BZDTYY5M6J
| URI | m2://inv/BZDTYY5M6J |
|---|---|
| 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 1803.10042#6T80 (statement). In 718SP8YERQ/e1, proposition A5
History
- 2026-10-27: add by m2/v0.3.5
Construction BZE2RQZ4D8
| URI | m2://inv/BZE2RQZ4D8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transfer (group theory)#ROJQ, Construction (definition)
History
- 2026-11-02: add by m2/dev
BZE4MY1KSW BZE4MY1KSW
| URI | m2://inv/BZE4MY1KSW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37815#TS1H (statement). In SVJYA0171G/e1, lemma 4.5
History
- 2026-10-30: add by m2/v0.4.12
Binary-linear criterion BZE62X4WSH
| URI | m2://inv/BZE62X4WSH |
|---|---|
| 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.38993#Z4O0, Binary-linear criterion (statement). In AFKQK866Y1/e1, theorem 3.4
History
- 2026-10-30: add by m2/v0.4.12
Applications BZEEFAG4TZ
| URI | m2://inv/BZEEFAG4TZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ∞-groupoid#MVU2, Applications (example)
History
- 2026-11-02: add by m2/dev
Crossing sequence BZEXGM13EW
| URI | m2://inv/BZEXGM13EW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Crossing sequence (Turing machines), Crossing sequence (definition). Also Wikidata Q5188666
History
- 2026-11-02: add by m2/dev
Approximation algorithms for the traveling salesman problem BZEXS5BCWZ
| URI | m2://inv/BZEXS5BCWZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Travelling salesman problem#YCEL, Approximation algorithms for the traveling salesman problem (unknown)
History
- 2026-11-02: add by m2/dev
Yadolah Dodge BZF0G4XSXS
| URI | m2://inv/BZF0G4XSXS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yadolah Dodge, Yadolah Dodge (topic). Also Wikidata Q8046577
History
- 2026-11-02: add by m2/dev
BZF357V898 BZF357V898
| URI | m2://inv/BZF357V898 |
|---|---|
| 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#3800 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Exact feasible correlation polytope BZF5QTAXYH
| URI | m2://inv/BZF5QTAXYH |
|---|---|
| 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 2609.38228#14H9, Exact feasible correlation polytope (statement). In 9YAE8FNQST/e1, lemma 26.7
History
- 2026-10-30: add by m2/v0.4.12
Five Forks, South Carolina BZFA03K05F
| URI | m2://inv/BZFA03K05F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#YNUB, Five Forks, South Carolina (unknown)
History
- 2026-11-02: add by m2/dev
minimalism BZFA0N8BR2
| URI | m2://inv/BZFA0N8BR2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#ZHHG, minimalism (definition)
History
- 2026-11-02: add by m2/dev
Second Garrotte BZFYXXSYG5
| URI | m2://inv/BZFYXXSYG5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#Q779, Second Garrotte (unknown)
History
- 2026-11-02: add by m2/dev
(3+1)-free conjecture BZG1ZK0K8M
| URI | m2://inv/BZG1ZK0K8M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chromatic symmetric function#7PU8, (3+1)-free conjecture (statement)
History
- 2026-11-02: add by m2/dev
Examples of contract theory BZG741JFEA
| URI | m2://inv/BZG741JFEA |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Contract theory#HMDE, Examples of contract theory (example)
History
- 2026-11-02: add by m2/dev
Guidances for statistics in regulatory affairs BZG7ZFXP20
| URI | m2://inv/BZG7ZFXP20 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guidances for statistics in regulatory affairs, Guidances for statistics in regulatory affairs (definition). Also Wikidata Q30314123
History
- 2026-11-02: add by m2/dev
BZGGC2BAJV BZGGC2BAJV
| URI | m2://inv/BZGGC2BAJV |
|---|---|
| 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.05791#DVWC (statement). In CP0PVZ70MF/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
Hexagon BZGGFZCE79
| URI | m2://inv/BZGGFZCE79 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#8GDC, Hexagon (definition)
- wikipedia: Wikipedia List of mathematical shapes#XIJQ, Hexagon (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#9LK3, Hexagon (definition)
History
- 2026-11-02: add by m2/dev
Definition BZGMKWG0N7
| URI | m2://inv/BZGMKWG0N7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James' space#H2MT, Definition (definition)
History
- 2026-11-02: add by m2/dev
Kazimierz Twardowski BZGRJH4ZP8
| URI | m2://inv/BZGRJH4ZP8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logicians#HAU7, Kazimierz Twardowski (topic)
History
- 2026-11-02: add by m2/dev
BZGWXNACC6 BZGWXNACC6
| URI | m2://inv/BZGWXNACC6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#S7IB (statement). In MS7M2BJS9X/e1, lemma 4.11
History
- 2026-10-29: add by m2/v0.4.10
BZGYX9CNQC BZGYX9CNQC
| URI | m2://inv/BZGYX9CNQC |
|---|---|
| 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 2411.16465#A7OL (statement). In 900P3XBZ5P/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.3.5
List of uniform polyhedra BZH2YY11VH
| URI | m2://inv/BZH2YY11VH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#KG74, List of uniform polyhedra (topic)
History
- 2026-11-02: add by m2/dev
Ordinary diagonal corner presentation BZH7366G2N
| URI | m2://inv/BZH7366G2N |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11143#ZV22, Ordinary diagonal corner presentation (definition). In 9CS15SV662/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.3
RSA-430 BZH8VXW68X
| URI | m2://inv/BZH8VXW68X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia RSA numbers#ECDN, RSA-430 (unknown)
History
- 2026-11-02: add by m2/dev
BZHAZ0J1PC BZHAZ0J1PC
| URI | m2://inv/BZHAZ0J1PC |
|---|---|
| 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.35323#O03F (statement). In 5CKPXBWSCX/e1, lemma 2.16
History
- 2026-10-30: add by m2/v0.4.12
Lemma 6 BZHCFQD6MY
| URI | m2://inv/BZHCFQD6MY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gibbard–Satterthwaite theorem#FNKO, Lemma 6 (statement)
History
- 2026-11-02: add by m2/dev
BZHDQ821MP BZHDQ821MP
| URI | m2://inv/BZHDQ821MP |
|---|---|
| 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.22170#2RU7 (statement). In 74MMMHHPW5/e1, corollary 3.2
History
- 2026-10-27: add by m2/v0.4.0
Arthur J. Lohwater BZHED4YXX7
| URI | m2://inv/BZHED4YXX7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Arthur J. Lohwater, Arthur J. Lohwater (topic). Also Wikidata Q4799194
History
- 2026-11-02: add by m2/dev
BZHMSZMWV6 BZHMSZMWV6
| URI | m2://inv/BZHMSZMWV6 |
|---|---|
| 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#HD9K (statement). In E7W2HDNEKJ/e1, corollary 9.26
History
- 2026-10-30: add by m2/v0.4.12
289 BZHX64YAP7
| URI | m2://inv/BZHX64YAP7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 289 (number), 289 (definition). Also Wikidata Q239004
History
- 2026-11-02: add by m2/dev
Five safes BZHYWZZPKP
| URI | m2://inv/BZHYWZZPKP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Five safes, Five safes (definition). Also Wikidata Q30324099
History
- 2026-11-02: add by m2/dev
\bf Supermartingale decomposition BZJ1CWEPV8
| URI | m2://inv/BZJ1CWEPV8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2312.14445#26OV, \bf Supermartingale decomposition (statement). In V56MKF0KW2/e1, theorem 4.1
History
- 2026-10-27: add by m2/v0.3.5
The Sun BZJ1NH7MK0
| URI | m2://inv/BZJ1NH7MK0 |
|---|---|
| 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#SEFH, The Sun (unknown)
History
- 2026-11-02: add by m2/dev
BZJBY837M0 BZJBY837M0
| URI | m2://inv/BZJBY837M0 |
|---|---|
| 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.29925#JYHT (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties BZJJRM2DMN
| URI | m2://inv/BZJJRM2DMN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Biaugmented truncated cube#QUPA, Properties (statement)
History
- 2026-11-02: add by m2/dev
BZJKJ4T13E BZJKJ4T13E
| URI | m2://inv/BZJKJ4T13E |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Counting.tex#exercise-7 (exercise). In P1C114YBXG, exercise, section 1.1
History
- 2026-11-01: add by m2/v0.6.13
Riemannian gradient BZJKSE6Q0F
| URI | m2://inv/BZJKSE6Q0F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 62-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30220#3LCK, Riemannian gradient (definition)
History
- 2026-11-01: add by m2/v0.6.15
Vague torus BZJW72JZR5
| URI | m2://inv/BZJW72JZR5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vague torus, Vague torus (definition). Also Wikidata Q7908561
History
- 2026-11-02: add by m2/dev
Computational complexity theory BZJXHRW1P7
| URI | m2://inv/BZJXHRW1P7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithm general topics#GU2T, Computational complexity theory (definition)
History
- 2026-11-02: add by m2/dev
Mark Glickman BZJYC70CRC
| URI | m2://inv/BZJYC70CRC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#J2IC, Mark Glickman (unknown)
History
- 2026-11-02: add by m2/dev
BZK1J85N4F BZK1J85N4F
| URI | m2://inv/BZK1J85N4F |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-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.18242#SJVL (definition). In VVC2FHQZZR/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
BZK8W0193J BZK8W0193J
| URI | m2://inv/BZK8W0193J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.36204#GBDK (statement). In ZEHQDJTEDG/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
BZKA1HHEA2 BZKA1HHEA2
| URI | m2://inv/BZKA1HHEA2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#thm:wfrec (statement). In N54F33XE07, lem, section C.3
History
- 2026-11-01: add by m2/v0.6.13
Elizabeth J. Kelly BZKAWQXHY1
| URI | m2://inv/BZKAWQXHY1 |
|---|---|
| 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#FEVN, Elizabeth J. Kelly (topic)
History
- 2026-11-02: add by m2/dev
Lövheim Cube of Emotions BZKBYKM30X
| URI | m2://inv/BZKBYKM30X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lövheim Cube of Emotions, Lövheim Cube of Emotions (definition). Also Wikidata Q116921959
History
- 2026-11-02: add by m2/dev
Philippa Gardner BZKEQ9EJ72
| URI | m2://inv/BZKEQ9EJ72 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of women logicians#NL4O, Philippa Gardner (unknown)
History
- 2026-11-02: add by m2/dev
Properties BZKFCF0YTV
| URI | m2://inv/BZKFCF0YTV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bilinear form#ULER, Properties (statement)
History
- 2026-11-02: add by m2/dev
BZKN87CSVG BZKN87CSVG
| URI | m2://inv/BZKN87CSVG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2607.25960#D10O (statement). In 13GSWBXPCM/e1, theorem 2.20
History
- 2026-10-27: add by m2/v0.3.5
BZKV69XH40 BZKV69XH40
| URI | m2://inv/BZKV69XH40 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX, 22-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 2607.00146#HFG8 (statement). In 6KR7Z5ETRY/e1, lemma 2.30
History
- 2026-10-27: add by m2/v0.3.5
BZKZPKDMNC BZKZPKDMNC
| URI | m2://inv/BZKZPKDMNC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2108.03672#MJJW (definition). In EZZSZ1F071/e1, definition 3.10
History
- 2026-10-27: add by m2/v0.4.0
DC BZMDXGCVXW
| URI | m2://inv/BZMDXGCVXW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#ZLUQ, DC (definition)
History
- 2026-11-02: add by m2/dev
BZMNS5PSZG BZMNS5PSZG
| URI | m2://inv/BZMNS5PSZG |
|---|---|
| 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.28893#RJYZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alternative definitions BZMXJ2PDVD
| URI | m2://inv/BZMXJ2PDVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia General topology#9EJS, Alternative definitions (definition)
History
- 2026-11-02: add by m2/dev
Bilinear Strichartz estimate BZMXYVXHKT
| URI | m2://inv/BZMXYVXHKT |
|---|---|
| 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.28454#6NDO, Bilinear Strichartz estimate (statement)
History
- 2026-11-01: add by m2/v0.6.15
MaxDDBS BZMYK73XMA
| URI | m2://inv/BZMYK73XMA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MaxDDBS, MaxDDBS (definition). Also Wikidata Q6794498
History
- 2026-11-02: add by m2/dev
Dos Hermanas BZN03JFKJJ
| URI | m2://inv/BZN03JFKJJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#YF1E, Dos Hermanas (unknown)
History
- 2026-11-02: add by m2/dev
Properties BZN1F8WB93
| URI | m2://inv/BZN1F8WB93 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fermat quotient#QGWX, Properties (statement)
History
- 2026-11-02: add by m2/dev
One-step envelope bounds BZN39EPCPQ
| URI | m2://inv/BZN39EPCPQ |
|---|---|
| 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.35631#8SY1, One-step envelope bounds (statement). In 9NCX0S6MTP/e1, lemma D.5
History
- 2026-10-30: add by m2/v0.4.12
Applications BZN85ZW3HG
| URI | m2://inv/BZN85ZW3HG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wiener connector#RMW1, Applications (example)
History
- 2026-11-02: add by m2/dev
Cancellation of older levels and detection of level $i$ BZNE5FJK01
| URI | m2://inv/BZNE5FJK01 |
|---|---|
| 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.05652#8YWF, Cancellation of older levels and detection of level $i$ (statement). In 8BNPFYQDQX/e1, proposition 10.3
History
- 2026-10-29: add by m2/v0.4.10
Traveling salesman problem BZNFDKZ0XA
| URI | m2://inv/BZNFDKZ0XA |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#3DOH, Traveling salesman problem (problem)
History
- 2026-11-02: add by m2/dev
Examples BZNFG5S9DN
| URI | m2://inv/BZNFG5S9DN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Phase portrait#51YY, Examples (example)
History
- 2026-11-02: add by m2/dev
BZNFGDXTSV BZNFGDXTSV
| URI | m2://inv/BZNFGDXTSV |
|---|---|
| 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#4L0O (statement). In H46J8XRDFJ/e1, theorem 1.1.1
History
- 2026-10-27: add by m2/v0.3.5
Fractional dominating set BZNKF5WHAC
| URI | m2://inv/BZNKF5WHAC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractional dominating set, Fractional dominating set (definition). Also Wikidata Q137393195
History
- 2026-11-02: add by m2/dev
Bloch equations BZNNRRWE3N
| URI | m2://inv/BZNNRRWE3N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of named differential equations#EDJS, Bloch equations (unknown)
History
- 2026-11-02: add by m2/dev
BZNV1N9XHW BZNV1N9XHW
| URI | m2://inv/BZNV1N9XHW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30113#CN58 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Coefficient concentration BZP33HBQ3H
| URI | m2://inv/BZP33HBQ3H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28198#Z7DU, Coefficient concentration (statement)
History
- 2026-11-01: add by m2/v0.6.15
Charmaine Dean BZPAZS949M
| URI | m2://inv/BZPAZS949M |
|---|---|
| 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#CTF9, Charmaine Dean (topic)
History
- 2026-11-02: add by m2/dev
BZPCC7W1KJ BZPCC7W1KJ
| URI | m2://inv/BZPCC7W1KJ |
|---|---|
| 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.23941#4GLT (statement)
History
- 2026-11-02: add by m2/v0.6.17
BZPF6DTFWS BZPF6DTFWS
| URI | m2://inv/BZPF6DTFWS |
|---|---|
| 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#R1MB (statement). In 43TBS9P2PX/e1, lemma 3.6
History
- 2026-10-28: add by m2/v0.4.2
BZPGBW9QDS BZPGBW9QDS
| URI | m2://inv/BZPGBW9QDS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section2-6.xml#prop-linear-trans-characterization (statement). In 649HGZKE96, proposition, section 2.6.2
History
- 2026-11-01: add by m2/v0.6.13
Per-site influence estimate BZPKS8A3GR
| URI | m2://inv/BZPKS8A3GR |
|---|---|
| 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 2609.36016#R4X4, Per-site influence estimate (statement). In NAM9ZMPHZ9/e1, lemma B.5
History
- 2026-10-30: add by m2/v0.4.12
Vincent Rijmen BZPQ7PWPJF
| URI | m2://inv/BZPQ7PWPJF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#O1ZO, Vincent Rijmen (unknown)
History
- 2026-11-02: add by m2/dev
BZPRNZV0H2 BZPRNZV0H2
| URI | m2://inv/BZPRNZV0H2 |
|---|---|
| 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 2610.06458#6PDG (definition). In 4X93XG8NMD/e1, definition 5.3
History
- 2026-10-29: add by m2/v0.4.10
Howard Kahane BZPV5WW0H1
| URI | m2://inv/BZPV5WW0H1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Howard Kahane, Howard Kahane (topic). Also Wikidata Q5920063
History
- 2026-11-02: add by m2/dev
Definition BZQ11R91N3
| URI | m2://inv/BZQ11R91N3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Transversality#3845, Definition (definition)
History
- 2026-11-02: add by m2/dev
BZQ93PS3Y4 BZQ93PS3Y4
| URI | m2://inv/BZQ93PS3Y4 |
|---|---|
| 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.04172#NWC1 (statement). In 9Q1D1NMTTS/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.12
BZQEY9DQ5D BZQEY9DQ5D
| URI | m2://inv/BZQEY9DQ5D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-multivar-int.tex#exercise-20 (exercise). In E59CDZA4DP, exercise, section 5.3.4
History
- 2026-11-01: add by m2/v0.6.13
The standard component BZQHEP3NB8
| URI | m2://inv/BZQHEP3NB8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14373#TEY2, The standard component (statement). In 77TK7M3B9Y/e1, proposition 4
History
- 2026-10-28: add by m2/v0.4.2
BZQJVVDGCP BZQJVVDGCP
| URI | m2://inv/BZQJVVDGCP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.05499#0W76 (definition). In WRMNCC8VBC/e1, definition 51
History
- 2026-10-27: add by m2/v0.3.6
BZQMMCHVDV BZQMMCHVDV
| URI | m2://inv/BZQMMCHVDV |
|---|---|
| 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.13792#TSL4 (statement). In ZH0PFTZ12Y/e1, lemma 4.14
History
- 2026-10-28: add by m2/v0.4.2
Brownian web BZQN16E3E4
| URI | m2://inv/BZQN16E3E4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brownian web, Brownian web (definition). Also Wikidata Q25304172
History
- 2026-11-02: add by m2/dev
BZQN3ASJZK BZQN3ASJZK
| URI | m2://inv/BZQN3ASJZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section1-4.xml#principle-1 (statement). In 649HGZKE96, principle, section 1.4.3
History
- 2026-11-01: add by m2/v0.6.13
Notation BZQNCF7QJP
| URI | m2://inv/BZQNCF7QJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Converse nonimplication#RQJS, Notation (definition)
History
- 2026-11-02: add by m2/dev
!!^{valuation}s BZQR0T53RC
| URI | m2://inv/BZQR0T53RC |
|---|---|
| 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/valuations-sat.tex#defn-1, !!^{valuation}s (definition). In PKGMM3P5QY, defn, section 63.1
History
- 2026-11-01: add by m2/v0.6.13
Sum of exponentials BZR0H88C4B
| URI | m2://inv/BZR0H88C4B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Exponential sum#KCNO, Sum of exponentials (unknown)
History
- 2026-11-02: add by m2/dev
submanifold, embedded BZR0KFRST5
| URI | m2://inv/BZR0KFRST5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/C/submanifold-embedded, submanifold, embedded (concept). In VNMV985MXX, index, section C
History
- 2026-11-01: add by m2/v0.6.13
BZR23HRFQJ BZR23HRFQJ
| URI | m2://inv/BZR23HRFQJ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30527#N1K3 (definition). In E3WQDZY388/e1, definition 4.9
History
- 2026-10-31: add by m2/v0.5.6
BZR5W0BTCM BZR5W0BTCM
| URI | m2://inv/BZR5W0BTCM |
|---|---|
| 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.06544#NFD2 (statement). In VCRB27RMN6/e1, proposition 16.2
History
- 2026-10-29: add by m2/v0.4.10
Example BZRAWP6ZET
| URI | m2://inv/BZRAWP6ZET |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tannery's theorem#3HXG, Example (example)
History
- 2026-11-02: add by m2/dev
Gaussian block with one coordinate BZRHBAWSXW
| URI | m2://inv/BZRHBAWSXW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32710#NFRC, Gaussian block with one coordinate (statement). In KVYG6R7CGJ/e1, lemma 2.7
History
- 2026-10-31: add by m2/v0.5.6
BZRQZ4KHAM BZRQZ4KHAM
| URI | m2://inv/BZRQZ4KHAM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09422#T4Y4 (definition). In MS7M2BJS9X/e1, definition 7.2
History
- 2026-10-29: add by m2/v0.4.10
Journal of Logic and Analysis BZRSSXZ6N1
| URI | m2://inv/BZRSSXZ6N1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of logic journals#9LB5, Journal of Logic and Analysis (definition)
History
- 2026-11-02: add by m2/dev
Daniel J. Bauer BZRTHGWD4Z
| URI | m2://inv/BZRTHGWD4Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel J. Bauer, Daniel J. Bauer (topic). Also Wikidata Q28977491
History
- 2026-11-02: add by m2/dev
Definition BZRY2Z14EQ
| URI | m2://inv/BZRY2Z14EQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Virasoro group#ATU6, Definition (definition)
History
- 2026-11-02: add by m2/dev
BZS0BTJV5Y BZS0BTJV5Y
| URI | m2://inv/BZS0BTJV5Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34856#EE4Y (statement). In MRR92GQNZE/e1, lemma 5.11
History
- 2026-10-30: add by m2/v0.4.12
Richard Lashof BZSCTG562K
| URI | m2://inv/BZSCTG562K |
|---|---|
| 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 Q7327261, Richard Lashof (unknown). Also nLab Richard Lashof
- wikipedia: Wikipedia Richard Lashof, Richard Lashof (topic). Also Wikidata Q7327261
History
- 2026-10-26: add by m2/dev
International Centre for Mathematical Sciences BZSFWSK072
| URI | m2://inv/BZSFWSK072 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia International Centre for Mathematical Sciences, International Centre for Mathematical Sciences (definition). Also Wikidata Q6049105
History
- 2026-11-02: add by m2/dev
BZSM31VAMK BZSM31VAMK
| URI | m2://inv/BZSM31VAMK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20207#25VO (statement). In 1MPH7GCFJ2/e1, theorem 3.3
History
- 2026-10-27: add by m2/v0.4.2
Poincaré separation theorem BZSNA7QHVH
| URI | m2://inv/BZSNA7QHVH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Poincaré separation theorem, Poincaré separation theorem (statement). Also Wikidata Q25303656
History
- 2026-11-02: add by m2/dev
Averaging BZSNRT85TE
| URI | m2://inv/BZSNRT85TE |
|---|---|
| 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#J4UQ, Averaging (statement). In 25B3WHEKH2/e1, proposition 3.3
History
- 2026-10-27: add by m2/v0.4.2
BZT4HB7W5G BZT4HB7W5G
| URI | m2://inv/BZT4HB7W5G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/rep-theory/characters.tex#example-4 (example). In RZP28ERRZV, example, section 79.4
History
- 2026-11-01: add by m2/v0.6.13
Edna Paisano BZT6RFNGYR
| URI | m2://inv/BZT6RFNGYR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Edna Paisano, Edna Paisano (topic). Also Wikidata Q19647035
History
- 2026-11-02: add by m2/dev
BZTJA8Y0YE BZTJA8Y0YE
| URI | m2://inv/BZTJA8Y0YE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2409.20170#SI22 (definition). In QXJP79APHN/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Schur–Zassenhaus theorem BZTK5QT6PT
| URI | m2://inv/BZTK5QT6PT |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2226800, Schur–Zassenhaus theorem (statement). Also Mathlib Subgroup.exists_left_complement'_of_coprime, Wikidata Q2226800
- thousand_plus: thousand_plus Q2226800, Schur–Zassenhaus theorem (statement). Also Mathlib Subgroup.exists_left_complement'_of_coprime, Wikidata Q2226800, Wikipedia Schur–Zassenhaus theorem
- wikipedia: Wikipedia Schur–Zassenhaus theorem, Schur–Zassenhaus theorem (statement). Also Wikidata Q2226800
History
- 2026-10-26: add by m2/dev
Gronwall bound BZTMQW5W81
| URI | m2://inv/BZTMQW5W81 |
|---|---|
| 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.02714#6U4R, Gronwall bound (statement). In R9AXCJWK8F/e1, corollary 16
History
- 2026-10-29: add by m2/v0.4.12
Lottery ticket hypothesis BZTR9YA3V0
| URI | m2://inv/BZTR9YA3V0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lottery ticket hypothesis#JBYR, Lottery ticket hypothesis (statement)
History
- 2026-11-02: add by m2/dev
BZTTNZHNB4 BZTTNZHNB4
| URI | m2://inv/BZTTNZHNB4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/classgrp.tex#theorem-2 (statement). In RZP28ERRZV, theorem, section 9.4
History
- 2026-11-01: add by m2/v0.6.13
BZTYEHHZVJ BZTYEHHZVJ
| URI | m2://inv/BZTYEHHZVJ |
|---|---|
| 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.10928#JSQQ (statement). In 8M7BFVQYMM/e1, theorem 4.7
History
- 2026-10-28: add by m2/v0.4.3
Buchberger's algorithm BZV0JS99EZ
| URI | m2://inv/BZV0JS99EZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#TNVZ, Buchberger's algorithm (definition)
History
- 2026-11-02: add by m2/dev
Wolfgang Leinberer BZV4PV55W0
| URI | m2://inv/BZV4PV55W0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wolfgang Leinberer, Wolfgang Leinberer (topic). Also Wikidata Q18945830
History
- 2026-11-02: add by m2/dev
BZV9V8AYYX BZV9V8AYYX
| URI | m2://inv/BZV9V8AYYX |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 11-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.15432#V0EL (definition). In D1DFM4WYEW/e1, definition 3.2
History
- 2026-10-28: add by m2/v0.4.2
disjoint faces can be crushed without changing the ball pair BZVDMVV56V
| URI | m2://inv/BZVDMVV56V |
|---|---|
| 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.32733#XNTP, disjoint faces can be crushed without changing the ball pair (statement). In PCAS8S14J6/e1, lemma 6.3
History
- 2026-10-31: add by m2/v0.5.6
BZVJXY0BGX BZVJXY0BGX
| URI | m2://inv/BZVJXY0BGX |
|---|---|
| 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.14839#KNQS (statement). In CYB41667NA/e1, theorem 4.6
History
- 2026-10-27: add by m2/v0.3.5
basic set theory BZVKZSVHE5
| URI | m2://inv/BZVKZSVHE5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#FH2L, basic set theory (definition)
History
- 2026-11-02: add by m2/dev
Definitions BZVQ3SDY9M
| URI | m2://inv/BZVQ3SDY9M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imbalance conjecture#4UW3, Definitions (definition)
History
- 2026-11-02: add by m2/dev
BZVWF170YE BZVWF170YE
| URI | m2://inv/BZVWF170YE |
|---|---|
| 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 2108.09548#D1YT (statement). In 6D6C14KFGJ/e1, proposition 2.4
History
- 2026-10-27: add by m2/v0.4.0
BZVX9292EK BZVX9292EK
| URI | m2://inv/BZVX9292EK |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05299#YGCK (problem). In 68AE571S4P/e1, problem 5.1
History
- 2026-10-29: add by m2/v0.4.10
Fulton–MacPherson compactification BZW06D8PHG
| URI | m2://inv/BZW06D8PHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fulton–MacPherson compactification, Fulton–MacPherson compactification (definition). Also Wikidata Q116797067
History
- 2026-11-02: add by m2/dev
Debye-Hückel-Onsager equation BZW4BT7HSC
| URI | m2://inv/BZW4BT7HSC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Debye–Hückel theory#94O9, Debye-Hückel-Onsager equation (unknown)
History
- 2026-11-02: add by m2/dev
Example BZW8GVDDBH
| URI | m2://inv/BZW8GVDDBH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Feynman–Kac formula#NO05, Example (example)
History
- 2026-11-02: add by m2/dev
BZW8J1NG41 BZW8J1NG41
| URI | m2://inv/BZW8J1NG41 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30444#KFL5 (example). In RZWJ0AT8W5/e1, example 4.7
History
- 2026-10-31: add by m2/v0.5.6
BZWK6PA7W9 BZWK6PA7W9
| URI | m2://inv/BZWK6PA7W9 |
|---|---|
| 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.18277#YG24 (statement). In YFRNY7S92A/e1, proposition 7.2
History
- 2026-10-28: add by m2/v0.4.2
The radius map BZWMKC1EC3
| URI | m2://inv/BZWMKC1EC3 |
|---|---|
| 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.04140#DTBM, The radius map (statement). In BTT0FX7XMC/e1, lemma G.2
History
- 2026-10-29: add by m2/v0.4.12
Nesbitt's inequality BZWMQ40WVR
| URI | m2://inv/BZWMQ40WVR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#CONV, Nesbitt's inequality (statement)
History
- 2026-11-02: add by m2/dev
BZWPNHS4VJ BZWPNHS4VJ
| URI | m2://inv/BZWPNHS4VJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/ordtype.tex#ordtypesworklikeyouwant (statement). In PKGMM3P5QY, cor, section 73.1
History
- 2026-11-01: add by m2/v0.6.13
BZWRN229NN BZWRN229NN
| URI | m2://inv/BZWRN229NN |
|---|---|
| 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.00339#6YIL (statement). In ZRG6NY1ECH/e1, lemma 33
History
- 2026-10-30: add by m2/v0.4.12
BZWTRFVKJ9 BZWTRFVKJ9
| URI | m2://inv/BZWTRFVKJ9 |
|---|---|
| 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 2110.12380#SG9G (statement). In M6MQPEDQ8N/e1, lemma 4.15
History
- 2026-10-27: add by m2/v0.3.5
Definition BZX17DZBTN
| URI | m2://inv/BZX17DZBTN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cursed equilibrium#05XN, Definition (definition)
History
- 2026-11-02: add by m2/dev
BZX1YQAJ5B BZX1YQAJ5B
| URI | m2://inv/BZX1YQAJ5B |
|---|---|
| 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 1707.06795#7A3L (statement). In 32MMSEVHYN/e1, corollary 2.23
History
- 2026-10-27: add by m2/v0.3.5
BZX8688E6A BZX8688E6A
| URI | m2://inv/BZX8688E6A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#defn:modality (definition). In N54F33XE07, defn, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
BZX8E3R01P BZX8E3R01P
| URI | m2://inv/BZX8E3R01P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1711.00219#XAKG (statement). In 7V3HG30ZGW/e1, proposition 6.8
History
- 2026-10-27: add by m2/v0.4.0
BZXGD4T1DJ BZXGD4T1DJ
| URI | m2://inv/BZXGD4T1DJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16332#6LC5 (statement). In JJQPFXZQ3D/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
BZXQZJ67BZ BZXQZJ67BZ
| URI | m2://inv/BZXQZJ67BZ |
|---|---|
| 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 2609.39169#8R9Z (statement). In ANHWXYPQFX/e1, corollary 2.3
History
- 2026-10-30: add by m2/v0.4.12
Phong shading BZXR9392JA
| URI | m2://inv/BZXR9392JA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#9IAG, Phong shading (unknown)
History
- 2026-11-02: add by m2/dev
Fractalgrid BZXS8N9N51
| URI | m2://inv/BZXS8N9N51 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fractalgrid, Fractalgrid (definition). Also Wikidata Q25304164
History
- 2026-11-02: add by m2/dev
Pullback decomposition BZY6J7JV4M
| URI | m2://inv/BZY6J7JV4M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20230#OQLV, Pullback decomposition (statement)
History
- 2026-11-02: add by m2/v0.6.18
Hubert Bray BZYD3YBNBW
| URI | m2://inv/BZYD3YBNBW |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#TX7W, Hubert Bray (topic)
History
- 2026-11-02: add by m2/dev
BZYDNNSS0N BZYDNNSS0N
| URI | m2://inv/BZYDNNSS0N |
|---|---|
| Kind | problem |
| 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.28669#C0XI (problem)
History
- 2026-11-01: add by m2/v0.6.15
Zeroth law BZYEQEGAC0
| URI | m2://inv/BZYEQEGAC0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermodynamics#HRPD, Zeroth law (statement)
History
- 2026-11-02: add by m2/dev
BZYR2A51MM BZYR2A51MM
| URI | m2://inv/BZYR2A51MM |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus source/activities/act-4-4-1.xml#act-4-4-1 (exercise). In 907G4C4EJ1, activity, section 4.4.2
History
- 2026-11-01: add by m2/v0.6.13
BZZ55PW4J5 BZZ55PW4J5
| URI | m2://inv/BZZ55PW4J5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20760#TL09 (statement). In 6G9JSJ5JMP/e1, lemma 7
History
- 2026-10-27: add by m2/v0.4.2
Examples BZZH4DM2NG
| URI | m2://inv/BZZH4DM2NG |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Freiman's theorem#ZWER, Examples (example)
History
- 2026-11-02: add by m2/dev
BZZHD5R6VE BZZHD5R6VE
| URI | m2://inv/BZZHD5R6VE |
|---|---|
| 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.35858#JRDM (statement). In R2K4HZN8RW/e1, corollary 5.12
History
- 2026-10-30: add by m2/v0.4.12
Statement BZZR2CE040
| URI | m2://inv/BZZR2CE040 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gram–Euler theorem#LJ1C, Statement (statement)
History
- 2026-11-02: add by m2/dev
Curvature rank and section maps BZZWFQ0ZB6
| URI | m2://inv/BZZWFQ0ZB6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.09295#C7XS, Curvature rank and section maps (statement). In 29X0B511NF/e1, proposition 3.1
History
- 2026-10-29: add by m2/v0.4.10
John Pollard BZZX8C6QRZ
| URI | m2://inv/BZZX8C6QRZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Pollard (mathematician), John Pollard (topic). Also Wikidata Q122150
History
- 2026-11-02: add by m2/dev