Inventory rows FQ
The cards of the rows of the inventory whose ids start with FQ. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Theorem FQ0644D8B1
| URI | m2://inv/FQ0644D8B1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hopf invariant#UY59, Theorem (statement)
History
- 2026-11-02: add by m2/dev
Structural metamaterial FQ0707FV6R
| URI | m2://inv/FQ0707FV6R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Metamaterial#CJO3, Structural metamaterial (unknown)
History
- 2026-11-02: add by m2/dev
Properties FQ08TCGYG2
| URI | m2://inv/FQ08TCGYG2 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Heronian mean#7UYU, Properties (statement)
History
- 2026-11-02: add by m2/dev
FQ0H42PD4E FQ0H42PD4E
| URI | m2://inv/FQ0H42PD4E |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 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.13042#0HM8 (statement). In 4QA108C07Y/e1, lemma 2.4
History
- 2026-10-28: add by m2/v0.4.2
Volume Of A Cylinder FQ0N2AHWWG
| URI | m2://inv/FQ0N2AHWWG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Cylinder#P8XB, Volume Of A Cylinder (unknown)
History
- 2026-11-02: add by m2/dev
FQ0SVQ47VY FQ0SVQ47VY
| URI | m2://inv/FQ0SVQ47VY |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.23812#XON3 (definition). In D8XZBXJPR5/e1, definition 3.5
History
- 2026-10-27: add by m2/v0.3.5
Kneser's theorem FQ0ZNDB7JJ
| URI | m2://inv/FQ0ZNDB7JJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 05-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q948664, Kneser's addition theorem (combinatorics) (statement). Also Wikidata Q948664
- thousand_plus: thousand_plus Q948664, Kneser's theorem (combinatorics) (statement). Also Wikidata Q948664, Wikipedia Kneser's theorem (combinatorics)
- wikipedia: Wikipedia Kneser's theorem (combinatorics), Kneser's theorem (statement). Also Wikidata Q948664
History
- 2026-10-26: add by m2/dev
FQ13G1XT1D FQ13G1XT1D
| URI | m2://inv/FQ13G1XT1D |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/Partitions.tex#problem-11 (exercise). In P1C114YBXG, problem, section G
History
- 2026-11-01: add by m2/v0.6.13
Steve Hofmann FQ14P1CEHE
| URI | m2://inv/FQ14P1CEHE |
|---|---|
| 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#0LK9, Steve Hofmann (topic)
History
- 2026-11-02: add by m2/dev
Conway knot FQ18A6ZAQF
| URI | m2://inv/FQ18A6ZAQF |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Conway knot ZSAMVFPWN6 |
Mentions
- wikidata: Wikidata Q94806552, Conway knot (unknown). Also MathWorld ConwaysKnot
- wikipedia: Wikipedia Conway knot, Conway knot (definition). Also Wikidata Q94806552
History
- 2026-10-26: add by m2/dev
topology on a normed vector space FQ1CS64Z2S
| URI | m2://inv/FQ1CS64Z2S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Normed vector spaces/Banach spaces > topology on a normed vector space, topology on a normed vector space (unknown). Also Mathlib NormSMulClass.toIsBoundedSMul
- mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > topology on a normed vector space, topology on a normed vector space (unknown). Also Mathlib NormSMulClass.toIsBoundedSMul
History
- 2026-10-26: add by m2/dev
cos FQ1J1N2WY3
| URI | m2://inv/FQ1J1N2WY3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > extension of trigonometric functions to the complex plane > cos, cos (unknown). Also Mathlib Complex.cos
History
- 2026-10-26: add by m2/dev
Theodor Reye FQ21HJCT3S
| URI | m2://inv/FQ21HJCT3S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Theodor Reye, Theodor Reye (topic). Also Wikidata Q110059
History
- 2026-11-02: add by m2/dev
FQ2X7JJGMC FQ2X7JJGMC
| URI | m2://inv/FQ2X7JJGMC |
|---|---|
| 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#DJQK (statement). In SBZNH932ZV/e1, theorem 2.13
History
- 2026-10-30: add by m2/v0.4.12
FQ2YXRDXY2 FQ2YXRDXY2
| URI | m2://inv/FQ2YXRDXY2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39615#E7I7 (statement). In RNXRAZYR3S/e1, lemma 3.1
History
- 2026-10-30: add by m2/v0.4.12
FQ32R9SJY7 FQ32R9SJY7
| URI | m2://inv/FQ32R9SJY7 |
|---|---|
| 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.06458#7P0Q (statement). In 4X93XG8NMD/e1, lemma 2.4
History
- 2026-10-29: add by m2/v0.4.10
Faith and rationality FQ340KK4PP
| URI | m2://inv/FQ340KK4PP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Faith and rationality, Faith and rationality (definition). Also Wikidata Q192617
History
- 2026-11-02: add by m2/dev
FQ36ZS8CRT FQ36ZS8CRT
| URI | m2://inv/FQ36ZS8CRT |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/incompleteness/theories-computability/oconsis-ext-of-q-undec.tex#proof-1 (proof). In PKGMM3P5QY, proof, section 30.13
History
- 2026-11-01: add by m2/v0.6.13
FQ3AQSVKDF FQ3AQSVKDF
| URI | m2://inv/FQ3AQSVKDF |
|---|---|
| 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.10221#G2GJ (statement). In 9Z5M655EPV/e1, lemma 5.6
History
- 2026-10-29: add by m2/v0.4.10
Generalization FQ3B1A2CB8
| URI | m2://inv/FQ3B1A2CB8 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Pitot theorem#MTKD, Generalization (statement)
History
- 2026-11-02: add by m2/dev
Example FQ3BNTCCJC
| URI | m2://inv/FQ3BNTCCJC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Sturmian word#72AC, Example (example)
History
- 2026-11-02: add by m2/dev
Ali Chamseddine FQ3H5G49ED
| URI | m2://inv/FQ3H5G49ED |
|---|---|
| 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 Q17521164, Ali Chamseddine (unknown). Also nLab Ali Chamseddine
History
- 2026-10-26: add by m2/dev
FQ3HBW38XS FQ3HBW38XS
| URI | m2://inv/FQ3HBW38XS |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- ernst_ibl: ernst_ibl MAAPressVersion/ModularArithmetic.tex#problem-8 (exercise). In P1C114YBXG, problem, section F
History
- 2026-11-01: add by m2/v0.6.13
Laure Saint-Raymond FQ3HS8WX6Q
| URI | m2://inv/FQ3HS8WX6Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Laure Saint-Raymond, Laure Saint-Raymond (topic). Also Wikidata Q1649352
History
- 2026-11-02: add by m2/dev
FQ3P00FNV5 FQ3P00FNV5
| URI | m2://inv/FQ3P00FNV5 |
|---|---|
| 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.36412#MW80 (statement). In 6HKGGCMBCK/e1, lemma 5.2
History
- 2026-10-30: add by m2/v0.4.12
Symmetry FQ3QMW168H
| URI | m2://inv/FQ3QMW168H |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Triangular tiling honeycomb#8SGX, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Nairi Sedrakyan FQ3R9Z8K1Q
| URI | m2://inv/FQ3R9Z8K1Q |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Nairi Sedrakyan, Nairi Sedrakyan (topic). Also Wikidata Q28033728
History
- 2026-11-02: add by m2/dev
Hexadecagram FQ3V5VVD3V
| URI | m2://inv/FQ3V5VVD3V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hexadecagon#OX3I, Hexadecagram (unknown)
History
- 2026-11-02: add by m2/dev
Example of a V-statistic FQ3V7V415E
| URI | m2://inv/FQ3V7V415E |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia V-statistic#IJ8S, Example of a V-statistic (example)
History
- 2026-11-02: add by m2/dev
Boole, George FQ3XR95F77
| URI | m2://inv/FQ3XR95F77 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Boolean algebra topics#YB79, Boole, George (topic)
History
- 2026-11-02: add by m2/dev
Collection of geometrical propositions FQ4BXJBJTE
| URI | m2://inv/FQ4BXJBJTE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Na'im ibn Musa#7YV1, Collection of geometrical propositions (statement)
History
- 2026-11-02: add by m2/dev
FQ4CBM6FXQ FQ4CBM6FXQ
| URI | m2://inv/FQ4CBM6FXQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36725#4XJQ (statement). In AR26SZ8JGN/e1, lemma 3.4
History
- 2026-10-30: add by m2/v0.4.12
FQ4XHMBKCE FQ4XHMBKCE
| URI | m2://inv/FQ4XHMBKCE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.22394#H37S (statement)
History
- 2026-11-02: add by m2/v0.6.17
Stress concentration FQ4Z69YM1W
| URI | m2://inv/FQ4Z69YM1W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Stress concentration, Stress concentration (definition). Also Wikidata Q542690
History
- 2026-11-02: add by m2/dev
FQ54J06234 FQ54J06234
| URI | m2://inv/FQ54J06234 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.21005#3ATZ (statement). In E63NRC7MBE/e1, proposition 3.10
History
- 2026-10-27: add by m2/v0.4.2
FQ56WKP8GS FQ56WKP8GS
| URI | m2://inv/FQ56WKP8GS |
|---|---|
| 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.08357#0073 (statement). In R9GRCAWHG0/e1, lemma 3.3
History
- 2026-10-29: add by m2/v0.4.10
Mathematicall Magick FQ5B32SPDB
| URI | m2://inv/FQ5B32SPDB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Mathematicall Magick, Mathematicall Magick (definition). Also Wikidata Q1908339
History
- 2026-11-02: add by m2/dev
FQ5J79X0HT FQ5J79X0HT
| URI | m2://inv/FQ5J79X0HT |
|---|---|
| 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 2211.10816#MIJ5 (statement). In 8VNN8PX49Y/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.6
FQ5QPP0V36 FQ5QPP0V36
| URI | m2://inv/FQ5QPP0V36 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/alg-NT/artin.tex#definition-4 (definition). In RZP28ERRZV, definition, section 8.6
History
- 2026-11-01: add by m2/v0.6.13
Definition FQ5ST4VJBG
| URI | m2://inv/FQ5ST4VJBG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia G-expectation#QBFS, Definition (definition)
History
- 2026-11-02: add by m2/dev
complement FQ5XJ0M0FR
| URI | m2://inv/FQ5XJ0M0FR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of graph theory#LEJZ, complement (definition)
History
- 2026-11-02: add by m2/dev
Yuri Zhuravlyov FQ5ZE1C2XG
| URI | m2://inv/FQ5ZE1C2XG |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yuri Zhuravlyov (mathematician), Yuri Zhuravlyov (topic). Also Wikidata Q4181785
History
- 2026-11-02: add by m2/dev
Functional Roth--S\'ark\"ozy FQ60AEPNA7
| URI | m2://inv/FQ60AEPNA7 |
|---|---|
| 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 1806.05002#P13H, Functional Roth--S\'ark\"ozy (statement). In JBAQ7DTW7B/e1, lemma 11.3
History
- 2026-10-27: add by m2/v0.3.5
Properties FQ677VVTD4
| URI | m2://inv/FQ677VVTD4 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Schnirelmann density#AA8Z, Properties (statement)
History
- 2026-11-02: add by m2/dev
"Propositions as types" FQ68AQ9KCF
| URI | m2://inv/FQ68AQ9KCF |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Homotopy type theory#BHL8, "Propositions as types" (statement)
History
- 2026-11-02: add by m2/dev
Bourgain--Davis FQ6F6V66GP
| URI | m2://inv/FQ6F6V66GP |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.31542#M4QY, Bourgain--Davis (statement). In RPR80CVAWT/e1, theorem 3
History
- 2026-10-31: add by m2/v0.5.6
Penrose tiling FQ6QGK46Y9
| URI | m2://inv/FQ6QGK46Y9 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of mathematical shapes#TK5M, Penrose tiling (object)
- wikipedia: Wikipedia List of computability and complexity topics#8RJU, Penrose tiling (object)
History
- 2026-11-02: add by m2/dev
Generalizations FQ6THE8YH3
| URI | m2://inv/FQ6THE8YH3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Irreducible ring#5U09, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
FQ77214VGD FQ77214VGD
| URI | m2://inv/FQ77214VGD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21043#TORD (statement)
History
- 2026-11-02: add by m2/v0.6.18
PottersWheel FQ7B9C4GRB
| URI | m2://inv/FQ7B9C4GRB |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia PottersWheel, PottersWheel (definition). Also Wikidata Q16975484
History
- 2026-11-02: add by m2/dev
expanded notation FQ7D97RWZB
| URI | m2://inv/FQ7D97RWZB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q137718467, expanded notation (unknown). Also MathWorld ExpandedNotation
History
- 2026-10-26: add by m2/dev
FQ7DSA7S52 FQ7DSA7S52
| URI | m2://inv/FQ7DSA7S52 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- open_logic: open_logic content/set-theory/ordinals/vn.tex#defn-1 (definition). In PKGMM3P5QY, defn, section 73.3
History
- 2026-11-01: add by m2/v0.6.13
FQ7DTCEQGV FQ7DTCEQGV
| URI | m2://inv/FQ7DTCEQGV |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_induction_recursion.ptx#proof-2 (proof). In QKM9DD2H56, proof, section 3.5.1
History
- 2026-11-01: add by m2/v0.6.13
normal crossings FQ7GMDX4R7
| URI | m2://inv/FQ7GMDX4R7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#VBCX, normal crossings (definition)
History
- 2026-11-02: add by m2/dev
FQ7TX6XN58 FQ7TX6XN58
| URI | m2://inv/FQ7TX6XN58 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2207.11097#S7A6 (statement). In 13H5BTAXHF/e1, corollary 7
History
- 2026-10-27: add by m2/v0.3.5
Representation FQ80KA8CFG
| URI | m2://inv/FQ80KA8CFG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Absolutely and completely monotonic functions and sequences#CWA1, Representation (definition)
History
- 2026-11-02: add by m2/dev
Yau's conjecture on the first eigenvalue FQ838T9298
| URI | m2://inv/FQ838T9298 |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of unsolved problems in mathematics#T9OD, Yau's conjecture on the first eigenvalue (conjecture)
History
- 2026-11-02: add by m2/dev
Lie sphere geometry FQ8CM2CKT4
| URI | m2://inv/FQ8CM2CKT4 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of areas of mathematics#SANW, Lie sphere geometry (definition)
History
- 2026-11-02: add by m2/dev
FQ8FWF4M6W FQ8FWF4M6W
| URI | m2://inv/FQ8FWF4M6W |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.21972#UUIL (statement)
History
- 2026-11-02: add by m2/v0.6.17
Integration using Euler's formula FQ8M70M19X
| URI | m2://inv/FQ8M70M19X |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Integration using Euler's formula, Integration using Euler's formula (statement). Also Wikidata Q6043250
History
- 2026-11-02: add by m2/dev
FQ8SMXXH9Y FQ8SMXXH9Y
| URI | m2://inv/FQ8SMXXH9Y |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/H113/ring-intro.tex#ques-1 (exercise). In RZP28ERRZV, ques, section 5.3
History
- 2026-11-01: add by m2/v0.6.13
Ricci calculus FQ8SPGMF53
| URI | m2://inv/FQ8SPGMF53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of tensor theory#33HM, Ricci calculus (definition)
History
- 2026-11-02: add by m2/dev
Codespace of classical codes FQ8TT4SX6C
| URI | m2://inv/FQ8TT4SX6C |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 51-XX, 52-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.04834#E7WN, Codespace of classical codes (statement). In YZNK67K060/e1, proposition 4.2
History
- 2026-10-29: add by m2/v0.4.12
Properties FQ8XBFGARX
| URI | m2://inv/FQ8XBFGARX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia M-spline#I9C9, Properties (statement)
History
- 2026-11-02: add by m2/dev
Lyapunov–Malkin theorem FQ93NZ7KPY
| URI | m2://inv/FQ93NZ7KPY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 35-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q6707093, Lyapunov–Malkin theorem (statement). Also Wikidata Q6707093
- thousand_plus: thousand_plus Q6707093, Lyapunov–Malkin theorem (statement). Also Wikidata Q6707093, Wikipedia Lyapunov–Malkin theorem
- wikipedia: Wikipedia Lyapunov–Malkin theorem, Lyapunov–Malkin theorem (statement). Also Wikidata Q6707093
History
- 2026-10-26: add by m2/dev
Examples FQ9GMH9RWC
| URI | m2://inv/FQ9GMH9RWC |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Perfect totient number#KRUA, Examples (example)
History
- 2026-11-02: add by m2/dev
FQA2SVJ07M FQA2SVJ07M
| URI | m2://inv/FQA2SVJ07M |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX, 18-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07695#S2C4 (statement). In 8Z47D12KSX/e1, proposition 10.3
History
- 2026-10-29: add by m2/v0.4.10
Kodaira dimension FQA308P5ZV
| URI | m2://inv/FQA308P5ZV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of algebraic geometry#1E7H, Kodaira dimension (definition)
History
- 2026-11-02: add by m2/dev
Otto Szász FQA63RKHYY
| URI | m2://inv/FQA63RKHYY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#L22C, Otto Szász (unknown)
History
- 2026-11-02: add by m2/dev
$\mathrm{QMA}$ FQA97E563W
| URI | m2://inv/FQA97E563W |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.26769#4JWO, $\mathrm{QMA}$ (definition)
History
- 2026-11-01: add by m2/v0.6.15
Law FQABRYVQGE
| URI | m2://inv/FQABRYVQGE |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Suspension of judgment#BHJ5, Law (statement)
History
- 2026-11-02: add by m2/dev
FQACFN2159 FQACFN2159
| URI | m2://inv/FQACFN2159 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20050#63T8 (definition). In T41GD0Y0GX/e1, definition 2.4
History
- 2026-10-27: add by m2/v0.4.2
Multivariate t-distribution FQADE99E5V
| URI | m2://inv/FQADE99E5V |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of probability distributions#IJCR, Multivariate t-distribution (definition)
History
- 2026-11-02: add by m2/dev
Statement FQAG0WMZY6
| URI | m2://inv/FQAG0WMZY6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Behrend's theorem#EVWA, Statement (statement)
History
- 2026-11-02: add by m2/dev
FQAP15CQN0 FQAP15CQN0
| URI | m2://inv/FQAP15CQN0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#O87Y (statement). In WJD9YPGGYH/e1, lemma 5.5
History
- 2026-10-27: add by m2/v0.3.5
Topological entropy in physics FQAV1HAH8M
| URI | m2://inv/FQAV1HAH8M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of topology topics#T7LI, Topological entropy in physics (unknown)
History
- 2026-11-02: add by m2/dev
FQAYJNAMWY FQAYJNAMWY
| URI | m2://inv/FQAYJNAMWY |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2605.16669#IDYB (statement). In 1463YCCRP5/e1, theorem 1.1
History
- 2026-10-27: add by m2/v0.4.0
Joules per kilogram FQB141ZYFG
| URI | m2://inv/FQB141ZYFG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Enthalpy#62G0, Joules per kilogram (unknown)
History
- 2026-11-02: add by m2/dev
FQB6ZMXNN1 FQB6ZMXNN1
| URI | m2://inv/FQB6ZMXNN1 |
|---|---|
| Kind | example |
| 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 2104.04145#N85Q (example). In 7TNHVC586V/e1, example 1
History
- 2026-10-27: add by m2/v0.3.5
FQB73DPWZK FQB73DPWZK
| URI | m2://inv/FQB73DPWZK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2304.02722#QJHV (statement). In AH7D55D3WV/e1, proposition 5.3
History
- 2026-10-27: add by m2/v0.3.5
Properties FQB7VHAHHY
| URI | m2://inv/FQB7VHAHHY |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Inversive geometry#VE40, Properties (statement)
History
- 2026-11-02: add by m2/dev
the per-torsor bound FQBDMY6M7K
| URI | m2://inv/FQBDMY6M7K |
|---|---|
| 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.07508#A5TL, the per-torsor bound (statement). In TPA3E67MKK/e1, corollary 8.4
History
- 2026-10-29: add by m2/v0.4.10
FQBK6Q96XC FQBK6Q96XC
| URI | m2://inv/FQBK6Q96XC |
|---|---|
| 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.21403#UARA (statement)
History
- 2026-11-02: add by m2/v0.6.18
Pin hole FQBP7G3VNN
| URI | m2://inv/FQBP7G3VNN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hole#OPIJ, Pin hole (unknown)
History
- 2026-11-02: add by m2/dev
FQBRM92B9A FQBRM92B9A
| URI | m2://inv/FQBRM92B9A |
|---|---|
| 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.04165#TQGI (statement). In PKN283MHF8/e1, theorem 1.4
History
- 2026-10-29: add by m2/v0.4.12
Monomial basis FQCFRWWK6Z
| URI | m2://inv/FQCFRWWK6Z |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monomial basis, Monomial basis (definition). Also Wikidata Q6901742
History
- 2026-11-02: add by m2/dev
Avicenna FQCJVKVN9S
| URI | m2://inv/FQCJVKVN9S |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Avicenna, Avicenna (topic). Also Wikidata Q8011
History
- 2026-11-02: add by m2/dev
Hammer retroazimuthal projection FQCKD2W5QQ
| URI | m2://inv/FQCKD2W5QQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of graphical methods#DV1R, Hammer retroazimuthal projection (unknown)
History
- 2026-11-02: add by m2/dev
FQCV68G5GX FQCV68G5GX
| URI | m2://inv/FQCV68G5GX |
|---|---|
| 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.04355#X9ZE (statement). In 99AHANMS2H/e1, proposition 4
History
- 2026-10-29: add by m2/v0.4.12
FQCWWVC08V FQCWWVC08V
| URI | m2://inv/FQCWWVC08V |
|---|---|
| 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.19854#B0RZ (statement). In D50WST4CG3/e1, theorem 3.12
History
- 2026-10-28: add by m2/v0.4.2
Definition FQD25FXYGW
| URI | m2://inv/FQD25FXYGW |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ordinal analysis#88K2, Definition (definition)
History
- 2026-11-02: add by m2/dev
FQD6CBB8EE FQD6CBB8EE
| URI | m2://inv/FQD6CBB8EE |
|---|---|
| Kind | example |
| 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.16181#XHDG (example). In RXQ64S1BWP/e1, example
History
- 2026-10-28: add by m2/v0.4.2
Examples FQDGRPPTS0
| URI | m2://inv/FQDGRPPTS0 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Representation on coordinate rings#AHKO, Examples (example)
History
- 2026-11-02: add by m2/dev
FQDJQJ1WSD FQDJQJ1WSD
| URI | m2://inv/FQDJQJ1WSD |
|---|---|
| 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.31615#PSI5 (statement). In TNV6XTEWEG/e1, fact 2.2
History
- 2026-10-31: add by m2/v0.5.6
FQDJV09GJ1 FQDJV09GJ1
| URI | m2://inv/FQDJV09GJ1 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 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 2609.28814#A8BG (statement)
History
- 2026-11-01: add by m2/v0.6.15
Perfect spline FQDK5FXKQ8
| URI | m2://inv/FQDK5FXKQ8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of numerical analysis topics#L74J, Perfect spline (unknown)
History
- 2026-11-02: add by m2/dev
FQDKAST0RB FQDKAST0RB
| URI | m2://inv/FQDKAST0RB |
|---|---|
| Kind | conjecture |
| 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.26745#F3ET (conjecture)
History
- 2026-11-01: add by m2/v0.6.15
FQDP7FGFDM FQDP7FGFDM
| URI | m2://inv/FQDP7FGFDM |
|---|---|
| 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.36389#J92Q (statement). In N1S169J2MV/e1, lemma 1
History
- 2026-10-30: add by m2/v0.4.12
FQE6YNEJ25 FQE6YNEJ25
| URI | m2://inv/FQE6YNEJ25 |
|---|---|
| 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.26450#J7ZQ (statement)
History
- 2026-11-01: add by m2/v0.6.15
History of signal processing FQEEG3DXVF
| URI | m2://inv/FQEEG3DXVF |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Signal processing#15IC, History of signal processing (unknown)
History
- 2026-11-02: add by m2/dev
FQEVHWFR0Z FQEVHWFR0Z
| URI | m2://inv/FQEVHWFR0Z |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2111.07717#7M34 (example). In AXFXGWG7ZG/e1, example 3.1
History
- 2026-10-27: add by m2/v0.4.0
FQEW1F53ES FQEW1F53ES
| URI | m2://inv/FQEW1F53ES |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.32233#3SWA (statement). In V42PPD7SWH/e1, lemma 7.8
History
- 2026-10-31: add by m2/v0.5.6
Applications FQEWCNFW36
| URI | m2://inv/FQEWCNFW36 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Carlson's theorem#17F3, Applications (example)
History
- 2026-11-02: add by m2/dev
Implementation FQF1PSHK9Y
| URI | m2://inv/FQF1PSHK9Y |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Concatenation#TS5G, Implementation (definition)
History
- 2026-11-02: add by m2/dev
The uniformly randomized Markov's inequality FQF1SGWY90
| URI | m2://inv/FQF1SGWY90 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Markov's inequality#PBKB, The uniformly randomized Markov's inequality (statement)
History
- 2026-11-02: add by m2/dev
FQF4XP47M0 FQF4XP47M0
| URI | m2://inv/FQF4XP47M0 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 0810.0962#TJ48 (statement). In 80YMRN5KS9/e1, proposition 1
History
- 2026-10-27: add by m2/v0.3.5
FQF77ZBR0B FQF77ZBR0B
| URI | m2://inv/FQF77ZBR0B |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 62-XX, 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.28297#GT22 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Kapil Hari Paranjape FQFC6W15R1
| URI | m2://inv/FQFC6W15R1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Indian mathematicians#3KKA, Kapil Hari Paranjape (topic)
History
- 2026-11-02: add by m2/dev
FQFGZ57ESA FQFGZ57ESA
| URI | m2://inv/FQFGZ57ESA |
|---|---|
| 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.40156#VNM9 (statement). In PP8BEHWK33/e1, lemma 11
History
- 2026-10-30: add by m2/v0.4.12
Amy Braverman FQFPCPV78V
| URI | m2://inv/FQFPCPV78V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Amy Braverman, Amy Braverman (topic). Also Wikidata Q58010415
History
- 2026-11-02: add by m2/dev
L2 space FQG8QST58G
| URI | m2://inv/FQG8QST58G |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91314814, L2 space (unknown). Also MathWorld L2-Space
History
- 2026-10-26: add by m2/dev
Reuleaux triangle FQG902PZDS
| URI | m2://inv/FQG902PZDS |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Reuleaux triangle KMNV11B91V |
Mentions
- wikidata: Wikidata Q959203, Reuleaux triangle (unknown). Also MathWorld ReuleauxTriangle
- wikipedia: Wikipedia Reuleaux triangle, Reuleaux triangle (object). Also Wikidata Q959203
History
- 2026-10-26: add by m2/dev
Recovering supports meeting linear variables FQG9K8YE6V
| URI | m2://inv/FQG9K8YE6V |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39700#RFPZ, Recovering supports meeting linear variables (statement). In E7W2HDNEKJ/e1, lemma 5.5
History
- 2026-10-30: add by m2/v0.4.12
Boundary parallel FQGJPT6V0A
| URI | m2://inv/FQGJPT6V0A |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Boundary parallel, Boundary parallel (definition). Also Wikidata Q4949968
History
- 2026-11-02: add by m2/dev
Fractional $p(\cdot)$-Laplace equation FQGM8P3XTR
| URI | m2://inv/FQGM8P3XTR |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 35-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.08253#94PA, Fractional $p(\cdot)$-Laplace equation (statement). In 6AD2CTF0QF/e1, corollary 3.9
History
- 2026-10-29: add by m2/v0.4.10
Ginibre formula FQGVG58H6W
| URI | m2://inv/FQGVG58H6W |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dyson Brownian motion#04S8, Ginibre formula (statement)
History
- 2026-11-02: add by m2/dev
FQH3Q41B4X FQH3Q41B4X
| URI | m2://inv/FQH3Q41B4X |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 11-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.28141#51A5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Formulation FQH5HX6FFA
| URI | m2://inv/FQH5HX6FFA |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Yao's principle#1L26, Formulation (definition)
History
- 2026-11-02: add by m2/dev
FQH664MHJK FQH664MHJK
| URI | m2://inv/FQH664MHJK |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-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 2404.08319#FMH7 (statement). In MA1CZ2GTAF/e1, corollary 2.1
History
- 2026-10-27: add by m2/v0.4.0
FQH8GSX5Z7 FQH8GSX5Z7
| URI | m2://inv/FQH8GSX5Z7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 51-XX, 52-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.21768#Z24H (statement). In VD53W58DS1/e1, lemma 2.4
History
- 2026-10-27: add by m2/v0.4.2
Generalizations FQH9QNQWBT
| URI | m2://inv/FQH9QNQWBT |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Jensen's formula#J739, Generalizations (statement)
History
- 2026-11-02: add by m2/dev
FQH9X9NM6G FQH9X9NM6G
| URI | m2://inv/FQH9X9NM6G |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.02174#Q0GY (definition). In 7JPHSV4NXW/e1, definition 2.3
History
- 2026-10-29: add by m2/v0.4.12
Monopole moduli space FQH9Y338XP
| URI | m2://inv/FQH9Y338XP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6901868, Monopole moduli space (unknown). Also nLab moduli space of monopoles in nLab
- wikipedia: Wikipedia Monopole moduli space, Monopole moduli space (definition). Also Wikidata Q6901868
History
- 2026-10-26: add by m2/dev
spectrum FQHFEKH6HY
| URI | m2://inv/FQHFEKH6HY |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of functional analysis#4E08, spectrum (definition)
History
- 2026-11-02: add by m2/dev
oscnode FQHRH5B719
| URI | m2://inv/FQHRH5B719 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of classical algebraic geometry#FFBY, oscnode (definition)
History
- 2026-11-02: add by m2/dev
pentadecagonal number FQHS2WV5JE
| URI | m2://inv/FQHS2WV5JE |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18454915, pentadecagonal number (object). Also OEIS A051867
History
- 2026-10-26: add by m2/dev
David, Herbert A. FQHWDYFSD3
| URI | m2://inv/FQHWDYFSD3 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of statisticians#3XIM, David, Herbert A. (topic)
History
- 2026-11-02: add by m2/dev
Example FQHYCNVTDJ
| URI | m2://inv/FQHYCNVTDJ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Ackermann function#25AM, Example (example)
History
- 2026-11-02: add by m2/dev
Hourya Benis Sinaceur FQJ13SYVGD
| URI | m2://inv/FQJ13SYVGD |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Hourya Benis Sinaceur, Hourya Benis Sinaceur (topic). Also Wikidata Q5913483
History
- 2026-11-02: add by m2/dev
FQJ1KWZHSZ FQJ1KWZHSZ
| URI | m2://inv/FQJ1KWZHSZ |
|---|---|
| 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.24078#OBWP (statement)
History
- 2026-11-02: add by m2/v0.6.17
Implementation FQJ2TMP7QR
| URI | m2://inv/FQJ2TMP7QR |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia ADMB#QAVP, Implementation (definition)
History
- 2026-11-02: add by m2/dev
FQJM2T852V FQJM2T852V
| URI | m2://inv/FQJM2T852V |
|---|---|
| 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.14189#NT61 (statement). In 39VAB08YDJ/e1, corollary 4.6
History
- 2026-10-28: add by m2/v0.4.2
Lynne Butler FQJMY848RC
| URI | m2://inv/FQJMY848RC |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lynne Butler, Lynne Butler (topic). Also Wikidata Q66892392
History
- 2026-11-02: add by m2/dev
FQJRVQGVF6 FQJRVQGVF6
| URI | m2://inv/FQJRVQGVF6 |
|---|---|
| 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.28323#SSQ5 (statement)
History
- 2026-11-01: add by m2/v0.6.15
Judgement FQJWR1P74W
| URI | m2://inv/FQJWR1P74W |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Judgement, Judgement (definition). Also Wikidata Q12621536
History
- 2026-11-02: add by m2/dev
FQK2H6V4V7 FQK2H6V4V7
| URI | m2://inv/FQK2H6V4V7 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-XX, 30-XX, 32-XX, 53-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv math/0512416#AFXW (statement). In WJD9YPGGYH/e1, lemma 6.3
History
- 2026-10-27: add by m2/v0.3.5
FQK8K5HSN9 FQK8K5HSN9
| URI | m2://inv/FQK8K5HSN9 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 62-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.24374#O47F (statement)
History
- 2026-11-01: add by m2/v0.6.15
transseries FQKDBY4AVT
| URI | m2://inv/FQKDBY4AVT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56292378, transseries (unknown). Also nLab transseries
- wikipedia: Wikipedia Transseries, Transseries (definition). Also Wikidata Q56292378
History
- 2026-10-26: add by m2/dev
FQKFN401H2 FQKFN401H2
| URI | m2://inv/FQKFN401H2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 46-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.04265#OVU8 (statement). In YHA9M56TBB/e1, lemma 3.1
History
- 2026-10-27: add by m2/v0.4.0
Magnitude of a nondegenerate finite quadratic sum FQKN07PMWE
| URI | m2://inv/FQKN07PMWE |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 00-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10583#ELG7, Magnitude of a nondegenerate finite quadratic sum (statement). In 5BZQS1KY9A/e1, lemma 4.4
History
- 2026-10-29: add by m2/v0.4.10
FQKXT1B9YN FQKXT1B9YN
| URI | m2://inv/FQKXT1B9YN |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 37-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 0811.0544#8ZJG (statement). In RKPZ3SC956/e1, corollary 3.3
History
- 2026-10-27: add by m2/v0.3.5
UMAC FQM4V1D226
| URI | m2://inv/FQM4V1D226 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia UMAC (cryptography), UMAC (definition). Also Wikidata Q2088868
History
- 2026-11-02: add by m2/dev
Ngaiming Mok FQMAK576JK
| URI | m2://inv/FQMAK576JK |
|---|---|
| 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#S1SG, Ngaiming Mok (topic)
History
- 2026-11-02: add by m2/dev
Kobayashi metric FQMFXHT4CP
| URI | m2://inv/FQMFXHT4CP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kobayashi metric, Kobayashi metric (definition). Also Wikidata Q6424284
History
- 2026-11-02: add by m2/dev
FQMNMJJ5DE FQMNMJJ5DE
| URI | m2://inv/FQMNMJJ5DE |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.36884#BMWI (definition). In Z7E16PFFCP/e1, definition 1.2
History
- 2026-10-30: add by m2/v0.4.12
Hadwiger–Nelson problem FQMPDR79PP
| URI | m2://inv/FQMPDR79PP |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | Hadwiger–Nelson problem YX985SQG26 |
Mentions
- wikidata: Wikidata Q1383936, Hadwiger–Nelson problem (problem). Also MathWorld Hadwiger-NelsonProblem
- wikipedia: Wikipedia Hadwiger–Nelson problem, Hadwiger–Nelson problem (conjecture). Also Wikidata Q1383936
History
- 2026-10-26: add by m2/dev
Emanuel Czuber FQMTPH7WZ1
| URI | m2://inv/FQMTPH7WZ1 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Emanuel Czuber, Emanuel Czuber (topic). Also Wikidata Q112760
History
- 2026-11-02: add by m2/dev
FQMXT6BZGM FQMXT6BZGM
| URI | m2://inv/FQMXT6BZGM |
|---|---|
| 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.17442#T7RU (statement). In 6ADGJ51W1P/e1, theorem 5.1
History
- 2026-10-28: add by m2/v0.4.2
FQMZTGDJR1 FQMZTGDJR1
| URI | m2://inv/FQMZTGDJR1 |
|---|---|
| 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.15160#BKKL (statement). In 6FV4CCY1NX/e1, theorem 3.1
History
- 2026-10-28: add by m2/v0.4.2
\probname{0-1-ILP FQN1QMWXQQ
| URI | m2://inv/FQN1QMWXQQ |
|---|---|
| Kind | problem |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.38436#QICK, \probname{0-1-ILP (problem). In 702AF3E4AF/e1, problem 3.13
History
- 2026-10-30: add by m2/v0.4.12
Not even wrong FQNAF7ZT0R
| URI | m2://inv/FQNAF7ZT0R |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Not even wrong, Not even wrong (definition). Also Wikidata Q1225402
History
- 2026-11-02: add by m2/dev
FQNB7NDHMY FQNB7NDHMY
| URI | m2://inv/FQNB7NDHMY |
|---|---|
| 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.34311#OZAN (statement). In YYV9SHAPCZ/e1, lemma 4.7
History
- 2026-10-30: add by m2/v0.4.12
FQND8FVKFC FQND8FVKFC
| URI | m2://inv/FQND8FVKFC |
|---|---|
| Kind | example |
| 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.28650#OE85 (example)
History
- 2026-11-01: add by m2/v0.6.15
Symmetry FQNMM3JHSQ
| URI | m2://inv/FQNMM3JHSQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Involutory matrix#K88D, Symmetry (statement)
History
- 2026-11-02: add by m2/dev
Variants FQNQ733SEX
| URI | m2://inv/FQNQ733SEX |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Monadic predicate calculus#0Y9D, Variants (statement)
History
- 2026-11-02: add by m2/dev
FQNS4MFFHV FQNS4MFFHV
| URI | m2://inv/FQNS4MFFHV |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 60-XX, 65-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10481#5VBR (statement). In ETV3D93XYD/e1, proposition 1
History
- 2026-10-29: add by m2/v0.4.10
FQNWT7VK6J FQNWT7VK6J
| URI | m2://inv/FQNWT7VK6J |
|---|---|
| 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#Y5RU (statement). In TX0H26X4VX/e1, proposition 4.3
History
- 2026-10-29: add by m2/v0.4.12
FQNZ3NMN5Y FQNZ3NMN5Y
| URI | m2://inv/FQNZ3NMN5Y |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.10205#WU8M (definition). In PQGS7NDMDQ/e1, definition 1
History
- 2026-10-29: add by m2/v0.4.10
tautological bundle FQP31RJQ6S
| URI | m2://inv/FQP31RJQ6S |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2397465, tautological bundle (unknown). Also nLab tautological line bundle
- wikipedia: Wikipedia Tautological bundle, Tautological bundle (definition). Also Wikidata Q2397465
History
- 2026-10-26: add by m2/dev
FQPBSYYAGT FQPBSYYAGT
| URI | m2://inv/FQPBSYYAGT |
|---|---|
| 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.02798#NCEQ (statement). In 446QW3DHTN/e1, proposition 5.1
History
- 2026-10-29: add by m2/v0.4.12
FQPF2124JX FQPF2124JX
| URI | m2://inv/FQPF2124JX |
|---|---|
| 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 2606.00589#POID (statement). In C8JAGP8VCQ/e1, corollary 8.17
History
- 2026-10-27: add by m2/v0.3.5
FQPJ6K079M FQPJ6K079M
| URI | m2://inv/FQPJ6K079M |
|---|---|
| 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 2406.07116#YH6R (statement). In 5B030CB2RK/e1, proposition 8.7
History
- 2026-10-27: add by m2/v0.3.6
FQPMJRPZKT FQPMJRPZKT
| URI | m2://inv/FQPMJRPZKT |
|---|---|
| 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.13613#8XQX (statement). In 3HCT4TQ5PM/e1, lemma 4.4
History
- 2026-10-28: add by m2/v0.4.2
FQPYKXCPQZ FQPYKXCPQZ
| URI | m2://inv/FQPYKXCPQZ |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- austin_ula: austin_ula src/section6-2.xml#example-3 (example). In 649HGZKE96, example, section 6.2.4
History
- 2026-11-01: add by m2/v0.6.13
Systematic PID Encoder FQQ0BM51G6
| URI | m2://inv/FQQ0BM51G6 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 94-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37578#20PL, Systematic PID Encoder (definition). In D7NDCWSDJE/e1, definition 1
History
- 2026-10-30: add by m2/v0.4.12
Herbert Bristol Dwight FQQ0CEWDYK
| URI | m2://inv/FQQ0CEWDYK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of International Congresses of Mathematicians Plenary and Invited Speakers#ZK2S, Herbert Bristol Dwight (unknown)
History
- 2026-11-02: add by m2/dev
FQQ48DW25P FQQ48DW25P
| URI | m2://inv/FQQ48DW25P |
|---|---|
| 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.18043#0JDN (statement). In 64TAHFQTMD/e1, proposition 3.1
History
- 2026-10-28: add by m2/v0.4.2
FQQ6DGSFCJ FQQ6DGSFCJ
| URI | m2://inv/FQQ6DGSFCJ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 46-XX, 54-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.37271#DVIO (statement). In 9WP2QGKMG8/e1, proposition 2.8
History
- 2026-10-30: add by m2/v0.4.12
Hwang Jun-Muk FQQA2W5B1V
| URI | m2://inv/FQQA2W5B1V |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of geometers#RHQZ, Hwang Jun-Muk (topic)
History
- 2026-11-02: add by m2/dev
FQQCQ2JB71 FQQCQ2JB71
| URI | m2://inv/FQQCQ2JB71 |
|---|---|
| Kind | problem |
| 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.37137#7H6Y (problem). In 55ZHSBXPBW/e1, problem
History
- 2026-10-30: add by m2/v0.4.12
FQQS3E27BE FQQS3E27BE
| URI | m2://inv/FQQS3E27BE |
|---|---|
| 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.14681#7HL8 (statement). In 459W0NBS5Q/e1, theorem 6
History
- 2026-10-28: add by m2/v0.4.2
FQQWXN43Z6 FQQWXN43Z6
| URI | m2://inv/FQQWXN43Z6 |
|---|---|
| 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.33682#WLEJ (statement). In GN608RC9ES/e1, theorem 4.4
History
- 2026-10-30: add by m2/v0.4.12
Definition FQR169VNND
| URI | m2://inv/FQR169VNND |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Doob martingale#ZIJ3, Definition (definition)
History
- 2026-11-02: add by m2/dev
The Math Myth FQRWQ9QRF1
| URI | m2://inv/FQRWQ9QRF1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia The Math Myth, The Math Myth (definition). Also Wikidata Q123296666
History
- 2026-11-02: add by m2/dev
FQRXGM0N0K FQRXGM0N0K
| URI | m2://inv/FQRXGM0N0K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX, 22-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.09319#A0HK (statement). In GMRT5GHBZS/e1, theorem C
History
- 2026-10-29: add by m2/v0.4.10
Properties FQRZYBW4S3
| URI | m2://inv/FQRZYBW4S3 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Shapley–Shubik power index#SPBE, Properties (statement)
History
- 2026-11-02: add by m2/dev
Weighted resolvent observation FQS3VTK2A7
| URI | m2://inv/FQS3VTK2A7 |
|---|---|
| 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.29147#FUNP, Weighted resolvent observation (statement)
History
- 2026-11-01: add by m2/v0.6.15
FQS7EQB7AD FQS7EQB7AD
| URI | m2://inv/FQS7EQB7AD |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 16-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.18101#PBGA (statement). In XXN6KKXPYF/e1, lemma 9.1
History
- 2026-10-28: add by m2/v0.4.2
FQS8T3T1G1 FQS8T3T1G1
| URI | m2://inv/FQS8T3T1G1 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/measure/swapsum.tex#theorem-1 (statement). In RZP28ERRZV, theorem, section 70.4
History
- 2026-11-01: add by m2/v0.6.13
Type III error FQS9V4912X
| URI | m2://inv/FQS9V4912X |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Type III error, Type III error (definition). Also Wikidata Q9183599
History
- 2026-11-02: add by m2/dev
FQSAVYDWY6 FQSAVYDWY6
| URI | m2://inv/FQSAVYDWY6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- applied_combinatorics: applied_combinatorics source/s_induction_proofs.ptx#prop_sum-bincoeffs (statement). In QKM9DD2H56, proposition, section 3.8
History
- 2026-11-01: add by m2/v0.6.13
$\sigma$-small Koszul duality adjunction FQSBKDZ3ZR
| URI | m2://inv/FQSBKDZ3ZR |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 14-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.20801#I9NR, $\sigma$-small Koszul duality adjunction (definition). In A1GWWGRXPA/e1, definition 5.15
History
- 2026-10-27: add by m2/v0.4.2
FQSC7GQC2F FQSC7GQC2F
| URI | m2://inv/FQSC7GQC2F |
|---|---|
| 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.28594#5ULK (statement)
History
- 2026-11-01: add by m2/v0.6.15
Frank Ruskey FQSHPY4GTF
| URI | m2://inv/FQSHPY4GTF |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Frank Ruskey, Frank Ruskey (topic). Also Wikidata Q5489303
History
- 2026-11-02: add by m2/dev
Regular arrivals FQSN5J59S1
| URI | m2://inv/FQSN5J59S1 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 49-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.15543#OL9A, Regular arrivals (definition). In TQSHQZFCS5/e1, definition 3.1
History
- 2026-10-28: add by m2/v0.4.2
FQSTZ0VRWQ FQSTZ0VRWQ
| URI | m2://inv/FQSTZ0VRWQ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25307#ZGOV (statement)
History
- 2026-11-01: add by m2/v0.6.15
FQSZ1SSAKT FQSZ1SSAKT
| URI | m2://inv/FQSZ1SSAKT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 49-XX, 60-XX, 90-XX, 93-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.17626#34NY (statement). In 54ATJS74DT/e1, lemma A.1
History
- 2026-10-28: add by m2/v0.4.2
FQSZCPM5MM FQSZCPM5MM
| URI | m2://inv/FQSZCPM5MM |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 60-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.29699#7VKY (statement)
History
- 2026-11-01: add by m2/v0.6.15
Hundred Fowls Problem FQT5T16CX8
| URI | m2://inv/FQT5T16CX8 |
|---|---|
| Kind | problem |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of number theory topics#PYY4, Hundred Fowls Problem (problem)
History
- 2026-11-02: add by m2/dev
FQT9A819PS FQT9A819PS
| URI | m2://inv/FQT9A819PS |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00512#A9T3 (definition). In RB5QBG3MJY/e1, definition 4.7
History
- 2026-10-30: add by m2/v0.4.12
Saturation of the determinant critical ideal FQTS8JRED2
| URI | m2://inv/FQTS8JRED2 |
|---|---|
| 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#BY2Z, Saturation of the determinant critical ideal (statement). In 1QPAA94Q76/e1, lemma 37
History
- 2026-10-28: add by m2/v0.4.2
FQV869EZW3 FQV869EZW3
| URI | m2://inv/FQV869EZW3 |
|---|---|
| Kind | example |
| 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 2404.18704#KCNN (example). In T4MQVXFGWC/e1, example 3.8
History
- 2026-10-27: add by m2/v0.3.5
Dorothy Maharam FQVA8AEDAK
| URI | m2://inv/FQVA8AEDAK |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dorothy Maharam, Dorothy Maharam (topic). Also Wikidata Q3710456
History
- 2026-11-02: add by m2/dev
open set FQVBTRK20K
| URI | m2://inv/FQVBTRK20K |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra index/4.2.1/open-set, open set (concept). In E59CDZA4DP, index, section 4.2.1
History
- 2026-11-01: add by m2/v0.6.13
Quickprop FQVCHAN0N5
| URI | m2://inv/FQVCHAN0N5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Quickprop, Quickprop (definition). Also Wikidata Q1326757
History
- 2026-11-02: add by m2/dev
FQVFN38DV3 FQVFN38DV3
| URI | m2://inv/FQVFN38DV3 |
|---|---|
| Kind | exercise |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/linalg/transpose.tex#prob:fundamental_theorem_of_linalg (exercise). In RZP28ERRZV, problem, section 61.6
History
- 2026-11-01: add by m2/v0.6.13
Lusternik–Schnirelmann theorem FQVH4Z050Q
| URI | m2://inv/FQVH4Z050Q |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Lusternik–Schnirelmann theorem, Lusternik–Schnirelmann theorem (statement). Also Wikidata Q25098919
History
- 2026-11-02: add by m2/dev
Sharp diagonal bound FQVKB3DYN5
| URI | m2://inv/FQVKB3DYN5 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 14-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.10828#88BZ, Sharp diagonal bound (statement). In 8PTDFHV8SQ/e1, proposition 13.3
History
- 2026-10-28: add by m2/v0.4.3
Generalized linear mixed model FQVSHTHR03
| URI | m2://inv/FQVSHTHR03 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Generalized linear mixed model, Generalized linear mixed model (definition). Also Wikidata Q5532490
History
- 2026-11-02: add by m2/dev
FQVYS1TNB2 FQVYS1TNB2
| URI | m2://inv/FQVYS1TNB2 |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 05-XX, 30-XX, 32-XX, 37-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.35102#81YY (definition). In XK6H7F2F13/e1, definition 1.6
History
- 2026-10-30: add by m2/v0.4.12
FQW0WYFETT FQW0WYFETT
| URI | m2://inv/FQW0WYFETT |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 53-XX, 60-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.39845#5EKP (statement). In RK8DFVGQP1/e1, corollary 7
History
- 2026-10-30: add by m2/v0.4.12
FQW62TEHX6 FQW62TEHX6
| URI | m2://inv/FQW62TEHX6 |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 05-XX, 11-XX, 13-XX, 14-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.27886#7S8X (example)
History
- 2026-11-01: add by m2/v0.6.15
FQW7JCKM4Q FQW7JCKM4Q
| URI | m2://inv/FQW7JCKM4Q |
|---|---|
| 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 2511.17751#1PZA (statement). In J39X0NB31S/e1, proposition 6.5
History
- 2026-10-27: add by m2/v0.3.5
Carl Gustav Jacob Jacobi FQW7YBTEC8
| URI | m2://inv/FQW7YBTEC8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of Jewish mathematicians#O07E, Carl Gustav Jacob Jacobi (topic)
History
- 2026-11-02: add by m2/dev
FQWA68BDGG FQWA68BDGG
| URI | m2://inv/FQWA68BDGG |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2510.12502#NHBG (definition). In 3A4K47Y9F2/e1, definition 4.18
History
- 2026-10-27: add by m2/v0.4.0
Sharp query risk and all maximizers FQWBM3SFB3
| URI | m2://inv/FQWBM3SFB3 |
|---|---|
| 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.07721#IMYC, Sharp query risk and all maximizers (statement). In QMJDN66F5N/e1, theorem 4.1
History
- 2026-10-29: add by m2/v0.4.10
Definition FQWG7DCCPP
| URI | m2://inv/FQWG7DCCPP |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Skein (graph theory)#79UP, Definition (definition)
History
- 2026-11-02: add by m2/dev
FQWVAJZZ0K FQWVAJZZ0K
| URI | m2://inv/FQWVAJZZ0K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 05-XX, 11-XX, 17-XX, 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.25168#OSDZ (statement)
History
- 2026-11-01: add by m2/v0.6.15
Interior FQWW0TDN53
| URI | m2://inv/FQWW0TDN53 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Glossary of general topology#GZ80, Interior (definition)
History
- 2026-11-02: add by m2/dev
FQX0G4N23R FQX0G4N23R
| URI | m2://inv/FQX0G4N23R |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 81-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.14240#V2JC (definition). In HGQCBDDMQJ/e1, definition 2.12
History
- 2026-10-28: add by m2/v0.4.2
FQX26JYGG2 FQX26JYGG2
| URI | m2://inv/FQX26JYGG2 |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.07001#0LDY (statement). In 5DFTVG7FFF/e1, lemma 2.9
History
- 2026-10-29: add by m2/v0.4.10
FQX2GAHM0C FQX2GAHM0C
| URI | m2://inv/FQX2GAHM0C |
|---|---|
| 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.01029#K4Y3 (statement). In KA8VS65Z9G/e1, proposition 10
History
- 2026-10-29: add by m2/v0.4.12
FQX721A79Q FQX721A79Q
| URI | m2://inv/FQX721A79Q |
|---|---|
| Kind | proof |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- lebl_ra: lebl_ra ch-metric.tex#proof-7 (proof). In E59CDZA4DP, proof, section 4.2.2
History
- 2026-11-01: add by m2/v0.6.13
List of common coordinate transformations FQX9BQ41M8
| URI | m2://inv/FQX9BQ41M8 |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of common coordinate transformations, List of common coordinate transformations (topic). Also Wikidata Q4814133
History
- 2026-11-02: add by m2/dev
FQXBQ3E7K9 FQXBQ3E7K9
| URI | m2://inv/FQXBQ3E7K9 |
|---|---|
| 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 2603.21971#LQD3 (statement). In R6KSZ9H8CY/e1, lemma A.1
History
- 2026-10-27: add by m2/v0.3.5
Discrete-time Fourier transform FQXD96TB0B
| URI | m2://inv/FQXD96TB0B |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Discrete-time Fourier transform, Discrete-time Fourier transform (definition). Also Wikidata Q1440048
History
- 2026-11-02: add by m2/dev
FQXFXGSMCQ FQXFXGSMCQ
| URI | m2://inv/FQXFXGSMCQ |
|---|---|
| Kind | example |
| 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 2508.07340#JZZA (example). In 2HSB99DW4M/e1, example 5.7
History
- 2026-10-27: add by m2/v0.3.6
Construction FQXJ5N7V4E
| URI | m2://inv/FQXJ5N7V4E |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Spiral of Theodorus#QUHJ, Construction (definition)
History
- 2026-11-02: add by m2/dev
Niccolò Aggiunti FQXK208S0G
| URI | m2://inv/FQXK208S0G |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Niccolò Aggiunti, Niccolò Aggiunti (topic). Also Wikidata Q3875822
History
- 2026-11-02: add by m2/dev
Properties FQXPDKC6YJ
| URI | m2://inv/FQXPDKC6YJ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Complete measure#22A4, Properties (statement)
History
- 2026-11-02: add by m2/dev
FQXY516DYH FQXY516DYH
| URI | m2://inv/FQXY516DYH |
|---|---|
| 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 2508.02432#N25Y (statement). In B366ACYB37/e1, theorem 3.35
History
- 2026-10-27: add by m2/v0.3.5
Weak representation theorem FQXYD73XXK
| URI | m2://inv/FQXYD73XXK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Dual system#Q4JU, Weak representation theorem (statement)
History
- 2026-11-02: add by m2/dev
Unsolved problems FQY5KCDZV6
| URI | m2://inv/FQY5KCDZV6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Euclid number#MJ8V, Unsolved problems (statement)
History
- 2026-11-02: add by m2/dev
FQYADFTYMZ FQYADFTYMZ
| URI | m2://inv/FQYADFTYMZ |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 20-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.00786#PE2I (statement). In XKEE0DK6N3/e1, lemma 5.4
History
- 2026-10-29: add by m2/v0.4.12
FQYF9Q569M FQYF9Q569M
| URI | m2://inv/FQYF9Q569M |
|---|---|
| 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 2108.09796#GJTS (statement). In NAA7WFQN20/e1, lemma 8.1
History
- 2026-10-27: add by m2/v0.3.5
FQYHPSE44F FQYHPSE44F
| URI | m2://inv/FQYHPSE44F |
|---|---|
| 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.11082#898M (statement). In GFPFFN0BXV/e1, lemma 7
History
- 2026-10-28: add by m2/v0.4.3
FQYHVFMS1K FQYHVFMS1K
| URI | m2://inv/FQYHVFMS1K |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 26-XX, 35-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2609.34295#KQN4 (statement). In A93R925Z24/e1, proposition 14.1
History
- 2026-10-30: add by m2/v0.4.12
FQYND6T94K FQYND6T94K
| URI | m2://inv/FQYND6T94K |
|---|---|
| Kind | definition |
| Layer | research |
| MSC | 46-XX, 47-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2610.13385#F5G3 (definition). In J99CBQ3QYD/e1, definition 2.2
History
- 2026-10-28: add by m2/v0.4.2
Immersed plane curve FQYS90018J
| URI | m2://inv/FQYS90018J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Immersion (mathematics)#EZZF, Immersed plane curve (unknown)
History
- 2026-11-02: add by m2/dev
FQZ2HJ5TGG FQZ2HJ5TGG
| URI | m2://inv/FQZ2HJ5TGG |
|---|---|
| Kind | example |
| Layer | research |
| MSC | 16-XX, 18-XX, 19-XX, 20-XX, 22-XX, 55-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2410.14097#PPVP (example). In H52QQS8WZA/e1, example 2.3
History
- 2026-10-27: add by m2/v0.3.5
FQZ41S6NWK FQZ41S6NWK
| URI | m2://inv/FQZ41S6NWK |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- napkin: napkin tex/set-theory/cardinal.tex#proposition-2 (statement). In RZP28ERRZV, proposition, section 89.3
History
- 2026-11-01: add by m2/v0.6.13
Expected subtree counts FQZ62PX9RQ
| URI | m2://inv/FQZ62PX9RQ |
|---|---|
| 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 2609.30098#VSXL, Expected subtree counts (statement)
History
- 2026-11-01: add by m2/v0.6.15
FQZ70ZTRB3 FQZ70ZTRB3
| URI | m2://inv/FQZ70ZTRB3 |
|---|---|
| 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 1707.07744#3OLX (statement). In WAFGHHHJY9/e1, theorem 1
History
- 2026-10-27: add by m2/v0.3.5
FQZANJER0H FQZANJER0H
| URI | m2://inv/FQZANJER0H |
|---|---|
| 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.01932#F2UB (statement). In XDKWW6NR0K/e1, corollary 3.13
History
- 2026-10-29: add by m2/v0.4.12
FQZKTA21A1 FQZKTA21A1
| URI | m2://inv/FQZKTA21A1 |
|---|---|
| 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.17258#22D1 (statement). In F4M67ZVBF2/e1, lemma A.2
History
- 2026-10-28: add by m2/v0.4.2
Ado's theorem FQZMJWE06F
| URI | m2://inv/FQZMJWE06F |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia List of theorems#94IY, Ado's theorem (statement)
History
- 2026-11-02: add by m2/dev
FQZN0D9Z0S FQZN0D9Z0S
| URI | m2://inv/FQZN0D9Z0S |
|---|---|
| Kind | statement |
| Layer | research |
| MSC | 03-XX |
| Sources | 1 |
| Outcome | record (an item of a paper that no node asks for yet. The record keeps its edges in the record plane (corpus arxiv AX8.6)) |
| Node | None yet. Write the node. |
Mentions
- arxiv: arXiv 2204.13401#6C5Y (statement). In B8MJT0GGW8/e1, theorem 4.27
History
- 2026-10-27: add by m2/v0.4.0
Examples FQZNHDY133
| URI | m2://inv/FQZNHDY133 |
|---|---|
| Kind | example |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Chern class#UNGS, Examples (example)
History
- 2026-11-02: add by m2/dev
Kantor double FQZP2XBXMS
| URI | m2://inv/FQZP2XBXMS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikipedia: Wikipedia Kantor double, Kantor double (definition). Also Wikidata Q6365564
History
- 2026-11-02: add by m2/dev
FQZTKZ7YZ1 FQZTKZ7YZ1
| URI | m2://inv/FQZTKZ7YZ1 |
|---|---|
| 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.14154#LZZZ (statement). In 8X6PXX2TRA/e1, theorem 7.2
History
- 2026-10-28: add by m2/v0.4.2
FQZZX0P56M FQZZX0P56M
| URI | m2://inv/FQZZX0P56M |
|---|---|
| Kind | statement |
| 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.17669#0UP2 (statement). In RAWXJ72WWA/e1, proposition 3.16
History
- 2026-10-28: add by m2/v0.4.2