Inventory rows BC
The cards of the rows of the inventory whose ids start with BC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
space diagonal BC0187ZEJM
| URI | m2://inv/BC0187ZEJM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2737929, space diagonal (unknown). Also MathWorld SpaceDiagonal
- wikipedia: Wikipedia Space diagonal, Space diagonal (definition). Also Wikidata Q2737929
History
- 2026-10-26: add by m2/dev
BC027WC31N BC027WC31N
| URI | m2://inv/BC027WC31N |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#exercise-22 (exercise). In E59CDZA4DP, exercise, section 8.2.5
History
- 2026-11-01: add by m2/v0.6.13
BC02EQZWWN BC02EQZWWN
| URI | m2://inv/BC02EQZWWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00339#Q034 (statement). In ZRG6NY1ECH/e1, theorem 27
History
- 2026-10-30: add by m2/v0.4.12
Variations BC07YQ6MMT
| URI | m2://inv/BC07YQ6MMT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ward's method#LEUI, Variations (statement)
History
- 2026-11-02: add by m2/dev
BC0B7QF79Q BC0B7QF79Q
| URI | m2://inv/BC0B7QF79Q |
|---|---|
| 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.22964#KBD5 (statement)
History
- 2026-11-02: add by m2/v0.6.17
BC0B8XJXF6 BC0B8XJXF6
| URI | m2://inv/BC0B8XJXF6 |
|---|---|
| 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.29449#B9MW (statement)
History
- 2026-11-01: add by m2/v0.6.15
BC0EVBB4A0 BC0EVBB4A0
| URI | m2://inv/BC0EVBB4A0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2205.09049#FRHK (definition). In 37S7MNMZ2F/e1, definition 68
History
- 2026-10-27: add by m2/v0.3.5
Hopf–Rinow theorem BC0GG0ZW4A
| URI | m2://inv/BC0GG0ZW4A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Riemannian manifold#QI6O, Hopf–Rinow theorem (statement)
History
- 2026-11-02: add by m2/dev
Random number table BC0GNBXRH2
| URI | m2://inv/BC0GNBXRH2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random number table, Random number table (definition). Also Wikidata Q2835012
History
- 2026-11-02: add by m2/dev
Go BC0REPRP7Z
| URI | m2://inv/BC0REPRP7Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#QJ50, Go (unknown)
History
- 2026-11-02: add by m2/dev
BC0WXRNMQ1 BC0WXRNMQ1
| URI | m2://inv/BC0WXRNMQ1 |
|---|---|
| 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.08873#BUB5 (statement). In 7WMNVJBAVR/e1, proposition 5.12
History
- 2026-10-29: add by m2/v0.4.10
BC0ZDPP2C8 BC0ZDPP2C8
| URI | m2://inv/BC0ZDPP2C8 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Størmer number#EVSH (problem)
History
- 2026-11-02: add by m2/dev
BC10HME76P BC10HME76P
| URI | m2://inv/BC10HME76P |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28893#NB5B (unknown)
History
- 2026-11-01: add by m2/v0.6.15
Law of cosines BC10HV043M
| URI | m2://inv/BC10HV043M |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of triangle topics#PN3R, Law of cosines (statement)
History
- 2026-11-02: add by m2/dev
Examples BC11HXA0MY
| URI | m2://inv/BC11HXA0MY |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schlömilch's series#JR70, Examples (example)
History
- 2026-11-02: add by m2/dev
BC1AAE5SAS BC1AAE5SAS
| URI | m2://inv/BC1AAE5SAS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1002.0879#18AQ (definition). In M0SQY5EZN5/e1, definition 1.2.4
History
- 2026-10-27: add by m2/v0.3.5
Grace Yang BC1EC10PX4
| URI | m2://inv/BC1EC10PX4 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Grace Yang, Grace Yang (topic). Also Wikidata Q42170913
History
- 2026-11-02: add by m2/dev
BC1HKA171F BC1HKA171F
| URI | m2://inv/BC1HKA171F |
|---|---|
| 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 0805.4273#UWN9 (definition). In ZX3NV58FRX/e1, definition 5.5
History
- 2026-10-27: add by m2/v0.3.5
Richard Schoen BC23761R09
| URI | m2://inv/BC23761R09 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of contributors to general relativity#FQAC, Richard Schoen (unknown)
History
- 2026-11-02: add by m2/dev
2022 Census for Scotland BC29ZD4RNT
| URI | m2://inv/BC29ZD4RNT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 2021–2022 United Kingdom censuses#HF9W, 2022 Census for Scotland (unknown)
History
- 2026-11-02: add by m2/dev
formation rules BC2AEFHZ03
| URI | m2://inv/BC2AEFHZ03 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of logic#NFKK, formation rules (definition)
History
- 2026-11-02: add by m2/dev
cf.\ \protect BC2QK53916
| URI | m2://inv/BC2QK53916 |
|---|---|
| Kind | conjecture |
| 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.28848#AB8S, cf.\ \protect (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
BC2WQCS650 BC2WQCS650
| URI | m2://inv/BC2WQCS650 |
|---|---|
| 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.01247#FBFR (statement). In 6EVNCRZ118/e1, lemma 28
History
- 2026-10-29: add by m2/v0.4.12
BC2X261YHG BC2X261YHG
| URI | m2://inv/BC2X261YHG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.14097#TJVG (statement). In H52QQS8WZA/e1, lemma 5.2
History
- 2026-10-27: add by m2/v0.3.5
Material nonimplication BC307CYVQQ
| URI | m2://inv/BC307CYVQQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Material nonimplication, Material nonimplication (definition). Also Wikidata Q427343
History
- 2026-11-02: add by m2/dev
BC353GS4DC BC353GS4DC
| URI | m2://inv/BC353GS4DC |
|---|---|
| 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.38206#PI06 (statement). In F71MS1F637/e1, corollary 3.20
History
- 2026-10-30: add by m2/v0.4.12
BC35B3HWA7 BC35B3HWA7
| URI | m2://inv/BC35B3HWA7 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/topology/fundamental-group.tex#problem-3 (exercise). In RZP28ERRZV, problem, section 98.6
History
- 2026-11-01: add by m2/v0.6.13
Main Lemma BC3M3SJ2NK
| URI | m2://inv/BC3M3SJ2NK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14502#LDAM, Main Lemma (statement). In 6BVBMTYXNZ/e1, lemma 3.2
History
- 2026-10-28: add by m2/v0.4.2
BC3MFF7WEH BC3MFF7WEH
| URI | m2://inv/BC3MFF7WEH |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/arithmetization-syntax/proofs-in-nd.tex#proof-4 (proof). In PKGMM3P5QY, proof, section 27.7
History
- 2026-11-01: add by m2/v0.6.13
Rebecca Betensky BC3SKYXQ08
| URI | m2://inv/BC3SKYXQ08 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#89GV, Rebecca Betensky (topic)
History
- 2026-11-02: add by m2/dev
BC3THP561K BC3THP561K
| URI | m2://inv/BC3THP561K |
|---|---|
| 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 2610.03851#X4ZJ (statement). In HNV63B8Y1A/e1, lemma 3.5
History
- 2026-10-29: add by m2/v0.4.12
BC3Z84KBZM BC3Z84KBZM
| URI | m2://inv/BC3Z84KBZM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#HLHS (statement). In E7W2HDNEKJ/e1, theorem 6.29
History
- 2026-10-30: add by m2/v0.4.12
Mathematics in Ethiopia BC3ZWFRMPZ
| URI | m2://inv/BC3ZWFRMPZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematics in Ethiopia, Mathematics in Ethiopia (definition). Also Wikidata Q113364977
History
- 2026-11-02: add by m2/dev
jerk BC41BJWQ9B
| URI | m2://inv/BC41BJWQ9B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q497332, jerk (unknown). Also MathWorld Jerk
- wikipedia: Wikipedia Jerk (physics), Jerk (definition). Also Wikidata Q497332
History
- 2026-10-26: add by m2/dev
Scalar kink measure BC41VN9C8V
| URI | m2://inv/BC41VN9C8V |
|---|---|
| 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.32695#UNU0, Scalar kink measure (statement). In VQSF2E35BX/e1, theorem 2.2
History
- 2026-10-31: add by m2/v0.5.6
BC44JBWCHT BC44JBWCHT
| URI | m2://inv/BC44JBWCHT |
|---|---|
| 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.19260#6OY5 (statement). In PWXT7J9JX3/e1, corollary 7.6
History
- 2026-10-28: add by m2/v0.4.2
Direct mapping theorem BC454MRB1Q
| URI | m2://inv/BC454MRB1Q |
|---|---|
| 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.24408#89LQ, Direct mapping theorem (statement)
History
- 2026-11-01: add by m2/v0.6.15
Persi Diaconis BC4723GGPA
| URI | m2://inv/BC4723GGPA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#X7C1, Persi Diaconis (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#7J5P, Persi Diaconis (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#H71W, Persi Diaconis (topic)
- wikipedia: Wikipedia List of fellows of the American Statistical Association#LUR4, Persi Diaconis (topic)
History
- 2026-11-02: add by m2/dev
Schottky completion BC499CCQV9
| URI | m2://inv/BC499CCQV9 |
|---|---|
| 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.36098#B6Q9, Schottky completion (statement). In NRP62VNE58/e1, lemma 2.4
History
- 2026-10-30: add by m2/v0.4.12
Optimal control BC4A9Q207H
| URI | m2://inv/BC4A9Q207H |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.11455#3GEI, Optimal control (example). In Z1EBVH5SP1/e1, example 4.5
History
- 2026-10-28: add by m2/v0.4.3
String theory landscape BC4SVEQN3E
| URI | m2://inv/BC4SVEQN3E |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of string theory topics#0NZT, String theory landscape (unknown)
History
- 2026-11-02: add by m2/dev
Example BC4V09Y6P2
| URI | m2://inv/BC4V09Y6P2 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Circular convolution#NA33, Example (example)
History
- 2026-11-02: add by m2/dev
Death of Ted Kaczynski BC4WAWRW3Q
| URI | m2://inv/BC4WAWRW3Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ted Kaczynski#6KX1, Death of Ted Kaczynski (unknown)
History
- 2026-11-02: add by m2/dev
Definition BC4WMSX8GM
| URI | m2://inv/BC4WMSX8GM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Resilience (mathematics)#UBLH, Definition (definition)
History
- 2026-11-02: add by m2/dev
BC4Y1SAB1W BC4Y1SAB1W
| URI | m2://inv/BC4Y1SAB1W |
|---|---|
| Kind | definition |
| 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.08664#XHZY (definition). In 1YY0P4ZS0T/e1, definition 11
History
- 2026-10-29: add by m2/v0.4.10
Steiner chain BC512KJYDZ
| URI | m2://inv/BC512KJYDZ |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Steiner chain RHFSPFGSZJ |
Mentions
- wikidata: Wikidata Q1368121, Steiner chain (concept). Also MathWorld SteinerChain
- wikipedia: Wikipedia Steiner chain, Steiner chain (definition). Also Wikidata Q1368121
History
- 2026-10-26: add by m2/dev
Construction BC53W0DFDN
| URI | m2://inv/BC53W0DFDN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rectified 5-orthoplexes#MKNH, Construction (definition)
History
- 2026-11-02: add by m2/dev
Tolerance interval BC5E4TGVSN
| URI | m2://inv/BC5E4TGVSN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tolerance interval, Tolerance interval (definition). Also Wikidata Q7814221
History
- 2026-11-02: add by m2/dev
George Boole BC5EJCH57Z
| URI | m2://inv/BC5EJCH57Z |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of publications in mathematics#0YZN, George Boole (topic)
History
- 2026-11-02: add by m2/dev
Semi-elasticity BC5HGXQV1S
| URI | m2://inv/BC5HGXQV1S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elasticity of a function#M1DR, Semi-elasticity (unknown)
History
- 2026-11-02: add by m2/dev
Golumbic BC5KPSNJ3R
| URI | m2://inv/BC5KPSNJ3R |
|---|---|
| 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.27788#9QDV, Golumbic (statement)
History
- 2026-11-01: add by m2/v0.6.15
Mina Ossiander BC5MEKA0A9
| URI | m2://inv/BC5MEKA0A9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mina Ossiander, Mina Ossiander (topic). Also Wikidata Q102177486
History
- 2026-11-02: add by m2/dev
BC5RRM32N4 BC5RRM32N4
| URI | m2://inv/BC5RRM32N4 |
|---|---|
| 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 0905.2248#81H7 (statement). In 7EWB9ZRD9Z/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
Partition of sums of squares BC5S37R7ET
| URI | m2://inv/BC5S37R7ET |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#JSPL, Partition of sums of squares (definition)
History
- 2026-11-02: add by m2/dev
Silver's dichotomy BC5XNDW4PN
| URI | m2://inv/BC5XNDW4PN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Silver's dichotomy, Silver's dichotomy (definition). Also Wikidata Q113993285
History
- 2026-11-02: add by m2/dev
The operator $\Gamma$ BC67N1BCJR
| URI | m2://inv/BC67N1BCJR |
|---|---|
| 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 2610.08764#YSPA, The operator $\Gamma$ (statement). In QVFHS1C9BW/e1, lemma \thethrm
History
- 2026-10-29: add by m2/v0.4.10
BC6DXBFRYC BC6DXBFRYC
| URI | m2://inv/BC6DXBFRYC |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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 1407.0548#GLIK (statement). In 3EAQ15QTJC/e1, proposition 3.6
History
- 2026-10-27: add by m2/v0.3.5
Dandelin's theorem BC6KBXWX1M
| URI | m2://inv/BC6KBXWX1M |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#HUV8, Dandelin's theorem (definition)
History
- 2026-11-02: add by m2/dev
Boltzmann Machine BC6MNNMHVD
| URI | m2://inv/BC6MNNMHVD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Unsupervised learning#FDYK, Boltzmann Machine (definition)
History
- 2026-11-02: add by m2/dev
Special cases BC6T1WAC2P
| URI | m2://inv/BC6T1WAC2P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Altitude (triangle)#Z4NI, Special cases (statement)
History
- 2026-11-02: add by m2/dev
BC6X6234Y0 BC6X6234Y0
| URI | m2://inv/BC6X6234Y0 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/zorn-lemma.tex#problem-2 (exercise). In RZP28ERRZV, problem, section 94.6
History
- 2026-11-01: add by m2/v0.6.13
BC6XDRXF7B BC6XDRXF7B
| URI | m2://inv/BC6XDRXF7B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32650#4X4G (statement). In PHXJ87HKYB/e1, lemma 2.5
History
- 2026-10-31: add by m2/v0.5.6
Poisson hidden Markov model BC6XQG6WXK
| URI | m2://inv/BC6XQG6WXK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statistics articles#RAHE, Poisson hidden Markov model (definition)
History
- 2026-11-02: add by m2/dev
Marked curve BC71AXG3ZV
| URI | m2://inv/BC71AXG3ZV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Moduli of algebraic curves#X824, Marked curve (unknown)
History
- 2026-11-02: add by m2/dev
Yamada , Vogel BC75S4M6XA
| URI | m2://inv/BC75S4M6XA |
|---|---|
| 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 2610.18803#PYOO, Yamada , Vogel (statement). In VG8AF124T3/e1, theorem 7.7
History
- 2026-10-28: add by m2/v0.4.2
Definition BC75TWHX98
| URI | m2://inv/BC75TWHX98 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Periodic function#FB22, Definition (definition)
History
- 2026-11-02: add by m2/dev
canonical form BC78VFVJXY
| URI | m2://inv/BC78VFVJXY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of invariant theory#Q37T, canonical form (definition)
History
- 2026-11-02: add by m2/dev
Scale BC78YTY464
| URI | m2://inv/BC78YTY464 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Scale (social sciences), Scale (definition). Also Wikidata Q16155171
History
- 2026-11-02: add by m2/dev
BC7NFHMFXS BC7NFHMFXS
| URI | m2://inv/BC7NFHMFXS |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 14-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2310.06695#QJPV (conjecture). In D6F8XGF5SS/e1, conjecture 2
History
- 2026-10-27: add by m2/v0.3.6
BC80R3G1ZS BC80R3G1ZS
| URI | m2://inv/BC80R3G1ZS |
|---|---|
| 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 1806.00752#C0PL (statement). In GGW2N4JHXM/e1, theorem 2
History
- 2026-10-27: add by m2/v0.3.5
An a posteriori primal--dual certificate BC871GVAWV
| URI | m2://inv/BC871GVAWV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38228#B4K5, An a posteriori primal--dual certificate (statement). In 9YAE8FNQST/e1, corollary 16.11
History
- 2026-10-30: add by m2/v0.4.12
great rhombidodecahedron BC87MTV2VM
| URI | m2://inv/BC87MTV2VM |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q47691, great rhombidodecahedron (unknown). Also MathWorld GreatRhombidodecahedron
- wikipedia: Wikipedia Great rhombidodecahedron, Great rhombidodecahedron (object). Also Wikidata Q47691
History
- 2026-10-26: add by m2/dev
Context-sensitive definite clause grammars BC8HGSPHPR
| URI | m2://inv/BC8HGSPHPR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Definite clause grammar#VKI5, Context-sensitive definite clause grammars (unknown)
History
- 2026-11-02: add by m2/dev
BC8J1RFSEF BC8J1RFSEF
| URI | m2://inv/BC8J1RFSEF |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05582#BVG2 (statement). In 9X4TANWWWR/e1, fact 2.2
History
- 2026-10-29: add by m2/v0.4.10
BC8QT45WPB BC8QT45WPB
| URI | m2://inv/BC8QT45WPB |
|---|---|
| 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#QXT0 (statement). In BGA625B7W1/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
BC8W9HC2VY BC8W9HC2VY
| URI | m2://inv/BC8W9HC2VY |
|---|---|
| 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.19273#NI2Q (statement). In T3BY4TXYT4/e1, lemma 9.1
History
- 2026-10-28: add by m2/v0.4.2
BC8WPFGMG0 BC8WPFGMG0
| URI | m2://inv/BC8WPFGMG0 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30892#7YQR (definition). In F7C1RM5VA4/e1, definition 1.9
History
- 2026-10-31: add by m2/v0.5.6
Cryptogram BC910SFYP9
| URI | m2://inv/BC910SFYP9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptogram, Cryptogram (definition). Also Wikidata Q540623
History
- 2026-11-02: add by m2/dev
BC9476QER6 BC9476QER6
| URI | m2://inv/BC9476QER6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.20190#LXVY (example)
History
- 2026-11-02: add by m2/v0.6.18
Examples BC94XTSX5S
| URI | m2://inv/BC94XTSX5S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Closure operator#RG5R, Examples (example)
History
- 2026-11-02: add by m2/dev
BC959E9F8P BC959E9F8P
| URI | m2://inv/BC959E9F8P |
|---|---|
| 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.06521#KJG6 (statement). In NVXWD513NM/e1, corollary 4.7
History
- 2026-10-29: add by m2/v0.4.10
Grötzsch BC9BT4BZDS
| URI | m2://inv/BC9BT4BZDS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#5EMV, Grötzsch (definition)
History
- 2026-11-02: add by m2/dev
bull graph BC9EBG2F4X
| URI | m2://inv/BC9EBG2F4X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115612, bull graph (unknown). Also House of Graphs 240, MathWorld BullGraph
- wikipedia: Wikipedia Bull graph, Bull graph (definition). Also Wikidata Q3115612
History
- 2026-10-26: add by m2/dev
The generic branch is impossible BC9GDB0RX4
| URI | m2://inv/BC9GDB0RX4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31689#LV0A, The generic branch is impossible (statement). In Z7M2JSF6HA/e1, proposition 12.2
History
- 2026-10-31: add by m2/v0.5.6
BC9QQJ4FHT BC9QQJ4FHT
| URI | m2://inv/BC9QQJ4FHT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25348#HGHZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Examples BC9XRP0TXK
| URI | m2://inv/BC9XRP0TXK |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constant-recursive sequence#PKGS, Examples (example)
History
- 2026-11-02: add by m2/dev
Cento BCA692BXY0
| URI | m2://inv/BCA692BXY0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#EKGL, Cento (unknown)
History
- 2026-11-02: add by m2/dev
BCAD7N5YYN BCAD7N5YYN
| URI | m2://inv/BCAD7N5YYN |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19260#XP9C (example). In PWXT7J9JX3/e1, example 2.5
History
- 2026-10-28: add by m2/v0.4.2
At most three nonalgebraic points BCAJCJ5YPS
| URI | m2://inv/BCAJCJ5YPS |
|---|---|
| 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#WJJH, At most three nonalgebraic points (statement)
History
- 2026-11-02: add by m2/v0.6.17
Hyperbolization procedures BCAQYXAPN4
| URI | m2://inv/BCAQYXAPN4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hyperbolization procedures, Hyperbolization procedures (definition). Also Wikidata Q131725195
History
- 2026-11-02: add by m2/dev
Properties BCASJTYB9R
| URI | m2://inv/BCASJTYB9R |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Constructible function#GC4D, Properties (statement)
History
- 2026-11-02: add by m2/dev
Example BCAY01FQT1
| URI | m2://inv/BCAY01FQT1 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Gillespie algorithm#2N4R, Example (example)
History
- 2026-11-02: add by m2/dev
Depth-first search BCAY1EXY11
| URI | m2://inv/BCAY1EXY11 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graph theory topics#8G7U, Depth-first search (definition)
History
- 2026-11-02: add by m2/dev
BCAYWZWRCB BCAYWZWRCB
| URI | m2://inv/BCAYWZWRCB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13980#XP45 (statement). In 6DNZE6RT72/e1, lemma 4.2
History
- 2026-10-28: add by m2/v0.4.2
BCB1YDFXF4 BCB1YDFXF4
| URI | m2://inv/BCB1YDFXF4 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia McMullen problem#BT69 (problem)
History
- 2026-11-02: add by m2/dev
Goldbach conjecture BCB54FXN6G
| URI | m2://inv/BCB54FXN6G |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/4.3/goldbach-conjecture, Goldbach conjecture (concept). In Y91XFCEVHQ, index, section 4.3
History
- 2026-11-01: add by m2/v0.6.13
BCBEJDBR98 BCBEJDBR98
| URI | m2://inv/BCBEJDBR98 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-riemann.tex#secondftc:exercise (exercise). In E59CDZA4DP, exercise, section 8.3.4
History
- 2026-11-01: add by m2/v0.6.13
Properties BCBHY98HDP
| URI | m2://inv/BCBHY98HDP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Algebraic surface#HJ99, Properties (statement)
History
- 2026-11-02: add by m2/dev
Consistency of local loading and factor estimators BCBXB30917
| URI | m2://inv/BCBXB30917 |
|---|---|
| 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.18335#6KD7, Consistency of local loading and factor estimators (statement). In XKN1C8Y9SD/e1, theorem 7
History
- 2026-10-28: add by m2/v0.4.2
BCBY524JF6 BCBY524JF6
| URI | m2://inv/BCBY524JF6 |
|---|---|
| Kind | unknown |
| Layer | research |
| MSC | 35-XX, 65-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13680#SN2E (unknown). In QNBFHFZ3H0/e1, unknown 104
History
- 2026-10-28: add by m2/v0.4.2
High Probability Bound on Excess Risk BCC1502XC2
| URI | m2://inv/BCC1502XC2 |
|---|---|
| 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.15111#8CJP, High Probability Bound on Excess Risk (statement). In 6RE6JYE4GP/e1, proposition E.1
History
- 2026-10-28: add by m2/v0.4.2
Definition BCC3MBBV0Y
| URI | m2://inv/BCC3MBBV0Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute continuity#CP2H, Definition (definition)
History
- 2026-11-02: add by m2/dev
Examples BCC4YKMMR4
| URI | m2://inv/BCC4YKMMR4 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Thermal wind#KVV7, Examples (example)
History
- 2026-11-02: add by m2/dev
BCC873RF8X BCC873RF8X
| URI | m2://inv/BCC873RF8X |
|---|---|
| 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 2610.03628#6I3U (definition). In P8KT6JV9N1/e1, definition 4.6
History
- 2026-10-29: add by m2/v0.4.12
Example BCCDCVV11C
| URI | m2://inv/BCCDCVV11C |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kolmogorov's three-series theorem#JRC6, Example (example)
History
- 2026-11-02: add by m2/dev
BCCF1A8198 BCCF1A8198
| URI | m2://inv/BCCF1A8198 |
|---|---|
| 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 0809.0068#FLLG (definition). In MBKYGM01FK/e1, definition 1.6
History
- 2026-10-27: add by m2/v0.3.5
BCCG4F0XD8 BCCG4F0XD8
| URI | m2://inv/BCCG4F0XD8 |
|---|---|
| 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#G6BY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Otto Schreier BCCQGCZ6PG
| URI | m2://inv/BCCQGCZ6PG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q86109, Otto Schreier (unknown). Also nLab Otto Schreier
- wikipedia: Wikipedia Otto Schreier, Otto Schreier (topic). Also Wikidata Q86109
History
- 2026-10-26: add by m2/dev
Philosophy of cusp forms BCCYHRV1P8
| URI | m2://inv/BCCYHRV1P8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Parabolic induction#ZKX0, Philosophy of cusp forms (unknown)
History
- 2026-11-02: add by m2/dev
BCDBFB4MZN BCDBFB4MZN
| URI | m2://inv/BCDBFB4MZN |
|---|---|
| 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.06381#5SBK (statement). In X9JKBDHACW/e1, lemma 8.3
History
- 2026-10-29: add by m2/v0.4.10
Applications BCDGC0ZQ6T
| URI | m2://inv/BCDGC0ZQ6T |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Error function#JBCO, Applications (example)
History
- 2026-11-02: add by m2/dev
Definition BCDK03E2SX
| URI | m2://inv/BCDK03E2SX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Trigonometric polynomial#S0TK, Definition (definition)
History
- 2026-11-02: add by m2/dev
Piet Groeneboom BCDKPNWX0S
| URI | m2://inv/BCDKPNWX0S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#PSFM, Piet Groeneboom (topic)
History
- 2026-11-02: add by m2/dev
BCDMNP117Y BCDMNP117Y
| URI | m2://inv/BCDMNP117Y |
|---|---|
| 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.28518#AMT7 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Benedict Gross BCDRKP6ZQN
| URI | m2://inv/BCDRKP6ZQN |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Benedict Gross, Benedict Gross (topic). Also Wikidata Q249115
History
- 2026-11-02: add by m2/dev
Lacunary function BCDT8MGJYP
| URI | m2://inv/BCDT8MGJYP |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1986013, Lacunary function (concept). Also MathWorld LacunaryFunction
- wikipedia: Wikipedia Lacunary function, Lacunary function (definition). Also Wikidata Q1986013
History
- 2026-10-26: add by m2/dev
BCDV75CH53 BCDV75CH53
| URI | m2://inv/BCDV75CH53 |
|---|---|
| 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 2204.13401#MRXV (statement). In B8MJT0GGW8/e1, lemma 4.28
History
- 2026-10-27: add by m2/v0.4.0
Theorem 5 BCDWPF3WM1
| URI | m2://inv/BCDWPF3WM1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Near sets#QTNH, Theorem 5 (statement)
History
- 2026-11-02: add by m2/dev
BCE57ANXT8 BCE57ANXT8
| URI | m2://inv/BCE57ANXT8 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20758#P9AJ (statement). In PG0B4PH9YH/e1, fact 2.20
History
- 2026-10-27: add by m2/v0.4.2
Exponential notation BCEC6SNAYZ
| URI | m2://inv/BCEC6SNAYZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of exponential topics#BOBU, Exponential notation (definition)
History
- 2026-11-02: add by m2/dev
Theorem (Ruzsa triangle inequality) BCECMDTGB5
| URI | m2://inv/BCECMDTGB5 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Plünnecke–Ruzsa inequality#YLCX, Theorem (Ruzsa triangle inequality) (statement)
- wikipedia: Wikipedia Ruzsa triangle inequality#3TUH, Theorem (Ruzsa triangle inequality) (statement)
History
- 2026-11-02: add by m2/dev
BCEF9WRKMR BCEF9WRKMR
| URI | m2://inv/BCEF9WRKMR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12238#TF0X (statement). In E31CZYM2H8/e1, lemma 5.2
History
- 2026-10-28: add by m2/v0.4.2
BCEJ1KRXXJ BCEJ1KRXXJ
| URI | m2://inv/BCEJ1KRXXJ |
|---|---|
| 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.35766#5EOF (statement). In 6638EFW1NG/e1, lemma 5.1
History
- 2026-10-30: add by m2/v0.4.12
Wahl's Rational Conjecture BCEP3ESJXR
| URI | m2://inv/BCEP3ESJXR |
|---|---|
| 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.20991#LG2Y, Wahl's Rational Conjecture (statement). In H98ZC5YBSD/e1, theorem 1.5
History
- 2026-10-27: add by m2/v0.4.2
propositional, resizing BCEQ4YT58V
| URI | m2://inv/BCEQ4YT58V |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/B.5/propositional-resizing, propositional, resizing (concept). In N54F33XE07, index, section B.5
History
- 2026-11-01: add by m2/v0.6.13
Secondary cohomology operation BCER9BEBY9
| URI | m2://inv/BCER9BEBY9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Secondary cohomology operation, Secondary cohomology operation (definition). Also Wikidata Q7443815
History
- 2026-11-02: add by m2/dev
Kiyosi Itô BCEWBCS4M4
| URI | m2://inv/BCEWBCS4M4 |
|---|---|
| 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#HGNG, Kiyosi Itô (topic)
History
- 2026-11-02: add by m2/dev
Fuzzy relation BCEY755ZXD
| URI | m2://inv/BCEY755ZXD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fuzzy relation, Fuzzy relation (definition). Also Wikidata Q107645790
History
- 2026-11-02: add by m2/dev
Properties BCFACH4H5A
| URI | m2://inv/BCFACH4H5A |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Epi-convergence#9MON, Properties (statement)
History
- 2026-11-02: add by m2/dev
BCFAZJPA46 BCFAZJPA46
| URI | m2://inv/BCFAZJPA46 |
|---|---|
| Kind | example |
| 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.21231#UG3N (example). In 4RH9PS7MN1/e1, example 3
History
- 2026-10-27: add by m2/v0.4.2
Frege–Church ontology BCFBBCFATP
| URI | m2://inv/BCFBBCFATP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frege–Church ontology, Frege–Church ontology (definition). Also Wikidata Q5501323
History
- 2026-11-02: add by m2/dev
Normalization of the norm-character generator BCFCDZ9BSB
| URI | m2://inv/BCFCDZ9BSB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#ZMOI, Normalization of the norm-character generator (statement). In 5BZQS1KY9A/e1, lemma 9.3
History
- 2026-10-29: add by m2/v0.4.10
Applications BCFNXC8ZGM
| URI | m2://inv/BCFNXC8ZGM |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Magnetohydrodynamics#AUGW, Applications (example)
History
- 2026-11-02: add by m2/dev
Cleve Moler BCFWW04RZC
| URI | m2://inv/BCFWW04RZC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#OIWD, Cleve Moler (topic)
- wikipedia: Wikipedia List of numerical analysis topics#Q1D5, Cleve Moler (topic)
History
- 2026-11-02: add by m2/dev
BCFY6CKHGH BCFY6CKHGH
| URI | m2://inv/BCFY6CKHGH |
|---|---|
| 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#CP84 (statement). In Q6HRJP4AWA/e1, corollary 8.2
History
- 2026-10-29: add by m2/v0.4.12
Deferred shading BCFYXB84WF
| URI | m2://inv/BCFYXB84WF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of computer graphics and descriptive geometry topics#UF9O, Deferred shading (unknown)
History
- 2026-11-02: add by m2/dev
Implementation BCG1KE4GXM
| URI | m2://inv/BCG1KE4GXM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Map algebra#IR0Y, Implementation (definition)
History
- 2026-11-02: add by m2/dev
BCG44BRNKS BCG44BRNKS
| URI | m2://inv/BCG44BRNKS |
|---|---|
| Kind | example |
| 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 2605.16669#DRWS (example). In 1463YCCRP5/e1, example 7.3
History
- 2026-10-27: add by m2/v0.4.0
BCGD4FS3MT BCGD4FS3MT
| URI | m2://inv/BCGD4FS3MT |
|---|---|
| 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#E2HC (statement). In VEXM27M8Q1/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.3
BCGEGT9X9K BCGEGT9X9K
| URI | m2://inv/BCGEGT9X9K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-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 2103.14389#OJT8 (statement). In NAMCCRM50R/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Jerry Azzinaro BCGFKBW6KP
| URI | m2://inv/BCGFKBW6KP |
|---|---|
| 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#5989, Jerry Azzinaro (unknown)
History
- 2026-11-02: add by m2/dev
Vogt’s theorem BCGNZ743A3
| URI | m2://inv/BCGNZ743A3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Coherency (homotopy theory)#PX7E, Vogt’s theorem (statement)
History
- 2026-11-02: add by m2/dev
BCGQ1QRFHA BCGQ1QRFHA
| URI | m2://inv/BCGQ1QRFHA |
|---|---|
| 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 2201.12479#8JNP (statement). In ZDWR95TW99/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.3.5
Fichtenholz, Grigorii Mikhailovich BCGSE41MM5
| URI | m2://inv/BCGSE41MM5 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Ukrainian mathematicians#GBRL, Fichtenholz, Grigorii Mikhailovich (topic)
History
- 2026-11-02: add by m2/dev
Example 1 BCGWTHH8FJ
| URI | m2://inv/BCGWTHH8FJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Necessity and sufficiency#400I, Example 1 (example)
History
- 2026-11-02: add by m2/dev
permutation model BCH0P4T267
| URI | m2://inv/BCH0P4T267 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#VUCJ, permutation model (definition)
History
- 2026-11-02: add by m2/dev
A complete factor circuit BCH22BGWWM
| URI | m2://inv/BCH22BGWWM |
|---|---|
| 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#VGL1, A complete factor circuit (statement)
History
- 2026-11-01: add by m2/v0.6.15
Push-forward (Chow groups) BCHDSYN8FC
| URI | m2://inv/BCHDSYN8FC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chow group#LVFD, Push-forward (Chow groups) (unknown)
History
- 2026-11-02: add by m2/dev
Greenwald–Stiglitz theorem BCHQ5H85R3
| URI | m2://inv/BCHQ5H85R3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorems of welfare economics#DCN2, Greenwald–Stiglitz theorem (statement)
History
- 2026-11-02: add by m2/dev
BCHQK4TPXK BCHQK4TPXK
| URI | m2://inv/BCHQK4TPXK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hlevels.tex#lem:truncation-le (statement). In N54F33XE07, lem, section 6.3
History
- 2026-11-01: add by m2/v0.6.13
Bonita V. Saunders BCHS2FJQDS
| URI | m2://inv/BCHS2FJQDS |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Bonita V. Saunders, Bonita V. Saunders (topic). Also Wikidata Q16945860
History
- 2026-11-02: add by m2/dev
Fritz Peter BCHXAWEYER
| URI | m2://inv/BCHXAWEYER |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of German mathematicians#DSCK, Fritz Peter (topic)
History
- 2026-11-02: add by m2/dev
Examples BCHY0S3KSR
| URI | m2://inv/BCHY0S3KSR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Matroid intersection#LO9Y, Examples (example)
History
- 2026-11-02: add by m2/dev
Theorem BCJ08WVFNW
| URI | m2://inv/BCJ08WVFNW |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Brunn–Minkowski theorem#EGR1, Theorem (statement)
History
- 2026-11-02: add by m2/dev
BCJ75156T2 BCJ75156T2
| URI | m2://inv/BCJ75156T2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#5KN2 (definition). In 9H45HQE7AZ/e1, definition 2.30
History
- 2026-10-27: add by m2/v0.3.5
strong, induction BCJEFEH2C2
| URI | m2://inv/BCJEFEH2C2 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/C.3/strong-induction, strong, induction (concept). In N54F33XE07, index, section C.3
History
- 2026-11-01: add by m2/v0.6.13
BCJP6ENGSV BCJP6ENGSV
| URI | m2://inv/BCJP6ENGSV |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26033#XWQQ (example)
History
- 2026-11-01: add by m2/v0.6.15
Tarjan's off-line lowest common ancestors algorithm BCJTJDG6BG
| URI | m2://inv/BCJTJDG6BG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Tarjan's off-line lowest common ancestors algorithm, Tarjan's off-line lowest common ancestors algorithm (definition). Also Wikidata Q4919359
History
- 2026-11-02: add by m2/dev
BCJVVEZB63 BCJVVEZB63
| URI | m2://inv/BCJVVEZB63 |
|---|---|
| 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.27788#5U48 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Variations BCJXSWKDMG
| URI | m2://inv/BCJXSWKDMG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Polygonal chain#QFVF, Variations (statement)
History
- 2026-11-02: add by m2/dev
differential equation, first order BCK6DM0KN5
| URI | m2://inv/BCK6DM0KN5 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- active_calculus: active_calculus index/7.1.4/differential-equation-first-order, differential equation, first order (concept). In 907G4C4EJ1, index, section 7.1.4
History
- 2026-11-01: add by m2/v0.6.13
James Lepowsky BCK6F6S03M
| URI | m2://inv/BCK6F6S03M |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 2 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1680608, James Lepowsky (unknown). Also nLab James Lepowsky
- wikipedia: Wikipedia James Lepowsky, James Lepowsky (topic). Also Wikidata Q1680608
History
- 2026-10-26: add by m2/dev
800 BCK7TSMHMZ
| URI | m2://inv/BCK7TSMHMZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 800 (number), 800 (definition). Also Wikidata Q746396
History
- 2026-11-02: add by m2/dev
Methods of matrix inversion BCKB5F68QG
| URI | m2://inv/BCKB5F68QG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Methods of matrix inversion, Methods of matrix inversion (definition). Also Wikidata Q140431160
History
- 2026-11-02: add by m2/dev
History of physical cosmology BCKC8X5464
| URI | m2://inv/BCKC8X5464 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Physical cosmology#NGM9, History of physical cosmology (unknown)
History
- 2026-11-02: add by m2/dev
BCKHCZ1C4S BCKHCZ1C4S
| URI | m2://inv/BCKHCZ1C4S |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_diffyqs: lebl_diffyqs ch-first-order-ode.tex#exercise-118 (exercise). In E9HS8K3A52, exercise, section 4.9.1
History
- 2026-11-01: add by m2/v0.6.13
BCKK7R602E BCKK7R602E
| URI | m2://inv/BCKK7R602E |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38993#4BQU (definition). In AFKQK866Y1/e1, definition 2.1
History
- 2026-10-30: add by m2/v0.4.12
BCKNY38DCD BCKNY38DCD
| URI | m2://inv/BCKNY38DCD |
|---|---|
| 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.20568#OSH5 (statement)
History
- 2026-11-02: add by m2/v0.6.18
Classification of invariant measures BCKQSZ88WX
| URI | m2://inv/BCKQSZ88WX |
|---|---|
| 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#LOJD, Classification of invariant measures (statement)
History
- 2026-11-01: add by m2/v0.6.15
BCKS71KP4A BCKS71KP4A
| URI | m2://inv/BCKS71KP4A |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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 1507.03803#AEDD (statement). In MMJT4R2MSS/e1, theorem 5
History
- 2026-10-27: add by m2/v0.3.5
BCM1S61DPZ BCM1S61DPZ
| URI | m2://inv/BCM1S61DPZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.12736#WQAL (definition). In 5350Q52F6P/e1, definition 8.7
History
- 2026-10-28: add by m2/v0.4.2
BCM26SVMTE BCM26SVMTE
| URI | m2://inv/BCM26SVMTE |
|---|---|
| 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.37197#0745 (statement). In 98ESNNP0CC/e1, theorem 4.1
History
- 2026-10-30: add by m2/v0.4.12
BCM2B0XZ4V BCM2B0XZ4V
| URI | m2://inv/BCM2B0XZ4V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-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.19010#QGG0 (statement). In 6315NJBYJM/e1, theorem 17
History
- 2026-10-28: add by m2/v0.4.2
Gottfried Köthe BCM3HFHXV9
| URI | m2://inv/BCM3HFHXV9 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of cryptographers#G7C0, Gottfried Köthe (topic)
History
- 2026-11-02: add by m2/dev
BCM8E35FQ6 BCM8E35FQ6
| URI | m2://inv/BCM8E35FQ6 |
|---|---|
| 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.27301#693A (statement)
History
- 2026-11-01: add by m2/v0.6.15
311 (Number) BCMBXTXY4M
| URI | m2://inv/BCMBXTXY4M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 300 (number)#5ZDP, 311 (Number) (unknown)
History
- 2026-11-02: add by m2/dev
Bulk reconstruction kernel BCMCXN2QZZ
| URI | m2://inv/BCMCXN2QZZ |
|---|---|
| Kind | definition |
| 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.18698#E98N, Bulk reconstruction kernel (definition). In AVDZGC7976/e1, definition 4.1
History
- 2026-10-28: add by m2/v0.4.2
BCMEBDSNT7 BCMEBDSNT7
| URI | m2://inv/BCMEBDSNT7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX, 47-XX, 58-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24892#ZD6S (statement)
History
- 2026-11-01: add by m2/v0.6.15
Theorem (3) BCMEVXH0HD
| URI | m2://inv/BCMEVXH0HD |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the item has no name of its own, and the write role names it) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sylow theorems#X602, Theorem (3) (statement)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
BCMKK99RXD BCMKK99RXD
| URI | m2://inv/BCMKK99RXD |
|---|---|
| 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 2604.05177#MUKN (statement). In G04BKQV6YM/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.3.5
Semi-standard tableaux hook length formula BCMKTWSTAG
| URI | m2://inv/BCMKTWSTAG |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hook length formula#AG3S, Semi-standard tableaux hook length formula (statement)
History
- 2026-11-02: add by m2/dev
BCMQ5J10BA BCMQ5J10BA
| URI | m2://inv/BCMQ5J10BA |
|---|---|
| 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.12810#F8AT (statement). In DR35633CPN/e1, proposition 5.7
History
- 2026-10-28: add by m2/v0.4.2
BCMR267Z30 BCMR267Z30
| URI | m2://inv/BCMR267Z30 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 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 1503.05744#4GY2 (statement). In 5XKHZKEGAF/e1, corollary 6.4
History
- 2026-10-27: add by m2/v0.3.5
Constructions BCMXMJJV4N
| URI | m2://inv/BCMXMJJV4N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia New Foundations#411D, Constructions (definition)
History
- 2026-11-02: add by m2/dev
BCN6GSZHMT BCN6GSZHMT
| URI | m2://inv/BCN6GSZHMT |
|---|---|
| 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.07927#EGGL (statement). In GKM19DHQTM/e1, corollary 9.3
History
- 2026-10-29: add by m2/v0.4.10
BCN89N6B45 BCN89N6B45
| URI | m2://inv/BCN89N6B45 |
|---|---|
| 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.24569#8GVO (statement)
History
- 2026-11-01: add by m2/v0.6.15
BCNCC3700Y BCNCC3700Y
| URI | m2://inv/BCNCC3700Y |
|---|---|
| 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 0810.0962#CAJ7 (statement). In 80YMRN5KS9/e1, proposition 2
History
- 2026-10-27: add by m2/v0.3.5
Álgebra de Baldor BCNMSC44JF
| URI | m2://inv/BCNMSC44JF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Álgebra de Baldor, Álgebra de Baldor (definition). Also Wikidata Q3955951
History
- 2026-11-02: add by m2/dev
BCP0SBYRZZ BCP0SBYRZZ
| URI | m2://inv/BCP0SBYRZZ |
|---|---|
| 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.06707#189V (statement). In 9TR5E527P5/e1, theorem
History
- 2026-10-29: add by m2/v0.4.10
BCP2043MYM BCP2043MYM
| URI | m2://inv/BCP2043MYM |
|---|---|
| Kind | example |
| 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.20588#GMYF (example)
History
- 2026-11-02: add by m2/v0.6.18
BCP5MGHKGW BCP5MGHKGW
| URI | m2://inv/BCP5MGHKGW |
|---|---|
| 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.36717#M1NG (statement). In 69FBWG9P3B/e1, lemma 2.3
History
- 2026-10-30: add by m2/v0.4.12
Lemma BCPEYKPXQT
| URI | m2://inv/BCPEYKPXQT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Minkowski plane#KF59, Lemma (statement)
History
- 2026-11-02: add by m2/dev
Algebraic function BCPK0ZDA7D
| URI | m2://inv/BCPK0ZDA7D |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of types of functions#KB0X, Algebraic function (definition)
History
- 2026-11-02: add by m2/dev
Argument to moderation BCPRHJJT3Z
| URI | m2://inv/BCPRHJJT3Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Argument to moderation, Argument to moderation (definition). Also Wikidata Q337980
History
- 2026-11-02: add by m2/dev
Outline of discrete mathematics BCPTQ4NDPZ
| URI | m2://inv/BCPTQ4NDPZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Outline of discrete mathematics, Outline of discrete mathematics (topic). Also Wikidata Q7112619
History
- 2026-11-02: add by m2/dev
Trace Ritz principle BCQ3GYMH4B
| URI | m2://inv/BCQ3GYMH4B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19837#UB7D, Trace Ritz principle (statement). In 837NSWQM1P/e1, lemma 4.1
History
- 2026-10-28: add by m2/v0.4.2
Forster–Swan theorem BCQ6HNGYN7
| URI | m2://inv/BCQ6HNGYN7 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Forster–Swan theorem#P6HA, Forster–Swan theorem (statement)
History
- 2026-11-02: add by m2/dev
Formulation BCQBAWYSMN
| URI | m2://inv/BCQBAWYSMN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hahn series#AE6W, Formulation (definition)
History
- 2026-11-02: add by m2/dev
BCQF7DAYKC BCQF7DAYKC
| URI | m2://inv/BCQF7DAYKC |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1808.00180#I8B6 (definition). In XDYCG8DVHE/e1, definition 2.2
History
- 2026-10-27: add by m2/v0.3.5
BCQNX9S5PH BCQNX9S5PH
| URI | m2://inv/BCQNX9S5PH |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/caratheodory.tex#ques-4 (exercise). In RZP28ERRZV, ques, section 63.5
History
- 2026-11-01: add by m2/v0.6.13
J.L. Lagrange BCQRRHJ329
| URI | m2://inv/BCQRRHJ329 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#CZ4V, J.L. Lagrange (topic)
History
- 2026-11-02: add by m2/dev
BCQVDSBSJD BCQVDSBSJD
| URI | m2://inv/BCQVDSBSJD |
|---|---|
| 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.09113#5HJF (statement). In MWAK0MK21N/e1, lemma 2.3
History
- 2026-10-29: add by m2/v0.4.10
BCR1024D69 BCR1024D69
| URI | m2://inv/BCR1024D69 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39531#6M1V (statement). In SN9RSTHQ07/e1, lemma G.3
History
- 2026-10-30: add by m2/v0.4.12
type, coproduct BCR1DNDAFV
| URI | m2://inv/BCR1DNDAFV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book index/A.12.3/type-coproduct, type, coproduct (concept). In N54F33XE07, index, section A.12.3
History
- 2026-11-01: add by m2/v0.6.13
Constant free abelian group bundles BCR1DVT0W9
| URI | m2://inv/BCR1DVT0W9 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00789#0Q02, Constant free abelian group bundles (example). In 4WPYBTARS2/e1, example 6.2
History
- 2026-10-29: add by m2/v0.4.12
Two-block-diagonal recurrences and continued fractions along the constructed cyclic family BCRJA6EWZA
| URI | m2://inv/BCRJA6EWZA |
|---|---|
| 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#Z46Z, Two-block-diagonal recurrences and continued fractions along the constructed cyclic family (statement)
History
- 2026-11-01: add by m2/v0.6.15
Second law BCRW5MW2A4
| URI | m2://inv/BCRW5MW2A4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Newton's laws of motion#383P, Second law (statement)
History
- 2026-11-02: add by m2/dev
BCS3HM5CMJ BCS3HM5CMJ
| URI | m2://inv/BCS3HM5CMJ |
|---|---|
| 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 2610.15217#Y47G (definition). In G70Q2FB591/e1, definition 4.20
History
- 2026-10-28: add by m2/v0.4.2
Hexagonal prism BCS4Z9T1PW
| URI | m2://inv/BCS4Z9T1PW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#3JH7, Hexagonal prism (definition)
History
- 2026-11-02: add by m2/dev
Geometric algebra BCSX43D9JV
| URI | m2://inv/BCSX43D9JV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algebras#LNNH, Geometric algebra (definition)
History
- 2026-11-02: add by m2/dev
BCT5GM1HV5 BCT5GM1HV5
| URI | m2://inv/BCT5GM1HV5 |
|---|---|
| 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 2610.18803#5WR3 (statement). In VG8AF124T3/e1, lemma 6.6
History
- 2026-10-28: add by m2/v0.4.2
BCTN64Q3DR BCTN64Q3DR
| URI | m2://inv/BCTN64Q3DR |
|---|---|
| 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.06206#80CA (statement). In A7611PTXVQ/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
boundary value problem BCTWA9D8ZF
| URI | m2://inv/BCTWA9D8ZF |
|---|---|
| Kind | problem |
| Layer | textbook |
| MSC | 34B15 |
| Sources | 2 |
| Outcome | open |
| Node | Boundary value problem TM8VQJWGHZ |
Mentions
- wikidata: Wikidata Q1332643, boundary value problem (topic). Also MathWorld BoundaryValueProblem
- wikipedia: Wikipedia Boundary value problem, Boundary value problem (problem). Also Wikidata Q1332643
History
- 2026-10-26: add by m2/dev
Rationalizable strategy BCV5K9QRK4
| URI | m2://inv/BCV5K9QRK4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rationalizable strategy, Rationalizable strategy (definition). Also Wikidata Q2132788
History
- 2026-11-02: add by m2/dev
Properties BCV8JN8W97
| URI | m2://inv/BCV8JN8W97 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chernoff bound#MIOB, Properties (statement)
History
- 2026-11-02: add by m2/dev
BCVC2HN15G BCVC2HN15G
| URI | m2://inv/BCVC2HN15G |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_strings_comb-proof.ptx#example-2 (example). In QKM9DD2H56, example, section 2.4
History
- 2026-11-01: add by m2/v0.6.13
BCVD56DVHJ BCVD56DVHJ
| URI | m2://inv/BCVD56DVHJ |
|---|---|
| Kind | problem |
| 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.07401#JYJO (problem). In FQ5435B36D/e1, problem 4
History
- 2026-10-29: add by m2/v0.4.10
negligible set BCVDWEWQ7N
| URI | m2://inv/BCVDWEWQ7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3799162, negligible set (definition). Also ProofWiki Definition:Negligible_Set
- wikipedia: Wikipedia Negligible set, Negligible set (definition). Also Wikidata Q3799162
History
- 2026-10-26: add by m2/dev
BCVFFP17NG BCVFFP17NG
| URI | m2://inv/BCVFFP17NG |
|---|---|
| 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.12326#EJ8Y (statement). In 9S7HGSEX6Q/e1, lemma 6.3
History
- 2026-10-28: add by m2/v0.4.2
BCVGNDT8SF BCVGNDT8SF
| URI | m2://inv/BCVGNDT8SF |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 49-XX, 51-XX, 52-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.34845#0JHZ (example). In SBZNH932ZV/e1, example 2.3
History
- 2026-10-30: add by m2/v0.4.12
BCVH4G392B BCVH4G392B
| URI | m2://inv/BCVH4G392B |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/homology/cellular.tex#example-2 (example). In RZP28ERRZV, example, section 50.4
History
- 2026-11-01: add by m2/v0.6.13
Martin, Margaret E. BCVKY3A01Y
| URI | m2://inv/BCVKY3A01Y |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#ZW5H, Martin, Margaret E. (topic)
History
- 2026-11-02: add by m2/dev
Fundamental theorem of Hilbert spaces BCVPFWVS5X
| URI | m2://inv/BCVPFWVS5X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Fundamental theorem of Hilbert spaces, Fundamental theorem of Hilbert spaces (statement). Also Wikidata Q96378832
History
- 2026-11-02: add by m2/dev
BCVQ9VNMPQ BCVQ9VNMPQ
| URI | m2://inv/BCVQ9VNMPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21934#E695 (statement). In YKD51BX3XB/e1, lemma 4.1
History
- 2026-10-27: add by m2/v0.4.2
$\dot{\rho}$ equation BCVR29S4CK
| URI | m2://inv/BCVR29S4CK |
|---|---|
| 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.08434#0Z40, $\dot{\rho}$ equation (statement). In VN8087G2FC/e1, lemma 8.11
History
- 2026-10-29: add by m2/v0.4.10
Pitot theorem BCW1BGM9TQ
| URI | m2://inv/BCW1BGM9TQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#TBOF, Pitot theorem (statement)
History
- 2026-11-02: add by m2/dev
BCW3JEJ67P BCW3JEJ67P
| URI | m2://inv/BCW3JEJ67P |
|---|---|
| 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 2609.28824#ERLI (statement)
History
- 2026-11-01: add by m2/v0.6.15
Excision theorem BCW90NPNBF
| URI | m2://inv/BCW90NPNBF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#Z2UF, Excision theorem (statement)
History
- 2026-11-02: add by m2/dev
Quotient of subspace theorem BCWH5Q5NTZ
| URI | m2://inv/BCWH5Q5NTZ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic geometry#W6Y4, Quotient of subspace theorem (statement)
History
- 2026-11-02: add by m2/dev
BCWXJ9KFY7 BCWXJ9KFY7
| URI | m2://inv/BCWXJ9KFY7 |
|---|---|
| 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.34852#JMEF (statement). In TZXEMCBK5V/e1, lemma 5.4
History
- 2026-10-30: add by m2/v0.4.12
Ordinal coarse variational equilibrium BCX3MFN0FZ
| URI | m2://inv/BCX3MFN0FZ |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.05428#ABO8, Ordinal coarse variational equilibrium (definition). In 31MQPCA8SH/e1, definition 3.2
History
- 2026-10-29: add by m2/v0.4.10
Piero Borgi BCX4E0QEVF
| URI | m2://inv/BCX4E0QEVF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Italian mathematicians#S6M1, Piero Borgi (unknown)
History
- 2026-11-02: add by m2/dev
Peirce's criterion BCX879384E
| URI | m2://inv/BCX879384E |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chauvenet's criterion#I39Y, Peirce's criterion (statement)
History
- 2026-11-02: add by m2/dev
Reduced potential and gradient map BCXK96J7EG
| URI | m2://inv/BCXK96J7EG |
|---|---|
| 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.10993#9TH8, Reduced potential and gradient map (statement). In 1JCPN0K7DB/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.3
Ordering cone BCXM171B5F
| URI | m2://inv/BCXM171B5F |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Convex cone#NGDT, Ordering cone (unknown)
History
- 2026-11-02: add by m2/dev
BCXWGJ6Z6X BCXWGJ6Z6X
| URI | m2://inv/BCXWGJ6Z6X |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-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.21914#SQ12 (definition)
History
- 2026-11-02: add by m2/v0.6.17
BCY2SQHJV9 BCY2SQHJV9
| URI | m2://inv/BCY2SQHJV9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 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 2610.05146#VE6F (statement). In 63MJS935N4/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.10
oloid BCY36YMNKF
| URI | m2://inv/BCY36YMNKF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1751494, oloid (unknown). Also MathWorld Oloid
History
- 2026-10-26: add by m2/dev
BCY3FFA71M BCY3FFA71M
| URI | m2://inv/BCY3FFA71M |
|---|---|
| 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.03327#6UPY (statement). In EBNXA84CPM/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
Relation with Fermat's Last Theorem BCY4MGB88P
| URI | m2://inv/BCY4MGB88P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cyclotomic field#F3PA, Relation with Fermat's Last Theorem (statement)
History
- 2026-11-02: add by m2/dev
BCY8QNYKZ6 BCY8QNYKZ6
| URI | m2://inv/BCY8QNYKZ6 |
|---|---|
| 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.11939#BCJK (statement). In DQMEN40FZV/e1, lemma 14
History
- 2026-10-28: add by m2/v0.4.3
BCYFGA431T BCYFGA431T
| URI | m2://inv/BCYFGA431T |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-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 2610.00109#O3CW (statement). In FS8J84KFX2/e1, lemma 4.2
History
- 2026-10-30: add by m2/v0.4.12
BCYT7X3P5P BCYT7X3P5P
| URI | m2://inv/BCYT7X3P5P |
|---|---|
| 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.01561#OMLZ (statement). In W4G7BCHYEW/e1, corollary 1.7
History
- 2026-10-29: add by m2/v0.4.12
Wallis's conical edge BCYTW6YN4E
| URI | m2://inv/BCYTW6YN4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2606830, Wallis's conical edge (unknown). Also MathWorld WallissConicalEdge
- wikipedia: Wikipedia Wallis's conical edge, Wallis's conical edge (definition). Also Wikidata Q2606830
History
- 2026-10-26: add by m2/dev
BCYY8PAVTS BCYY8PAVTS
| URI | m2://inv/BCYY8PAVTS |
|---|---|
| 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 2502.08738#DCNN (statement). In 9GMTVSTAVN/e1, theorem 4.3
History
- 2026-10-27: add by m2/v0.3.5
BCZ5G5RAQA BCZ5G5RAQA
| URI | m2://inv/BCZ5G5RAQA |
|---|---|
| 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 2207.12181#UBCJ (statement). In FSD8NE3XSR/e1, proposition 7.22
History
- 2026-10-27: add by m2/v0.4.0
BCZ92P1SMR BCZ92P1SMR
| URI | m2://inv/BCZ92P1SMR |
|---|---|
| Kind | example |
| 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.10230#RRZH (example). In YS75517SF7/e1, example 3.7
History
- 2026-10-29: add by m2/v0.4.10
Duocylinder BCZ9A24JAJ
| URI | m2://inv/BCZ9A24JAJ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Duocylinder, Duocylinder (definition). Also Wikidata Q5315856
History
- 2026-11-02: add by m2/dev
Sub-Riemannian manifold BCZGA7YQGZ
| URI | m2://inv/BCZGA7YQGZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Bernhard Riemann#KN53, Sub-Riemannian manifold (definition)
- wikipedia: Wikipedia List of differential geometry topics#IHYT, Sub-Riemannian manifold (definition)
History
- 2026-11-02: add by m2/dev
BCZGPGHJC5 BCZGPGHJC5
| URI | m2://inv/BCZGPGHJC5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-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.32233#O4O4 (statement). In V42PPD7SWH/e1, lemma 6.12
History
- 2026-10-31: add by m2/v0.5.6