Inventory rows B1
The cards of the rows of the inventory whose ids start with B1. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Ramanujan–Soldner constant B10119HKSM
| URI | m2://inv/B10119HKSM |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Srinivasa Ramanujan#J75I, Ramanujan–Soldner constant (object)
History
- 2026-11-02: add by m2/dev
Definition B10FF94SKB
| URI | m2://inv/B10FF94SKB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Igusa group#TR7X, Definition (definition)
History
- 2026-11-02: add by m2/dev
functoriality of measurings B10JJX5FMK
| URI | m2://inv/B10JJX5FMK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-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 2405.14678#0A1W, functoriality of measurings (definition). In 9ZSNSJRJ5N/e1, definition 4
History
- 2026-10-27: add by m2/v0.4.2
Atkinson's formula B10MGS8JQA
| URI | m2://inv/B10MGS8JQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01035#BHH3, Atkinson's formula (statement). In MVQWXFXWM7/e1, lemma 7.1
History
- 2026-10-29: add by m2/v0.4.12
B10N3TG1VV B10N3TG1VV
| URI | m2://inv/B10N3TG1VV |
|---|---|
| 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 2411.16655#3BTA (statement). In EJHAXRV685/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Υ B10PYV05KF
| URI | m2://inv/B10PYV05KF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14423, Υ (unknown). Also ProofWiki Symbols:Greek/Upsilon
History
- 2026-10-26: add by m2/dev
B10S5DMXGJ B10S5DMXGJ
| URI | m2://inv/B10S5DMXGJ |
|---|---|
| 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.16081#S28I (statement). In RS6WWZKMT6/e1, lemma 3.3
History
- 2026-10-28: add by m2/v0.4.2
B10Y16BFE2 B10Y16BFE2
| URI | m2://inv/B10Y16BFE2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book setmath.tex#thm:VisCST (statement). In N54F33XE07, thm, section C.5
History
- 2026-11-01: add by m2/v0.6.13
B1126DDAPV B1126DDAPV
| URI | m2://inv/B1126DDAPV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1707.06795#KAMX (definition). In 32MMSEVHYN/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Umesh Vazirani B114JXYS6Z
| URI | m2://inv/B114JXYS6Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#TBIA, Umesh Vazirani (unknown)
History
- 2026-11-02: add by m2/dev
Branch structure B118HZ02RA
| URI | m2://inv/B118HZ02RA |
|---|---|
| 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#CI78, Branch structure (definition). In PV4Z2FRXRZ/e1, definition 2.3
History
- 2026-10-30: add by m2/v0.4.12
Implementations B11AMM08KH
| URI | m2://inv/B11AMM08KH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Proof of stake#OC5U, Implementations (definition)
History
- 2026-11-02: add by m2/dev
Riemannian submersion B11AYD06TR
| URI | m2://inv/B11AYD06TR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian submersion, Riemannian submersion (definition). Also Wikidata Q4394657
History
- 2026-11-02: add by m2/dev
B11CJ7JV47 B11CJ7JV47
| URI | m2://inv/B11CJ7JV47 |
|---|---|
| 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 2609.23834#UXV0 (statement)
History
- 2026-11-02: add by m2/v0.6.17
B11NR3TGPC B11NR3TGPC
| URI | m2://inv/B11NR3TGPC |
|---|---|
| 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.18078#SAKM (statement). In YVK8EFSYNJ/e1, proposition 4.6
History
- 2026-10-28: add by m2/v0.4.2
Snub square tiling B11Z45YJK5
| URI | m2://inv/B11Z45YJK5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Snub square tiling, Snub square tiling (object). Also Wikidata Q150546
History
- 2026-11-02: add by m2/dev
Oenopides B11Z4ZY36N
| URI | m2://inv/B11Z4ZY36N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q282830, Oenopides (unknown). Also ProofWiki Mathematician:Oenopides_of_Chios
History
- 2026-10-26: add by m2/dev
B127NADN4J B127NADN4J
| URI | m2://inv/B127NADN4J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 57-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17045#BM7F (statement). In PA6JQDSKQT/e1, proposition 6.3
History
- 2026-10-28: add by m2/v0.4.2
Hooke's law B1285YQ8F0
| URI | m2://inv/B1285YQ8F0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wave equation#2SAV, Hooke's law (statement)
History
- 2026-11-02: add by m2/dev
B129Y5PZK7 B129Y5PZK7
| URI | m2://inv/B129Y5PZK7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19945#WO83 (statement)
History
- 2026-11-02: add by m2/v0.6.18
A duality formula for variational inference B12BKXFDGA
| URI | m2://inv/B12BKXFDGA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Variational Bayesian methods#F5LP, A duality formula for variational inference (statement)
History
- 2026-11-02: add by m2/dev
Mertens's theorems B12C90JJWQ
| URI | m2://inv/B12C90JJWQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#WQSL, Mertens's theorems (statement)
History
- 2026-11-02: add by m2/dev
Unifying theories in mathematics B12FWF09Z6
| URI | m2://inv/B12FWF09Z6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unifying theories in mathematics, Unifying theories in mathematics (topic). Also Wikidata Q7885166
History
- 2026-11-02: add by m2/dev
Definition B12KS14N8H
| URI | m2://inv/B12KS14N8H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthonormality#VIJ9, Definition (definition)
History
- 2026-11-02: add by m2/dev
B12QMTTG6T B12QMTTG6T
| URI | m2://inv/B12QMTTG6T |
|---|---|
| Kind | definition |
| 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.15744#RC5F (definition). In NV3PBZGBB7/e1, definition 5.1
History
- 2026-10-28: add by m2/v0.4.2
B12TE0RW6P B12TE0RW6P
| URI | m2://inv/B12TE0RW6P |
|---|---|
| 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.16060#T9NQ (statement). In X0BTF9HPGM/e1, fact C.1
History
- 2026-10-28: add by m2/v0.4.2
Herz–Schur multiplier B13273WNVB
| URI | m2://inv/B13273WNVB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Herz–Schur multiplier, Herz–Schur multiplier (definition). Also Wikidata Q17023314
History
- 2026-11-02: add by m2/dev
Formal statement B139A2X88H
| URI | m2://inv/B139A2X88H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wald's martingale#4YCU, Formal statement (statement)
History
- 2026-11-02: add by m2/dev
Modern invariant theory B13G7WK2Z1
| URI | m2://inv/B13G7WK2Z1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#HM10, Modern invariant theory (definition)
History
- 2026-11-02: add by m2/dev
Examples B13G8210D5
| URI | m2://inv/B13G8210D5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markushevich basis#Y5FZ, Examples (example)
History
- 2026-11-02: add by m2/dev
Numero sign B13PHH7X54
| URI | m2://inv/B13PHH7X54 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Numero sign, Numero sign (definition). Also Wikidata Q1894494
History
- 2026-11-02: add by m2/dev
B13RGCMSZX B13RGCMSZX
| URI | m2://inv/B13RGCMSZX |
|---|---|
| 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.34675#DH64 (statement). In C93BAXKJVD/e1, lemma 3.7
History
- 2026-10-30: add by m2/v0.4.12
W. H. Besant B13RPEKSM7
| URI | m2://inv/B13RPEKSM7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia W. H. Besant, W. H. Besant (topic). Also Wikidata Q7945623
History
- 2026-11-02: add by m2/dev
B14576YJ5F B14576YJ5F
| URI | m2://inv/B14576YJ5F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21915#Z5V7 (statement)
History
- 2026-11-02: add by m2/v0.6.17
Examples B145N7QJJ4
| URI | m2://inv/B145N7QJJ4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monogenic field#EY7A, Examples (example)
History
- 2026-11-02: add by m2/dev
Formula B149ET84HB
| URI | m2://inv/B149ET84HB |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Oja's rule#J4B8, Formula (statement)
History
- 2026-11-02: add by m2/dev
B14BRMHG0Y B14BRMHG0Y
| URI | m2://inv/B14BRMHG0Y |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/sec_counting-advPIE.ptx#example-9 (example). In Y91XFCEVHQ, example, section 2.6.2
History
- 2026-11-01: add by m2/v0.6.13
An unmarked obstruction on the third cover B14Q5TJ5HS
| URI | m2://inv/B14Q5TJ5HS |
|---|---|
| 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.29839#D2QV, An unmarked obstruction on the third cover (statement)
History
- 2026-11-01: add by m2/v0.6.15
Cluster randomised controlled trial B14TGCFFN2
| URI | m2://inv/B14TGCFFN2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#H6EH, Cluster randomised controlled trial (definition)
History
- 2026-11-02: add by m2/dev
Examples B14TQYTHYQ
| URI | m2://inv/B14TQYTHYQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gorenstein scheme#49EM, Examples (example)
History
- 2026-11-02: add by m2/dev
B14Z2D9S5W B14Z2D9S5W
| URI | m2://inv/B14Z2D9S5W |
|---|---|
| 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 2509.21444#ZKXS (statement). In CTVPA2FQT1/e1, lemma 8.2.3
History
- 2026-10-27: add by m2/v0.4.0
Wu Wenjun B152SBA3Z9
| URI | m2://inv/B152SBA3Z9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Chinese mathematicians#LDAS, Wu Wenjun (unknown)
History
- 2026-11-02: add by m2/dev
B155D2WXQS B155D2WXQS
| URI | m2://inv/B155D2WXQS |
|---|---|
| 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.25431#2MMC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Itô isometry B15CJQR58H
| URI | m2://inv/B15CJQR58H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Itô isometry, Itô isometry (definition). Also Wikidata Q6095356
History
- 2026-11-02: add by m2/dev
MD5 attack B15MBF9WGQ
| URI | m2://inv/B15MBF9WGQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MD5#4RS0, MD5 attack (unknown)
History
- 2026-11-02: add by m2/dev
$\Phi$-function B15TTMH0R8
| URI | m2://inv/B15TTMH0R8 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 46-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26645#C2LW, $\Phi$-function (definition)
History
- 2026-11-01: add by m2/v0.6.15
Peter Borwein B15VKPZKT0
| URI | m2://inv/B15VKPZKT0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peter Borwein, Peter Borwein (topic). Also Wikidata Q711263
History
- 2026-11-02: add by m2/dev
topological recursion B160M3QZQM
| URI | m2://inv/B160M3QZQM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28456143, topological recursion (unknown). Also nLab topological recursion
- wikipedia: Wikipedia Topological recursion, Topological recursion (definition). Also Wikidata Q28456143
History
- 2026-10-26: add by m2/dev
algebraic quantum field theory B161YZ4BJ8
| URI | m2://inv/B161YZ4BJ8 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q602011, algebraic quantum field theory (unknown). Also nLab local quantum field theory
- wikipedia: Wikipedia Algebraic quantum field theory, Algebraic quantum field theory (definition). Also Wikidata Q602011
History
- 2026-10-26: add by m2/dev
Basic properties B162DBZBM3
| URI | m2://inv/B162DBZBM3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Real projective space#XG67, Basic properties (statement)
History
- 2026-11-02: add by m2/dev
Properties of the diagonal normalization B166NBHKJ6
| URI | m2://inv/B166NBHKJ6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#JIYO, Properties of the diagonal normalization (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hadamard's lemma B16D5K688F
| URI | m2://inv/B16D5K688F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hadamard's lemma, Hadamard's lemma (statement). Also Wikidata Q2074239
History
- 2026-11-02: add by m2/dev
Main conjecture in Vinogradov's mean-value theorem B16EZZFF20
| URI | m2://inv/B16EZZFF20 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#F735, Main conjecture in Vinogradov's mean-value theorem (statement)
History
- 2026-11-02: add by m2/dev
Alan Ross Anderson B16JZW5JWV
| URI | m2://inv/B16JZW5JWV |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Alan Ross Anderson, Alan Ross Anderson (topic). Also Wikidata Q3268033
History
- 2026-11-02: add by m2/dev
B16NCMC7E1 B16NCMC7E1
| URI | m2://inv/B16NCMC7E1 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book logic.tex#proof-9 (proof). In N54F33XE07, proof, section 9.8
History
- 2026-11-01: add by m2/v0.6.13
James Maynard B16QX1TEH4
| URI | m2://inv/B16QX1TEH4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia James Maynard (mathematician), James Maynard (topic). Also Wikidata Q19655060
History
- 2026-11-02: add by m2/dev
B16VP29W5V B16VP29W5V
| URI | m2://inv/B16VP29W5V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08193#0EIX (definition). In 8XAKGH8S2D/e1, definition 2.8
History
- 2026-10-29: add by m2/v0.4.10
Bulls and Cows B16W0A19FE
| URI | m2://inv/B16W0A19FE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of NP-complete problems#4318, Bulls and Cows (unknown)
History
- 2026-11-02: add by m2/dev
B1719P2R86 B1719P2R86
| URI | m2://inv/B1719P2R86 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38068#IJZK (statement). In 67GE5M1GGD/e1, lemma 7.5
History
- 2026-10-30: add by m2/v0.4.12
B17B13QXJT B17B13QXJT
| URI | m2://inv/B17B13QXJT |
|---|---|
| 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.05722#12UW (definition). In NDKWV5J14V/e1, definition 2.1
History
- 2026-10-29: add by m2/v0.4.10
B17HG0NFGE B17HG0NFGE
| URI | m2://inv/B17HG0NFGE |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/tableaux/provability-quantifiers.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 22.9
History
- 2026-11-01: add by m2/v0.6.13
Differentially private synthetic data B17T56T9N8
| URI | m2://inv/B17T56T9N8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.09167#M9VQ, Differentially private synthetic data (statement). In S1MENYEAG5/e1, corollary 7.4
History
- 2026-10-27: add by m2/v0.3.5
B17ZPR09QZ B17ZPR09QZ
| URI | m2://inv/B17ZPR09QZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39845#6BZ2 (statement). In RK8DFVGQP1/e1, theorem 16
History
- 2026-10-30: add by m2/v0.4.12
Joachim Lambek B180PVSJN1
| URI | m2://inv/B180PVSJN1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#1LPV, Joachim Lambek (topic)
History
- 2026-11-02: add by m2/dev
B182493MZD B182493MZD
| URI | m2://inv/B182493MZD |
|---|---|
| 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.00625#LHCM (statement). In BGA625B7W1/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Radio equipment B1842DTVN9
| URI | m2://inv/B1842DTVN9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Radio-frequency engineering#ARG5, Radio equipment (unknown)
History
- 2026-11-02: add by m2/dev
B184RAZGTP B184RAZGTP
| URI | m2://inv/B184RAZGTP |
|---|---|
| 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.26650#R91Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Alexei Beletski B184W2A3Y6
| URI | m2://inv/B184W2A3Y6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#NGMH, Alexei Beletski (unknown)
History
- 2026-11-02: add by m2/dev
B1870FDTXM B1870FDTXM
| URI | m2://inv/B1870FDTXM |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX, 53-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14045#0W0Q (definition). In KZ71GXT2B0/e1, definition 6.8
History
- 2026-10-28: add by m2/v0.4.2
Differential-algebraic descent B187BCS4W0
| URI | m2://inv/B187BCS4W0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19243#ZASZ, Differential-algebraic descent (statement). In 8CSXBTYKDT/e1, corollary 5.2
History
- 2026-10-28: add by m2/v0.4.2
Japanese financial numerals B187K3ZYSR
| URI | m2://inv/B187K3ZYSR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Japanese numerals#ML2O, Japanese financial numerals (unknown)
History
- 2026-11-02: add by m2/dev
End-to-end encryption B18CGT0QX0
| URI | m2://inv/B18CGT0QX0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia End-to-end encryption, End-to-end encryption (definition). Also Wikidata Q1340257
History
- 2026-11-02: add by m2/dev
B18EYMKE6S B18EYMKE6S
| URI | m2://inv/B18EYMKE6S |
|---|---|
| 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#WGZJ (statement). In RBQ5FNCVNZ/e1, theorem 10.1
History
- 2026-10-30: add by m2/v0.4.12
Brumer–Stark conjecture B18K15AF2R
| URI | m2://inv/B18K15AF2R |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brumer–Stark conjecture, Brumer–Stark conjecture (conjecture). Also Wikidata Q17005633
History
- 2026-11-02: add by m2/dev
B18T8NF2MH B18T8NF2MH
| URI | m2://inv/B18T8NF2MH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#exercise-15 (exercise). In E59CDZA4DP, exercise, section 4.2.4
History
- 2026-11-01: add by m2/v0.6.13
Spherical Laplacian B190VA6P0M
| URI | m2://inv/B190VA6P0M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laplace operator#2K3Z, Spherical Laplacian (unknown)
History
- 2026-11-02: add by m2/dev
Formulas B192MPW83F
| URI | m2://inv/B192MPW83F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Disk (mathematics)#PH4H, Formulas (statement)
History
- 2026-11-02: add by m2/dev
newton metre B194583A81
| URI | m2://inv/B194583A81 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q215571, newton metre (definition). Also ProofWiki Definition:Newton-Metre
History
- 2026-10-26: add by m2/dev
B1993XJHMC B1993XJHMC
| URI | m2://inv/B1993XJHMC |
|---|---|
| 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 2508.13122#04V1 (statement). In PX2GWH86PN/e1, lemma 2
History
- 2026-10-27: add by m2/v0.3.5
morphism of schemes B19HPYR39N
| URI | m2://inv/B19HPYR39N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Morphism of schemes JXRKH6P1Z4 |
Mentions
- wikidata: Wikidata Q25303616, morphism of schemes (definition). Also nLab morphism of schemes, ProofWiki Definition:Morphism_of_Schemes
- wikipedia: Wikipedia Morphism of schemes, Morphism of schemes (definition). Also Wikidata Q25303616
History
- 2026-10-26: add by m2/dev
Quasi-commutative property B19PTPWA4B
| URI | m2://inv/B19PTPWA4B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quasi-commutative property, Quasi-commutative property (definition). Also Wikidata Q17005520
History
- 2026-11-02: add by m2/dev
Mann–Whitney U test B19V5EXGPC
| URI | m2://inv/B19V5EXGPC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mann–Whitney U test, Mann–Whitney U test (definition). Also Wikidata Q1424533
History
- 2026-11-02: add by m2/dev
On Formally Undecidable Propositions of Principia Mathematica and Related Systems B1A6T71HW7
| URI | m2://inv/B1A6T71HW7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia On Formally Undecidable Propositions of Principia Mathematica and Related Systems, On Formally Undecidable Propositions of Principia Mathematica and Related Systems (statement). Also Wikidata Q7090984
History
- 2026-11-02: add by m2/dev
truncated icosahedron B1ACEZB0EW
| URI | m2://inv/B1ACEZB0EW |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q499980, truncated icosahedron (object). Also MathWorld TruncatedIcosahedron, ProofWiki Definition:Icosahedron/Truncated
- wikipedia: Wikipedia Truncated icosahedron, Truncated icosahedron (object). Also Wikidata Q499980
History
- 2026-10-26: add by m2/dev
Cantor's isomorphism theorem B1AEQKKCEP
| URI | m2://inv/B1AEQKKCEP |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 06-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q107710112, Cantor's isomorphism theorem (statement). Also Mathlib Order.iso_of_countable_dense, Wikidata Q107710112
- thousand_plus: thousand_plus Q107710112, Cantor's isomorphism theorem (statement). Also Mathlib Order.iso_of_countable_dense, Wikidata Q107710112, Wikipedia Cantor's isomorphism theorem
- wikipedia: Wikipedia Cantor's isomorphism theorem, Cantor's isomorphism theorem (statement). Also Wikidata Q3527028
History
- 2026-10-26: add by m2/dev
B1AM7BK6V4 B1AM7BK6V4
| URI | m2://inv/B1AM7BK6V4 |
|---|---|
| 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.07828#KH3B (definition). In TWGMVT1N1G/e1, definition 3.1
History
- 2026-10-29: add by m2/v0.4.10
Integral universal series and reduction B1AV8FC4W6
| URI | m2://inv/B1AV8FC4W6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05652#5YQN, Integral universal series and reduction (statement). In 8BNPFYQDQX/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.10
B1AVJ2D6DS B1AVJ2D6DS
| URI | m2://inv/B1AVJ2D6DS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#3Z91 (statement). In CY1FE8W1ZW/e1, proposition 0.256
History
- 2026-10-27: add by m2/v0.3.5
Henryk Zygalski B1AWWWCHHR
| URI | m2://inv/B1AWWWCHHR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#55PK, Henryk Zygalski (unknown)
History
- 2026-11-02: add by m2/dev
B1B15NKNNC B1B15NKNNC
| URI | m2://inv/B1B15NKNNC |
|---|---|
| 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.33383#ZZ8U (statement). In 8AHWRHTP5G/e1, corollary 20
History
- 2026-10-30: add by m2/v0.4.12
B1B28NF7YA B1B28NF7YA
| URI | m2://inv/B1B28NF7YA |
|---|---|
| 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.02506#C1Q0 (statement). In 3JKRBZWJ33/e1, theorem 4.3
History
- 2026-10-29: add by m2/v0.4.12
Hassani −1/2 theorem B1BAM8MJ8D
| URI | m2://inv/B1BAM8MJ8D |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Autocorrelation#LEIV, Hassani −1/2 theorem (statement)
History
- 2026-11-02: add by m2/dev
B1BGYJXWX2 B1BGYJXWX2
| URI | m2://inv/B1BGYJXWX2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#B9Q9 (definition). In PWXT7J9JX3/e1, definition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Werner Nahm B1BJVCKV4M
| URI | m2://inv/B1BJVCKV4M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1515185, Werner Nahm (unknown). Also nLab Werner Nahm
History
- 2026-10-26: add by m2/dev
B1BNBF24M8 B1BNBF24M8
| URI | m2://inv/B1BNBF24M8 |
|---|---|
| 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.12908#40T5 (statement). In TNC658NVMQ/e1, lemma 8.3
History
- 2026-10-28: add by m2/v0.4.2
B1BSRC8A3X B1BSRC8A3X
| URI | m2://inv/B1BSRC8A3X |
|---|---|
| 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.10086#AZQR (statement). In NP9X9CAK19/e1, proposition 8.1
History
- 2026-10-29: add by m2/v0.4.10
B1BZ8VJBC1 B1BZ8VJBC1
| URI | m2://inv/B1BZ8VJBC1 |
|---|---|
| Kind | definition |
| 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 2310.11101#PXS1 (definition). In YBBKTP4E70/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
Implementation B1C0K54V3W
| URI | m2://inv/B1C0K54V3W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ariadne's thread (logic)#BCYH, Implementation (definition)
History
- 2026-11-02: add by m2/dev
B1C41JJJNQ B1C41JJJNQ
| URI | m2://inv/B1C41JJJNQ |
|---|---|
| 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 2609.35597#UT54 (statement). In K424GCJ50P/e1, lemma 3.2
History
- 2026-10-30: add by m2/v0.4.12
Supermultiplet B1C48WRBTG
| URI | m2://inv/B1C48WRBTG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical topics in quantum theory#OZDB, Supermultiplet (unknown)
History
- 2026-11-02: add by m2/dev
A bound preserved by joining B1C4VWJ4Q2
| URI | m2://inv/B1C4VWJ4Q2 |
|---|---|
| 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.06925#SMCJ, A bound preserved by joining (statement). In P0NV7337EK/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.10
Definition and notation B1C98S5N3T
| URI | m2://inv/B1C98S5N3T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Geometric algebra#2DW1, Definition and notation (definition)
History
- 2026-11-02: add by m2/dev
Hechler forcing B1CAC2R2HQ
| URI | m2://inv/B1CAC2R2HQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of forcing notions#5UDX, Hechler forcing (unknown)
History
- 2026-11-02: add by m2/dev
B1CCAD7549 B1CCAD7549
| URI | m2://inv/B1CCAD7549 |
|---|---|
| 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.21568#MMWE (statement)
History
- 2026-11-02: add by m2/v0.6.18
B1CDGJ93FY B1CDGJ93FY
| URI | m2://inv/B1CDGJ93FY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11829#FQAP (statement). In 76DK6SPN88/e1, lemma 2.2
History
- 2026-10-28: add by m2/v0.4.3
Modes of variation B1CER9H1Z6
| URI | m2://inv/B1CER9H1Z6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modes of variation, Modes of variation (definition). Also Wikidata Q96393651
History
- 2026-11-02: add by m2/dev
Formal definition B1CFHWMK23
| URI | m2://inv/B1CFHWMK23 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stochastic gradient Langevin dynamics#BOZ8, Formal definition (definition)
History
- 2026-11-02: add by m2/dev
B1CT89FDZM B1CT89FDZM
| URI | m2://inv/B1CT89FDZM |
|---|---|
| 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.37208#XER8 (statement). In 7MCBCP4T0B/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
Schur-complement denominators and determinant factorization B1CV03CSCA
| URI | m2://inv/B1CV03CSCA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 26-XX, 35-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26066#RA3R, Schur-complement denominators and determinant factorization (statement)
History
- 2026-11-01: add by m2/v0.6.15
B1CVRKRYQM B1CVRKRYQM
| URI | m2://inv/B1CVRKRYQM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26479#FIIL (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gomoku B1CWKB7M6N
| URI | m2://inv/B1CWKB7M6N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of PSPACE-complete problems#EEQN, Gomoku (unknown)
History
- 2026-11-02: add by m2/dev
Constant-root normalization B1D74WH6PE
| URI | m2://inv/B1D74WH6PE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20994#VJDQ, Constant-root normalization (statement). In E90KYMVZMR/e1, proposition 4.4
History
- 2026-10-27: add by m2/v0.4.2
B1DACWFJ1Z B1DACWFJ1Z
| URI | m2://inv/B1DACWFJ1Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26496#FOA4 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Strong initial trace B1DP7JEG61
| URI | m2://inv/B1DP7JEG61 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20735#L32U, Strong initial trace (statement)
History
- 2026-11-02: add by m2/v0.6.18
B1DVF8WWB3 B1DVF8WWB3
| URI | m2://inv/B1DVF8WWB3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33941#GHG8 (statement). In 64YCRQCKZN/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
Estimate of $I_1,\,I_2$ and $I_3$ B1E2772727
| URI | m2://inv/B1E2772727 |
|---|---|
| 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.20097#UEPQ, Estimate of $I_1,\,I_2$ and $I_3$ (statement)
History
- 2026-11-02: add by m2/v0.6.18
B1EB8MYVZ7 B1EB8MYVZ7
| URI | m2://inv/B1EB8MYVZ7 |
|---|---|
| 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.21632#IR1C (statement). In Q4RZTN2EX6/e1, lemma 5.6
History
- 2026-10-27: add by m2/v0.4.2
B1EBTJS305 B1EBTJS305
| URI | m2://inv/B1EBTJS305 |
|---|---|
| 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.27270#OKF2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
A rigorous middle regime B1EC9Q8FZT
| URI | m2://inv/B1EC9Q8FZT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21363#QMXK, A rigorous middle regime (statement). In YPH7NS5AAQ/e1, theorem 6.3
History
- 2026-10-27: add by m2/v0.4.2
Basu's theorem B1EDDKP0CE
| URI | m2://inv/B1EDDKP0CE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TLUS, Basu's theorem (statement)
History
- 2026-11-02: add by m2/dev
Definitions B1EF99JT12
| URI | m2://inv/B1EF99JT12 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Valuation ring#UB4R, Definitions (definition)
History
- 2026-11-02: add by m2/dev
B1EG09D5FQ B1EG09D5FQ
| URI | m2://inv/B1EG09D5FQ |
|---|---|
| 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.24363#IENC (statement)
History
- 2026-11-01: add by m2/v0.6.15
B1ERB3SW8X B1ERB3SW8X
| URI | m2://inv/B1ERB3SW8X |
|---|---|
| Kind | example |
| 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.14502#IEG1 (example). In 6BVBMTYXNZ/e1, example 2.4
History
- 2026-10-28: add by m2/v0.4.2
Definition B1ERD8KV65
| URI | m2://inv/B1ERD8KV65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Wilson loop#TNTL, Definition (definition)
History
- 2026-11-02: add by m2/dev
B1EVMH7X45 B1EVMH7X45
| URI | m2://inv/B1EVMH7X45 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2506.16491#SGAO (definition). In P9J6P06Y40/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.3.5
B1F3MDTQSK B1F3MDTQSK
| URI | m2://inv/B1F3MDTQSK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07741#67T8 (statement). In K4YV2SF9MG/e1, lemma 6.1
History
- 2026-10-29: add by m2/v0.4.10
Applications B1F4SZC7R5
| URI | m2://inv/B1F4SZC7R5 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Connected dominating set#6I4X, Applications (example)
History
- 2026-11-02: add by m2/dev
Cartwright's theorem B1F5DPGJ6Q
| URI | m2://inv/B1F5DPGJ6Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cartwright's theorem, Cartwright's theorem (statement). Also Wikidata Q133885209
History
- 2026-11-02: add by m2/dev
Top-coded B1F5K73F4V
| URI | m2://inv/B1F5K73F4V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#IF78, Top-coded (definition)
History
- 2026-11-02: add by m2/dev
Cristian Dumitru Popescu B1FCWMK8F5
| URI | m2://inv/B1FCWMK8F5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cristian Dumitru Popescu, Cristian Dumitru Popescu (topic). Also Wikidata Q5186180
History
- 2026-11-02: add by m2/dev
Orthocompact space B1FFWG2K7E
| URI | m2://inv/B1FFWG2K7E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Orthocompact space, Orthocompact space (definition). Also Wikidata Q7104431
History
- 2026-11-02: add by m2/dev
Quadratic Discriminant Analysis B1FQAX20PJ
| URI | m2://inv/B1FQAX20PJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadratic classifier#57H0, Quadratic Discriminant Analysis (unknown)
History
- 2026-11-02: add by m2/dev
B1FQJR0NW9 B1FQJR0NW9
| URI | m2://inv/B1FQJR0NW9 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-approximate.tex#exercise-36 (exercise). In E59CDZA4DP, exercise, section 1.4.4
History
- 2026-11-01: add by m2/v0.6.13
faithfully B1FR7E5PNC
| URI | m2://inv/B1FR7E5PNC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of commutative algebra#KM78, faithfully (definition)
History
- 2026-11-02: add by m2/dev
Armstrong number B1FWE5MQCP
| URI | m2://inv/B1FWE5MQCP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of recreational number theory topics#7KRS, Armstrong number (unknown)
History
- 2026-11-02: add by m2/dev
Regular operator B1FYJ6WFKK
| URI | m2://inv/B1FYJ6WFKK |
|---|---|
| Kind | definition |
| 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.14906#JQO1, Regular operator (definition). In 1F8ENX770M/e1, definition 5.2
History
- 2026-10-28: add by m2/v0.4.2
rudimentary set theory B1G1S9S0Q9
| URI | m2://inv/B1G1S9S0Q9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#32F2, rudimentary set theory (definition)
History
- 2026-11-02: add by m2/dev
Pathwise kinetic identity at almost every transverse coordinate B1G2581HZ2
| URI | m2://inv/B1G2581HZ2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20735#4SHH, Pathwise kinetic identity at almost every transverse coordinate (statement)
History
- 2026-11-02: add by m2/v0.6.18
B1G4WWGTER B1G4WWGTER
| URI | m2://inv/B1G4WWGTER |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/intro-statements.ptx#exercise-4 (exercise). In Y91XFCEVHQ, exercise, section 1.2
History
- 2026-11-01: add by m2/v0.6.13
B1G7H4JA35 B1G7H4JA35
| URI | m2://inv/B1G7H4JA35 |
|---|---|
| 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.40054#YOA7 (definition). In CA4C9PFM1E/e1, definition 2.5.1
History
- 2026-10-30: add by m2/v0.4.12
Examples B1GJM806X4
| URI | m2://inv/B1GJM806X4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hypohamiltonian graph#TLLZ, Examples (example)
History
- 2026-11-02: add by m2/dev
B1GNFZD4PB B1GNFZD4PB
| URI | m2://inv/B1GNFZD4PB |
|---|---|
| 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.10902#P804 (statement). In 96T1K6C3NZ/e1, proposition 2
History
- 2026-10-28: add by m2/v0.4.3
Generalizations B1GT40H03X
| URI | m2://inv/B1GT40H03X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Curl (mathematics)#DCUD, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
Bertrand paradox B1H15MM03R
| URI | m2://inv/B1H15MM03R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bertrand paradox (economics), Bertrand paradox (statement). Also Wikidata Q4344853
History
- 2026-11-02: add by m2/dev
Hurwitz-stable matrix B1H2T2AKCE
| URI | m2://inv/B1H2T2AKCE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hurwitz-stable matrix, Hurwitz-stable matrix (definition). Also Wikidata Q131293245
History
- 2026-11-02: add by m2/dev
Theorem B1H6KW1VW7
| URI | m2://inv/B1H6KW1VW7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Eakin–Nagata theorem#9I8P, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Examples B1H8SRWZJP
| URI | m2://inv/B1H8SRWZJP |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverse function rule#5NJK, Examples (example)
History
- 2026-11-02: add by m2/dev
B1HJA7E9ZN B1HJA7E9ZN
| URI | m2://inv/B1HJA7E9ZN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27931#2WEB (statement)
History
- 2026-11-01: add by m2/v0.6.15
B1HYJ8ET8N B1HYJ8ET8N
| URI | m2://inv/B1HYJ8ET8N |
|---|---|
| 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.39260#U43H (statement). In ZNDB1AZZSA/e1, corollary 1.4
History
- 2026-10-30: add by m2/v0.4.12
Normalizing constant B1J7YKFXVV
| URI | m2://inv/B1J7YKFXVV |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability topics#025D, Normalizing constant (object)
History
- 2026-11-02: add by m2/dev
separable polynomial B1JG55A58W
| URI | m2://inv/B1JG55A58W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | node (a node has the same Wikidata item as the row) |
| Node | Separable polynomial 0RZ89QWTSJ |
Mentions
- wikidata: Wikidata Q2530089, separable polynomial (unknown). Also MathWorld SeparablePolynomial
- wikipedia: Wikipedia Separable polynomial, Separable polynomial (definition). Also Wikidata Q2530089
History
- 2026-10-26: add by m2/dev
- 2026-10-27: outcome by agent
great icosahedron B1JHFGJTEA
| URI | m2://inv/B1JHFGJTEA |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q769556, great icosahedron (unknown). Also MathWorld GreatIcosahedron
- wikipedia: Wikipedia Great icosahedron, Great icosahedron (object). Also Wikidata Q769556
History
- 2026-10-26: add by m2/dev
Post-glacial rebound B1JP5R4H75
| URI | m2://inv/B1JP5R4H75 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Post-glacial rebound, Post-glacial rebound (definition). Also Wikidata Q1161410
History
- 2026-11-02: add by m2/dev
Definition B1JPM33TBC
| URI | m2://inv/B1JPM33TBC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sincere favorite criterion#DZ2R, Definition (definition)
History
- 2026-11-02: add by m2/dev
Uniform window estimates B1JQV09TNZ
| URI | m2://inv/B1JQV09TNZ |
|---|---|
| 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.28791#NJFE, Uniform window estimates (statement)
History
- 2026-11-01: add by m2/v0.6.15
B1JYK005PD B1JYK005PD
| URI | m2://inv/B1JYK005PD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 19-XX, 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.00596#HS2N (statement). In F8RC6AENB0/e1, proposition 2.13
History
- 2026-10-27: add by m2/v0.3.5
Soundness and Completeness B1JYZM52G6
| URI | m2://inv/B1JYZM52G6 |
|---|---|
| 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#O8D2, Soundness and Completeness (statement). In 13H5BTAXHF/e1, theorem 16
History
- 2026-10-27: add by m2/v0.3.5
Replacement B1K2MFGDPD
| URI | m2://inv/B1K2MFGDPD |
|---|---|
| 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 2304.02722#248X, Replacement (statement). In AH7D55D3WV/e1, lemma 8.2
History
- 2026-10-27: add by m2/v0.3.5
Milman–Pettis theorem B1KERXWYBS
| URI | m2://inv/B1KERXWYBS |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#YV2F, Milman–Pettis theorem (statement)
History
- 2026-11-02: add by m2/dev
Local cell bound, few contacts B1KFXV62SW
| URI | m2://inv/B1KFXV62SW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25120#XQP9, Local cell bound, few contacts (statement)
History
- 2026-11-01: add by m2/v0.6.15
even number B1KQ2E2H4W
| URI | m2://inv/B1KQ2E2H4W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13366104, even number (unknown). Also MathWorld EvenNumber
History
- 2026-10-26: add by m2/dev
A constructive bound for the reduced cubic solve B1KWJAYR7M
| URI | m2://inv/B1KWJAYR7M |
|---|---|
| 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.06557#134L, A constructive bound for the reduced cubic solve (statement). In VV5CH6Y31D/e1, proposition C.1
History
- 2026-10-29: add by m2/v0.4.10
L. M. Milne-Thomson B1M32PSHAB
| URI | m2://inv/B1M32PSHAB |
|---|---|
| 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#L21R, L. M. Milne-Thomson (unknown)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#PZG2, L. M. Milne-Thomson (unknown)
History
- 2026-11-02: add by m2/dev
Definition B1M6E93RFS
| URI | m2://inv/B1M6E93RFS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Multiresolution Fourier transform#1YUA, Definition (definition)
History
- 2026-11-02: add by m2/dev
Generalizations B1MBBFHKKK
| URI | m2://inv/B1MBBFHKKK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dirichlet problem#YD9J, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
B1MHF3S94A B1MHF3S94A
| URI | m2://inv/B1MHF3S94A |
|---|---|
| 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.22268#HO90 (statement). In 9ZD87293QS/e1, corollary 2.2
History
- 2026-10-27: add by m2/v0.4.0
B1MK7V4ESV B1MK7V4ESV
| URI | m2://inv/B1MK7V4ESV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38013#Q7DJ (statement). In DQ6P0P6N78/e1, theorem B
History
- 2026-10-30: add by m2/v0.4.12
ATS theorem B1MMQYE63Q
| URI | m2://inv/B1MMQYE63Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ATS theorem#L5OO, ATS theorem (statement)
History
- 2026-11-02: add by m2/dev
pedal curve B1MQT0NV0E
| URI | m2://inv/B1MQT0NV0E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1423838, pedal curve (unknown). Also MathWorld PedalCurve
- wikipedia: Wikipedia Pedal curve, Pedal curve (definition). Also Wikidata Q1423838
History
- 2026-10-26: add by m2/dev
B1N04X5B5T B1N04X5B5T
| URI | m2://inv/B1N04X5B5T |
|---|---|
| Kind | definition |
| 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#GORN (definition). In CGA36VE1C5/e1, definition 2.3.1
History
- 2026-10-27: add by m2/v0.3.6
mathematics education B1NC5FX11V
| URI | m2://inv/B1NC5FX11V |
|---|---|
| Kind | definition |
| Layer | textbook |
| MSC | 97-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q853077, mathematics education (topic)
- wikipedia: Wikipedia Mathematics education, Mathematics education (definition). Also Wikidata Q853077
History
- 2026-10-26: add by m2/dev
B1NDMHGQF1 B1NDMHGQF1
| URI | m2://inv/B1NDMHGQF1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16180#FQNK (statement). In FCFD59D3T6/e1, lemma B.6
History
- 2026-10-28: add by m2/v0.4.2
natural numbers B1NPBCTJTA
| URI | m2://inv/B1NPBCTJTA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/8.1/natural-numbers, natural numbers (concept). In N54F33XE07, index, section 8.1
History
- 2026-11-01: add by m2/v0.6.13
Cursed equilibrium B1NSRFRKHY
| URI | m2://inv/B1NSRFRKHY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cursed equilibrium, Cursed equilibrium (definition). Also Wikidata Q131452506
History
- 2026-11-02: add by m2/dev
Displacement and photon number in Bargmann coordinates B1PAZ5JVYH
| URI | m2://inv/B1PAZ5JVYH |
|---|---|
| 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.06810#A47M, Displacement and photon number in Bargmann coordinates (statement). In 1NY2SA03XF/e1, lemma 2.5
History
- 2026-10-29: add by m2/v0.4.10
Graceful labeling B1PEJ13DT0
| URI | m2://inv/B1PEJ13DT0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graceful labeling, Graceful labeling (definition). Also Wikidata Q1386718
History
- 2026-11-02: add by m2/dev
Klein continued fraction B1PSQYWBDR
| URI | m2://inv/B1PSQYWBDR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Klein polyhedron#6CZZ, Klein continued fraction (unknown)
History
- 2026-11-02: add by m2/dev
Statement B1PSZYM5B2
| URI | m2://inv/B1PSZYM5B2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lebesgue differentiation theorem#2SE2, Statement (statement)
History
- 2026-11-02: add by m2/dev
Matroidal closures B1PV9S14JB
| URI | m2://inv/B1PV9S14JB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18154#U2OE, Matroidal closures (statement). In 4W7ARR1DAR/e1, theorem 6.7
History
- 2026-10-28: add by m2/v0.4.2
radical of an integer B1PZMTS3Y7
| URI | m2://inv/B1PZMTS3Y7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2498974, radical of an integer (unknown). Also MathWorld SquarefreePart
- wikipedia: Wikipedia Radical of an integer, Radical of an integer (definition). Also Wikidata Q2498974
History
- 2026-10-26: add by m2/dev
Larsen's alternative B1Q12MRVMC
| URI | m2://inv/B1Q12MRVMC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#267T, Larsen's alternative (statement). In TX0H26X4VX/e1, theorem 8.7
History
- 2026-10-29: add by m2/v0.4.12
B1Q821KY8R B1Q821KY8R
| URI | m2://inv/B1Q821KY8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28295#E2BL (statement)
History
- 2026-11-01: add by m2/v0.6.15
B1QRF50GM6 B1QRF50GM6
| URI | m2://inv/B1QRF50GM6 |
|---|---|
| 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.05442#FUQV (statement). In WEPE51JCHZ/e1, lemma 9.4
History
- 2026-10-29: add by m2/v0.4.10
Regularity and the rest of ZF(C) axioms B1QZC95NFX
| URI | m2://inv/B1QZC95NFX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Axiom of regularity#H9CG, Regularity and the rest of ZF(C) axioms (statement)
History
- 2026-11-02: add by m2/dev
Hautus lemma B1R6TP6BTV
| URI | m2://inv/B1R6TP6BTV |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#7ONY, Hautus lemma (statement)
History
- 2026-11-02: add by m2/dev
B1RAA8N023 B1RAA8N023
| URI | m2://inv/B1RAA8N023 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.19882#4H0F (statement)
History
- 2026-11-02: add by m2/v0.6.18
Statistical model B1RJC5G2TH
| URI | m2://inv/B1RJC5G2TH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#ZR6S, Statistical model (definition)
History
- 2026-11-02: add by m2/dev
Laura Ling B1RJQN9TXV
| URI | m2://inv/B1RJQN9TXV |
|---|---|
| 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#A3XP, Laura Ling (unknown)
History
- 2026-11-02: add by m2/dev
arithmetic geometry B1RKZNV10S
| URI | m2://inv/B1RKZNV10S |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 11Gxx |
| Sources | 2 |
| Outcome | open |
| Node | Arithmetic geometry 824JAXQ5M6 |
Mentions
- wikidata: Wikidata Q2179749, arithmetic geometry (topic). Also MathWorld ArithmeticGeometry, nLab arithmetic geometry, ProofWiki Definition:Arithmetic_Geometry
- wikipedia: Wikipedia Arithmetic geometry, Arithmetic geometry (topic). Also Wikidata Q2179749
History
- 2026-10-26: add by m2/dev
Jacobson density theorem B1RTH1Q9F4
| URI | m2://inv/B1RTH1Q9F4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#D4SN, Jacobson density theorem (statement)
History
- 2026-11-02: add by m2/dev
B1RY670JDV B1RY670JDV
| URI | m2://inv/B1RY670JDV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2601.15403#5FOY (statement). In BSWNH3NW1M/e1, lemma 8.2
History
- 2026-10-27: add by m2/v0.4.0
Method B1S0MHDQTP
| URI | m2://inv/B1S0MHDQTP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Weighted correlation network analysis#PSQK, Method (definition)
History
- 2026-11-02: add by m2/dev
Riemann–Roch theorem B1S220Y3P3
| URI | m2://inv/B1S220Y3P3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Projective variety#IDJQ, Riemann–Roch theorem (statement)
History
- 2026-11-02: add by m2/dev
Statement B1S4Q5R7AJ
| URI | m2://inv/B1S4Q5R7AJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Artin's theorem on induced characters#85K5, Statement (statement)
History
- 2026-11-02: add by m2/dev
B1S63GQ2K2 B1S63GQ2K2
| URI | m2://inv/B1S63GQ2K2 |
|---|---|
| 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 1805.04646#09RR (statement). In WDDY7P9T66/e1, theorem 2.6
History
- 2026-10-27: add by m2/v0.3.5
B1S6JMX7T0 B1S6JMX7T0
| URI | m2://inv/B1S6JMX7T0 |
|---|---|
| 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 2410.12994#ANNX (statement). In DF7NRQSDH9/e1, lemma 1
History
- 2026-10-27: add by m2/v0.3.5
B1S7F62YRR B1S7F62YRR
| URI | m2://inv/B1S7F62YRR |
|---|---|
| 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#P54U (statement). In WD2NCBV9F0/e1, lemma 15.11
History
- 2026-10-27: add by m2/v0.3.5
B1SE9XRZDF B1SE9XRZDF
| URI | m2://inv/B1SE9XRZDF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22011#O6GE (definition)
History
- 2026-11-02: add by m2/v0.6.17
Galois Theory B1SK6NHBVX
| URI | m2://inv/B1SK6NHBVX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Galois Theory (Cox), Galois Theory (definition). Also Wikidata Q135855835
History
- 2026-11-02: add by m2/dev
Uniform Torsion Rank Proposition B1ST751C99
| URI | m2://inv/B1ST751C99 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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 2610.12831#4XUK, Uniform Torsion Rank Proposition (statement). In 7ZBQ8WGQVB/e1, proposition 5.1
History
- 2026-10-28: add by m2/v0.4.2
Pochhammer k-symbol B1SVGV441H
| URI | m2://inv/B1SVGV441H |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pochhammer k-symbol, Pochhammer k-symbol (definition). Also Wikidata Q7206327
History
- 2026-11-02: add by m2/dev
B1SXW5CVPV B1SXW5CVPV
| URI | m2://inv/B1SXW5CVPV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38539#83BB (statement). In 6H78W2WZ5G/e1, corollary 3.1
History
- 2026-10-30: add by m2/v0.4.12
B1SZCPAN4R B1SZCPAN4R
| URI | m2://inv/B1SZCPAN4R |
|---|---|
| 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 2404.18690#8NM6 (statement). In MDCJJJRQ2X/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.3.5
Software reliability B1SZZXJ2R3
| URI | m2://inv/B1SZZXJ2R3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Reliability engineering#7NMC, Software reliability (unknown)
History
- 2026-11-02: add by m2/dev
B1T5WN7HCA B1T5WN7HCA
| URI | m2://inv/B1T5WN7HCA |
|---|---|
| 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.04809#525V (statement). In 2VHV0RNTNV/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.12
Quillen model category B1T6WB1321
| URI | m2://inv/B1T6WB1321 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/7/quillen-model-category, Quillen model category (concept). In N54F33XE07, index, section 7
History
- 2026-11-01: add by m2/v0.6.13
B1TEXVMVH9 B1TEXVMVH9
| URI | m2://inv/B1TEXVMVH9 |
|---|---|
| Kind | definition |
| 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.21692#UESO (definition)
History
- 2026-11-02: add by m2/v0.6.18
Max Bense B1TH7EAK7J
| URI | m2://inv/B1TH7EAK7J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Max Bense, Max Bense (topic). Also Wikidata Q62373
History
- 2026-11-02: add by m2/dev
Theorem B1V1HGHHEE
| URI | m2://inv/B1V1HGHHEE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn–Banach theorem#IQXY, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Paradox B1V2XDQZMH
| URI | m2://inv/B1V2XDQZMH |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quantum entanglement#CEN4, Paradox (statement)
History
- 2026-11-02: add by m2/dev
Examples B1V8A8DBCH
| URI | m2://inv/B1V8A8DBCH |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Solvable group#69CS, Examples (example)
History
- 2026-11-02: add by m2/dev
Symmetry B1V99K102Y
| URI | m2://inv/B1V99K102Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Decomino#QCGW, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
B1VCJ7AZNW B1VCJ7AZNW
| URI | m2://inv/B1VCJ7AZNW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#Z4GS (statement). In XGPZ0G9E1Q/e1, proposition 7.6
History
- 2026-10-29: add by m2/v0.4.12
Lyapunov dimension B1VF6QXGNA
| URI | m2://inv/B1VF6QXGNA |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q65076454, Lyapunov dimension (concept). Also MathWorld LyapunovDimension
- wikipedia: Wikipedia Lyapunov dimension, Lyapunov dimension (definition). Also Wikidata Q65076454
History
- 2026-10-26: add by m2/dev
B1VTF8AYX5 B1VTF8AYX5
| URI | m2://inv/B1VTF8AYX5 |
|---|---|
| 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#BZT5 (statement). In 5350Q52F6P/e1, proposition 10.1
History
- 2026-10-28: add by m2/v0.4.2
Properties B1VWXGN9DX
| URI | m2://inv/B1VWXGN9DX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chebyshev distance#UBPK, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples B1W1MGAT24
| URI | m2://inv/B1W1MGAT24 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Vacuous truth#Y4P3, Examples (example)
History
- 2026-11-02: add by m2/dev
B1W5EW1PB5 B1W5EW1PB5
| URI | m2://inv/B1W5EW1PB5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/cats/abelian.tex#definition-3 (definition). In RZP28ERRZV, definition, section 35.1
History
- 2026-11-01: add by m2/v0.6.13
Subadditivity fails, even comonotonically B1WC3AMRCV
| URI | m2://inv/B1WC3AMRCV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08821#SA13, Subadditivity fails, even comonotonically (statement). In KP1THB2C09/e1, proposition 3.7
History
- 2026-10-29: add by m2/v0.4.10
Generalizations B1WG5E08BA
| URI | m2://inv/B1WG5E08BA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Packing dimension#BVH5, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
rational numbers, as Cauchy real numbers B1WR4SFGXE
| URI | m2://inv/B1WR4SFGXE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.3.1/rational-numbers-as-cauchy-real-numbers, rational numbers, as Cauchy real numbers (concept). In N54F33XE07, index, section B.3.1
History
- 2026-11-01: add by m2/v0.6.13
Magnetic $\T$-symmetry backgrounds B1X018SE8K
| URI | m2://inv/B1X018SE8K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#158L, Magnetic $\T$-symmetry backgrounds (definition). In G3D1YR20BJ/e1, definition 3.3
History
- 2026-10-29: add by m2/v0.4.12
Amihay Hanany B1X32BC80W
| URI | m2://inv/B1X32BC80W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q64038660, Amihay Hanany (unknown). Also nLab Amihay Hanany
History
- 2026-10-26: add by m2/dev
Lillian Pierce B1X3KZFFDY
| URI | m2://inv/B1X3KZFFDY |
|---|---|
| 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#S9K2, Lillian Pierce (topic)
History
- 2026-11-02: add by m2/dev
B1X6HBY31R B1X6HBY31R
| URI | m2://inv/B1X6HBY31R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.14380#MMG5 (statement). In 2ZRQP063HP/e1, lemma
History
- 2026-10-28: add by m2/v0.4.2
Pseudoideal B1X9D1WQ2P
| URI | m2://inv/B1X9D1WQ2P |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudoideal, Pseudoideal (definition). Also Wikidata Q7254878
History
- 2026-11-02: add by m2/dev
Equational logic B1XD9VC6Q7
| URI | m2://inv/B1XD9VC6Q7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Equational logic, Equational logic (topic). Also Wikidata Q5384236
History
- 2026-11-02: add by m2/dev
B1XM623WZB B1XM623WZB
| URI | m2://inv/B1XM623WZB |
|---|---|
| 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 2610.14446#GKFE (statement). In AWRXXZR673/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
B1XRHAGAC6 B1XRHAGAC6
| URI | m2://inv/B1XRHAGAC6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07092#HFM7 (definition). In JWNYJVH8XG/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Hsiang–Lawson's conjecture B1XT2YCCCP
| URI | m2://inv/B1XT2YCCCP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hsiang–Lawson's conjecture, Hsiang–Lawson's conjecture (statement). Also Wikidata Q17027740
History
- 2026-11-02: add by m2/dev
B1XWMBFJWN B1XWMBFJWN
| URI | m2://inv/B1XWMBFJWN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32358#A4OT (example). In WYVVH1QVSP/e1, example 1
History
- 2026-10-31: add by m2/v0.5.6
Triangle theorem B1Y053PKZ0
| URI | m2://inv/B1Y053PKZ0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lee Sallows#G1JU, Triangle theorem (statement)
History
- 2026-11-02: add by m2/dev
Adian–Rabin theorem B1Y2TXBXSJ
| URI | m2://inv/B1Y2TXBXSJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Adian–Rabin theorem, Adian–Rabin theorem (statement). Also Wikidata Q26905515
History
- 2026-11-02: add by m2/dev
B1Y36V3PY9 B1Y36V3PY9
| URI | m2://inv/B1Y36V3PY9 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/sets-functions-relations/size-of-sets/zig-zag.tex#natsquaredenumerable (statement). In PKGMM3P5QY, prop, section 85.1
History
- 2026-11-01: add by m2/v0.6.13
B1Y4GYM32S B1Y4GYM32S
| URI | m2://inv/B1Y4GYM32S |
|---|---|
| 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.26701#874Y (statement)
History
- 2026-11-01: add by m2/v0.6.15
Barban's constant B1YB7PP6K3
| URI | m2://inv/B1YB7PP6K3 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55729934, Barban's constant (object). Also MathWorld BatbansConstant, OEIS A175640
History
- 2026-10-26: add by m2/dev
B1YD6XBXJY B1YD6XBXJY
| URI | m2://inv/B1YD6XBXJY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24023#7V4I (definition)
History
- 2026-11-02: add by m2/v0.6.17
Reciprocal one-sided seam B1YRJ1VS2T
| URI | m2://inv/B1YRJ1VS2T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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.22465#UK9G, Reciprocal one-sided seam (statement)
History
- 2026-11-02: add by m2/v0.6.17
From Newton's second law B1YYV3W4JJ
| URI | m2://inv/B1YYV3W4JJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inverted pendulum#ZVNJ, From Newton's second law (statement)
History
- 2026-11-02: add by m2/dev
Brunt–Väisälä frequency B1ZACMPJQ6
| URI | m2://inv/B1ZACMPJQ6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brunt–Väisälä frequency, Brunt–Väisälä frequency (definition). Also Wikidata Q994205
History
- 2026-11-02: add by m2/dev
Schur orthogonality relations B1ZDS7W37S
| URI | m2://inv/B1ZDS7W37S |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7433034, Great orthogonality theorem (statement). Also Wikidata Q7433034
- thousand_plus: thousand_plus Q7433034, Great orthogonality theorem (statement). Also Wikidata Q7433034, Wikipedia Great orthogonality theorem
- wikipedia: Wikipedia Schur orthogonality relations, Schur orthogonality relations (definition). Also Wikidata Q7433034
History
- 2026-10-26: add by m2/dev
B1ZJV0Q1YM B1ZJV0Q1YM
| URI | m2://inv/B1ZJV0Q1YM |
|---|---|
| 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.37920#1QFB (statement). In GZPF8R6BBF/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
hippopede B1ZM9G93JT
| URI | m2://inv/B1ZM9G93JT |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1205428, hippopede (concept). Also MathWorld Hippopede
- wikipedia: Wikipedia Hippopede, Hippopede (definition). Also Wikidata Q1205428
History
- 2026-10-26: add by m2/dev
A Beautiful Mind B1ZN4F2PKX
| URI | m2://inv/B1ZN4F2PKX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia A Beautiful Mind, A Beautiful Mind (definition). Also Wikidata Q164103
History
- 2026-11-02: add by m2/dev
\myindex{Chebyshev's equation of order 1} B1ZWWX7MGN
| URI | m2://inv/B1ZWWX7MGN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-higher-order-ode.tex#exercise-6, \myindex{Chebyshev's equation of order 1} (exercise). In E9HS8K3A52, exercise, section 6.1.1
History
- 2026-11-01: add by m2/v0.6.13
Stationary-action principle B1ZX0FDA3M
| URI | m2://inv/B1ZX0FDA3M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Angular momentum#9XB6, Stationary-action principle (statement)
History
- 2026-11-02: add by m2/dev
isologue B1ZYWH7KX6
| URI | m2://inv/B1ZYWH7KX6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#O078, isologue (definition)
History
- 2026-11-02: add by m2/dev