Inventory rows BD
The cards of the rows of the inventory whose ids start with BD. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Russian copulation BD00ZCT9CW
| URI | m2://inv/BD00ZCT9CW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Russian copulation, Russian copulation (definition). Also Wikidata Q7382184
History
- 2026-11-02: add by m2/dev
BD03FDKBA9 BD03FDKBA9
| URI | m2://inv/BD03FDKBA9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18419#2OJH (statement). In 7Q26JWKD7E/e1, lemma 12
History
- 2026-10-28: add by m2/v0.4.2
Beta function BD05FCQE65
| URI | m2://inv/BD05FCQE65 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of integrals#CDY7, Beta function (definition)
History
- 2026-11-02: add by m2/dev
BD06C2DYY8 BD06C2DYY8
| URI | m2://inv/BD06C2DYY8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2202.03009#1HI9 (statement). In GYEQJ534W1/e1, theorem 8
History
- 2026-10-27: add by m2/v0.3.5
Integrally closed (partially ordered group) BD0B1MSN3E
| URI | m2://inv/BD0B1MSN3E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Partially ordered group#GXTT, Integrally closed (partially ordered group) (unknown)
History
- 2026-11-02: add by m2/dev
Joseph Langley Burchnall BD0C55WK3G
| URI | m2://inv/BD0C55WK3G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joseph Langley Burchnall, Joseph Langley Burchnall (topic). Also Wikidata Q6284811
History
- 2026-11-02: add by m2/dev
Corrado De Concini BD0HJHESSE
| URI | m2://inv/BD0HJHESSE |
|---|---|
| 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#18WA, Corrado De Concini (topic)
History
- 2026-11-02: add by m2/dev
Corollary of Clifford's theorem BD0NMHJQFM
| URI | m2://inv/BD0NMHJQFM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Clifford theory#VV4A, Corollary of Clifford's theorem (statement)
History
- 2026-11-02: add by m2/dev
Repulsive harmonic cost in \(\R^d\ BD0RVD9RCZ
| URI | m2://inv/BD0RVD9RCZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10257#2RPZ, Repulsive harmonic cost in \(\R^d\ (statement). In BQD9MJHKV8/e1, theorem 5.22
History
- 2026-10-29: add by m2/v0.4.10
Bieri-Renz BD0XQY1JJT
| URI | m2://inv/BD0XQY1JJT |
|---|---|
| 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.09704#7CBU, Bieri-Renz (statement). In FNG4B47MRV/e1, theorem 2.3
History
- 2026-10-29: add by m2/v0.4.10
Stephen Parke BD1F3PF12D
| URI | m2://inv/BD1F3PF12D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#SGK8, Stephen Parke (unknown)
History
- 2026-11-02: add by m2/dev
BD1KJZ7RD4 BD1KJZ7RD4
| URI | m2://inv/BD1KJZ7RD4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-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 2610.15344#DWQL (statement). In B9EX6K51RD/e1, theorem 4.16
History
- 2026-10-28: add by m2/v0.4.2
BD1P0SMGBX BD1P0SMGBX
| URI | m2://inv/BD1P0SMGBX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/proof-theory/natural-deduction/translation-G2i.tex#prop:G2i-to-N2i (statement). In PKGMM3P5QY, prop, section 58.4
History
- 2026-11-01: add by m2/v0.6.13
Slice genus BD1P3DS96A
| URI | m2://inv/BD1P3DS96A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Slice genus, Slice genus (definition). Also Wikidata Q17103363
History
- 2026-11-02: add by m2/dev
BD1TJGMH58 BD1TJGMH58
| URI | m2://inv/BD1TJGMH58 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04000#FVOQ (statement). In CBCCH5VTMQ/e1, theorem
History
- 2026-10-29: add by m2/v0.4.12
David Harbater BD1ZD2E37K
| URI | m2://inv/BD1ZD2E37K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Harbater, David Harbater (topic). Also Wikidata Q1174673
History
- 2026-11-02: add by m2/dev
List of mathematical examples BD22NTH94Y
| URI | m2://inv/BD22NTH94Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples, List of mathematical examples (topic). Also Wikidata Q17077762
History
- 2026-11-02: add by m2/dev
BD22WARDKF BD22WARDKF
| URI | m2://inv/BD22WARDKF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-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.01694#MHEJ (definition). In EBMHYN0XK9/e1, definition 2.6
History
- 2026-10-29: add by m2/v0.4.12
anti-triangle BD2D3CJ845
| URI | m2://inv/BD2D3CJ845 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#HVGP, anti-triangle (definition)
History
- 2026-11-02: add by m2/dev
Semyon Gershgorin BD2JE5XF9A
| URI | m2://inv/BD2JE5XF9A |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#HQYK, Semyon Gershgorin (topic)
History
- 2026-11-02: add by m2/dev
kilo BD2NFKBYZ0
| URI | m2://inv/BD2NFKBYZ0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q107428, kilo (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/kilo-
History
- 2026-10-26: add by m2/dev
Non-attainable diffeomorphism BD2NS0MKNA
| URI | m2://inv/BD2NS0MKNA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31294#8A7T, Non-attainable diffeomorphism (statement). In 6GK9EJMWY4/e1, theorem 1.2
History
- 2026-10-31: add by m2/v0.5.6
BD2NSPMJY3 BD2NSPMJY3
| URI | m2://inv/BD2NSPMJY3 |
|---|---|
| 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 2411.07061#6N5Y (statement). In S988ZVA1QE/e1, corollary 3
History
- 2026-10-27: add by m2/v0.3.6
BD2PAA41B6 BD2PAA41B6
| URI | m2://inv/BD2PAA41B6 |
|---|---|
| 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.30015#AHI8 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Projection principle BD2SVCX5MM
| URI | m2://inv/BD2SVCX5MM |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/diffgeo/multivar.tex#thm:project_principle, Projection principle (statement). In RZP28ERRZV, theorem, section 45.2
History
- 2026-11-01: add by m2/v0.6.13
Binomial series BD326AKM6R
| URI | m2://inv/BD326AKM6R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of factorial and binomial topics#X5OT, Binomial series (definition)
History
- 2026-11-02: add by m2/dev
Thue–Siegel–Roth theorem BD3655C9MR
| URI | m2://inv/BD3655C9MR |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 4 |
| Outcome | open |
| Node | Thue–Siegel–Roth theorem R9JZA3G2NX |
Mentions
- mathlib_1000: mathlib_1000 Q751120, Thue–Siegel–Roth theorem (statement). Also Wikidata Q751120
- thousand_plus: thousand_plus Q751120, Thue–Siegel–Roth theorem (statement). Also Wikidata Q751120, Wikipedia Thue–Siegel–Roth theorem
- wikidata: Wikidata Q751120, Thue–Siegel–Roth theorem (statement). Also MathWorld RothsTheorem
- wikipedia: Wikipedia Roth's theorem, Roth's theorem (statement). Also Wikidata Q751120
History
- 2026-10-26: add by m2/dev
Sylvester, James Joseph BD37XE57FR
| URI | m2://inv/BD37XE57FR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#C75A, Sylvester, James Joseph (topic)
History
- 2026-11-02: add by m2/dev
BD3MRVJYN9 BD3MRVJYN9
| URI | m2://inv/BD3MRVJYN9 |
|---|---|
| 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 2610.16114#HXVT (statement). In JZZ3FJ382R/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
BD3SFXGAR7 BD3SFXGAR7
| URI | m2://inv/BD3SFXGAR7 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/MoreQuantification.tex#proof-4 (proof). In P1C114YBXG, proof, section F
History
- 2026-11-01: add by m2/v0.6.13
Special Lagrangian submanifold BD3V40DM4Y
| URI | m2://inv/BD3V40DM4Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Joseph-Louis Lagrange#1QIF, Special Lagrangian submanifold (definition)
History
- 2026-11-02: add by m2/dev
SAS BD415C2YW3
| URI | m2://inv/BD415C2YW3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical-analysis software#012H, SAS (definition)
History
- 2026-11-02: add by m2/dev
Superiorization BD4C51BV7Z
| URI | m2://inv/BD4C51BV7Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superiorization, Superiorization (definition). Also Wikidata Q56274019
History
- 2026-11-02: add by m2/dev
BD4EGA7Z55 BD4EGA7Z55
| URI | m2://inv/BD4EGA7Z55 |
|---|---|
| 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.33250#NZN3 (statement). In JCTD510XJ0/e1, proposition 5.1
History
- 2026-10-30: add by m2/v0.4.12
BD4J7STD0T BD4J7STD0T
| URI | m2://inv/BD4J7STD0T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20956#2DEE (statement). In X9WFC1D9ZS/e1, proposition 33
History
- 2026-10-27: add by m2/v0.4.2
Veronese surface BD4TEB7AQD
| URI | m2://inv/BD4TEB7AQD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#H21Z, Veronese surface (definition)
History
- 2026-11-02: add by m2/dev
Stepwise irregular graph BD4TRP725T
| URI | m2://inv/BD4TRP725T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stepwise irregular graph, Stepwise irregular graph (definition). Also Wikidata Q136487607
History
- 2026-11-02: add by m2/dev
Ferenc Forgó BD50AVQJH0
| URI | m2://inv/BD50AVQJH0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FTZH, Ferenc Forgó (unknown)
History
- 2026-11-02: add by m2/dev
Every consistent learner is rate-optimal BD53P0P7WP
| URI | m2://inv/BD53P0P7WP |
|---|---|
| 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#D2IB, Every consistent learner is rate-optimal (statement). In 4W7ARR1DAR/e1, theorem 4.1
History
- 2026-10-28: add by m2/v0.4.2
value, truth BD5AEZBV8D
| URI | m2://inv/BD5AEZBV8D |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.8/value-truth, value, truth (concept). In N54F33XE07, index, section A.8
History
- 2026-11-01: add by m2/v0.6.13
BD5AMKN6FY BD5AMKN6FY
| URI | m2://inv/BD5AMKN6FY |
|---|---|
| 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.06225#0RPT (statement). In RQVG8V4FJA/e1, proposition 2.2
History
- 2026-10-29: add by m2/v0.4.10
Variants BD5BKT7H16
| URI | m2://inv/BD5BKT7H16 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Block-stacking problem#C1DS, Variants (statement)
History
- 2026-11-02: add by m2/dev
BD5FEXQQMW BD5FEXQQMW
| URI | m2://inv/BD5FEXQQMW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#X0BD (statement). In 3A4K47Y9F2/e1, lemma 6.23
History
- 2026-10-27: add by m2/v0.4.0
axiom, of reducibility BD5NZ3HNH1
| URI | m2://inv/BD5NZ3HNH1 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/9.11/axiom-of-reducibility, axiom, of reducibility (concept). In N54F33XE07, index, section 9.11
History
- 2026-11-01: add by m2/v0.6.13
Definition BD5VYPKPH5
| URI | m2://inv/BD5VYPKPH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia First moment of area#Q2ZY, Definition (definition)
History
- 2026-11-02: add by m2/dev
BD6D2CK8WC BD6D2CK8WC
| URI | m2://inv/BD6D2CK8WC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 19-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36823#W5BN (statement). In 55WT8DME6Y/e1, proposition 2.5
History
- 2026-10-30: add by m2/v0.4.12
Alon–Saks–Seymour conjecture BD6FAYP7E0
| URI | m2://inv/BD6FAYP7E0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Graham–Pollak theorem#PMDO, Alon–Saks–Seymour conjecture (statement)
History
- 2026-11-02: add by m2/dev
Arasu--Dillon--Jungnickel--Pott BD6M3DDAXB
| URI | m2://inv/BD6M3DDAXB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02392#2PVX, Arasu--Dillon--Jungnickel--Pott (statement). In W066HQZQBF/e1, theorem 4
History
- 2026-10-29: add by m2/v0.4.12
Repair as contraction onto the acceptable set BD6SKGTZ8X
| URI | m2://inv/BD6SKGTZ8X |
|---|---|
| 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.11038#HCQS, Repair as contraction onto the acceptable set (statement). In RY8QBYR4SE/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.3
BD6WCJSAXK BD6WCJSAXK
| URI | m2://inv/BD6WCJSAXK |
|---|---|
| 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.22345#9UPV (statement). In 7JATJ4VG9G/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.4.0
Guidelines for Assessment and Instruction in Statistics Education BD6XC2XZBA
| URI | m2://inv/BD6XC2XZBA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Guidelines for Assessment and Instruction in Statistics Education, Guidelines for Assessment and Instruction in Statistics Education (definition). Also Wikidata Q17019880
History
- 2026-11-02: add by m2/dev
Recovery sequences for sums BD7DVX4CFW
| URI | m2://inv/BD7DVX4CFW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 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 2610.21775#BB9G, Recovery sequences for sums (statement). In KM3Q791JY0/e1, lemma 3.4
History
- 2026-10-27: add by m2/v0.4.2
BD7QYDGZ70 BD7QYDGZ70
| URI | m2://inv/BD7QYDGZ70 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16339#KS7I (statement). In ER5EH4W919/e1, proposition 3.3
History
- 2026-10-28: add by m2/v0.4.2
BD7TTPH0G6 BD7TTPH0G6
| URI | m2://inv/BD7TTPH0G6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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 2004.12552#TON4 (statement). In TWPE10CZ1S/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
List of countries by English-speaking population BD7XCQV2CJ
| URI | m2://inv/BD7XCQV2CJ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of countries by English-speaking population, List of countries by English-speaking population (topic). Also Wikidata Q3279492
History
- 2026-11-02: add by m2/dev
Support of a module BD83V1DJ7R
| URI | m2://inv/BD83V1DJ7R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Support of a module, Support of a module (definition). Also Wikidata Q7644587
History
- 2026-11-02: add by m2/dev
BD87PZ6046 BD87PZ6046
| URI | m2://inv/BD87PZ6046 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm-2 (statement). In N54F33XE07, thm, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
Holographic principle BD8BJCZBK0
| URI | m2://inv/BD8BJCZBK0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#X42D, Holographic principle (statement)
History
- 2026-11-02: add by m2/dev
BD8XXYGVPE BD8XXYGVPE
| URI | m2://inv/BD8XXYGVPE |
|---|---|
| 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.21017#7590 (statement). In 8KKYZ4NKT2/e1, lemma 17
History
- 2026-10-27: add by m2/v0.4.2
BD93A2Y1FP BD93A2Y1FP
| URI | m2://inv/BD93A2Y1FP |
|---|---|
| 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.14689#QGAT (statement). In 6BKMNJYNPJ/e1, theorem 4.6
History
- 2026-10-28: add by m2/v0.4.2
The abelian-kernel example BD94EXD0BY
| URI | m2://inv/BD94EXD0BY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03424#MB39, The abelian-kernel example (statement). In Q6HRJP4AWA/e1, proposition 3.4
History
- 2026-10-29: add by m2/v0.4.12
$\theta_\star=\theta_r$ and $W_\star=W_r$ BD94NTK0S8
| URI | m2://inv/BD94NTK0S8 |
|---|---|
| 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.01731#2USW, $\theta_\star=\theta_r$ and $W_\star=W_r$ (statement). In 3TJ2FWXQ0D/e1, lemma 4.2
History
- 2026-10-29: add by m2/v0.4.12
infimum and supremum BD97KMBV7A
| URI | m2://inv/BD97KMBV7A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17502105, infimum and supremum (unknown). Also EoM Upper_and_lower_bounds
- wikipedia: Wikipedia Infimum and supremum, Infimum and supremum (definition). Also Wikidata Q17502105
History
- 2026-10-26: add by m2/dev
Richard Askey BD99DJMF2T
| URI | m2://inv/BD99DJMF2T |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Askey, Richard Askey (topic). Also Wikidata Q1406404
History
- 2026-11-02: add by m2/dev
Definition BD9F0XTJPB
| URI | m2://inv/BD9F0XTJPB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Barycentric coordinate system#GIHA, Definition (definition)
History
- 2026-11-02: add by m2/dev
BD9HY7Q411 BD9HY7Q411
| URI | m2://inv/BD9HY7Q411 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14783#0HC2 (definition). In Y3X5XY2J65/e1, definition 7.1
History
- 2026-10-28: add by m2/v0.4.2
Nauru BD9KGCXXGJ
| URI | m2://inv/BD9KGCXXGJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nauru, Nauru (definition). Also Wikidata Q697
History
- 2026-11-02: add by m2/dev
BD9Q18K4D5 BD9Q18K4D5
| URI | m2://inv/BD9Q18K4D5 |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/wo.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 73.4
History
- 2026-11-01: add by m2/v0.6.13
2-bridge knot BD9W7TJYY7
| URI | m2://inv/BD9W7TJYY7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2-bridge knot, 2-bridge knot (definition). Also Wikidata Q20183865
History
- 2026-11-02: add by m2/dev
Properties BD9X8NA8J8
| URI | m2://inv/BD9X8NA8J8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tridiagonal matrix#0CAI, Properties (statement)
History
- 2026-11-02: add by m2/dev
Hadamard–Rybczynski equation BDA1R5ZKY3
| URI | m2://inv/BDA1R5ZKY3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Jacques Hadamard#71F5, Hadamard–Rybczynski equation (unknown)
History
- 2026-11-02: add by m2/dev
Prefix overhead to every surviving history BDA2KJERB4
| URI | m2://inv/BDA2KJERB4 |
|---|---|
| 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.20187#DV2D, Prefix overhead to every surviving history (statement). In N280AVNNBY/e1, lemma B.3
History
- 2026-10-27: add by m2/v0.4.2
Liu Hui's π algorithm BDA6783QAW
| URI | m2://inv/BDA6783QAW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Liu Hui's π algorithm, Liu Hui's π algorithm (definition). Also Wikidata Q10899270
History
- 2026-11-02: add by m2/dev
Overfitting BDAEKSX67C
| URI | m2://inv/BDAEKSX67C |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Overfitting, Overfitting (definition). Also Wikidata Q331309
History
- 2026-11-02: add by m2/dev
List-decodable unsqueezing BDAP3QHDRN
| URI | m2://inv/BDAP3QHDRN |
|---|---|
| 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#NXZR, List-decodable unsqueezing (statement). In 1NY2SA03XF/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Randomized overdamped lower bounds on a Gaussian target BDATDY7HT3
| URI | m2://inv/BDATDY7HT3 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06308#N4SN, Randomized overdamped lower bounds on a Gaussian target (statement). In HTWSDDAWGS/e1, proposition 6.1
History
- 2026-10-29: add by m2/v0.4.10
Vanishing of the Schwartzman normalization BDB2SFE1Z7
| URI | m2://inv/BDB2SFE1Z7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27851#W6Q8, Vanishing of the Schwartzman normalization (statement)
History
- 2026-11-01: add by m2/v0.6.15
General definition BDB8N53N92
| URI | m2://inv/BDB8N53N92 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cepstrum#BPD8, General definition (definition)
History
- 2026-11-02: add by m2/dev
Lipschitz Bounds for the Dirichlet Force BDB8STE24C
| URI | m2://inv/BDB8STE24C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13355#TYTL, Lipschitz Bounds for the Dirichlet Force (statement). In QJ1G1HBC6C/e1, proposition 7.1
History
- 2026-10-28: add by m2/v0.4.2
BDBAXPN77C BDBAXPN77C
| URI | m2://inv/BDBAXPN77C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20909#654K (statement). In 7ZBX5WVEZP/e1, theorem 1.4
History
- 2026-10-27: add by m2/v0.4.2
BDBK0QD4V8 BDBK0QD4V8
| URI | m2://inv/BDBK0QD4V8 |
|---|---|
| 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 2610.18992#JDSA (statement). In S7PNTM0GZC/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
BDBKR3BPBY BDBKR3BPBY
| URI | m2://inv/BDBKR3BPBY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27366#HQU6 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BDBNGJ4YQA BDBNGJ4YQA
| URI | m2://inv/BDBNGJ4YQA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25129#HHA2 (statement)
History
- 2026-11-01: add by m2/v0.6.15
BDBP9196BG BDBP9196BG
| URI | m2://inv/BDBP9196BG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#3A6N (statement). In XXN6KKXPYF/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Complete residue system modulo m BDBSDAEQEV
| URI | m2://inv/BDBSDAEQEV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modular arithmetic#4X00, Complete residue system modulo m (unknown)
History
- 2026-11-02: add by m2/dev
BDBW1JHF3Z BDBW1JHF3Z
| URI | m2://inv/BDBW1JHF3Z |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34382#MMXI (example). In MEF2VCAYXS/e1, example 2.12
History
- 2026-10-30: add by m2/v0.4.12
Canonical topology BDBW3SW7GB
| URI | m2://inv/BDBW3SW7GB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topologies on the category of schemes#DYAV, Canonical topology (unknown)
History
- 2026-11-02: add by m2/dev
BDBZ9JJWWA BDBZ9JJWWA
| URI | m2://inv/BDBZ9JJWWA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#24LG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ordered logit BDC2H648J5
| URI | m2://inv/BDC2H648J5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordered logit, Ordered logit (definition). Also Wikidata Q7100713
History
- 2026-11-02: add by m2/dev
BDC4EF8R0E BDC4EF8R0E
| URI | m2://inv/BDC4EF8R0E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.06746#J075 (statement). In B8A6BPP922/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
BDC4MKTGSD BDC4MKTGSD
| URI | m2://inv/BDC4MKTGSD |
|---|---|
| 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.23327#1CVJ (statement)
History
- 2026-11-02: add by m2/v0.6.17
quartic BDC65X0M04
| URI | m2://inv/BDC65X0M04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#ANF4, quartic (definition)
History
- 2026-11-02: add by m2/dev
André-Michel Guerry BDCJZRVKWS
| URI | m2://inv/BDCJZRVKWS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia André-Michel Guerry, André-Michel Guerry (topic). Also Wikidata Q441271
History
- 2026-11-02: add by m2/dev
Creation BDCQ4685AQ
| URI | m2://inv/BDCQ4685AQ |
|---|---|
| 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#RA4D, Creation (statement). In WD2NCBV9F0/e1, lemma 14.7
History
- 2026-10-27: add by m2/v0.3.5
BDCR686PZR BDCR686PZR
| URI | m2://inv/BDCR686PZR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35307#I7ER (statement). In FT5TKY10T8/e1, lemma 2.1
History
- 2026-10-30: add by m2/v0.4.12
Decoupled two-agent case BDCS0VJQ1K
| URI | m2://inv/BDCS0VJQ1K |
|---|---|
| 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.00033#ETH6, Decoupled two-agent case (statement). In SHMMW4JXZ1/e1, corollary 19
History
- 2026-10-30: add by m2/v0.4.12
BDCVFJVM8Z BDCVFJVM8Z
| URI | m2://inv/BDCVFJVM8Z |
|---|---|
| Kind | problem |
| 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.09634#J0AP (problem). In FH42QK814C/e1, problem 2
History
- 2026-10-29: add by m2/v0.4.10
properties of the scaled logarithmic integrand BDD5Y4GJJ5
| URI | m2://inv/BDD5Y4GJJ5 |
|---|---|
| Kind | statement |
| 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#O1M5, properties of the scaled logarithmic integrand (statement)
History
- 2026-11-01: add by m2/v0.6.15
BDD878T0ZH BDD878T0ZH
| URI | m2://inv/BDD878T0ZH |
|---|---|
| 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.38194#GQIQ (statement). In M9BZSET9ZV/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
BDDAN9GB97 BDDAN9GB97
| URI | m2://inv/BDDAN9GB97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30018#WVPD (statement)
History
- 2026-11-01: add by m2/v0.6.15
BDDD1DE0VM BDDD1DE0VM
| URI | m2://inv/BDDD1DE0VM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12330#GCIV (statement). In XHSKEPT3VD/e1, proposition 7.6
History
- 2026-10-28: add by m2/v0.4.2
BDDD92ANFV BDDD92ANFV
| URI | m2://inv/BDDD92ANFV |
|---|---|
| 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.23106#0E75 (statement)
History
- 2026-11-02: add by m2/v0.6.17
conditionally convergent series BDDDCEZYTY
| URI | m2://inv/BDDDCEZYTY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91134419, conditionally convergent series (definition). Also ProofWiki Definition:Conditionally_Convergent_Series
History
- 2026-10-26: add by m2/dev
BDDH3RWJVJ BDDH3RWJVJ
| URI | m2://inv/BDDH3RWJVJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24701#IAWO (statement)
History
- 2026-11-01: add by m2/v0.6.15
John L. Pollock BDDNZ390A6
| URI | m2://inv/BDDNZ390A6 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John L. Pollock, John L. Pollock (topic). Also Wikidata Q6243668
History
- 2026-11-02: add by m2/dev
Exact boundary invariant BDDTAG052W
| URI | m2://inv/BDDTAG052W |
|---|---|
| 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.31811#IIOM, Exact boundary invariant (statement). In A8ZBZW9RNA/e1, theorem 3.1
History
- 2026-10-31: add by m2/v0.5.6
De Moivre's law BDDTGH8BKN
| URI | m2://inv/BDDTGH8BKN |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Moivre's law, De Moivre's law (statement). Also Wikidata Q5244630
History
- 2026-11-02: add by m2/dev
BDE0EGNB2V BDE0EGNB2V
| URI | m2://inv/BDE0EGNB2V |
|---|---|
| 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.30165#DOGE (statement)
History
- 2026-11-01: add by m2/v0.6.15
U-quadratic distribution BDE19TX4FQ
| URI | m2://inv/BDE19TX4FQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#L6OD, U-quadratic distribution (definition)
History
- 2026-11-02: add by m2/dev
Boundary, Interior BDE8Z94FS7
| URI | m2://inv/BDE8Z94FS7 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 37-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.25188#01Z0, Boundary, Interior (definition)
History
- 2026-11-01: add by m2/v0.6.15
BDEAVXKTSF BDEAVXKTSF
| URI | m2://inv/BDEAVXKTSF |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 11-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.25168#1JQL (definition)
History
- 2026-11-01: add by m2/v0.6.15
BDEJTZHRF2 BDEJTZHRF2
| URI | m2://inv/BDEJTZHRF2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 01-XX, 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28552#369W (statement)
History
- 2026-11-01: add by m2/v0.6.15
Gauss's inequality BDF3A4M7DT
| URI | m2://inv/BDF3A4M7DT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unimodality#KFEZ, Gauss's inequality (statement)
History
- 2026-11-02: add by m2/dev
BSS identity BDF44VARGB
| URI | m2://inv/BDF44VARGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11652#WTBK, BSS identity (statement). In VEXM27M8Q1/e1, lemma 2.5
History
- 2026-10-28: add by m2/v0.4.3
subnormal number BDFMGMBBKE
| URI | m2://inv/BDFMGMBBKE |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Subnormal number DHXXSN12JC |
Mentions
- wikidata: Wikidata Q1070094, subnormal number (unknown). Also MathWorld SubnormalNumber
- wikipedia: Wikipedia Subnormal number, Subnormal number (definition). Also Wikidata Q1070094
History
- 2026-10-26: add by m2/dev
$\RP^n$ as a cell complex BDFMNPXD8J
| URI | m2://inv/BDFMNPXD8J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/constructions.tex#example-9, $\RP^n$ as a cell complex (example). In RZP28ERRZV, example, section 96.6.3
History
- 2026-11-01: add by m2/v0.6.13
Semantics and Pragmatics BDFRT55W31
| URI | m2://inv/BDFRT55W31 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Semantics and Pragmatics, Semantics and Pragmatics (definition). Also Wikidata Q15760036
History
- 2026-11-02: add by m2/dev
BDFV62N0EF BDFV62N0EF
| URI | m2://inv/BDFV62N0EF |
|---|---|
| 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#VS1E (statement). In 5350Q52F6P/e1, proposition 9.1
History
- 2026-10-28: add by m2/v0.4.2
Morphic word BDFXAC7VS6
| URI | m2://inv/BDFXAC7VS6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Morphic word, Morphic word (definition). Also Wikidata Q6913403
History
- 2026-11-02: add by m2/dev
Tractor bundle BDFYB3E2AP
| URI | m2://inv/BDFYB3E2AP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of differential geometry topics#KUMX, Tractor bundle (definition)
History
- 2026-11-02: add by m2/dev
BDFZEZAHE4 BDFZEZAHE4
| URI | m2://inv/BDFZEZAHE4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2405.02275#SXWO (statement). In 1QXCNGRWV1/e1, lemma 3.2
History
- 2026-10-27: add by m2/v0.3.5
Definition BDG0X4YTQQ
| URI | m2://inv/BDG0X4YTQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Normal polytope#R7XI, Definition (definition)
History
- 2026-11-02: add by m2/dev
Properties BDG4GF5P9P
| URI | m2://inv/BDG4GF5P9P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Finite character#SWHL, Properties (statement)
History
- 2026-11-02: add by m2/dev
BDH276VR0N BDH276VR0N
| URI | m2://inv/BDH276VR0N |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39293#8Z07 (statement). In S26QVW5613/e1, proposition 4.6.6
History
- 2026-10-30: add by m2/v0.4.12
An isomorphism forced by Nielsen relations BDHAWAWTJN
| URI | m2://inv/BDHAWAWTJN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27204#MUJ9, An isomorphism forced by Nielsen relations (statement)
History
- 2026-11-01: add by m2/v0.6.15
Example BDHNZWHW35
| URI | m2://inv/BDHNZWHW35 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Separation of variables#953V, Example (example)
History
- 2026-11-02: add by m2/dev
BDHR2FG9H2 BDHR2FG9H2
| URI | m2://inv/BDHR2FG9H2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00856#MZV0 (statement). In W6VHD4QBY4/e1, corollary 2.3
History
- 2026-10-29: add by m2/v0.4.12
BDHYAJ57H2 BDHYAJ57H2
| URI | m2://inv/BDHYAJ57H2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15926#YNFB (statement). In G0J92BSX4A/e1, lemma 6.1
History
- 2026-10-28: add by m2/v0.4.2
Kinoshita–Lee–Nauenberg theorem BDHYSR751W
| URI | m2://inv/BDHYSR751W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#433H, Kinoshita–Lee–Nauenberg theorem (statement)
History
- 2026-11-02: add by m2/dev
BDJ36YSTRD BDJ36YSTRD
| URI | m2://inv/BDJ36YSTRD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25275#QWFV (statement)
History
- 2026-11-01: add by m2/v0.6.15
Zero randomness BDJ78W5C55
| URI | m2://inv/BDJ78W5C55 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10002#4XT6, Zero randomness (statement). In 5ZYWF6HAXJ/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
function, $n$-connected BDJ8VY9DS9
| URI | m2://inv/BDJ8VY9DS9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/6.5/function-n-connected, function, $n$-connected (concept). In N54F33XE07, index, section 6.5
History
- 2026-11-01: add by m2/v0.6.13
BDJA1XFHF2 BDJA1XFHF2
| URI | m2://inv/BDJA1XFHF2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/quotient.tex#fact-1 (statement). In RZP28ERRZV, fact, section 3.2
History
- 2026-11-01: add by m2/v0.6.13
enneagram BDJH67RBHN
| URI | m2://inv/BDJH67RBHN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q633715, enneagram (unknown). Also MathWorld Nonagram
- wikipedia: Wikipedia Enneagram (geometry), Enneagram (definition). Also Wikidata Q633715
History
- 2026-10-26: add by m2/dev
Null cuts are invisible to Euclidean pair measures BDJPTCPFXA
| URI | m2://inv/BDJPTCPFXA |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20215#TLEZ, Null cuts are invisible to Euclidean pair measures (statement)
History
- 2026-11-02: add by m2/v0.6.18
Differential equations of mathematical physics BDJYAPWM2Z
| URI | m2://inv/BDJYAPWM2Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical examples#JQS8, Differential equations of mathematical physics (definition)
History
- 2026-11-02: add by m2/dev
BDK0C58WCN BDK0C58WCN
| URI | m2://inv/BDK0C58WCN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-XX, 46-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24901#UBZ7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Fundamental theorem of arbitrage-free pricing BDK1FVQK3M
| URI | m2://inv/BDK1FVQK3M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#A5ZU, Fundamental theorem of arbitrage-free pricing (statement)
History
- 2026-11-02: add by m2/dev
Szemerédi regularity lemma BDK1YR7S0S
| URI | m2://inv/BDK1YR7S0S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of lemmas#BN9H, Szemerédi regularity lemma (statement)
History
- 2026-11-02: add by m2/dev
Truncated singular value decomposition BDKC08AFGY
| URI | m2://inv/BDKC08AFGY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Singular value decomposition#ULNN, Truncated singular value decomposition (unknown)
History
- 2026-11-02: add by m2/dev
Adaptive learning rate BDKGG7ZJ1B
| URI | m2://inv/BDKGG7ZJ1B |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Learning rate#V1J4, Adaptive learning rate (unknown)
History
- 2026-11-02: add by m2/dev
Main Theorem BDKH5F92XX
| URI | m2://inv/BDKH5F92XX |
|---|---|
| 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.04901#DDYN, Main Theorem (statement). In XBWHYW36TP/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.12
$(L_0,L_1)$-Lipschitzness BDKKHJSSKV
| URI | m2://inv/BDKKHJSSKV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26581#SH5U, $(L_0,L_1)$-Lipschitzness (definition)
History
- 2026-11-01: add by m2/v0.6.15
Theorem BDKTGHD8K1
| URI | m2://inv/BDKTGHD8K1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glivenko–Cantelli theorem#EX1J, Theorem (statement)
History
- 2026-11-02: add by m2/dev
George P. McCabe BDKV2VDX7Q
| URI | m2://inv/BDKV2VDX7Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia George P. McCabe, George P. McCabe (topic). Also Wikidata Q102192440
History
- 2026-11-02: add by m2/dev
The axiom of separation BDKZJ4635N
| URI | m2://inv/BDKZJ4635N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Zermelo set theory#GX5R, The axiom of separation (statement)
History
- 2026-11-02: add by m2/dev
Construction BDM2MFC3D5
| URI | m2://inv/BDM2MFC3D5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Powerset construction#J10R, Construction (definition)
History
- 2026-11-02: add by m2/dev
BDM46JKTFK BDM46JKTFK
| URI | m2://inv/BDM46JKTFK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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.25168#301V (statement)
History
- 2026-11-01: add by m2/v0.6.15
BDMGDSJYZF BDMGDSJYZF
| URI | m2://inv/BDMGDSJYZF |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/normal-modal-logic/completeness/complete-consistent-sets.tex#probtag-1 (exercise). In PKGMM3P5QY, probtag, section 50.15
History
- 2026-11-01: add by m2/v0.6.13
Three Mile, Papua New Guinea BDMGG4AF8C
| URI | m2://inv/BDMGG4AF8C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#5LZS, Three Mile, Papua New Guinea (unknown)
History
- 2026-11-02: add by m2/dev
BDMGMV5C9R BDMGMV5C9R
| URI | m2://inv/BDMGMV5C9R |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book reals.tex#ex:RD-lt-vs-le (exercise). In N54F33XE07, ex, section B.6
History
- 2026-11-01: add by m2/v0.6.13
John Perry BDMPWF1PY1
| URI | m2://inv/BDMPWF1PY1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Perry (engineer), John Perry (topic). Also Wikidata Q3182287
History
- 2026-11-02: add by m2/dev
Superpythagorean BDMTW5JWA7
| URI | m2://inv/BDMTW5JWA7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pythagorean field#PHDY, Superpythagorean (unknown)
History
- 2026-11-02: add by m2/dev
BDMVGQG3QE BDMVGQG3QE
| URI | m2://inv/BDMVGQG3QE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35404#O8OW (statement). In DH84PYVRCF/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
BDMX43CAYD BDMX43CAYD
| URI | m2://inv/BDMX43CAYD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31445#M4Z7 (statement). In 7V2PVZS04C/e1, proposition 6.25
History
- 2026-10-31: add by m2/v0.5.6
BDN1BKJ8T6 BDN1BKJ8T6
| URI | m2://inv/BDN1BKJ8T6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2103.12669#A4WS (definition). In ZA6XNBA90V/e1, definition 3.17
History
- 2026-10-27: add by m2/v0.3.5
SurveyMonkey BDN1T79E77
| URI | m2://inv/BDN1T79E77 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polling organizations#068Q, SurveyMonkey (unknown)
History
- 2026-11-02: add by m2/dev
Contraction of Fr\'echet means BDNB0FE2MH
| URI | m2://inv/BDNB0FE2MH |
|---|---|
| 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 2610.00501#MF1O, Contraction of Fr\'echet means (statement). In FTPW1SZ8D3/e1, theorem A.12
History
- 2026-10-30: add by m2/v0.4.12
BDNNJ1WKSR BDNNJ1WKSR
| URI | m2://inv/BDNNJ1WKSR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.05577#LJC9 (statement). In EFWBREMZAP/e1, lemma 3.3
History
- 2026-10-27: add by m2/v0.3.5
BDNPD88CAA BDNPD88CAA
| URI | m2://inv/BDNPD88CAA |
|---|---|
| Kind | example |
| 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.23528#9B27 (example)
History
- 2026-11-02: add by m2/v0.6.17
Jerabek hyperbola BDNZYRQM6F
| URI | m2://inv/BDNZYRQM6F |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q13729699, Jerabek hyperbola (concept). Also MathWorld JerabekHyperbola
History
- 2026-10-26: add by m2/dev
Examples BDP2MDKVA2
| URI | m2://inv/BDP2MDKVA2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia (G, X)-manifold#NF9C, Examples (example)
History
- 2026-11-02: add by m2/dev
Outliers removed by Peirce's criterion BDP4GRGE3Y
| URI | m2://inv/BDP4GRGE3Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Peirce's criterion#TKHR, Outliers removed by Peirce's criterion (statement)
History
- 2026-11-02: add by m2/dev
BDP94GTXT8 BDP94GTXT8
| URI | m2://inv/BDP94GTXT8 |
|---|---|
| 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.35669#UBF7 (statement). In 8380G43M8E/e1, lemma 4.1
History
- 2026-10-30: add by m2/v0.4.12
Kerala Mathematical Association BDPF54ZJE6
| URI | m2://inv/BDPF54ZJE6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kerala Mathematical Association, Kerala Mathematical Association (definition). Also Wikidata Q6393367
History
- 2026-11-02: add by m2/dev
Jacob Rabinow BDPNVEFR7J
| URI | m2://inv/BDPNVEFR7J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian Jews#92Z1, Jacob Rabinow (unknown)
History
- 2026-11-02: add by m2/dev
Definition BDPQWA2ZEQ
| URI | m2://inv/BDPQWA2ZEQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pluripolar set#QE0P, Definition (definition)
History
- 2026-11-02: add by m2/dev
BDPVF2GK8H BDPVF2GK8H
| URI | m2://inv/BDPVF2GK8H |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.10954#C198 (definition). In HVQYHGJQ7R/e1, definition
History
- 2026-10-27: add by m2/v0.3.5
Baer ring BDPYZABF04
| URI | m2://inv/BDPYZABF04 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of abstract algebra topics#5FOH, Baer ring (definition)
History
- 2026-11-02: add by m2/dev
Ptolemaic system BDQ74ZMR1X
| URI | m2://inv/BDQ74ZMR1X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q109483579, Ptolemaic system (definition). Also ProofWiki Definition:Ptolemaic_Astronomy
History
- 2026-10-26: add by m2/dev
BDQ9Z2XG97 BDQ9Z2XG97
| URI | m2://inv/BDQ9Z2XG97 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04349#SSA9 (statement). In GWF7VKMY61/e1, proposition 4.1
History
- 2026-10-29: add by m2/v0.4.12
WG BDQP51XTMF
| URI | m2://inv/BDQP51XTMF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia WG (cipher), WG (definition). Also Wikidata Q7950027
History
- 2026-11-02: add by m2/dev
Construction BDQPMAAFZ3
| URI | m2://inv/BDQPMAAFZ3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Symmetric algebra#PFF6, Construction (definition)
History
- 2026-11-02: add by m2/dev
BDQW2DCS9Y BDQW2DCS9Y
| URI | m2://inv/BDQW2DCS9Y |
|---|---|
| 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.22777#ZIAU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Laws of classical mechanics BDQY28V2PY
| URI | m2://inv/BDQY28V2PY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scientific law#UCDC, Laws of classical mechanics (statement)
History
- 2026-11-02: add by m2/dev
Ordered accumulator BDR6B8SH7P
| URI | m2://inv/BDR6B8SH7P |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02407#6KOR, Ordered accumulator (statement). In ZZER8ZBSCR/e1, lemma 6.27
History
- 2026-10-29: add by m2/v0.4.12
Nevanlinna invariant BDR7VCQ8M2
| URI | m2://inv/BDR7VCQ8M2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nevanlinna invariant, Nevanlinna invariant (definition). Also Wikidata Q7003744
History
- 2026-11-02: add by m2/dev
BDRC6X20HG BDRC6X20HG
| URI | m2://inv/BDRC6X20HG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/first-order-logic/beyond/intuitionistic-logic.tex#thm-2 (statement). In PKGMM3P5QY, thm, section 9.3
History
- 2026-11-01: add by m2/v0.6.13
$C$-viscosity solution BDRDG9G1DS
| URI | m2://inv/BDRDG9G1DS |
|---|---|
| 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 2610.09494#JDCR, $C$-viscosity solution (definition). In H297EPZQQB/e1, definition 2.2
History
- 2026-10-29: add by m2/v0.4.10
⊥ BDREVB7RKF
| URI | m2://inv/BDREVB7RKF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#0LCZ, ⊥ (definition)
History
- 2026-11-02: add by m2/dev
Definitions BDREWP6S26
| URI | m2://inv/BDREWP6S26 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Agreeable subset#ZEK7, Definitions (definition)
History
- 2026-11-02: add by m2/dev
Using the Chinese remainder theorem BDRJCAM2VP
| URI | m2://inv/BDRJCAM2VP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secret sharing#73CJ, Using the Chinese remainder theorem (statement)
History
- 2026-11-02: add by m2/dev
Pseudo steady-state BDRP10THAT
| URI | m2://inv/BDRP10THAT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Michaelis–Menten kinetics#3VU8, Pseudo steady-state (unknown)
History
- 2026-11-02: add by m2/dev
Overall first-order complexity BDRP3SFW7F
| URI | m2://inv/BDRP3SFW7F |
|---|---|
| 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.39736#LOVN, Overall first-order complexity (statement). In BB1XJ47PVW/e1, corollary 7
History
- 2026-10-30: add by m2/v0.4.12
Song Phi Nong District BDRTC5A30Y
| URI | m2://inv/BDRTC5A30Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#3YLY, Song Phi Nong District (unknown)
History
- 2026-11-02: add by m2/dev
Statement BDRX9QN5HK
| URI | m2://inv/BDRX9QN5HK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Harcourt's theorem#F1O1, Statement (statement)
History
- 2026-11-02: add by m2/dev
BDRY6C95GY BDRY6C95GY
| URI | m2://inv/BDRY6C95GY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-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 2408.01345#794K (statement). In PT5PBPCS3P/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
BDS63E4SWP BDS63E4SWP
| URI | m2://inv/BDS63E4SWP |
|---|---|
| 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 2610.16114#F6PE (statement). In JZZ3FJ382R/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.2
Variants BDSCHV8717
| URI | m2://inv/BDSCHV8717 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Envy-freeness#HACF, Variants (statement)
History
- 2026-11-02: add by m2/dev
BDSGG5AQPW BDSGG5AQPW
| URI | m2://inv/BDSGG5AQPW |
|---|---|
| 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.23994#STTC (statement)
History
- 2026-11-02: add by m2/v0.6.17
ring BDSKGSRZWM
| URI | m2://inv/BDSKGSRZWM |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_scv: lebl_scv index/D/ring, ring (concept). In VNMV985MXX, index, section D
History
- 2026-11-01: add by m2/v0.6.13
BDSSCN286C BDSSCN286C
| URI | m2://inv/BDSSCN286C |
|---|---|
| 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.19694#FXBO (statement). In EP0M4RSZ9P/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
Subnetwork BDSSHT21K8
| URI | m2://inv/BDSSHT21K8 |
|---|---|
| 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.07855#RSFQ, Subnetwork (definition). In 1VT8CVVCM7/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.10
Properties BDSYS9PA89
| URI | m2://inv/BDSYS9PA89 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scattered space#SXIJ, Properties (statement)
History
- 2026-11-02: add by m2/dev
Examples BDT0NACKWF
| URI | m2://inv/BDT0NACKWF |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Burnside's lemma#OBLZ, Examples (example)
History
- 2026-11-02: add by m2/dev
BDT7SRF43E BDT7SRF43E
| URI | m2://inv/BDT7SRF43E |
|---|---|
| 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.28009#TMPM (statement)
History
- 2026-11-01: add by m2/v0.6.15
aleph null BDT9798AP1
| URI | m2://inv/BDT9798AP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1445491, aleph null (definition). Also MathWorld Aleph-0, ProofWiki Definition:Aleph-Null
History
- 2026-10-26: add by m2/dev
BDT97A16SC BDT97A16SC
| URI | m2://inv/BDT97A16SC |
|---|---|
| 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 math/9602216#SJY0 (definition). In SD43497T8C/e1, definition 4.6
History
- 2026-10-27: add by m2/v0.3.5
BDTB3J8QF0 BDTB3J8QF0
| URI | m2://inv/BDTB3J8QF0 |
|---|---|
| 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.21935#944C (statement). In YDNK7E99JW/e1, lemma 2
History
- 2026-10-27: add by m2/v0.4.2
BDTBKNRPS7 BDTBKNRPS7
| URI | m2://inv/BDTBKNRPS7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34946#I0N2 (statement). In Y27BAB2BB4/e1, proposition 6.1
History
- 2026-10-30: add by m2/v0.4.12
BDTG5S0K7M BDTG5S0K7M
| URI | m2://inv/BDTG5S0K7M |
|---|---|
| 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 1709.01658#2PJW (statement). In 90A5Q9HRQK/e1, lemma 4.3
History
- 2026-10-27: add by m2/v0.3.5
BDTWS8GAEA BDTWS8GAEA
| URI | m2://inv/BDTWS8GAEA |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 18-XX, 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.10930#19QL (example). In HX63A1PH1W/e1, example 4.24
History
- 2026-10-28: add by m2/v0.4.3
Comparable-weight window BDVAV6KPMS
| URI | m2://inv/BDVAV6KPMS |
|---|---|
| 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#ARFZ, Comparable-weight window (statement). In VV5CH6Y31D/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
BDVB9468TW BDVB9468TW
| URI | m2://inv/BDVB9468TW |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30519#I88K (statement). In GQQZNRYK15/e1, corollary 3.11
History
- 2026-10-31: add by m2/v0.5.6
BDVBDTFB3R BDVBDTFB3R
| URI | m2://inv/BDVBDTFB3R |
|---|---|
| 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 2204.01073#2WVF (statement). In W4TYN4PGE8/e1, theorem 6.2
History
- 2026-10-27: add by m2/v0.3.5
Properties BDVEE21GEC
| URI | m2://inv/BDVEE21GEC |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Segal–Bargmann space#IOIZ, Properties (statement)
History
- 2026-11-02: add by m2/dev
extremum BDVN733XGW
| URI | m2://inv/BDVN733XGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of calculus#ZUZ9, extremum (definition)
History
- 2026-11-02: add by m2/dev
Applications BDVP8XN1DX
| URI | m2://inv/BDVP8XN1DX |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalised Whitehead product#A4F5, Applications (example)
History
- 2026-11-02: add by m2/dev
Richard Ernest Kronauer BDVV6BBGRX
| URI | m2://inv/BDVV6BBGRX |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Richard Ernest Kronauer, Richard Ernest Kronauer (topic). Also Wikidata Q7325534
History
- 2026-11-02: add by m2/dev
Nyctography BDW1PT44ZH
| URI | m2://inv/BDW1PT44ZH |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nyctography, Nyctography (definition). Also Wikidata Q3346639
History
- 2026-11-02: add by m2/dev
BDWDR6BWP1 BDWDR6BWP1
| URI | m2://inv/BDWDR6BWP1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21494#Q2NW (definition). In ZWT4C1DYPE/e1, definition 2.1
History
- 2026-10-27: add by m2/v0.4.2
BDWG7CTZ6T BDWG7CTZ6T
| URI | m2://inv/BDWG7CTZ6T |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-intro.tex#exercise-20 (exercise). In E9HS8K3A52, exercise, section 6.8.5
History
- 2026-11-01: add by m2/v0.6.13
BDWZCG5249 BDWZCG5249
| URI | m2://inv/BDWZCG5249 |
|---|---|
| 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.16844#HWYK (statement). In MAY0WVXT07/e1, theorem 1.4
History
- 2026-10-28: add by m2/v0.4.2
Examples BDXH323CME
| URI | m2://inv/BDXH323CME |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Groupoid#T7SJ, Examples (example)
History
- 2026-11-02: add by m2/dev
BDXR3W1P3A BDXR3W1P3A
| URI | m2://inv/BDXR3W1P3A |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX, 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.10930#97OP (definition). In HX63A1PH1W/e1, definition 7.18
History
- 2026-10-28: add by m2/v0.4.3
Theorem of corresponding states BDXR9865C7
| URI | m2://inv/BDXR9865C7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theorem of corresponding states, Theorem of corresponding states (statement). Also Wikidata Q906849
History
- 2026-11-02: add by m2/dev
Alice Silverberg BDXSE5YVK9
| URI | m2://inv/BDXSE5YVK9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#8ZQQ, Alice Silverberg (topic)
History
- 2026-11-02: add by m2/dev
Bermuda Triangle BDXVKN1JYT
| URI | m2://inv/BDXVKN1JYT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#004Q, Bermuda Triangle (unknown)
History
- 2026-11-02: add by m2/dev
Open problems BDY3TFMT78
| URI | m2://inv/BDY3TFMT78 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Differential algebra#4P64, Open problems (statement)
History
- 2026-11-02: add by m2/dev
Use BDYB1J7VHN
| URI | m2://inv/BDYB1J7VHN |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pentagonal prism#2ZBC, Use (example)
History
- 2026-11-02: add by m2/dev
Applications BDYHGTDXD3
| URI | m2://inv/BDYHGTDXD3 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Antiparallelogram#FDS3, Applications (example)
History
- 2026-11-02: add by m2/dev
XNOR gate BDYHSR5J40
| URI | m2://inv/BDYHSR5J40 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1336142, XNOR gate (unknown). Also MathWorld XNOR
History
- 2026-10-26: add by m2/dev
Stellated icosahedron BDYJAG6YY3
| URI | m2://inv/BDYJAG6YY3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q70445785, Stellated icosahedron (unknown). Also MathWorld IcosahedronStellations
History
- 2026-10-26: add by m2/dev
BDZ074S8AX BDZ074S8AX
| URI | m2://inv/BDZ074S8AX |
|---|---|
| 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 math/0411039#QXOG (statement). In ZTBDXSKFFW/e1, corollary 1.2
History
- 2026-10-27: add by m2/v0.3.5
List of things named after Pierre de Fermat BDZAC3CJCQ
| URI | m2://inv/BDZAC3CJCQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lists of mathematics topics#BIG4, List of things named after Pierre de Fermat (unknown)
History
- 2026-11-02: add by m2/dev
Definition BDZBKJJB0A
| URI | m2://inv/BDZBKJJB0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia STAR model#FWZ3, Definition (definition)
History
- 2026-11-02: add by m2/dev
BDZEBM8X4H BDZEBM8X4H
| URI | m2://inv/BDZEBM8X4H |
|---|---|
| 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.21535#EMUJ (statement)
History
- 2026-11-02: add by m2/v0.6.18
BDZJVCJWCG BDZJVCJWCG
| URI | m2://inv/BDZJVCJWCG |
|---|---|
| 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.21477#CT8X (statement)
History
- 2026-11-02: add by m2/v0.6.18
Applications BDZQ7A655M
| URI | m2://inv/BDZQ7A655M |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem on homomorphisms#UZ0P, Applications (example)
History
- 2026-11-02: add by m2/dev
History-dependent fixed-point BDZSXSDGRP
| URI | m2://inv/BDZSXSDGRP |
|---|---|
| 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.27414#3Z40, History-dependent fixed-point (statement)
History
- 2026-11-01: add by m2/v0.6.15
BDZXYZ8837 BDZXYZ8837
| URI | m2://inv/BDZXYZ8837 |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01919#HE62 (problem). In 4H727T2YAS/e1, problem 9.17
History
- 2026-10-29: add by m2/v0.4.12
closed BDZYS5N2V4
| URI | m2://inv/BDZYS5N2V4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#T985, closed (definition)
History
- 2026-11-02: add by m2/dev
Golden gnomon BDZZ29M72Y
| URI | m2://inv/BDZZ29M72Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Golden triangle (mathematics)#C5X8, Golden gnomon (unknown)
History
- 2026-11-02: add by m2/dev