Inventory rows RC
The cards of the rows of the inventory whose ids start with RC. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Novikov conjecture RC2JNR11CF
| URI | m2://inv/RC2JNR11CF |
|---|---|
| Kind | conjecture |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7064908, Novikov conjecture (conjecture). Also nLab Novikov conjecture
History
- 2026-10-26: add by m2/dev
Gromov's theorem on groups of polynomial growth RC4VJVQFQK
| URI | m2://inv/RC4VJVQFQK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 20-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527091, Gromov's theorem on groups of polynomial growth (statement). Also Wikidata Q3527091
- thousand_plus: thousand_plus Q3527091, Gromov's theorem on groups of polynomial growth (statement). Also Wikidata Q3527091, Wikipedia Gromov's theorem on groups of polynomial growth, Wikipedia Bass's theorem
History
- 2026-10-26: add by m2/dev
Fransén–Robinson constant RC9JHCG00F
| URI | m2://inv/RC9JHCG00F |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1445544, Fransén–Robinson constant (object). Also MathWorld Fransen-RobinsonConstant, OEIS A058655
History
- 2026-10-26: add by m2/dev
Brown's representability theorem RC9ZFXTKRY
| URI | m2://inv/RC9ZFXTKRY |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 14-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4975963, Brown's representability theorem (statement). Also Wikidata Q4975963
- thousand_plus: thousand_plus Q4975963, Brown's representability theorem (statement). Also Wikidata Q4975963, Wikipedia Brown's representability theorem
- wikidata: Wikidata Q4975963, Brown's representability theorem (statement). Also nLab Brown representability theorem
History
- 2026-10-26: add by m2/dev
Murat Günaydın RCEF4VCX6M
| URI | m2://inv/RCEF4VCX6M |
|---|---|
| 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 Q67152131, Murat Günaydın (unknown). Also nLab Murat Günaydin
History
- 2026-10-26: add by m2/dev
differentiability of integrals with respect to parameters RCGJX9K05V
| URI | m2://inv/RCGJX9K05V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > differentiability of integrals with respect to parameters, differentiability of integrals with respect to parameters (unknown). Also Mathlib IntervalIntegrable.ae_hasDerivAt_integral
History
- 2026-10-26: add by m2/dev
path-connected space RCM0BR74EY
| URI | m2://inv/RCM0BR74EY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3487687, path-connected space (unknown). Also MathWorld Pathwise-Connected
History
- 2026-10-26: add by m2/dev
Adriaan van Wijngaarden RCP5Y4VADN
| URI | m2://inv/RCP5Y4VADN |
|---|---|
| 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 Q93015, Adriaan van Wijngaarden (unknown). Also ProofWiki Mathematician:Adriaan_van_Wijngaarden
History
- 2026-10-26: add by m2/dev
elementary number theory RCPA6VZV19
| URI | m2://inv/RCPA6VZV19 |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 11Axx |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q18450254, elementary number theory (topic). Also MathWorld ElementaryNumberTheory
History
- 2026-10-26: add by m2/dev
quantum effect RCPQ69MJTT
| URI | m2://inv/RCPQ69MJTT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1872885, quantum effect (definition). Also ProofWiki Definition:Quantum_Phenomenon
History
- 2026-10-26: add by m2/dev
baud RCRQHT9VVT
| URI | m2://inv/RCRQHT9VVT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q192027, baud (unknown). Also MathWorld Baud
History
- 2026-10-26: add by m2/dev
Zsigmondy's theorem RCSSXDE1YN
| URI | m2://inv/RCSSXDE1YN |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q8074796, Zsigmondy's theorem (statement). Also Wikidata Q8074796
- thousand_plus: thousand_plus Q8074796, Zsigmondy's theorem (statement). Also Wikidata Q8074796, Wikipedia Zsigmondy's theorem
- wikidata: Wikidata Q8074796, Zsigmondy's theorem (statement). Also MathWorld ZsigmondyTheorem
History
- 2026-10-26: add by m2/dev
socle RCVV4WDDG5
| URI | m2://inv/RCVV4WDDG5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7553048, socle (unknown). Also MathWorld Socle, nLab socle
History
- 2026-10-26: add by m2/dev
Fock space RCXW5XJVPR
| URI | m2://inv/RCXW5XJVPR |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q899044, Fock space (concept). Also nLab Fock space
History
- 2026-10-26: add by m2/dev
Floor (e^(n / log(n))). RCYH1E6972
| URI | m2://inv/RCYH1E6972 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q100194197, Floor (e^(n / log(n))). (object). Also OEIS A096181
History
- 2026-10-26: add by m2/dev
probability RCYM4B7YHG
| URI | m2://inv/RCYM4B7YHG |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9492, probability (definition). Also EoM Probability, MathWorld Probability, ProofWiki Definition:Probability
History
- 2026-10-26: add by m2/dev