Inventory rows CY
The cards of the rows of the inventory whose ids start with CY. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
natural language CY0GHZ5BY6
| URI | m2://inv/CY0GHZ5BY6 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q33742, natural language (definition). Also ProofWiki Definition:Natural_Language
History
- 2026-10-26: add by m2/dev
Jacobi zeta function CY3Z4JV6BR
| URI | m2://inv/CY3Z4JV6BR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6119653, Jacobi zeta function (unknown). Also MathWorld JacobiZetaFunction
History
- 2026-10-26: add by m2/dev
fusion category CY4XCKZMMY
| URI | m2://inv/CY4XCKZMMY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q30672665, fusion category (unknown). Also nLab fusion category
History
- 2026-10-26: add by m2/dev
related rates CY74CGX7SV
| URI | m2://inv/CY74CGX7SV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q12244048, related rates (unknown). Also MathWorld RelatedRatesProblem
History
- 2026-10-26: add by m2/dev
Maryam Mirzakhani CY7CQEBGM4
| URI | m2://inv/CY7CQEBGM4 |
|---|---|
| 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 Q1771279, Maryam Mirzakhani (unknown). Also nLab Maryam Mirzakhani, ProofWiki Mathematician:Maryam_Mirzakhani
History
- 2026-10-26: add by m2/dev
transcendental curve CY8C6XRYA2
| URI | m2://inv/CY8C6XRYA2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3314668, transcendental curve (unknown). Also EoM Transcendental_curve, MathWorld TranscendentalCurve
History
- 2026-10-26: add by m2/dev
derivative of the inverse of a function CY8WAB7N9A
| URI | m2://inv/CY8WAB7N9A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Differentiability > derivative of the inverse of a function, derivative of the inverse of a function (unknown). Also Mathlib HasStrictDerivAt.of_local_left_inverse
History
- 2026-10-26: add by m2/dev
path connectedness CY99NM59T8
| URI | m2://inv/CY99NM59T8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Topology and Metric Spaces > path connectedness, path connectedness (unknown). Also Mathlib IsPathConnected
History
- 2026-10-26: add by m2/dev
Johannes Kepler CY9FC4R595
| URI | m2://inv/CY9FC4R595 |
|---|---|
| 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 Q8963, Johannes Kepler (unknown). Also nLab Johannes Kepler, ProofWiki Mathematician:Johannes_Kepler
History
- 2026-10-26: add by m2/dev
Robinson projection CYED3M2AXY
| URI | m2://inv/CYED3M2AXY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q963903, Robinson projection (unknown). Also MathWorld RobinsonProjection
History
- 2026-10-26: add by m2/dev
Friedman number CYK045W2HR
| URI | m2://inv/CYK045W2HR |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2300333, Friedman number (object). Also OEIS A036057
History
- 2026-10-26: add by m2/dev
Gaetan Borot CYKXC981P7
| URI | m2://inv/CYKXC981P7 |
|---|---|
| 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 Q85050415, Gaetan Borot (unknown). Also nLab Gaëtan Borot
History
- 2026-10-26: add by m2/dev
triangle CYNZS0TJRN
| URI | m2://inv/CYNZS0TJRN |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Triangle 0CTNFGYMM2 |
Mentions
- wikidata: Wikidata Q19821, triangle (definition). Also MathWorld Triangle, ProofWiki Definition:Triangle_(Geometry)
History
- 2026-10-26: add by m2/dev
Quillen–Suslin theorem CYSNF7R5WE
| URI | m2://inv/CYSNF7R5WE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 16-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7272004, Quillen–Suslin theorem (statement). Also Wikidata Q7272004
- thousand_plus: thousand_plus Q7272004, Quillen–Suslin theorem (statement). Also Wikidata Q7272004, Wikipedia Quillen–Suslin theorem
- wikidata: Wikidata Q7272004, Quillen–Suslin theorem (statement). Also MathWorld SerresProblem
History
- 2026-10-26: add by m2/dev
pico CYVQEKF1AT
| URI | m2://inv/CYVQEKF1AT |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q154341, pico (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/pico-
History
- 2026-10-26: add by m2/dev
Greek alphabetic numerals CYY0ENS9W7
| URI | m2://inv/CYY0ENS9W7 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q108645, Greek alphabetic numerals (definition). Also MathWorld GreekNumerals, ProofWiki Definition:Greek_Numerals
History
- 2026-10-26: add by m2/dev