Inventory rows BF
The cards of the rows of the inventory whose ids start with BF. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Operator-norm ball BF0GYX5TP0
| URI | m2://inv/BF0GYX5TP0 |
|---|---|
| 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.06653#TPBR, Operator-norm ball (statement). In 9D2N76AJAT/e1, lemma D.6
History
- 2026-10-29: add by m2/v0.4.10
BF0J07DYM1 BF0J07DYM1
| URI | m2://inv/BF0J07DYM1 |
|---|---|
| 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 2002.01498#FKAJ (statement). In 2H7TQ695XW/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
Kit Fine BF0KPFH7JX
| URI | m2://inv/BF0KPFH7JX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of University of California, Los Angeles people#5BPQ, Kit Fine (topic)
History
- 2026-11-02: add by m2/dev
BF0P99CS1Q BF0P99CS1Q
| URI | m2://inv/BF0P99CS1Q |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-sets.ptx#exercise-29 (exercise). In Y91XFCEVHQ, exercise, section 1.3
History
- 2026-11-01: add by m2/v0.6.13
Skorokhod's second embedding theorem BF0WVB85J3
| URI | m2://inv/BF0WVB85J3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skorokhod's embedding theorem#GVI9, Skorokhod's second embedding theorem (statement)
History
- 2026-11-02: add by m2/dev
BF0X385P2C BF0X385P2C
| URI | m2://inv/BF0X385P2C |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/recursive-functions/sequences.tex#proof-5 (proof). In PKGMM3P5QY, proof, section 4.1
History
- 2026-11-01: add by m2/v0.6.13
BF0XJFQCDN BF0XJFQCDN
| URI | m2://inv/BF0XJFQCDN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31604#9JBU (statement). In GSN5YTQS2K/e1, lemma 1.21
History
- 2026-10-31: add by m2/v0.5.6
BF0XVJYA0E BF0XVJYA0E
| URI | m2://inv/BF0XVJYA0E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15169#MVV6 (statement). In V7SN19J84T/e1, theorem 7.20
History
- 2026-10-28: add by m2/v0.4.2
Examples BF11KF5YEY
| URI | m2://inv/BF11KF5YEY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wigner quasiprobability distribution#0QIN, Examples (example)
History
- 2026-11-02: add by m2/dev
BF19BSAYQ0 BF19BSAYQ0
| URI | m2://inv/BF19BSAYQ0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20860#U5XQ (definition)
History
- 2026-11-02: add by m2/v0.6.18
Binary choice BF1B1T18NX
| URI | m2://inv/BF1B1T18NX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete choice#MDKS, Binary choice (unknown)
History
- 2026-11-02: add by m2/dev
abacus BF1FYD1F39
| URI | m2://inv/BF1FYD1F39 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12806, abacus (definition). Also EoM Abacus, MathWorld Abacus, ProofWiki Definition:Abacus
- wikipedia: Wikipedia Abacus, Abacus (definition). Also Wikidata Q12806
History
- 2026-10-26: add by m2/dev
BF1HSMERXJ BF1HSMERXJ
| URI | m2://inv/BF1HSMERXJ |
|---|---|
| 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.12483#1K4J (statement). In 159250CY6S/e1, theorem 7.1
History
- 2026-10-28: add by m2/v0.4.2
Passkey BF1JVXZHE7
| URI | m2://inv/BF1JVXZHE7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Passkey (credential), Passkey (definition). Also Wikidata Q118213879
History
- 2026-11-02: add by m2/dev
BF1N79YQ6D BF1N79YQ6D
| URI | m2://inv/BF1N79YQ6D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39246#EKNA (statement). In FVK0J9CFEF/e1, theorem 4.11
History
- 2026-10-30: add by m2/v0.4.12
Local asymptotic power BF1NSH07S6
| URI | m2://inv/BF1NSH07S6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20772#7NMP, Local asymptotic power (statement)
History
- 2026-11-02: add by m2/v0.6.18
winding, number BF1QRNHS00
| URI | m2://inv/BF1QRNHS00 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7.1.4/winding-number, winding, number (concept). In N54F33XE07, index, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
BF1SFQV6XK BF1SFQV6XK
| URI | m2://inv/BF1SFQV6XK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19283#9PRG (statement). In 28BAGZRCKG/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
Chebyshev function BF231F3XZ1
| URI | m2://inv/BF231F3XZ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical functions#A4C5, Chebyshev function (definition)
History
- 2026-11-02: add by m2/dev
complete theory BF2AFMVEFR
| URI | m2://inv/BF2AFMVEFR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Complete theory 655K8Y7VS8 |
Mentions
- wikidata: Wikidata Q3508260, complete theory (unknown). Also nLab complete theory
- wikipedia: Wikipedia Complete theory, Complete theory (definition). Also Wikidata Q3508260
History
- 2026-10-26: add by m2/dev
BF2AHKYY0W BF2AHKYY0W
| URI | m2://inv/BF2AHKYY0W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01216#LCH8 (statement). In 59016RQTW6/e1, corollary 3.3
History
- 2026-10-29: add by m2/v0.4.12
Susan M. Sanchez BF2GECWNGG
| URI | m2://inv/BF2GECWNGG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Susan M. Sanchez, Susan M. Sanchez (topic). Also Wikidata Q61283805
History
- 2026-11-02: add by m2/dev
BF2RED30EM BF2RED30EM
| URI | m2://inv/BF2RED30EM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_graphalgorithms_shortest-paths.ptx#proposition-2 (statement). In QKM9DD2H56, proposition, section 12.3.3
History
- 2026-11-01: add by m2/v0.6.13
factorial sampling BF2S27DDBP
| URI | m2://inv/BF2S27DDBP |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 35-XX, 37-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27458#QMLF, factorial sampling (example)
History
- 2026-11-01: add by m2/v0.6.15
Definition BF2YY7GPSB
| URI | m2://inv/BF2YY7GPSB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Information fluctuation complexity#GP6L, Definition (definition)
History
- 2026-11-02: add by m2/dev
Nicholas I. Fisher BF35B19AC5
| URI | m2://inv/BF35B19AC5 |
|---|---|
| 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#UAPS, Nicholas I. Fisher (unknown)
History
- 2026-11-02: add by m2/dev
Gaussian fluctuation of outlying eigenvalue BF38G3EFD4
| URI | m2://inv/BF38G3EFD4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-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 2609.28781#NY40, Gaussian fluctuation of outlying eigenvalue (statement)
History
- 2026-11-01: add by m2/v0.6.15
BF38WSZSY6 BF38WSZSY6
| URI | m2://inv/BF38WSZSY6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#YABO (definition). In 60CK7P5F36/e1, definition 3.6
History
- 2026-10-27: add by m2/v0.3.5
Annibale Giordano BF3HHZ3KDF
| URI | m2://inv/BF3HHZ3KDF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#OOD0, Annibale Giordano (topic)
History
- 2026-11-02: add by m2/dev
BF3KFA0AP3 BF3KFA0AP3
| URI | m2://inv/BF3KFA0AP3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16358#R9AG (definition). In RJA3YJ9NYK/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Phillips curve BF3P3E4GBX
| URI | m2://inv/BF3P3E4GBX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of curves#8PBE, Phillips curve (unknown)
History
- 2026-11-02: add by m2/dev
Quadratic moonshine identity BF3QF54Q6G
| URI | m2://inv/BF3QF54Q6G |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28509#74RD, Quadratic moonshine identity (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
Example BF3XD7DV3W
| URI | m2://inv/BF3XD7DV3W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Borel–Cantelli lemma#P0K0, Example (example)
History
- 2026-11-02: add by m2/dev
BF43PEBPFB BF43PEBPFB
| URI | m2://inv/BF43PEBPFB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.07651#0XA0 (statement). In B338B7DBPA/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.6
Repeated registration BF47MGRDXT
| URI | m2://inv/BF47MGRDXT |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37375#89UO, Repeated registration (definition). In PV4Z2FRXRZ/e1, definition 2.4
History
- 2026-10-30: add by m2/v0.4.12
proof by cases BF4DG7QKQD
| URI | m2://inv/BF4DG7QKQD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4.2.5/proof-by-cases, proof by cases (concept). In Y91XFCEVHQ, index, section 4.2.5
History
- 2026-11-01: add by m2/v0.6.13
BF4ES7QRNS BF4ES7QRNS
| URI | m2://inv/BF4ES7QRNS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book basics.tex#thm:transport-is-ap (statement). In N54F33XE07, lem, section 1.10
History
- 2026-11-01: add by m2/v0.6.13
BF4F0BE5B2 BF4F0BE5B2
| URI | m2://inv/BF4F0BE5B2 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#TGEV (example). In 4WPYBTARS2/e1, example 5.15
History
- 2026-10-29: add by m2/v0.4.12
Universal property, presented form BF4PECF4CV
| URI | m2://inv/BF4PECF4CV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28489#F09K, Universal property, presented form (statement)
History
- 2026-11-01: add by m2/v0.6.15
BF5A5K60W5 BF5A5K60W5
| URI | m2://inv/BF5A5K60W5 |
|---|---|
| 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.29478#WYTV (statement). In XAFYHH8G7X/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
BF5BZD4DSJ BF5BZD4DSJ
| URI | m2://inv/BF5BZD4DSJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01411#RXUP (statement). In SD28S3K7BT/e1, theorem 10
History
- 2026-10-29: add by m2/v0.4.12
BF5C6NJCGJ BF5C6NJCGJ
| URI | m2://inv/BF5C6NJCGJ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36818#SKF0 (problem). In SK6AP2B9JH/e1, problem 1.3
History
- 2026-10-30: add by m2/v0.4.12
Vanishing scalar invariant spacetime BF5GFZXNTZ
| URI | m2://inv/BF5GFZXNTZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vanishing scalar invariant spacetime, Vanishing scalar invariant spacetime (definition). Also Wikidata Q7914975
History
- 2026-11-02: add by m2/dev
Niemytzki plane BF5H2P26A8
| URI | m2://inv/BF5H2P26A8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies#5H5K, Niemytzki plane (definition)
History
- 2026-11-02: add by m2/dev
Definition BF5J27YFQS
| URI | m2://inv/BF5J27YFQS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M-estimator#WMD9, Definition (definition)
History
- 2026-11-02: add by m2/dev
Desideratum 2(b) -- L\"owner sandwich for dual coordinate chart BF5J384S0G
| URI | m2://inv/BF5J384S0G |
|---|---|
| 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.30590#8Z32, Desideratum 2(b) -- L\"owner sandwich for dual coordinate chart (statement). In WYE2JVEZBT/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
Plane-sphere intersection BF5JEVFH7B
| URI | m2://inv/BF5JEVFH7B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Intersection (geometry)#UFNS, Plane-sphere intersection (unknown)
History
- 2026-11-02: add by m2/dev
modal, logic BF5WFDRPMT
| URI | m2://inv/BF5WFDRPMT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/modal-logic, modal, logic (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
Stable group BF61GG4N5P
| URI | m2://inv/BF61GG4N5P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stable group, Stable group (definition). Also Wikidata Q7595765
History
- 2026-11-02: add by m2/dev
BF61KHQF4G BF61KHQF4G
| URI | m2://inv/BF61KHQF4G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11545#LXSY (statement). In VN084GGZGK/e1, proposition 5.25
History
- 2026-10-28: add by m2/v0.4.3
BF66SWW6JP BF66SWW6JP
| URI | m2://inv/BF66SWW6JP |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 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 1705.04310#1RFH (definition). In MG51GG0QZN/e1, definition 3.13
History
- 2026-10-27: add by m2/v0.3.5
BF67J8QRVX BF67J8QRVX
| URI | m2://inv/BF67J8QRVX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#thm:settopos (statement). In N54F33XE07, thm, section C.1.4
History
- 2026-11-01: add by m2/v0.6.13
Loupekine's first snark BF6A4VA7NW
| URI | m2://inv/BF6A4VA7NW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3401799, Loupekine's first snark (unknown). Also House of Graphs 1215
History
- 2026-10-26: add by m2/dev
Example BF6ANKYRM9
| URI | m2://inv/BF6ANKYRM9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Composition series#RB7B, Example (example)
History
- 2026-11-02: add by m2/dev
Sublevel estimate for analytic observables BF6KF45W84
| URI | m2://inv/BF6KF45W84 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27484#ADSG, Sublevel estimate for analytic observables (statement)
History
- 2026-11-01: add by m2/v0.6.15
rearrangement of a series BF6RE3R74R
| URI | m2://inv/BF6RE3R74R |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/10.6.3/rearrangement-of-a-series, rearrangement of a series (concept). In E59CDZA4DP, index, section 10.6.3
History
- 2026-11-01: add by m2/v0.6.13
quasi-abelian BF6SK9E4VF
| URI | m2://inv/BF6SK9E4VF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of category theory#5NS7, quasi-abelian (definition)
History
- 2026-11-02: add by m2/dev
Black–Scholes formula BF6WC37D7F
| URI | m2://inv/BF6WC37D7F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô's lemma#VEB5, Black–Scholes formula (statement)
History
- 2026-11-02: add by m2/dev
The principle BF71DR1VJR
| URI | m2://inv/BF71DR1VJR |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stencil jumping#OPEB, The principle (statement)
History
- 2026-11-02: add by m2/dev
BF725N840R BF725N840R
| URI | m2://inv/BF725N840R |
|---|---|
| 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 2610.09314#28IY (problem). In Z04N0B3R0V/e1, problem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Sunni Triangle BF734ENAHW
| URI | m2://inv/BF734ENAHW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#BRBL, Sunni Triangle (unknown)
History
- 2026-11-02: add by m2/dev
Bruno Klinger BF73G95XB3
| URI | m2://inv/BF73G95XB3 |
|---|---|
| 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#FRTB, Bruno Klinger (unknown)
History
- 2026-11-02: add by m2/dev
Vertex cover in hypergraphs BF73X6TSJP
| URI | m2://inv/BF73X6TSJP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vertex cover in hypergraphs, Vertex cover in hypergraphs (definition). Also Wikidata Q2866200
History
- 2026-11-02: add by m2/dev
Statement BF75BC4A84
| URI | m2://inv/BF75BC4A84 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Basu's theorem#RLWZ, Statement (statement)
History
- 2026-11-02: add by m2/dev
uniformity BF77BJ5068
| URI | m2://inv/BF77BJ5068 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#Z212, uniformity (definition)
History
- 2026-11-02: add by m2/dev
BF781YD8TE BF781YD8TE
| URI | m2://inv/BF781YD8TE |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-power-ser.tex#example-8 (example). In E9HS8K3A52, example, section 9.3.1
History
- 2026-11-01: add by m2/v0.6.13
Properties BF791TTVR7
| URI | m2://inv/BF791TTVR7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthogonal complement#CVKO, Properties (statement)
History
- 2026-11-02: add by m2/dev
Local constancy of parameters BF7BMHHMR0
| URI | m2://inv/BF7BMHHMR0 |
|---|---|
| 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#N58O, Local constancy of parameters (statement)
History
- 2026-11-01: add by m2/v0.6.15
BF7DWSP1NN BF7DWSP1NN
| URI | m2://inv/BF7DWSP1NN |
|---|---|
| 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.19260#17QR (example). In PWXT7J9JX3/e1, example 5.6
History
- 2026-10-28: add by m2/v0.4.2
BF7FGQY7BC BF7FGQY7BC
| URI | m2://inv/BF7FGQY7BC |
|---|---|
| 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 2609.35191#ON51 (statement). In W9Z6S1PDTP/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
Callippus BF7FNH6M5R
| URI | m2://inv/BF7FNH6M5R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Greek mathematicians#IMYS, Callippus (unknown)
History
- 2026-11-02: add by m2/dev
BF7N6BC68K BF7N6BC68K
| URI | m2://inv/BF7N6BC68K |
|---|---|
| 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#IHTV (statement). In X1AGBB90EH/e1, theorem 3.3
History
- 2026-10-28: add by m2/v0.4.2
BF7RM48YC2 BF7RM48YC2
| URI | m2://inv/BF7RM48YC2 |
|---|---|
| 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.17518#9S7O (statement). In YA4JEWTVS4/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
Binet's formula BF7S40M7MK
| URI | m2://inv/BF7S40M7MK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | node (a node has the same name as the row) |
| Node | Binet's formula 0404D8TN7Y |
Mentions
- wikidata: Wikidata Q54539168, Binet's formula (statement). Also MathWorld BinetsFibonacciNumberFormula
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
BF7S5GKYS2 BF7S5GKYS2
| URI | m2://inv/BF7S5GKYS2 |
|---|---|
| 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 2207.11097#C0D5 (statement). In 13H5BTAXHF/e1, proposition 23
History
- 2026-10-27: add by m2/v0.3.5
Sharp Gagliardo--Nirenberg inequality BF8DBQD05D
| URI | m2://inv/BF8DBQD05D |
|---|---|
| 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.02933#63A4, Sharp Gagliardo--Nirenberg inequality (statement). In QSYZKPFRAN/e1, proposition 2.3
History
- 2026-10-29: add by m2/v0.4.12
height BF8S7E76PN
| URI | m2://inv/BF8S7E76PN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylinder#4PVR, height (definition)
History
- 2026-11-02: add by m2/dev
BF8VTAZJJV BF8VTAZJJV
| URI | m2://inv/BF8VTAZJJV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12513#DQAJ (statement). In VM9V8SXEA2/e1, lemma 2
History
- 2026-10-28: add by m2/v0.4.2
Theorem BF8ZZ9A907
| URI | m2://inv/BF8ZZ9A907 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartan–Ambrose–Hicks theorem#TNJ3, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Carlos Benjamin de Lyra BF94JERX12
| URI | m2://inv/BF94JERX12 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlos Benjamin de Lyra, Carlos Benjamin de Lyra (topic). Also Wikidata Q37735586
History
- 2026-11-02: add by m2/dev
Horror vacui BF959Q26AX
| URI | m2://inv/BF959Q26AX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of superseded scientific theories#PRRB, Horror vacui (unknown)
History
- 2026-11-02: add by m2/dev
Counting injective functions BF965CHWBR
| URI | m2://inv/BF965CHWBR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-combperm.ptx#example-counting-functions-injective, Counting injective functions (example). In Y91XFCEVHQ, example, section 2.3
History
- 2026-11-01: add by m2/v0.6.13
Depressed quartic BF966KDDT8
| URI | m2://inv/BF966KDDT8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quartic function#G0MW, Depressed quartic (unknown)
History
- 2026-11-02: add by m2/dev
Complete classification BF98AEDEFS
| URI | m2://inv/BF98AEDEFS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23922#X7BH, Complete classification (statement)
History
- 2026-11-02: add by m2/v0.6.17
$V$-complex BF98XZZG6C
| URI | m2://inv/BF98XZZG6C |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 54-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15099#JC4V, $V$-complex (example). In PF5JJ9DS8Q/e1, example 2.4.7
History
- 2026-10-28: add by m2/v0.4.2
BF9D80XHD6 BF9D80XHD6
| URI | m2://inv/BF9D80XHD6 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#proof-16 (proof). In N54F33XE07, proof, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
BF9MEEBJ11 BF9MEEBJ11
| URI | m2://inv/BF9MEEBJ11 |
|---|---|
| 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 2501.17009#WBI7 (statement). In PESAKD6SSW/e1, theorem 5.3
History
- 2026-10-27: add by m2/v0.3.6
BF9QTNRDQV BF9QTNRDQV
| URI | m2://inv/BF9QTNRDQV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#41PT (statement). In 5350Q52F6P/e1, proposition 10.2
History
- 2026-10-28: add by m2/v0.4.2
Backward Duhamel operators are singular operators BF9R87XSWD
| URI | m2://inv/BF9R87XSWD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29712#XG8Z, Backward Duhamel operators are singular operators (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hilbert–Smith conjecture BFA02TZ0WH
| URI | m2://inv/BFA02TZ0WH |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#5TRY, Hilbert–Smith conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
BFA03T770J BFA03T770J
| URI | m2://inv/BFA03T770J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33263#5DR8 (statement). In 6S5EH3388Z/e1, proposition 2.14
History
- 2026-10-30: add by m2/v0.4.12
BFA0CPBT41 BFA0CPBT41
| URI | m2://inv/BFA0CPBT41 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37897#NYQ1 (statement). In RBQ5FNCVNZ/e1, lemma 9.10
History
- 2026-10-30: add by m2/v0.4.12
The remaining inner-image obstruction BFA6H759JZ
| URI | m2://inv/BFA6H759JZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27204#QWDF, The remaining inner-image obstruction (statement)
History
- 2026-11-01: add by m2/v0.6.15
Global analysis BFA7QEYRSV
| URI | m2://inv/BFA7QEYRSV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Global analysis, Global analysis (topic). Also Wikidata Q17017346
History
- 2026-11-02: add by m2/dev
Tropical compactification BFAJQVDRT4
| URI | m2://inv/BFAJQVDRT4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tropical compactification, Tropical compactification (definition). Also Wikidata Q55636231
History
- 2026-11-02: add by m2/dev
Jet Propulsion Laboratory Development Ephemeris BFAM42272T
| URI | m2://inv/BFAM42272T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jet Propulsion Laboratory Development Ephemeris, Jet Propulsion Laboratory Development Ephemeris (definition). Also Wikidata Q17092868
History
- 2026-11-02: add by m2/dev
BFAN4D47WN BFAN4D47WN
| URI | m2://inv/BFAN4D47WN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17441#J6PM (statement). In 9Q8S0NWHP2/e1, theorem 1.2
History
- 2026-10-28: add by m2/v0.4.2
Final Value Theorem for the mean of a function BFAPB8W80J
| URI | m2://inv/BFAPB8W80J |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Final value theorem#BA0X, Final Value Theorem for the mean of a function (statement)
History
- 2026-11-02: add by m2/dev
closed set BFAQANBD20
| URI | m2://inv/BFAQANBD20 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.2.1/closed-set, closed set (concept). In E59CDZA4DP, index, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
BFATBDZSSZ BFATBDZSSZ
| URI | m2://inv/BFATBDZSSZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08010#I0J1 (statement). In 2S89BG5WPH/e1, lemma 5.2
History
- 2026-10-29: add by m2/v0.4.10
BFAWYPFEPZ BFAWYPFEPZ
| URI | m2://inv/BFAWYPFEPZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-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.24448#C4I4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BFAXA1GXEV BFAXA1GXEV
| URI | m2://inv/BFAXA1GXEV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30933#TDST (statement). In KXWYE4SJY3/e1, lemma 7
History
- 2026-10-31: add by m2/v0.5.6
BFAXS6QVYA BFAXS6QVYA
| URI | m2://inv/BFAXS6QVYA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2109.09268#46WS (statement). In SYZFEVFHC3/e1, corollary 2.8
History
- 2026-10-27: add by m2/v0.3.5
BFAYG8FGN7 BFAYG8FGN7
| URI | m2://inv/BFAYG8FGN7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 16-XX, 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.03601#FE43 (definition). In F7TDYCHCSE/e1, definition 7.3
History
- 2026-10-27: add by m2/v0.3.5
BFAYN2GRJY BFAYN2GRJY
| URI | m2://inv/BFAYN2GRJY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27617#4G6Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
BFAZ3ZEP65 BFAZ3ZEP65
| URI | m2://inv/BFAZ3ZEP65 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12817#LMQ3 (definition). In FPSGZ5S6YF/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Karel Lambert BFAZ7SZRPX
| URI | m2://inv/BFAZ7SZRPX |
|---|---|
| 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 Q6369330, Karel Lambert (unknown). Also nLab Karel Lambert
- wikipedia: Wikipedia Karel Lambert, Karel Lambert (topic). Also Wikidata Q6369330
History
- 2026-10-26: add by m2/dev
BFB158SXD8 BFB158SXD8
| URI | m2://inv/BFB158SXD8 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2404.06445#W3YX (conjecture). In 12JKZ8EN52/e1, conjecture 8.11
History
- 2026-10-27: add by m2/v0.3.5
BFBFTDCRE8 BFBFTDCRE8
| URI | m2://inv/BFBFTDCRE8 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/counterfactuals/introduction/strict-conditional.tex#prob-1 (exercise). In PKGMM3P5QY, prob, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
Abraham Sharp BFBNZK3XB5
| URI | m2://inv/BFBNZK3XB5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Abraham Sharp, Abraham Sharp (topic). Also Wikidata Q330614
History
- 2026-11-02: add by m2/dev
BFBQ0X8F4A BFBQ0X8F4A
| URI | m2://inv/BFBQ0X8F4A |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/axioms-systems/systems-distinct.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 50.13
History
- 2026-11-01: add by m2/v0.6.13
BFBWHTZZAT BFBWHTZZAT
| URI | m2://inv/BFBWHTZZAT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26340#C9TX (statement)
History
- 2026-11-01: add by m2/v0.6.15
``continuity'' of functions in type theory BFBXHDYKFA
| URI | m2://inv/BFBXHDYKFA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/u1.u2/continuity-of-functions-in-type-theory, ``continuity'' of functions in type theory (concept). In N54F33XE07, index, section u1.u2
History
- 2026-11-01: add by m2/v0.6.13
Orthogonal projections BFC2BXGJ6F
| URI | m2://inv/BFC2BXGJ6F |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 26-XX, 37-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.18929#18I7, Orthogonal projections (example). In ZRJ2DZT6P1/e1, example 6.3
History
- 2026-10-28: add by m2/v0.4.2
BFC5ZMWHD7 BFC5ZMWHD7
| URI | m2://inv/BFC5ZMWHD7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20678#S3V5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
BFC75NV0KZ BFC75NV0KZ
| URI | m2://inv/BFC75NV0KZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#OX0C (statement)
History
- 2026-11-01: add by m2/v0.6.15
Joe Harris BFCDYC8DJB
| URI | m2://inv/BFCDYC8DJB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joe Harris (mathematician), Joe Harris (topic). Also Wikidata Q1691454
History
- 2026-11-02: add by m2/dev
Serguei Barannikov BFCNE03J8A
| URI | m2://inv/BFCNE03J8A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Serguei Barannikov, Serguei Barannikov (topic). Also Wikidata Q60826728
History
- 2026-11-02: add by m2/dev
BFCS23TCBC BFCS23TCBC
| URI | m2://inv/BFCS23TCBC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39317#KB2Y (statement). In QM1T8JDK4A/e1, proposition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Dishant Mayurbhai Pancholi BFCWFZGDPF
| URI | m2://inv/BFCWFZGDPF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dishant Mayurbhai Pancholi, Dishant Mayurbhai Pancholi (topic). Also Wikidata Q109511767
History
- 2026-11-02: add by m2/dev
Applications of adaptive mesh refinement BFD2Z4JEJ4
| URI | m2://inv/BFD2Z4JEJ4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adaptive mesh refinement#9UUI, Applications of adaptive mesh refinement (example)
History
- 2026-11-02: add by m2/dev
mass BFD6TM4NWW
| URI | m2://inv/BFD6TM4NWW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q11423, mass (definition). Also EoM Mass, ProofWiki Definition:Mass
History
- 2026-10-26: add by m2/dev
Mothebe BFDCDV6XXW
| URI | m2://inv/BFDCDV6XXW |
|---|---|
| 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 1607.01095#750X, Mothebe (statement). In W3T1ZAT3GC/e1, corollary 3.12
History
- 2026-10-27: add by m2/v0.3.5
Theories where the theorem is inapplicable BFDD9KRHDK
| URI | m2://inv/BFDD9KRHDK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weinberg–Witten theorem#53I8, Theories where the theorem is inapplicable (statement)
History
- 2026-11-02: add by m2/dev
Earliest and latest dispatch times BFDKEN2N3Y
| URI | m2://inv/BFDKEN2N3Y |
|---|---|
| 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.39269#NT8A, Earliest and latest dispatch times (definition). In HS4X20TX33/e1, definition 0.1
History
- 2026-10-30: add by m2/v0.4.12
Word reduction BFDM4ZNTD7
| URI | m2://inv/BFDM4ZNTD7 |
|---|---|
| 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.06081#0FQL, Word reduction (statement). In 7Z3KQRFEVG/e1, lemma 8.1
History
- 2026-10-29: add by m2/v0.4.10
Statistical inference BFDXGRYPWZ
| URI | m2://inv/BFDXGRYPWZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#FNBU, Statistical inference (definition)
History
- 2026-11-02: add by m2/dev
Demographics of Greece BFE3THNNQ7
| URI | m2://inv/BFE3THNNQ7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Demographics of Greece, Demographics of Greece (definition). Also Wikidata Q958485
History
- 2026-11-02: add by m2/dev
Conditional entropy controlled by buffered energy BFE76QNWEJ
| URI | m2://inv/BFE76QNWEJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03683#RCZY, Conditional entropy controlled by buffered energy (statement). In 14AMXF6X2V/e1, theorem 6.1
History
- 2026-10-29: add by m2/v0.4.12
BFE8M6MQJ3 BFE8M6MQJ3
| URI | m2://inv/BFE8M6MQJ3 |
|---|---|
| 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.21078#VK6F (statement). In S95P85BHRQ/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.4.2
Stationary set BFEAP8EBB3
| URI | m2://inv/BFEAP8EBB3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exceptional set concepts#IMWV, Stationary set (definition)
History
- 2026-11-02: add by m2/dev
BFEC61B41A BFEC61B41A
| URI | m2://inv/BFEC61B41A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#JW8D (definition). In ZA6XNBA90V/e1, definition 1.7
History
- 2026-10-27: add by m2/v0.3.5
unit vector BFEGPAW28D
| URI | m2://inv/BFEGPAW28D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula index/6.3.2/unit-vector, unit vector (concept). In 649HGZKE96, index, section 6.3.2
History
- 2026-11-01: add by m2/v0.6.13
Mahan Mj BFEJR4GF7T
| URI | m2://inv/BFEJR4GF7T |
|---|---|
| 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#VS4G, Mahan Mj (topic)
History
- 2026-11-02: add by m2/dev
BFENVZ6E5G BFENVZ6E5G
| URI | m2://inv/BFENVZ6E5G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02017#DAAZ (definition). In F6C80AEXC1/e1, definition 2.11
History
- 2026-10-29: add by m2/v0.4.12
Definitions BFEVMTNHSJ
| URI | m2://inv/BFEVMTNHSJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extended Boolean model#YY23, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Valuations after a quadratic shift BFEVSK7YQ3
| URI | m2://inv/BFEVSK7YQ3 |
|---|---|
| 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.30301#IQ0N, Valuations after a quadratic shift (statement). In 7NS75J7HAM/e1, lemma 9.27
History
- 2026-10-31: add by m2/v0.5.6
Special cases BFFHTSNF4W
| URI | m2://inv/BFFHTSNF4W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mittag-Leffler function#8PU5, Special cases (statement)
History
- 2026-11-02: add by m2/dev
BFFPF2FXYF BFFPF2FXYF
| URI | m2://inv/BFFPF2FXYF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#cor-5 (statement). In E59CDZA4DP, cor, section 1.7.1
History
- 2026-11-01: add by m2/v0.6.13
Theorem 1 BFFRB7N0D3
| URI | m2://inv/BFFRB7N0D3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orlicz sequence space#BUQA, Theorem 1 (statement)
History
- 2026-11-02: add by m2/dev
directly proportional BFFVQ4VQ7K
| URI | m2://inv/BFFVQ4VQ7K |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proportionality (mathematics)#Z55N, directly proportional (definition)
History
- 2026-11-02: add by m2/dev
Harold Levine BFFWND22D9
| URI | m2://inv/BFFWND22D9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harold Levine, Harold Levine (topic). Also Wikidata Q5661497
History
- 2026-11-02: add by m2/dev
Finite verification BFFXBQESHV
| URI | m2://inv/BFFXBQESHV |
|---|---|
| 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.31336#MBOY, Finite verification (statement). In 70RV7J456D/e1, proposition 18
History
- 2026-10-31: add by m2/v0.5.6
Small tripling implies small powers BFFZYZ0Y8M
| URI | m2://inv/BFFZYZ0Y8M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > Small tripling implies small powers, Small tripling implies small powers (unknown). Also Mathlib Finset.small_pow_of_small_tripling
History
- 2026-10-26: add by m2/dev
Dave Bayer BFG4R2FPVR
| URI | m2://inv/BFG4R2FPVR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dave Bayer, Dave Bayer (topic). Also Wikidata Q5228312
History
- 2026-11-02: add by m2/dev
classical, homotopy theory BFGDE14TAT
| URI | m2://inv/BFGDE14TAT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/1/classical-homotopy-theory, classical, homotopy theory (concept). In N54F33XE07, index, section 1
History
- 2026-11-01: add by m2/v0.6.13
Tail bodies BFGQV1DE5S
| URI | m2://inv/BFGQV1DE5S |
|---|---|
| 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.31782#1DTL, Tail bodies (statement). In YAYP5VZ94H/e1, lemma 2.2
History
- 2026-10-31: add by m2/v0.5.6
BFGVWN86HR BFGVWN86HR
| URI | m2://inv/BFGVWN86HR |
|---|---|
| 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.21037#90JO (statement). In PYB2RFYVVE/e1, lemma 2.9
History
- 2026-10-27: add by m2/v0.4.2
BFH4JH2965 BFH4JH2965
| URI | m2://inv/BFH4JH2965 |
|---|---|
| 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.06419#421K (statement). In JSZRXT3W3E/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.10
Uniform tiling symmetry mutations BFHAA6MDF0
| URI | m2://inv/BFHAA6MDF0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Uniform tiling symmetry mutations, Uniform tiling symmetry mutations (definition). Also Wikidata Q25220546
History
- 2026-11-02: add by m2/dev
Journal of Applied Non-Classical Logics BFHCGSAMAP
| URI | m2://inv/BFHCGSAMAP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Journal of Applied Non-Classical Logics, Journal of Applied Non-Classical Logics (definition). Also Wikidata Q6294788
History
- 2026-11-02: add by m2/dev
floating point BFHJ1XYVDN
| URI | m2://inv/BFHJ1XYVDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Floating-point arithmetic RTKRSC3KPH |
Mentions
- wikidata: Wikidata Q117879, floating point (unknown). Also MathWorld Floating-PointNumber
- wikipedia: Wikipedia Floating-point arithmetic, Floating-point arithmetic (definition). Also Wikidata Q117879
History
- 2026-10-26: add by m2/dev
BFJ32W5Q3C BFJ32W5Q3C
| URI | m2://inv/BFJ32W5Q3C |
|---|---|
| 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.35030#444J (statement). In DPT4P2BTEW/e1, proposition 2.7
History
- 2026-10-30: add by m2/v0.4.12
Applications BFJ40KGHGC
| URI | m2://inv/BFJ40KGHGC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schwarz triangle function#BMV3, Applications (example)
History
- 2026-11-02: add by m2/dev
BFJ580QNB7 BFJ580QNB7
| URI | m2://inv/BFJ580QNB7 |
|---|---|
| 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 2609.29432#EMDG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples BFJBFSCBWR
| URI | m2://inv/BFJBFSCBWR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diophantine equation#1MAH, Examples (example)
History
- 2026-11-02: add by m2/dev
open, problem BFJCZNZGZ8
| URI | m2://inv/BFJCZNZGZ8 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.7/open-problem, open, problem (concept). In N54F33XE07, index, section 6.7
History
- 2026-11-01: add by m2/v0.6.13
BFJHKMM9JK BFJHKMM9JK
| URI | m2://inv/BFJHKMM9JK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#AFYP (definition). In Z7E16PFFCP/e1, definition 3.6
History
- 2026-10-30: add by m2/v0.4.12
Joint normality BFJHS5V5XP
| URI | m2://inv/BFJHS5V5XP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multivariate normal distribution#ZX1N, Joint normality (unknown)
History
- 2026-11-02: add by m2/dev
BFJPXV78MB BFJPXV78MB
| URI | m2://inv/BFJPXV78MB |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv scv.tex#exercise-39 (exercise). In VNMV985MXX, exercise, section 1.4
History
- 2026-11-01: add by m2/v0.6.13
BFJQNA8GH7 BFJQNA8GH7
| URI | m2://inv/BFJQNA8GH7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.05577#ID8K (statement). In EFWBREMZAP/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.3.5
Applications BFJWBFHM1W
| URI | m2://inv/BFJWBFHM1W |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convexity (algebraic geometry)#I20D, Applications (example)
History
- 2026-11-02: add by m2/dev
Knots in Washington BFJYRA79TH
| URI | m2://inv/BFJYRA79TH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Knots in Washington, Knots in Washington (definition). Also Wikidata Q6423087
History
- 2026-11-02: add by m2/dev
Pratt certificate BFK0N48GWC
| URI | m2://inv/BFK0N48GWC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Primality certificate#XSGP, Pratt certificate (unknown)
History
- 2026-11-02: add by m2/dev
Perfect single-qudit code on $\mathbb{Z}_{10}$ BFK273BGNG
| URI | m2://inv/BFK273BGNG |
|---|---|
| Kind | example |
| 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#18L5, Perfect single-qudit code on $\mathbb{Z}_{10}$ (example). In YZNK67K060/e1, example 3.2
History
- 2026-10-29: add by m2/v0.4.12
baryon number BFK319BB9K
| URI | m2://inv/BFK319BB9K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110346, baryon number (unknown). Also nLab baryon number
History
- 2026-10-26: add by m2/dev
BFKA6071SW BFKA6071SW
| URI | m2://inv/BFKA6071SW |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_posets_exercises.ptx#exercise-2 (exercise). In QKM9DD2H56, exercise, section 6
History
- 2026-11-01: add by m2/v0.6.13
BFKBTZVKFD BFKBTZVKFD
| URI | m2://inv/BFKBTZVKFD |
|---|---|
| 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.10840#S91H (statement). In P0HKF5DY7M/e1, theorem 3.9
History
- 2026-10-27: add by m2/v0.3.5
Properties and applications BFM52RG67W
| URI | m2://inv/BFM52RG67W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kleetope#ZCP5, Properties and applications (statement)
History
- 2026-11-02: add by m2/dev
BFMFRQPX81 BFMFRQPX81
| URI | m2://inv/BFMFRQPX81 |
|---|---|
| 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.27689#P886 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BFMZKDA75T BFMZKDA75T
| URI | m2://inv/BFMZKDA75T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#7P67 (statement). In 7PACGDW3N7/e1, proposition 22.3
History
- 2026-10-27: add by m2/v0.4.0
Hilbert–Mumford criterion BFN17ETVX8
| URI | m2://inv/BFN17ETVX8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-stability#4IOC, Hilbert–Mumford criterion (statement)
History
- 2026-11-02: add by m2/dev
Applications BFN7W3ABJ9
| URI | m2://inv/BFN7W3ABJ9 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Legendre's formula#A97Y, Applications (example)
History
- 2026-11-02: add by m2/dev
BFN98X90XD BFN98X90XD
| URI | m2://inv/BFN98X90XD |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-der.tex#exercise-8 (exercise). In E59CDZA4DP, exercise, section 3.1.3
History
- 2026-11-01: add by m2/v0.6.13
The thirteen-class order from six signatures BFNBEYDH1Y
| URI | m2://inv/BFNBEYDH1Y |
|---|---|
| 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.17677#3B4J, The thirteen-class order from six signatures (statement). In 5E9G06XJKC/e1, theorem 3.5
History
- 2026-10-28: add by m2/v0.4.2
BFNCR74V5Z BFNCR74V5Z
| URI | m2://inv/BFNCR74V5Z |
|---|---|
| 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.00657#M4FZ (statement). In FF8A8FP4FB/e1, proposition 2
History
- 2026-10-30: add by m2/v0.4.12
The Apportionment of Human Diversity BFNE26F5R4
| URI | m2://inv/BFNE26F5R4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Apportionment of Human Diversity, The Apportionment of Human Diversity (definition). Also Wikidata Q55867884
History
- 2026-11-02: add by m2/dev
Examples BFNF84D1XQ
| URI | m2://inv/BFNF84D1XQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Free object#WQAA, Examples (example)
History
- 2026-11-02: add by m2/dev
BFNXK4XYRY BFNXK4XYRY
| URI | m2://inv/BFNXK4XYRY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28010#OPK8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Finite-sample and first-order universal approximate optimality of TA-RDC BFP0XSRERA
| URI | m2://inv/BFP0XSRERA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31607#XS9F, Finite-sample and first-order universal approximate optimality of TA-RDC (statement). In H9X9WZ17TT/e1, theorem 20
History
- 2026-10-31: add by m2/v0.5.6
BFP3M7TPBT BFP3M7TPBT
| URI | m2://inv/BFP3M7TPBT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 1204.5958#8J6Z (statement). In XYCBKM4WKY/e1, theorem 14
History
- 2026-10-27: add by m2/v0.3.5
BFP65JAK3Z BFP65JAK3Z
| URI | m2://inv/BFP65JAK3Z |
|---|---|
| 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.11047#HONG (statement). In MNQAZ70XTH/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.3
type, universe BFP8AEFB3N
| URI | m2://inv/BFP8AEFB3N |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.1/type-universe, type, universe (concept). In N54F33XE07, index, section 9.1
History
- 2026-11-01: add by m2/v0.6.13
unique factorization domain BFPNDD4CY1
| URI | m2://inv/BFPNDD4CY1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#JUE9, unique factorization domain (definition)
History
- 2026-11-02: add by m2/dev
Polar decomposition BFPR4F1F38
| URI | m2://inv/BFPR4F1F38 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32505#LI5W, Polar decomposition (definition). In N8MYP1Z659/e1, definition 3.1
History
- 2026-10-31: add by m2/v0.5.6
BFPREZ0ZGV BFPREZ0ZGV
| URI | m2://inv/BFPREZ0ZGV |
|---|---|
| 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 2312.14319#AU37 (statement). In V0S2EZ53GB/e1, theorem 2.17
History
- 2026-10-27: add by m2/v0.3.5
the kernel of $\Om$ BFPT6SEA7V
| URI | m2://inv/BFPT6SEA7V |
|---|---|
| Kind | problem |
| 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.06909#2BSD, the kernel of $\Om$ (problem). In F1EF8XE30A/e1, problem 6.3
History
- 2026-10-29: add by m2/v0.4.10
X. Masa BFQ6R9XM0X
| URI | m2://inv/BFQ6R9XM0X |
|---|---|
| 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 dg-ga/9612010#JVHA, X. Masa (statement). In CM39SWC4A6/e1, corollary 1.7
History
- 2026-10-27: add by m2/v0.4.0
Generalizations BFQ9M1K4SV
| URI | m2://inv/BFQ9M1K4SV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hilbert's Nullstellensatz#6ZS9, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
beta decay BFQHN2A7VW
| URI | m2://inv/BFQHN2A7VW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q306786, beta decay (unknown). Also nLab beta decay
History
- 2026-10-26: add by m2/dev
BFQJJ6KC8C BFQJJ6KC8C
| URI | m2://inv/BFQJJ6KC8C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02017#A0P8 (statement). In F6C80AEXC1/e1, theorem 2.9
History
- 2026-10-29: add by m2/v0.4.12
sunlet graph BFQXVH6RKW
| URI | m2://inv/BFQXVH6RKW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q130551264, sunlet graph (unknown). Also MathWorld SunletGraph
History
- 2026-10-26: add by m2/dev
R package BFQZMDZSW6
| URI | m2://inv/BFQZMDZSW6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia R package, R package (definition). Also Wikidata Q73539779
History
- 2026-11-02: add by m2/dev
Arbitrarily dense finite central configurations BFR05JRM09
| URI | m2://inv/BFR05JRM09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04136#AHAF, Arbitrarily dense finite central configurations (statement). In TBYTWR87F3/e1, corollary 1.9
History
- 2026-10-29: add by m2/v0.4.12
Alison Harcourt BFR0MPAE25
| URI | m2://inv/BFR0MPAE25 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alison Harcourt, Alison Harcourt (topic). Also Wikidata Q57079384
History
- 2026-11-02: add by m2/dev
Alexander Givental BFR2KA0NY5
| URI | m2://inv/BFR2KA0NY5 |
|---|---|
| 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 Q451757, Alexander Givental (unknown). Also nLab Alexander Givental
- wikipedia: Wikipedia Alexander Givental, Alexander Givental (topic). Also Wikidata Q451757
History
- 2026-10-26: add by m2/dev
BFR3ADA0KB BFR3ADA0KB
| URI | m2://inv/BFR3ADA0KB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-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.12054#JYXZ (statement). In 1A01NFHBGA/e1, corollary 1.7
History
- 2026-10-28: add by m2/v0.4.3
BFR9BT8D68 BFR9BT8D68
| URI | m2://inv/BFR9BT8D68 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03144#KOW0 (statement). In 9QW88325GS/e1, lemma 4.14
History
- 2026-10-29: add by m2/v0.4.12
Fox--Wigderson BFRMZJ8K7M
| URI | m2://inv/BFRMZJ8K7M |
|---|---|
| Kind | conjecture |
| 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.20237#9HG0, Fox--Wigderson (conjecture)
History
- 2026-11-02: add by m2/v0.6.18
spectrum of a ring BFRP9VKC1J
| URI | m2://inv/BFRP9VKC1J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Spectrum of a ring FB45BHHA2J |
Mentions
- wikidata: Wikidata Q1154351, spectrum of a ring (definition). Also MathWorld RingSpectrum, nLab spectrum of a commutative ring, ProofWiki Definition:Prime_Spectrum_of_Ring
- wikipedia: Wikipedia Spectrum of a ring, Spectrum of a ring (definition). Also Wikidata Q1154351
History
- 2026-10-26: add by m2/dev
Cell problem for the DtN operator BFRPYY2WEX
| URI | m2://inv/BFRPYY2WEX |
|---|---|
| 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.17026#EPAX, Cell problem for the DtN operator (statement). In 76G7J23DNZ/e1, theorem 3
History
- 2026-10-28: add by m2/v0.4.2
BFRSD5KQCW BFRSD5KQCW
| URI | m2://inv/BFRSD5KQCW |
|---|---|
| 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 2203.07710#IKIM (statement). In NESGAWA54K/e1, theorem 2.8
History
- 2026-10-27: add by m2/v0.3.5
More reverse Lipschitz bounds BFRW431B2J
| URI | m2://inv/BFRW431B2J |
|---|---|
| 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.22513#HFFC, More reverse Lipschitz bounds (statement)
History
- 2026-11-02: add by m2/v0.6.17
BFRXEGVRM9 BFRXEGVRM9
| URI | m2://inv/BFRXEGVRM9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-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.10591#DVBO (statement). In FTEA0TM35J/e1, theorem 5.3
History
- 2026-10-29: add by m2/v0.4.10
SSM stochastic gradient variance bound BFS1VKYZ9F
| URI | m2://inv/BFS1VKYZ9F |
|---|---|
| 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.02659#MICN, SSM stochastic gradient variance bound (statement). In EV933413SJ/e1, lemma B.3
History
- 2026-10-29: add by m2/v0.4.12
Cardinal addition BFS2GAV8QD
| URI | m2://inv/BFS2GAV8QD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cardinal number#72XL, Cardinal addition (unknown)
History
- 2026-11-02: add by m2/dev
BFS3DKEXW6 BFS3DKEXW6
| URI | m2://inv/BFS3DKEXW6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22074#MMSC (statement). In F3BKXXPR3K/e1, corollary 3.16
History
- 2026-10-27: add by m2/v0.4.2
Comparisonwise error rate BFSAHJW2HB
| URI | m2://inv/BFSAHJW2HB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#MBSB, Comparisonwise error rate (definition)
History
- 2026-11-02: add by m2/dev
Definition BFSBD8YMK3
| URI | m2://inv/BFSBD8YMK3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Preclosure operator#6AZ3, Definition (definition)
History
- 2026-11-02: add by m2/dev
Sigal Gottlieb BFSBHWDDS4
| URI | m2://inv/BFSBHWDDS4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sigal Gottlieb, Sigal Gottlieb (topic). Also Wikidata Q56855422
History
- 2026-11-02: add by m2/dev
BFSH1CY2FC BFSH1CY2FC
| URI | m2://inv/BFSH1CY2FC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#definition-2 (definition). In RZP28ERRZV, definition, section 61.4
History
- 2026-11-01: add by m2/v0.6.13
BFSNGRRHZS BFSNGRRHZS
| URI | m2://inv/BFSNGRRHZS |
|---|---|
| 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.06899#BXII (statement). In 5Z2K9JGFSS/e1, corollary 3.8
History
- 2026-10-29: add by m2/v0.4.10
Relative elongation BFSVQSC46X
| URI | m2://inv/BFSVQSC46X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Strain (mechanics)#P3NG, Relative elongation (unknown)
History
- 2026-11-02: add by m2/dev
Hopf manifold BFT1DGDX8M
| URI | m2://inv/BFT1DGDX8M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf manifold, Hopf manifold (definition). Also Wikidata Q5900503
History
- 2026-11-02: add by m2/dev
South Pole BFT2E21A7C
| URI | m2://inv/BFT2E21A7C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q933, South Pole (definition). Also ProofWiki Definition:Earth's_Poles/South
History
- 2026-10-26: add by m2/dev
BFT31ZWN0M BFT31ZWN0M
| URI | m2://inv/BFT31ZWN0M |
|---|---|
| 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.18536#TBLS (statement). In JM5KKNKK1J/e1, lemma 5.1
History
- 2026-10-28: add by m2/v0.4.2
Equivalence of two-knots BFT4DHBNZD
| URI | m2://inv/BFT4DHBNZD |
|---|---|
| Kind | definition |
| 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 2609.29839#EPCW, Equivalence of two-knots (definition)
History
- 2026-11-01: add by m2/v0.6.15
BFTAZQMS20 BFTAZQMS20
| URI | m2://inv/BFTAZQMS20 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1809.06512#FEKH (statement). In RY2X22P6XW/e1, theorem 35
History
- 2026-10-27: add by m2/v0.3.5
Definition BFTD5Z26Z7
| URI | m2://inv/BFTD5Z26Z7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Conductance (graph theory)#019E, Definition (definition)
History
- 2026-11-02: add by m2/dev
Vyacheslav Futorny BFTM1ZVHZA
| URI | m2://inv/BFTM1ZVHZA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vyacheslav Futorny, Vyacheslav Futorny (topic). Also Wikidata Q55519652
History
- 2026-11-02: add by m2/dev
Antoine Bilimovitch BFTN2SE54B
| URI | m2://inv/BFTN2SE54B |
|---|---|
| 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#8LW7, Antoine Bilimovitch (unknown)
History
- 2026-11-02: add by m2/dev
BFTRNJ7CB1 BFTRNJ7CB1
| URI | m2://inv/BFTRNJ7CB1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-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.01919#8DOL (statement). In 4H727T2YAS/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.12
Ram Prakash Bambah BFTT23PDFD
| URI | m2://inv/BFTT23PDFD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ram Prakash Bambah, Ram Prakash Bambah (topic). Also Wikidata Q7288554
History
- 2026-11-02: add by m2/dev
BFTTDVW4R9 BFTTDVW4R9
| URI | m2://inv/BFTTDVW4R9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2508.21045#J0QG (statement). In CGA36VE1C5/e1, theorem 6
History
- 2026-10-27: add by m2/v0.3.6
Accelerated bounds with adaptive smoothing BFTTHDZA4B
| URI | m2://inv/BFTTHDZA4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15202#W1B9, Accelerated bounds with adaptive smoothing (statement). In X1FPG0KYBM/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
BFV60E8CWV BFV60E8CWV
| URI | m2://inv/BFV60E8CWV |
|---|---|
| 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 2109.11684#U1BL (statement). In CHE1JCV3EK/e1, theorem B.3
History
- 2026-10-27: add by m2/v0.3.5
BFV9C66VA2 BFV9C66VA2
| URI | m2://inv/BFV9C66VA2 |
|---|---|
| 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 1701.00518#XG37 (statement). In T93MM0ADE2/e1, proposition 3.1
History
- 2026-10-27: add by m2/v0.3.5
Riccati equation BFV9Q78XC0
| URI | m2://inv/BFV9Q78XC0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of dynamical systems and differential equations topics#CSJM, Riccati equation (definition)
History
- 2026-11-02: add by m2/dev
Boundary-stalk acyclicity BFVDS5N2DR
| URI | m2://inv/BFVDS5N2DR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27799#2I7D, Boundary-stalk acyclicity (statement)
History
- 2026-11-01: add by m2/v0.6.15
BFVM1AFFT2 BFVM1AFFT2
| URI | m2://inv/BFVM1AFFT2 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/enumerability.tex#prob-4 (exercise). In PKGMM3P5QY, prob, section 83.5
History
- 2026-11-01: add by m2/v0.6.13
BFVMT3PSR1 BFVMT3PSR1
| URI | m2://inv/BFVMT3PSR1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25973#FZ2M (statement)
History
- 2026-11-01: add by m2/v0.6.15
BFVNP31Y0Z BFVNP31Y0Z
| URI | m2://inv/BFVNP31Y0Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2412.12141#HX6A (statement). In V980ZMH759/e1, lemma 3.11
History
- 2026-10-27: add by m2/v0.4.0
Tze Leung Lai BFVPA1AQ2A
| URI | m2://inv/BFVPA1AQ2A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tze Leung Lai, Tze Leung Lai (topic). Also Wikidata Q59747239
History
- 2026-11-02: add by m2/dev
BFVPVG54XY BFVPVG54XY
| URI | m2://inv/BFVPVG54XY |
|---|---|
| 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.40282#ES13 (statement). In P86RWY99S2/e1, theorem 1.2.6
History
- 2026-10-30: add by m2/v0.4.12
Marcia Clark BFVRSSQKY1
| URI | m2://inv/BFVRSSQKY1 |
|---|---|
| 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#2DHA, Marcia Clark (unknown)
History
- 2026-11-02: add by m2/dev
Miklós Bóna BFVT7T7K3V
| URI | m2://inv/BFVT7T7K3V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Miklós Bóna, Miklós Bóna (topic). Also Wikidata Q854945
History
- 2026-11-02: add by m2/dev
Autolycus of Pitane BFVWTC3G49
| URI | m2://inv/BFVWTC3G49 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#THYA, Autolycus of Pitane (unknown)
History
- 2026-11-02: add by m2/dev
Extensive-form game BFW7RKB0VA
| URI | m2://inv/BFW7RKB0VA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Extensive-form game, Extensive-form game (definition). Also Wikidata Q656416
History
- 2026-11-02: add by m2/dev
Least number principle BFWDBRT2XN
| URI | m2://inv/BFWDBRT2XN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heyting arithmetic#VXX3, Least number principle (statement)
History
- 2026-11-02: add by m2/dev
Baer sum BFWN9X2VF1
| URI | m2://inv/BFWN9X2VF1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ext functor#DI23, Baer sum (unknown)
History
- 2026-11-02: add by m2/dev
Gender Parity Index BFWQN0M20N
| URI | m2://inv/BFWQN0M20N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gender Parity Index, Gender Parity Index (definition). Also Wikidata Q5530951
History
- 2026-11-02: add by m2/dev
Initially stable trickle-down amplifier BFWQV68DYM
| URI | m2://inv/BFWQV68DYM |
|---|---|
| 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 math/0003117#GAK1, Initially stable trickle-down amplifier (statement). In WD2NCBV9F0/e1, lemma 5.12
History
- 2026-10-27: add by m2/v0.3.5
cubical set BFX0Y4N729
| URI | m2://inv/BFX0Y4N729 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25098845, cubical set (unknown). Also nLab cubical set
- wikipedia: Wikipedia Cubical set, Cubical set (definition). Also Wikidata Q25098845
History
- 2026-10-26: add by m2/dev
Extension to include the Goldbach conjecture BFX2DAA2KX
| URI | m2://inv/BFX2DAA2KX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schinzel's hypothesis H#Y6SK, Extension to include the Goldbach conjecture (statement)
History
- 2026-11-02: add by m2/dev
BFX5JN7Y4D BFX5JN7Y4D
| URI | m2://inv/BFX5JN7Y4D |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 16-XX, 17-XX, 20-XX, 22-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21860#QFRU (definition)
History
- 2026-11-02: add by m2/v0.6.18
BFX71AEJX4 BFX71AEJX4
| URI | m2://inv/BFX71AEJX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#0O7R (statement)
History
- 2026-11-02: add by m2/v0.6.18
BFXQY3P1T6 BFXQY3P1T6
| URI | m2://inv/BFXQY3P1T6 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-seq-funcs.tex#example-13 (example). In E59CDZA4DP, example, section 9.3.3
History
- 2026-11-01: add by m2/v0.6.13
BFXR2BV8NF BFXR2BV8NF
| URI | m2://inv/BFXR2BV8NF |
|---|---|
| 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.38865#QENU (statement). In TFZNHCE6EV/e1, lemma 2.5
History
- 2026-10-30: add by m2/v0.4.12
Harrington’s lemma BFXZ4GWS87
| URI | m2://inv/BFXZ4GWS87 |
|---|---|
| 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.11002#HQ2B, Harrington’s lemma (statement). In P55JSAYR3T/e1, fact
History
- 2026-10-28: add by m2/v0.4.3
$r$-invisible segment BFY65V1D7P
| URI | m2://inv/BFY65V1D7P |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17677#8T2L, $r$-invisible segment (definition). In 5E9G06XJKC/e1, definition E.9
History
- 2026-10-28: add by m2/v0.4.2
draw by agreement BFYGMK2C3W
| URI | m2://inv/BFYGMK2C3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3346244, draw by agreement (definition). Also ProofWiki Definition:Chess/Draw/Agreement
History
- 2026-10-26: add by m2/dev
BFYQV1E6CN BFYQV1E6CN
| URI | m2://inv/BFYQV1E6CN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33552#K5IO (statement). In SRAS2DJJQH/e1, theorem 1.2
History
- 2026-10-30: add by m2/v0.4.12
Bob Roseveare BFZ7SG1FF3
| URI | m2://inv/BFZ7SG1FF3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bob Roseveare, Bob Roseveare (topic). Also Wikidata Q4933825
History
- 2026-11-02: add by m2/dev
BFZEHNHB9P BFZEHNHB9P
| URI | m2://inv/BFZEHNHB9P |
|---|---|
| Kind | unknown |
| Layer | research |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2002.11125#4YET (proof). In ME61RVCACP/e1, proof
History
- 2026-10-27: add by m2/v0.3.5
BFZESCXTW1 BFZESCXTW1
| URI | m2://inv/BFZESCXTW1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33573#OKZY (statement). In ZT1Q1XDQ1W/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Robert Zimmer BFZF9BJ74W
| URI | m2://inv/BFZF9BJ74W |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#P0GY, Robert Zimmer (topic)
History
- 2026-11-02: add by m2/dev
Alexis Hocquenghem BFZGY92GM9
| URI | m2://inv/BFZGY92GM9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alexis Hocquenghem, Alexis Hocquenghem (topic). Also Wikidata Q4721463
History
- 2026-11-02: add by m2/dev
Ward zero-defect criterion BFZKQ97REF
| URI | m2://inv/BFZKQ97REF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20593#A7WC, Ward zero-defect criterion (statement). In 7GMD8J4200/e1, corollary 15
History
- 2026-10-27: add by m2/v0.4.2
BFZMDN559R BFZMDN559R
| URI | m2://inv/BFZMDN559R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-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.24500#XMWM (statement)
History
- 2026-11-01: add by m2/v0.6.15
BFZPW3DRDY BFZPW3DRDY
| URI | m2://inv/BFZPW3DRDY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.02065#7TW7 (statement). In 60CK7P5F36/e1, lemma 2.2
History
- 2026-10-27: add by m2/v0.3.5
BFZRVYY2AW BFZRVYY2AW
| URI | m2://inv/BFZRVYY2AW |
|---|---|
| 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.13114#IXO2 (statement). In 38RG49M1NB/e1, corollary 2.6
History
- 2026-10-28: add by m2/v0.4.2
Results BFZSP64XAQ
| URI | m2://inv/BFZSP64XAQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gillies' conjecture#3V4O, Results (statement)
History
- 2026-11-02: add by m2/dev
continuum problem BFZV4WTRQ1
| URI | m2://inv/BFZV4WTRQ1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#ONSJ, continuum problem (definition)
History
- 2026-11-02: add by m2/dev