Inventory rows CS
The cards of the rows of the inventory whose ids start with CS. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Pia Nalli CS06P9SEN7
| URI | m2://inv/CS06P9SEN7 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pia Nalli, Pia Nalli (topic). Also Wikidata Q946772
History
- 2026-11-02: add by m2/dev
*{Conj.\ 3.15 CS08VQ2QB8
| URI | m2://inv/CS08VQ2QB8 |
|---|---|
| Kind | conjecture |
| 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.20306#5MAC, *{Conj.\ 3.15 (conjecture). In YG5EX49042/e1, conjecture 1.1
History
- 2026-10-27: add by m2/v0.4.2
CS0CB8XBY2 CS0CB8XBY2
| URI | m2://inv/CS0CB8XBY2 |
|---|---|
| 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 2011.08789#WKYN (statement). In 43AGRMP7T3/e1, theorem 2.5
History
- 2026-10-27: add by m2/v0.3.5
CS0H3EE30B CS0H3EE30B
| URI | m2://inv/CS0H3EE30B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30482#VJPP (statement). In KWB9M5YH9G/e1, corollary 6.2
History
- 2026-10-31: add by m2/v0.5.6
Applications CS0KZB3K0S
| URI | m2://inv/CS0KZB3K0S |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Erdős–Ko–Rado theorem#JNQ9, Applications (example)
History
- 2026-11-02: add by m2/dev
Roelof Botha CS0P2S4HJY
| URI | m2://inv/CS0P2S4HJY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of actuaries#1BJP, Roelof Botha (unknown)
History
- 2026-11-02: add by m2/dev
CS0VZG2BYS CS0VZG2BYS
| URI | m2://inv/CS0VZG2BYS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09678#IO0D (statement). In 9VG7PNZHZT/e1, theorem 5.6
History
- 2026-10-29: add by m2/v0.4.10
Fenchel–Moreau theorem CS0Z0Q0SPK
| URI | m2://inv/CS0Z0Q0SPK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q5443005, Fenchel–Moreau theorem (statement). Also Wikidata Q5443005
- thousand_plus: thousand_plus Q5443005, Fenchel–Moreau theorem (statement). Also Wikidata Q5443005, Wikipedia Fenchel–Moreau theorem
- wikipedia: Wikipedia Fenchel–Moreau theorem, Fenchel–Moreau theorem (statement). Also Wikidata Q5443005
History
- 2026-10-26: add by m2/dev
Bernstein–Sato polynomial CS10221X24
| URI | m2://inv/CS10221X24 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#A58N, Bernstein–Sato polynomial (definition)
History
- 2026-11-02: add by m2/dev
David Singmaster CS14GE5B9K
| URI | m2://inv/CS14GE5B9K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia David Singmaster, David Singmaster (topic). Also Wikidata Q1176665
History
- 2026-11-02: add by m2/dev
Anisotropic extension CS1AT3YGF0
| URI | m2://inv/CS1AT3YGF0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39824#EXZE, Anisotropic extension (statement). In REPGS464V6/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Cram CS1FYVPJ6V
| URI | m2://inv/CS1FYVPJ6V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1106423, Cram (unknown). Also MathWorld Domineering
- wikipedia: Wikipedia Cram (game), Cram (definition). Also Wikidata Q1106423
History
- 2026-10-26: add by m2/dev
CS1TPPHKKK CS1TPPHKKK
| URI | m2://inv/CS1TPPHKKK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23684#Z2MZ (statement)
History
- 2026-11-02: add by m2/v0.6.17
CS20ZCWD98 CS20ZCWD98
| URI | m2://inv/CS20ZCWD98 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/calculus/differentiate.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 30.2
History
- 2026-11-01: add by m2/v0.6.13
CS26T6P0RC CS26T6P0RC
| URI | m2://inv/CS26T6P0RC |
|---|---|
| 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.07180#CA53 (statement). In TM4H1RV0BQ/e1, theorem 3.1
History
- 2026-10-27: add by m2/v0.3.5
CS2D88VZWQ CS2D88VZWQ
| URI | m2://inv/CS2D88VZWQ |
|---|---|
| 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.26401#IJV3 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ernest Barnes CS2TG4DGAE
| URI | m2://inv/CS2TG4DGAE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ernest Barnes, Ernest Barnes (topic). Also Wikidata Q931427
History
- 2026-11-02: add by m2/dev
General definition CS2Z9BHGD2
| URI | m2://inv/CS2Z9BHGD2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Elliptic operator#WCOQ, General definition (definition)
History
- 2026-11-02: add by m2/dev
Monotone-path presentation CS30EQEBAV
| URI | m2://inv/CS30EQEBAV |
|---|---|
| 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.39262#4YFN, Monotone-path presentation (statement). In XA2NE2Z06S/e1, theorem 6.1
History
- 2026-10-30: add by m2/v0.4.12
De Sitter space CS33KPJ7V6
| URI | m2://inv/CS33KPJ7V6 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia De Sitter space, De Sitter space (object). Also Wikidata Q1179448
History
- 2026-11-02: add by m2/dev
CS34R8TE09 CS34R8TE09
| URI | m2://inv/CS34R8TE09 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi ptx/exercises/logic-proofs.ptx#exercise-5 (exercise). In Y91XFCEVHQ, exercise, section 4.2
History
- 2026-11-01: add by m2/v0.6.13
CS396911BJ CS396911BJ
| URI | m2://inv/CS396911BJ |
|---|---|
| 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.19437#6VOE (statement). In 9PXXGQ978Z/e1, lemma 4.20
History
- 2026-10-28: add by m2/v0.4.2
CS3CSDCWPW CS3CSDCWPW
| URI | m2://inv/CS3CSDCWPW |
|---|---|
| Kind | statement |
| Layer | research |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0406514#ZQKY (statement). In CY1FE8W1ZW/e1, lemma 0.16
History
- 2026-10-27: add by m2/v0.3.5
Compactness theorem CS3FDP4VMY
| URI | m2://inv/CS3FDP4VMY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Flat convergence#KMEU, Compactness theorem (statement)
History
- 2026-11-02: add by m2/dev
Multivariate fourth-moment theorem CS3HM74ZF3
| URI | m2://inv/CS3HM74ZF3 |
|---|---|
| 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.19356#SSUQ, Multivariate fourth-moment theorem (statement). In 2B5QA28NCX/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
CS3K7FS5QJ CS3K7FS5QJ
| URI | m2://inv/CS3K7FS5QJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21540#L7SP (statement)
History
- 2026-11-02: add by m2/v0.6.18
Scaled Gram-invariant limit CS3Q27MJ44
| URI | m2://inv/CS3Q27MJ44 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 65-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08980#5UBF, Scaled Gram-invariant limit (statement). In X407M6WFNR/e1, lemma B.1
History
- 2026-10-29: add by m2/v0.4.10
gimel CS42499C2J
| URI | m2://inv/CS42499C2J |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of set theory#3UL5, gimel (definition)
History
- 2026-11-02: add by m2/dev
Egbert van Kampen CS46RZAZQF
| URI | m2://inv/CS46RZAZQF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#0U7S, Egbert van Kampen (topic)
History
- 2026-11-02: add by m2/dev
CS47R9A1BV CS47R9A1BV
| URI | m2://inv/CS47R9A1BV |
|---|---|
| Kind | definition |
| 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.10840#QL1N (definition). In JSJQEPY71E/e1, definition 3.8
History
- 2026-10-28: add by m2/v0.4.3
R. Dedekind CS4TRH951J
| URI | m2://inv/CS4TRH951J |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of group theory topics#ZOE4, R. Dedekind (topic)
History
- 2026-11-02: add by m2/dev
A presentation of $\mathsf T$ by boundary flips CS4XWB9GPQ
| URI | m2://inv/CS4XWB9GPQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07293#H0R6, A presentation of $\mathsf T$ by boundary flips (statement). In V1GVYM0WQG/e1, theorem 6.2
History
- 2026-10-29: add by m2/v0.4.10
CS52JYBXQY CS52JYBXQY
| URI | m2://inv/CS52JYBXQY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#thm:contr-interval (statement). In N54F33XE07, lem, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
Klaus Friedrich Roth CS56T9NN3V
| URI | m2://inv/CS56T9NN3V |
|---|---|
| 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#5DVX, Klaus Friedrich Roth (topic)
History
- 2026-11-02: add by m2/dev
Modal fictionalism CS5CJ7YHX4
| URI | m2://inv/CS5CJ7YHX4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modal fictionalism, Modal fictionalism (definition). Also Wikidata Q6888014
History
- 2026-11-02: add by m2/dev
CS5NMKS8XY CS5NMKS8XY
| URI | m2://inv/CS5NMKS8XY |
|---|---|
| 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 2103.12669#CY2Y (statement). In ZA6XNBA90V/e1, proposition 3.4
History
- 2026-10-27: add by m2/v0.3.5
Édouard Goursat CS65V7DMEP
| URI | m2://inv/CS65V7DMEP |
|---|---|
| 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 Q274322, Édouard Goursat (unknown). Also nLab Édouard Goursat, ProofWiki Mathematician:Édouard_Jean-Baptiste_Goursat
- wikipedia: Wikipedia Édouard Goursat, Édouard Goursat (topic). Also Wikidata Q274322
History
- 2026-10-26: add by m2/dev
Type constructor CS6623E759
| URI | m2://inv/CS6623E759 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type constructor, Type constructor (definition). Also Wikidata Q7860899
History
- 2026-11-02: add by m2/dev
Delta operator CS6G08QS7N
| URI | m2://inv/CS6G08QS7N |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of polynomial topics#ONN4, Delta operator (definition)
History
- 2026-11-02: add by m2/dev
Higher dimensions CS6GQHE2Q6
| URI | m2://inv/CS6GQHE2Q6 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35360#N8Q6, Higher dimensions (conjecture). In 770AQ8T366/e1, conjecture 1.3
History
- 2026-10-30: add by m2/v0.4.12
Katalin Hangos CS6PJS81X3
| URI | m2://inv/CS6PJS81X3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#FRYR, Katalin Hangos (unknown)
History
- 2026-11-02: add by m2/dev
Erdős–Straus conjecture CS6SM58CBA
| URI | m2://inv/CS6SM58CBA |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#5RJO, Erdős–Straus conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
CS6ZY6RRZS CS6ZY6RRZS
| URI | m2://inv/CS6ZY6RRZS |
|---|---|
| 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.25656#2RUY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Andrew Pullan CS72F08R3K
| URI | m2://inv/CS72F08R3K |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Andrew Pullan, Andrew Pullan (topic). Also Wikidata Q17489118
History
- 2026-11-02: add by m2/dev
CS76WBFBTS CS76WBFBTS
| URI | m2://inv/CS76WBFBTS |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 47-XX, 58-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.20798#267R (statement)
History
- 2026-11-02: add by m2/v0.6.18
CS7AJQAWVM CS7AJQAWVM
| URI | m2://inv/CS7AJQAWVM |
|---|---|
| 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.05506#XMRW (statement). In FT53PMB1TE/e1, lemma 2.2.1
History
- 2026-10-29: add by m2/v0.4.10
CS7HP8GV2V CS7HP8GV2V
| URI | m2://inv/CS7HP8GV2V |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13723#742X (definition). In HPBCRT0Z0V/e1, definition 1.1
History
- 2026-10-28: add by m2/v0.4.2
Imperfect induction CS7VX05DZN
| URI | m2://inv/CS7VX05DZN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Imperfect induction, Imperfect induction (definition). Also Wikidata Q16879949
History
- 2026-11-02: add by m2/dev
CS805MDXEE CS805MDXEE
| URI | m2://inv/CS805MDXEE |
|---|---|
| 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.07049#VEJG (statement). In GMF552ESG6/e1, proposition C.4
History
- 2026-10-29: add by m2/v0.4.10
The set of players CS817NKBFB
| URI | m2://inv/CS817NKBFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of game theory#P7E5, The set of players (definition)
History
- 2026-11-02: add by m2/dev
Elementary functions CS88XH8K32
| URI | m2://inv/CS88XH8K32 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of complex analysis topics#3SO7, Elementary functions (definition)
History
- 2026-11-02: add by m2/dev
CS894H3JQP CS894H3JQP
| URI | m2://inv/CS894H3JQP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16203#W4UM (statement). In 43TBS9P2PX/e1, lemma 7.1
History
- 2026-10-28: add by m2/v0.4.2
Centrality CS8AAHFDSJ
| URI | m2://inv/CS8AAHFDSJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX, 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21662#ZU5Y, Centrality (statement). In 25B3WHEKH2/e1, theorem 5.7
History
- 2026-10-27: add by m2/v0.4.2
Theorem $1$ CS8B8V4S6W
| URI | m2://inv/CS8B8V4S6W |
|---|---|
| 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 2103.11107#0W59, Theorem $1$ (statement). In CC0NDYRS8N/e1, theorem 4.7
History
- 2026-10-27: add by m2/v0.3.5
CS8G3REGNT CS8G3REGNT
| URI | m2://inv/CS8G3REGNT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15344#RUCT (statement). In B9EX6K51RD/e1, proposition 4.4
History
- 2026-10-28: add by m2/v0.4.2
CS8G49JWNJ CS8G49JWNJ
| URI | m2://inv/CS8G49JWNJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.40123#TAID (statement). In WK2YHYEDZ9/e1, proposition 7.2
History
- 2026-10-30: add by m2/v0.4.12
Anatolii Goldberg CS8GVAR4W0
| URI | m2://inv/CS8GVAR4W0 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#566U, Anatolii Goldberg (topic)
History
- 2026-11-02: add by m2/dev
Examples CS8J1DBT38
| URI | m2://inv/CS8J1DBT38 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | deferred (the cue heading names a section and not one item) |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quotient group#PB8F, Examples (example)
History
- 2026-11-02: add by m2/dev
- 2026-11-03: outcome by m2 corpus adopt
CS8QHHJGQG CS8QHHJGQG
| URI | m2://inv/CS8QHHJGQG |
|---|---|
| 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.10967#5TR3 (statement). In J5B682ZHYV/e1, proposition 2.2
History
- 2026-10-28: add by m2/v0.4.3
Aspect ratio CS8YD90GWN
| URI | m2://inv/CS8YD90GWN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28791#JEGQ, Aspect ratio (statement)
History
- 2026-11-01: add by m2/v0.6.15
John Cardy CS959Y23Z2
| URI | m2://inv/CS959Y23Z2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1699541, John Cardy (unknown). Also nLab John Cardy
History
- 2026-10-26: add by m2/dev
Alisa Stephens-Shields CS9J50QQ3N
| URI | m2://inv/CS9J50QQ3N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of fellows of the American Statistical Association#GYPA, Alisa Stephens-Shields (unknown)
History
- 2026-11-02: add by m2/dev
CS9M8ZV6RC CS9M8ZV6RC
| URI | m2://inv/CS9M8ZV6RC |
|---|---|
| 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.11034#PK3A (statement). In 2KACPY9MMF/e1, lemma 4.6
History
- 2026-10-28: add by m2/v0.4.3
MathML CS9S2ECCWN
| URI | m2://inv/CS9S2ECCWN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia MathML, MathML (definition). Also Wikidata Q823982
History
- 2026-11-02: add by m2/dev
CS9TSPBX23 CS9TSPBX23
| URI | m2://inv/CS9TSPBX23 |
|---|---|
| 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-111 (exercise). In E9HS8K3A52, exercise, section 4.8.3
History
- 2026-11-01: add by m2/v0.6.13
K-SVD CS9W2E7R5Z
| URI | m2://inv/CS9W2E7R5Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia K-SVD, K-SVD (definition). Also Wikidata Q17098361
History
- 2026-11-02: add by m2/dev
Ito--Okada CSA8YHSMD4
| URI | m2://inv/CSA8YHSMD4 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07280#5WG4, Ito--Okada (statement). In 1FJKW4WGEN/e1, theorem 2.7
History
- 2026-10-29: add by m2/v0.4.10
CSAB096198 CSAB096198
| URI | m2://inv/CSAB096198 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30482#YZAZ (statement). In KWB9M5YH9G/e1, theorem 2.1
History
- 2026-10-31: add by m2/v0.5.6
principle of strong induction CSAM73QXXF
| URI | m2://inv/CSAM73QXXF |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/11.9.2/principle-of-strong-induction, principle of strong induction (concept). In E59CDZA4DP, index, section 11.9.2
History
- 2026-11-01: add by m2/v0.6.13
CSAMBAE0YE CSAMBAE0YE
| URI | m2://inv/CSAMBAE0YE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16362#4YJW (statement). In 4NJ4T3DEQB/e1, proposition 2.6
History
- 2026-10-28: add by m2/v0.4.2
mod CSARF902R9
| URI | m2://inv/CSARF902R9 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- levin_dmoi: levin_dmoi index/6.2.2/mod, mod (concept). In Y91XFCEVHQ, index, section 6.2.2
History
- 2026-11-01: add by m2/v0.6.13
CSAY8KDK37 CSAY8KDK37
| URI | m2://inv/CSAY8KDK37 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 30-XX, 32-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.10505#PXPQ (definition). In JW8HH6EPG2/e1, definition 4.1
History
- 2026-10-29: add by m2/v0.4.10
The fundamental theorem of $\Gamma$-convergence CSB0SVC7WK
| URI | m2://inv/CSB0SVC7WK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30049#RWVE, The fundamental theorem of $\Gamma$-convergence (statement)
History
- 2026-11-01: add by m2/v0.6.15
Properties CSB0WAVRYA
| URI | m2://inv/CSB0WAVRYA |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spieker center#T3RG, Properties (statement)
History
- 2026-11-02: add by m2/dev
NTK existence and exact nullspace for nonlocal integral constraints CSB1D8JA07
| URI | m2://inv/CSB1D8JA07 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04357#TRXI, NTK existence and exact nullspace for nonlocal integral constraints (statement). In 6FY8BVP1F3/e1, theorem D.14
History
- 2026-10-29: add by m2/v0.4.12
Jonas Kubilius CSBC0NPRXR
| URI | m2://inv/CSBC0NPRXR |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jonas Kubilius, Jonas Kubilius (topic). Also Wikidata Q1702987
History
- 2026-11-02: add by m2/dev
Box spline CSBD8SQ266
| URI | m2://inv/CSBD8SQ266 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Box spline, Box spline (definition). Also Wikidata Q4951620
History
- 2026-11-02: add by m2/dev
CSBE0SNJYR CSBE0SNJYR
| URI | m2://inv/CSBE0SNJYR |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-several-vars-ders.tex#example-13 (example). In E59CDZA4DP, example, section 11.5
History
- 2026-11-01: add by m2/v0.6.13
Grating Equation CSBJWFQP4J
| URI | m2://inv/CSBJWFQP4J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Diffraction grating#HZCA, Grating Equation (unknown)
History
- 2026-11-02: add by m2/dev
CSBK7K9Z68 CSBK7K9Z68
| URI | m2://inv/CSBK7K9Z68 |
|---|---|
| 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.36306#MPWA (statement). In NHQEAVMJE1/e1, lemma 7
History
- 2026-10-30: add by m2/v0.4.12
CSBMJZ1TKY CSBMJZ1TKY
| URI | m2://inv/CSBMJZ1TKY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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.39389#362C (statement). In PP5RE0W4D8/e1, theorem 3.3
History
- 2026-10-30: add by m2/v0.4.12
True random CSBQ35YE7Y
| URI | m2://inv/CSBQ35YE7Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Random number generation#398M, True random (unknown)
History
- 2026-11-02: add by m2/dev
Mark de Berg CSBXHNCRHH
| URI | m2://inv/CSBXHNCRHH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#VV87, Mark de Berg (unknown)
History
- 2026-11-02: add by m2/dev
Walk-on-spheres method CSC61S3PXZ
| URI | m2://inv/CSC61S3PXZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#G3P0, Walk-on-spheres method (definition)
History
- 2026-11-02: add by m2/dev
Null cipher CSCA63ZPQT
| URI | m2://inv/CSCA63ZPQT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of telecommunications encryption terms#OWXD, Null cipher (definition)
History
- 2026-11-02: add by m2/dev
Paradoxes of set theory CSCJSA7H7V
| URI | m2://inv/CSCJSA7H7V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Paradoxes of set theory, Paradoxes of set theory (definition). Also Wikidata Q4344872
History
- 2026-11-02: add by m2/dev
Logistic increment lower bound CSCMV1V4JB
| URI | m2://inv/CSCMV1V4JB |
|---|---|
| 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.09030#92V6, Logistic increment lower bound (statement). In BYN44C0X0C/e1, lemma B.3
History
- 2026-10-29: add by m2/v0.4.10
CSCR2DW2N8 CSCR2DW2N8
| URI | m2://inv/CSCR2DW2N8 |
|---|---|
| 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.18329#O1HF (statement). In 3VWEPEFHN3/e1, theorem 3.16
History
- 2026-10-28: add by m2/v0.4.2
CSCTZKF55Y CSCTZKF55Y
| URI | m2://inv/CSCTZKF55Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08149#9MI2 (statement). In E128PFR76Q/e1, lemma 2.7
History
- 2026-10-29: add by m2/v0.4.10
Totally geodesic CSCWCE3YR0
| URI | m2://inv/CSCWCE3YR0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of Riemannian and metric geometry#FPXN, Totally geodesic (unknown)
History
- 2026-11-02: add by m2/dev
Simple continued fraction CSD1PT0JZW
| URI | m2://inv/CSD1PT0JZW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#XSZ1, Simple continued fraction (definition)
History
- 2026-11-02: add by m2/dev
Absolute scale CSD8JQAAAZ
| URI | m2://inv/CSD8JQAAAZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolute scale, Absolute scale (definition). Also Wikidata Q332729
History
- 2026-11-02: add by m2/dev
CSDAMH5700 CSDAMH5700
| URI | m2://inv/CSDAMH5700 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_background_total-order-N.ptx#lemma-1 (statement). In QKM9DD2H56, lemma, section B.11
History
- 2026-11-01: add by m2/v0.6.13
List of inequalities CSDCMTHMHC
| URI | m2://inv/CSDCMTHMHC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities, List of inequalities (topic). Also Wikidata Q3635202
History
- 2026-11-02: add by m2/dev
CSDF7PHRTJ CSDF7PHRTJ
| URI | m2://inv/CSDF7PHRTJ |
|---|---|
| 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.20588#G0UC (statement)
History
- 2026-11-02: add by m2/v0.6.18
CSDPE9YNMZ CSDPE9YNMZ
| URI | m2://inv/CSDPE9YNMZ |
|---|---|
| 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 2507.05923#T6ZC (statement). In ZFKZ6YDT62/e1, lemma 10
History
- 2026-10-27: add by m2/v0.4.0
CSDR0JZ2TN CSDR0JZ2TN
| URI | m2://inv/CSDR0JZ2TN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/IntroCardinality.tex#definition-1 (definition). In P1C114YBXG, definition, section D
History
- 2026-11-01: add by m2/v0.6.13
CSDRGG1J5E CSDRGG1J5E
| URI | m2://inv/CSDRGG1J5E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09739#OZ6E (statement). In ZYNZ95FSFD/e1, proposition 4.4
History
- 2026-10-29: add by m2/v0.4.10
CSDVHE22E7 CSDVHE22E7
| URI | m2://inv/CSDVHE22E7 |
|---|---|
| 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 1011.5443#1W70 (definition). In VQ0K2GV62A/e1, definition 1.1
History
- 2026-10-27: add by m2/v0.3.5
Admissible tuples CSDZ0V6VKD
| URI | m2://inv/CSDZ0V6VKD |
|---|---|
| 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.23607#OMIZ, Admissible tuples (definition)
History
- 2026-11-02: add by m2/v0.6.17
CSE0HPGATT CSE0HPGATT
| URI | m2://inv/CSE0HPGATT |
|---|---|
| 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.33124#MXY2 (statement). In P27HYGQDAN/e1, proposition 20
History
- 2026-10-30: add by m2/v0.4.12
CSE1QKN3X7 CSE1QKN3X7
| URI | m2://inv/CSE1QKN3X7 |
|---|---|
| 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.31556#EBWB (statement). In 1VBEMR0JXH/e1, proposition 5.2
History
- 2026-10-31: add by m2/v0.5.6
Littlewood's flatness conjecture CSE2EPV39K
| URI | m2://inv/CSE2EPV39K |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Littlewood polynomial#ZRW5, Littlewood's flatness conjecture (statement)
History
- 2026-11-02: add by m2/dev
CSE7XGPJJX CSE7XGPJJX
| URI | m2://inv/CSE7XGPJJX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.33383#QCBC (statement). In 8AHWRHTP5G/e1, lemma 14
History
- 2026-10-30: add by m2/v0.4.12
CSEDYNPS1C CSEDYNPS1C
| URI | m2://inv/CSEDYNPS1C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2307.06098#JQH3 (statement). In DK1V8M7DS4/e1, proposition 3.2
History
- 2026-10-27: add by m2/v0.3.5
CSEHP3YEK0 CSEHP3YEK0
| URI | m2://inv/CSEHP3YEK0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18016#LEN3 (statement). In V5PVKDKGGG/e1, theorem 5.10
History
- 2026-10-28: add by m2/v0.4.2
John Stuart Mill CSEJ0PREXH
| URI | m2://inv/CSEJ0PREXH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Stuart Mill, John Stuart Mill (topic). Also Wikidata Q50020
History
- 2026-11-02: add by m2/dev
Sete Barras CSEZH2T0KK
| URI | m2://inv/CSEZH2T0KK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#5QOV, Sete Barras (unknown)
History
- 2026-11-02: add by m2/dev
Arthur Jaffe CSEZK9XGZT
| URI | m2://inv/CSEZK9XGZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a person, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q370094, Arthur Jaffe (unknown). Also nLab Arthur Jaffe
History
- 2026-10-26: add by m2/dev
Compound of five small cubicuboctahedra CSFCVQR2H1
| URI | m2://inv/CSFCVQR2H1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#FLO5, Compound of five small cubicuboctahedra (definition)
- wikipedia: Wikipedia List of polygons, polyhedra and polytopes#NLLA, Compound of five small cubicuboctahedra (definition)
History
- 2026-11-02: add by m2/dev
CSFD4VRH5N CSFD4VRH5N
| URI | m2://inv/CSFD4VRH5N |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Linear arboricity#GOMA (problem)
History
- 2026-11-02: add by m2/dev
CSFH55C6FN CSFH55C6FN
| URI | m2://inv/CSFH55C6FN |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ContinuousFunctions.tex#problem-16 (exercise). In P1C114YBXG, problem, section 1
History
- 2026-11-01: add by m2/v0.6.13
CSFJX6ZT5V CSFJX6ZT5V
| URI | m2://inv/CSFJX6ZT5V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31242#1KBS (statement). In 3NPRR9546C/e1, lemma 4.3
History
- 2026-10-31: add by m2/v0.5.6
Asymptotic computational complexity CSFKRKVBV1
| URI | m2://inv/CSFKRKVBV1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Asymptotic computational complexity, Asymptotic computational complexity (definition). Also Wikidata Q13414364
History
- 2026-11-02: add by m2/dev
CSFVHF0EWX CSFVHF0EWX
| URI | m2://inv/CSFVHF0EWX |
|---|---|
| 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 2311.01874#9DTJ (statement). In A4TR95VGX2/e1, theorem 5.4.5
History
- 2026-10-27: add by m2/v0.3.5
Addition theorem for angular velocity CSFW5D8KJP
| URI | m2://inv/CSFW5D8KJP |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Rigid body#TUEZ, Addition theorem for angular velocity (statement)
History
- 2026-11-02: add by m2/dev
CSG00JGDAT CSG00JGDAT
| URI | m2://inv/CSG00JGDAT |
|---|---|
| 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 2212.11038#YVP4 (statement). In M3E3ARMJXK/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.3.5
Complete constraint classification for $\lambda=0$ CSGC6WS7SD
| URI | m2://inv/CSGC6WS7SD |
|---|---|
| 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.04411#MKHA, Complete constraint classification for $\lambda=0$ (statement). In 6AY8SX3XBW/e1, theorem 5.1
History
- 2026-10-29: add by m2/v0.4.12
CSGFXVJ2Y5 CSGFXVJ2Y5
| URI | m2://inv/CSGFXVJ2Y5 |
|---|---|
| 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#RPJ4 (definition). In M0SQY5EZN5/e1, definition 1.4.6
History
- 2026-10-27: add by m2/v0.3.5
Hermann Kober CSGK8M4P5F
| URI | m2://inv/CSGK8M4P5F |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hermann Kober, Hermann Kober (topic). Also Wikidata Q3468313
History
- 2026-11-02: add by m2/dev
CSGNM83PGB CSGNM83PGB
| URI | m2://inv/CSGNM83PGB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX, 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22288#DZMP (statement). In X38P26DK6S/e1, lemma 4.15
History
- 2026-10-27: add by m2/v0.4.0
CSGPMV00P7 CSGPMV00P7
| URI | m2://inv/CSGPMV00P7 |
|---|---|
| Kind | statement |
| 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#Q1XU (statement)
History
- 2026-11-02: add by m2/v0.6.17
Discrete gradient vector field CSGRMXVQQK
| URI | m2://inv/CSGRMXVQQK |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01937#IGGK, Discrete gradient vector field (definition). In BAEDMM7YM5/e1, definition 15
History
- 2026-10-29: add by m2/v0.4.12
Lie algebroid CSH1FY87ZS
| URI | m2://inv/CSH1FY87ZS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Lie groups topics#46F6, Lie algebroid (definition)
History
- 2026-11-02: add by m2/dev
Revava CSH4SHN7YN
| URI | m2://inv/CSH4SHN7YN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of places with numeric names#8KVB, Revava (unknown)
History
- 2026-11-02: add by m2/dev
CSH5ETFXJH CSH5ETFXJH
| URI | m2://inv/CSH5ETFXJH |
|---|---|
| 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 2610.19658#ANEJ (statement). In G00EYA9DXG/e1, theorem 8.1
History
- 2026-10-28: add by m2/v0.4.2
CSHC2EE6RV CSHC2EE6RV
| URI | m2://inv/CSHC2EE6RV |
|---|---|
| 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.20165#ZMGT (statement). In QTD3BP5GA0/e1, corollary 3.4
History
- 2026-10-27: add by m2/v0.4.2
Cryptology ePrint Archive CSHCH7XPXA
| URI | m2://inv/CSHCH7XPXA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptology ePrint Archive, Cryptology ePrint Archive (definition). Also Wikidata Q5190977
History
- 2026-11-02: add by m2/dev
CSHJE5BMP2 CSHJE5BMP2
| URI | m2://inv/CSHJE5BMP2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03231#8WHH (statement). In 3Y76AQQGF0/e1, lemma 5.5
History
- 2026-10-29: add by m2/v0.4.12
Minimax theorem CSHQSMWQ4P
| URI | m2://inv/CSHQSMWQ4P |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q913849, Minimax theorem (statement). Also Wikidata Q913849
- thousand_plus: thousand_plus Q913849, Minimax theorem (statement). Also Wikidata Q913849, Wikipedia Minimax theorem
- wikipedia: Wikipedia Minimax theorem, Minimax theorem (statement). Also Wikidata Q913849
History
- 2026-10-26: add by m2/dev
eigenvalue CSHTQ5S97M
| URI | m2://inv/CSHTQ5S97M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Structure theory of endomorphisms > eigenvalue, eigenvalue (unknown). Also Mathlib Module.End.HasEigenvalue
- mathlib_undergrad: mathlib_undergrad Linear algebra > Structure theory of endomorphisms > eigenvalue, eigenvalue (unknown). Also Mathlib Module.End.HasEigenvalue
History
- 2026-10-26: add by m2/dev
Constructions CSHZBX9WWK
| URI | m2://inv/CSHZBX9WWK |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pseudorandom generator#RRL9, Constructions (definition)
History
- 2026-11-02: add by m2/dev
Joule–Thomson effect CSJ3K01SWC
| URI | m2://inv/CSJ3K01SWC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Joule–Thomson effect, Joule–Thomson effect (definition). Also Wikidata Q724510
History
- 2026-11-02: add by m2/dev
Edmonds' algorithm CSJ8AV4NA2
| URI | m2://inv/CSJ8AV4NA2 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of algorithms#OGRZ, Edmonds' algorithm (definition)
History
- 2026-11-02: add by m2/dev
Szegő inequality CSJJTJJ333
| URI | m2://inv/CSJJTJJ333 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of inequalities#E4G6, Szegő inequality (statement)
History
- 2026-11-02: add by m2/dev
McMullen problem CSJMA8CHXP
| URI | m2://inv/CSJMA8CHXP |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#TDWV, McMullen problem (conjecture)
History
- 2026-11-02: add by m2/dev
Cadambathur Tiruvenkatacharlu Rajagopal CSJQJD74FH
| URI | m2://inv/CSJQJD74FH |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cadambathur Tiruvenkatacharlu Rajagopal, Cadambathur Tiruvenkatacharlu Rajagopal (topic). Also Wikidata Q5016236
History
- 2026-11-02: add by m2/dev
Cartesian product of currents CSK6EMMVN3
| URI | m2://inv/CSK6EMMVN3 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24451#NPX0, Cartesian product of currents (definition)
History
- 2026-11-01: add by m2/v0.6.15
Algorithms CSK8FQY7K0
| URI | m2://inv/CSK8FQY7K0 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Betweenness centrality#9X14, Algorithms (definition)
History
- 2026-11-02: add by m2/dev
Skew quadrilateral CSKAEK8G1D
| URI | m2://inv/CSKAEK8G1D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quadrilateral#RAZE, Skew quadrilateral (unknown)
History
- 2026-11-02: add by m2/dev
left-hand side, right-hand side (LHS, RHS) CSKB3TQBVC
| URI | m2://inv/CSKB3TQBVC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of mathematical jargon#5ZPG, left-hand side, right-hand side (LHS, RHS) (definition)
History
- 2026-11-02: add by m2/dev
homotopy CSKDDMYDSG
| URI | m2://inv/CSKDDMYDSG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Homotopy 9YA6S6HD9V |
Mentions
- wikidata: Wikidata Q746083, homotopy (definition). Also Mathlib ContinuousMap.Homotopy, MathWorld Homotopy, nLab homotopy, ProofWiki Definition:Homotopy
- wikipedia: Wikipedia Homotopy, Homotopy (definition). Also Wikidata Q746083
History
- 2026-10-26: add by m2/dev
Dagum distribution CSKK2V9XCF
| URI | m2://inv/CSKK2V9XCF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#CF32, Dagum distribution (definition)
History
- 2026-11-02: add by m2/dev
Enoki surface CSKVGD3QNQ
| URI | m2://inv/CSKVGD3QNQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enoki surface, Enoki surface (definition). Also Wikidata Q5379370
History
- 2026-11-02: add by m2/dev
CSKWF5D1HB CSKWF5D1HB
| URI | m2://inv/CSKWF5D1HB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28336#HVFC (statement)
History
- 2026-11-01: add by m2/v0.6.15
Ekeland's variational principle CSKZESSGR0
| URI | m2://inv/CSKZESSGR0 |
|---|---|
| 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 2610.17909#YITV, Ekeland's variational principle (statement). In YXZX6Z8S6A/e1, lemma B.1
History
- 2026-10-28: add by m2/v0.4.2
$L^p$ estimate CSM0K1TRBV
| URI | m2://inv/CSM0K1TRBV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32829#5CGV, $L^p$ estimate (statement). In RYWAX33Z51/e1, lemma 10.10
History
- 2026-10-31: add by m2/v0.5.6
Theorem (Cheeger bound) CSM1EP2EHY
| URI | m2://inv/CSM1EP2EHY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cheeger bound#XIEF, Theorem (Cheeger bound) (statement)
History
- 2026-11-02: add by m2/dev
CSM2NMMEAT CSM2NMMEAT
| URI | m2://inv/CSM2NMMEAT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/computability/computability-theory/equiv-ce-defs.tex#proof-2 (proof). In PKGMM3P5QY, proof, section 3.3
History
- 2026-11-01: add by m2/v0.6.13
field of complex numbers CSMAER9NF3
| URI | m2://inv/CSMAER9NF3 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18192650, field of complex numbers (definition). Also ProofWiki Definition:Field_of_Complex_Numbers
History
- 2026-10-26: add by m2/dev
ISO/IEC 80000 CSMNTVZTH5
| URI | m2://inv/CSMNTVZTH5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ISO/IEC 80000, ISO/IEC 80000 (definition). Also Wikidata Q568496
History
- 2026-11-02: add by m2/dev
Samuel Simon Snyder CSMRJMG1YP
| URI | m2://inv/CSMRJMG1YP |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Samuel Simon Snyder, Samuel Simon Snyder (topic). Also Wikidata Q7412636
History
- 2026-11-02: add by m2/dev
CSMS1JKC9M CSMS1JKC9M
| URI | m2://inv/CSMS1JKC9M |
|---|---|
| Kind | statement |
| 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#C51J (statement). In SBZNH932ZV/e1, theorem 5.4
History
- 2026-10-30: add by m2/v0.4.12
CSMSFXN75P CSMSFXN75P
| URI | m2://inv/CSMSFXN75P |
|---|---|
| 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.26386#P14H (statement)
History
- 2026-11-01: add by m2/v0.6.15
CSMVQ9WZ1S CSMVQ9WZ1S
| URI | m2://inv/CSMVQ9WZ1S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2509.21444#NB6F (statement). In CTVPA2FQT1/e1, lemma 3.2.1
History
- 2026-10-27: add by m2/v0.4.0
John Blissard CSMZNHSDCK
| URI | m2://inv/CSMZNHSDCK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia John Blissard, John Blissard (topic). Also Wikidata Q6222229
History
- 2026-11-02: add by m2/dev
(Nigeria #7) CSN3BC6X2J
| URI | m2://inv/CSN3BC6X2J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people arrested in the News International phone-hacking scandal#7Y8E, (Nigeria #7) (unknown)
History
- 2026-11-02: add by m2/dev
Aggregated setting CSN6G7YE7X
| URI | m2://inv/CSN6G7YE7X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24469#HM8L, Aggregated setting (statement)
History
- 2026-11-01: add by m2/v0.6.15
CSNVHVFJ5H CSNVHVFJ5H
| URI | m2://inv/CSNVHVFJ5H |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09897#86B5 (statement). In NYA085FW0M/e1, corollary 3.6
History
- 2026-10-29: add by m2/v0.4.10
CSNYCQMK2Q CSNYCQMK2Q
| URI | m2://inv/CSNYCQMK2Q |
|---|---|
| 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#YMMW (statement). In YKD51BX3XB/e1, lemma 6.4
History
- 2026-10-27: add by m2/v0.4.2
Daniel Yekutieli CSP1TGQ3XF
| URI | m2://inv/CSP1TGQ3XF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Daniel Yekutieli, Daniel Yekutieli (topic). Also Wikidata Q96189997
History
- 2026-11-02: add by m2/dev
CSP2HHR198 CSP2HHR198
| URI | m2://inv/CSP2HHR198 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10477#V17D (statement). In 1NZSZ241WE/e1, theorem 2.2
History
- 2026-10-29: add by m2/v0.4.10
CSP3A9VR75 CSP3A9VR75
| URI | m2://inv/CSP3A9VR75 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03081#6VIN (statement). In TX0H26X4VX/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.12
HP Voyager CSP5VXT167
| URI | m2://inv/CSP5VXT167 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia HP Voyager, HP Voyager (definition). Also Wikidata Q846614
History
- 2026-11-02: add by m2/dev
Small insertional pseudoentropy gives conditional samplers CSP99SWR9B
| URI | m2://inv/CSP99SWR9B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14615#M7KR, Small insertional pseudoentropy gives conditional samplers (statement). In 7D5MMP8XB5/e1, lemma 5.11
History
- 2026-10-28: add by m2/v0.4.2
postulated CSPFQRNRFB
| URI | m2://inv/CSPFQRNRFB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#M74Q, postulated (definition)
History
- 2026-11-02: add by m2/dev
CSPHVMXM2K CSPHVMXM2K
| URI | m2://inv/CSPHVMXM2K |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-geom/mor-scheme.tex#example-8 (example). In RZP28ERRZV, example, section 22.6
History
- 2026-11-01: add by m2/v0.6.13
CSPPG1370X CSPPG1370X
| URI | m2://inv/CSPPG1370X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 57-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31278#O53G (statement). In KEP21CZFV9/e1, lemma #1
History
- 2026-10-31: add by m2/v0.5.6
Leonidas J. Guibas CSPPHQDB37
| URI | m2://inv/CSPPHQDB37 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#714E, Leonidas J. Guibas (unknown)
History
- 2026-11-02: add by m2/dev
Epicurean CSPYZQK2AH
| URI | m2://inv/CSPYZQK2AH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of paradoxes#5MPY, Epicurean (unknown)
History
- 2026-11-02: add by m2/dev
CSQ0T48NW9 CSQ0T48NW9
| URI | m2://inv/CSQ0T48NW9 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book hits.tex#defn-2 (definition). In N54F33XE07, defn, section 5.11
History
- 2026-11-01: add by m2/v0.6.13
Planarity Estimate CSQ9PRBYGX
| URI | m2://inv/CSQ9PRBYGX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39330#IXR2, Planarity Estimate (statement). In 7ZTJ23YG7A/e1, theorem 1.1
History
- 2026-10-30: add by m2/v0.4.12
Uhlmann's majorisation theorem CSQA8MPK3C
| URI | m2://inv/CSQA8MPK3C |
|---|---|
| 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.40355#WLCS, Uhlmann's majorisation theorem (statement). In SBP98GWKC8/e1, lemma 3
History
- 2026-10-30: add by m2/v0.4.12
CSQENBNKHV CSQENBNKHV
| URI | m2://inv/CSQENBNKHV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30976#RTXA (definition). In 4QY9J1A0KT/e1, definition 4
History
- 2026-10-31: add by m2/v0.5.6
CSQF8ZSJY0 CSQF8ZSJY0
| URI | m2://inv/CSQF8ZSJY0 |
|---|---|
| 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.00259#VM11 (statement). In CFXW6Z78G0/e1, lemma 2.2
History
- 2026-10-30: add by m2/v0.4.12
Linear representation CSQNGBJYYZ
| URI | m2://inv/CSQNGBJYYZ |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of representation theory topics#3C34, Linear representation (topic)
History
- 2026-11-02: add by m2/dev
CSQNWFCRBX CSQNWFCRBX
| URI | m2://inv/CSQNWFCRBX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31269#WTTE (statement). In ZPT9XCCAPQ/e1, lemma 1.4.8
History
- 2026-10-31: add by m2/v0.5.6
CSQPC92QN3 CSQPC92QN3
| URI | m2://inv/CSQPC92QN3 |
|---|---|
| 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.08226#KAGR (statement). In V6EPE8XHAD/e1, lemma 3.1
History
- 2026-10-29: add by m2/v0.4.10
CSQY5GS3R1 CSQY5GS3R1
| URI | m2://inv/CSQY5GS3R1 |
|---|---|
| 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.21507#W4PT (statement)
History
- 2026-11-02: add by m2/v0.6.18
CSR4Z6ST40 CSR4Z6ST40
| URI | m2://inv/CSR4Z6ST40 |
|---|---|
| Kind | conjecture |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.01802#5V1R (conjecture). In XGPZ0G9E1Q/e1, conjecture 4.8
History
- 2026-10-29: add by m2/v0.4.12
Axiom 5 CSRD61957Z
| URI | m2://inv/CSRD61957Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Huzita–Hatori axioms#PSHA, Axiom 5 (statement)
History
- 2026-11-02: add by m2/dev
Modeling and simulation of batch distillation unit CSREFZVZSA
| URI | m2://inv/CSREFZVZSA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Modeling and simulation of batch distillation unit, Modeling and simulation of batch distillation unit (definition). Also Wikidata Q25305171
History
- 2026-11-02: add by m2/dev
Exact moments of ridge ERM CSRJ71H04J
| URI | m2://inv/CSRJ71H04J |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.09206#3XIW, Exact moments of ridge ERM (statement). In T7R1Q29DQK/e1, lemma I.1
History
- 2026-10-29: add by m2/v0.4.10
CSRM2W9D6Z CSRM2W9D6Z
| URI | m2://inv/CSRM2W9D6Z |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2504.01057#BT89 (statement). In 69QFBXJENW/e1, lemma 2.1
History
- 2026-10-27: add by m2/v0.3.5
Posterior covariance matrices CSRQPRF50Z
| URI | m2://inv/CSRQPRF50Z |
|---|---|
| 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#LW8F, Posterior covariance matrices (statement). In 9YAE8FNQST/e1, corollary 29.11
History
- 2026-10-30: add by m2/v0.4.12
CSS1PR70WF CSS1PR70WF
| URI | m2://inv/CSS1PR70WF |
|---|---|
| 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.12012#EBYU (statement). In 1RXGXBQAHS/e1, lemma 2.3
History
- 2026-10-28: add by m2/v0.4.3
*{Sec. 5.1 CSS5K5G050
| URI | m2://inv/CSS5K5G050 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.23341#83HB, *{Sec. 5.1 (definition)
History
- 2026-11-02: add by m2/v0.6.17
Generalization CSS85HK98S
| URI | m2://inv/CSS85HK98S |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Superparabola#XTJD, Generalization (statement)
History
- 2026-11-02: add by m2/dev
CSS8WZP427 CSS8WZP427
| URI | m2://inv/CSS8WZP427 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 14-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.19669#ZJ2U (statement). In 1QPAA94Q76/e1, corollary 34
History
- 2026-10-28: add by m2/v0.4.2
Intercontinental Cup CSS9BB1J6J
| URI | m2://inv/CSS9BB1J6J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Borussia Dortmund records and statistics#JGPP, Intercontinental Cup (unknown)
History
- 2026-11-02: add by m2/dev
CSSD994RWV CSSD994RWV
| URI | m2://inv/CSSD994RWV |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.30976#O2MM (definition). In 4QY9J1A0KT/e1, definition 1
History
- 2026-10-31: add by m2/v0.5.6
CSSE432ZD6 CSSE432ZD6
| URI | m2://inv/CSSE432ZD6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.22082#ICB3 (statement). In 7PACGDW3N7/e1, theorem 1.3
History
- 2026-10-27: add by m2/v0.4.0
Aumann's agreement theorem CSSK32DKVX
| URI | m2://inv/CSSK32DKVX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#RFQ8, Aumann's agreement theorem (statement)
History
- 2026-11-02: add by m2/dev
Periodic-clock eigenstates CSSN0EWGQ1
| URI | m2://inv/CSSN0EWGQ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16351#BJ1J, Periodic-clock eigenstates (statement). In 1QSV7EQE3T/e1, proposition S35
History
- 2026-10-28: add by m2/v0.4.2
CSSWTGZNEB CSSWTGZNEB
| URI | m2://inv/CSSWTGZNEB |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21632#XMBO (statement). In Q4RZTN2EX6/e1, lemma 6.1
History
- 2026-10-27: add by m2/v0.4.2
group of isometries of a Euclidean affine space CSSWVX7Z9D
| URI | m2://inv/CSSWVX7Z9D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > group of isometries of a Euclidean affine space, group of isometries of a Euclidean affine space (unknown). Also Mathlib AffineIsometryEquiv.instGroup
History
- 2026-10-26: add by m2/dev
Eduard Zehnder CSSZ8YYZJE
| URI | m2://inv/CSSZ8YYZJE |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#NNKT, Eduard Zehnder (topic)
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#9684, Eduard Zehnder (topic)
History
- 2026-11-02: add by m2/dev
Arbitrary-defect upper bound CST4BHRN09
| URI | m2://inv/CST4BHRN09 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31811#6ZJX, Arbitrary-defect upper bound (statement). In A8ZBZW9RNA/e1, theorem 5.11
History
- 2026-10-31: add by m2/v0.5.6
CST6GCEKQ9 CST6GCEKQ9
| URI | m2://inv/CST6GCEKQ9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21528#T1XR (statement)
History
- 2026-11-02: add by m2/v0.6.18
CST8Z1W1PB CST8Z1W1PB
| URI | m2://inv/CST8Z1W1PB |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36423#LN5F (definition). In Q5Z178SAHP/e1, definition 7.3
History
- 2026-10-30: add by m2/v0.4.12
Yau's conjecture CSTF5807R1
| URI | m2://inv/CSTF5807R1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yau's conjecture#RXWR, Yau's conjecture (statement)
History
- 2026-11-02: add by m2/dev
Proposition CSTG9YN8J2
| URI | m2://inv/CSTG9YN8J2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Upper half-plane#THUU, Proposition (statement)
History
- 2026-11-02: add by m2/dev
CSTJRBCZCX CSTJRBCZCX
| URI | m2://inv/CSTJRBCZCX |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08708#65Y0 (statement). In TMMJKY66KY/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.10
CSTQ9F9SB1 CSTQ9F9SB1
| URI | m2://inv/CSTQ9F9SB1 |
|---|---|
| Kind | definition |
| 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.08382#PMPM (definition). In GYMGDQS25R/e1, definition 6.21
History
- 2026-10-29: add by m2/v0.4.10
CSTVKR006M CSTVKR006M
| URI | m2://inv/CSTVKR006M |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX, 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1705.04310#693Q (problem). In MG51GG0QZN/e1, problem 5.5
History
- 2026-10-27: add by m2/v0.3.5
Block martingale CSTYDJC8RZ
| URI | m2://inv/CSTYDJC8RZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14988#DIQR, Block martingale (statement). In B29M4E6KGC/e1, lemma H.20
History
- 2026-10-28: add by m2/v0.4.2
Examples CSTYWHVD46
| URI | m2://inv/CSTYWHVD46 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia DLOGTIME#SFMT, Examples (example)
History
- 2026-11-02: add by m2/dev
Variants CSTZWHJQHJ
| URI | m2://inv/CSTZWHJQHJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chow group#G7M4, Variants (statement)
History
- 2026-11-02: add by m2/dev
Cryptographie indéchiffrable CSV9F53Y5Y
| URI | m2://inv/CSV9F53Y5Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cryptographie indéchiffrable, Cryptographie indéchiffrable (definition). Also Wikidata Q5190942
History
- 2026-11-02: add by m2/dev
Emanuel Beke CSVBSQKX5N
| URI | m2://inv/CSVBSQKX5N |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emanuel Beke, Emanuel Beke (topic). Also Wikidata Q792124
History
- 2026-11-02: add by m2/dev
Sandip Das CSVD7S00AG
| URI | m2://inv/CSVD7S00AG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of people by Erdős number#RP1X, Sandip Das (unknown)
History
- 2026-11-02: add by m2/dev
CSVEN442GG CSVEN442GG
| URI | m2://inv/CSVEN442GG |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 1903.07030#3FVX (statement). In 9H45HQE7AZ/e1, proposition 7.9
History
- 2026-10-27: add by m2/v0.3.5
Examples CSVHJHBXZZ
| URI | m2://inv/CSVHJHBXZZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nut graph (graph theory)#WBEM, Examples (example)
History
- 2026-11-02: add by m2/dev
456 (number) CSVN6F6868
| URI | m2://inv/CSVN6F6868 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 400 (number)#06KQ, 456 (number) (unknown)
History
- 2026-11-02: add by m2/dev
CSVP5FP876 CSVP5FP876
| URI | m2://inv/CSVP5FP876 |
|---|---|
| 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 2312.05005#ORVO (statement). In SMJMAQ2S3J/e1, corollary 3
History
- 2026-10-27: add by m2/v0.4.0
CSVPQK3ECM CSVPQK3ECM
| URI | m2://inv/CSVPQK3ECM |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book categories.tex#proof-5 (proof). In N54F33XE07, proof, section 2.2
History
- 2026-11-01: add by m2/v0.6.13
CSVR1XRXDS CSVR1XRXDS
| URI | m2://inv/CSVR1XRXDS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 03-XX, 05-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27872#V3H4 (definition)
History
- 2026-11-01: add by m2/v0.6.15
CSVS8ENQ2V CSVS8ENQ2V
| URI | m2://inv/CSVS8ENQ2V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13972#T2HG (statement). In S1KHNS8XQM/e1, lemma 2.6
History
- 2026-10-28: add by m2/v0.4.2
\textbf{Hilbert Basis Theorem for $Z$-Noetherian Rings CSVV7R42K6
| URI | m2://inv/CSVV7R42K6 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16178#YR39, \textbf{Hilbert Basis Theorem for $Z$-Noetherian Rings (statement). In 698X5RE1AB/e1, theorem 2.15
History
- 2026-10-28: add by m2/v0.4.2
Splitting of the pointed quotient mapping object CSVYN1APJZ
| URI | m2://inv/CSVYN1APJZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 18-XX, 55-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.03865#P6AM, Splitting of the pointed quotient mapping object (statement). In G3D1YR20BJ/e1, lemma 3.29
History
- 2026-10-29: add by m2/v0.4.12
Heteroclinic network CSVYR0P5NC
| URI | m2://inv/CSVYR0P5NC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heteroclinic network, Heteroclinic network (definition). Also Wikidata Q5746962
History
- 2026-11-02: add by m2/dev
CSW09KEKTD CSW09KEKTD
| URI | m2://inv/CSW09KEKTD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 13-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25409#WC9Z (statement)
History
- 2026-11-01: add by m2/v0.6.15
Arity-four recovery CSW607ZQ3D
| URI | m2://inv/CSW607ZQ3D |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04027#7B4R, Arity-four recovery (statement). In DQB4YR2DFH/e1, theorem 6.3
History
- 2026-10-29: add by m2/v0.4.12
Ince's theorem CSW6BXV32Z
| URI | m2://inv/CSW6BXV32Z |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathieu function#ZCAZ, Ince's theorem (statement)
History
- 2026-11-02: add by m2/dev
Applications CSWJDSC13J
| URI | m2://inv/CSWJDSC13J |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Node influence metric#RHVC, Applications (example)
History
- 2026-11-02: add by m2/dev
Sumner's conjecture CSWPKS9JA8
| URI | m2://inv/CSWPKS9JA8 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#1CUB, Sumner's conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
CSWPSP1PE3 CSWPSP1PE3
| URI | m2://inv/CSWPSP1PE3 |
|---|---|
| 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#VGDU (statement). In F71MS1F637/e1, lemma 5.10
History
- 2026-10-30: add by m2/v0.4.12
CSWR9B3Z3P CSWR9B3Z3P
| URI | m2://inv/CSWR9B3Z3P |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- hott_book: hott_book formal.tex#lem:normal-forms (statement). In N54F33XE07, lem, section 4.4
History
- 2026-11-01: add by m2/v0.6.13
Erdős–Faber–Lovász conjecture CSWV1AD6WP
| URI | m2://inv/CSWV1AD6WP |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of conjectures by Paul Erdős#SA5A, Erdős–Faber–Lovász conjecture (conjecture)
History
- 2026-11-02: add by m2/dev
Mary Landers CSWY4X428S
| URI | m2://inv/CSWY4X428S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mary Landers, Mary Landers (topic). Also Wikidata Q102150347
History
- 2026-11-02: add by m2/dev
Examples CSWZ7SCBJ8
| URI | m2://inv/CSWZ7SCBJ8 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schröder–Bernstein theorem for measurable spaces#RUGF, Examples (example)
History
- 2026-11-02: add by m2/dev
Euler side budget CSX5Y4XR6F
| URI | m2://inv/CSX5Y4XR6F |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13962#DP0R, Euler side budget (statement). In 7NP5QKECVA/e1, lemma 3.4
History
- 2026-10-28: add by m2/v0.4.2
Examples CSXGVMP4RQ
| URI | m2://inv/CSXGVMP4RQ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Non-Archimedean ordered field#DV8Y, Examples (example)
History
- 2026-11-02: add by m2/dev
$L^\infty$ bound $(u+\varepsilon)^{-1}$ CSXM0WDSDQ
| URI | m2://inv/CSXM0WDSDQ |
|---|---|
| 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#KBX9, $L^\infty$ bound $(u+\varepsilon)^{-1}$ (statement). In VN8087G2FC/e1, lemma 5.1
History
- 2026-10-29: add by m2/v0.4.10
Frankfurt am Main CSXS89009G
| URI | m2://inv/CSXS89009G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of things named after Johannes Kepler#W1FM, Frankfurt am Main (unknown)
History
- 2026-11-02: add by m2/dev
CSXXZJYV8Y CSXXZJYV8Y
| URI | m2://inv/CSXXZJYV8Y |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21255#DEZE (statement)
History
- 2026-11-02: add by m2/v0.6.18
CSY4YM926X CSY4YM926X
| URI | m2://inv/CSY4YM926X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#LUE7 (statement). In A1GWWGRXPA/e1, lemma 5.1
History
- 2026-10-27: add by m2/v0.4.2
CSYBMTJX9G CSYBMTJX9G
| URI | m2://inv/CSYBMTJX9G |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 16-XX, 20-XX, 22-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2306.12846#IJC5 (statement). In D6XA7JXZF3/e1, theorem 4.14
History
- 2026-10-27: add by m2/v0.3.5
CSYGA3BS4M CSYGA3BS4M
| URI | m2://inv/CSYGA3BS4M |
|---|---|
| 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 2401.05118#DLH8 (statement). In BT0T0QS2TN/e1, theorem 3.10
History
- 2026-10-27: add by m2/v0.4.0
Constant characteristic polynomial CSYHVH4WYR
| URI | m2://inv/CSYHVH4WYR |
|---|---|
| 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#F5CE, Constant characteristic polynomial (statement)
History
- 2026-11-01: add by m2/v0.6.15
Finite-translation product estimate CSZ4E3DB8R
| URI | m2://inv/CSZ4E3DB8R |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.16294#CDSM, Finite-translation product estimate (statement). In N7HRE31BBH/e1, lemma 2.1
History
- 2026-10-28: add by m2/v0.4.2
sum of squares function CSZ5FW04VP
| URI | m2://inv/CSZ5FW04VP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25103942, sum of squares function (unknown). Also MathWorld SumofSquaresFunction
- wikipedia: Wikipedia Sum of squares function, Sum of squares function (definition). Also Wikidata Q25103942
History
- 2026-10-26: add by m2/dev
CSZBQG6MCE CSZBQG6MCE
| URI | m2://inv/CSZBQG6MCE |
|---|---|
| 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.15744#0Q5P (statement). In NV3PBZGBB7/e1, proposition 1.9
History
- 2026-10-28: add by m2/v0.4.2
Shirley McBay CSZDBZP6RA
| URI | m2://inv/CSZDBZP6RA |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shirley McBay, Shirley McBay (topic). Also Wikidata Q20562736
History
- 2026-11-02: add by m2/dev
Applications CSZTVVRS1R
| URI | m2://inv/CSZTVVRS1R |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia S transform#ZKA4, Applications (example)
History
- 2026-11-02: add by m2/dev
533 (number) CSZYYPQMA8
| URI | m2://inv/CSZYYPQMA8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia 500 (number)#RYCX, 533 (number) (unknown)
History
- 2026-11-02: add by m2/dev