Inventory rows 99
The cards of the rows of the inventory whose ids start with 99. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
simple ring 990MK4CGV7
| URI | m2://inv/990MK4CGV7 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2326800, simple ring (unknown). Also EoM Simple_ring, MathWorld SimpleRing, nLab simple ring
History
- 2026-10-26: add by m2/dev
cartesian closed category 99692TAN41
| URI | m2://inv/99692TAN41 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1725874, cartesian closed category (definition). Also EoM Cartesian-closed_category, nLab cartesian closed category, ProofWiki Definition:Cartesian_Closed_Category
History
- 2026-10-26: add by m2/dev
Jan Nekovář 99710J4PTH
| URI | m2://inv/99710J4PTH |
|---|---|
| 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 Q15455421, Jan Nekovář (unknown). Also nLab Jan Nekovar
History
- 2026-10-26: add by m2/dev
multifactorial 997STFRE1S
| URI | m2://inv/997STFRE1S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q28158324, multifactorial (unknown). Also MathWorld Multifactorial
History
- 2026-10-26: add by m2/dev
Pascal's rule 9992VXCXRQ
| URI | m2://inv/9992VXCXRQ |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Pascal's rule 0YRG241HQQ |
Mentions
- wikidata: Wikidata Q17099544, Pascal's rule (statement). Also MathWorld PascalsFormula
History
- 2026-10-26: add by m2/dev
art gallery problem 99ACFT0X9Y
| URI | m2://inv/99ACFT0X9Y |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2000090, Art gallery theorem (statement). Also Wikidata Q2000090
- thousand_plus: thousand_plus Q2000090, Art gallery theorem (statement). Also Wikidata Q2000090, Wikipedia Art gallery theorem
- wikidata: Wikidata Q2000090, art gallery problem (problem). Also MathWorld ArtGalleryTheorem
History
- 2026-10-26: add by m2/dev
Perkel graph 99DT281ZDA
| URI | m2://inv/99DT281ZDA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115520, Perkel graph (unknown). Also House of Graphs 1266, MathWorld PerkelGraph
History
- 2026-10-26: add by m2/dev
geodesics on an ellipsoid 99FCXMJ6RG
| URI | m2://inv/99FCXMJ6RG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1408386, geodesics on an ellipsoid (unknown). Also MathWorld EllipsoidGeodesic
History
- 2026-10-26: add by m2/dev
Titchmarsh convolution theorem 99GJH10V75
| URI | m2://inv/99GJH10V75 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 30-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q7809920, Titchmarsh convolution theorem (statement). Also Wikidata Q7809920
- thousand_plus: thousand_plus Q7809920, Titchmarsh convolution theorem (statement). Also Wikidata Q7809920, Wikipedia Titchmarsh convolution theorem
History
- 2026-10-26: add by m2/dev
Absolute Pseudoprime 99HBZ3W9TY
| URI | m2://inv/99HBZ3W9TY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105332764, Absolute Pseudoprime (concept). Also MathWorld AbsolutePseudoprime
History
- 2026-10-26: add by m2/dev
fixed-point theorem 99HXNMFEFW
| URI | m2://inv/99HXNMFEFW |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 35R35 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1422068, fixed-point theorem (topic)
History
- 2026-10-26: add by m2/dev
change of variables formula 99N5R7P75Z
| URI | m2://inv/99N5R7P75Z |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > change of variables formula, change of variables formula (unknown). Also Mathlib MeasureTheory.integral_image_eq_integral_abs_det_fderiv_smul
- mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > change of variables for multiple integrals, change of variables for multiple integrals (unknown). Also Mathlib MeasureTheory.integral_image_eq_integral_abs_det_fderiv_smul
History
- 2026-10-26: add by m2/dev
fluid mechanics 99PQ2Y9G9B
| URI | m2://inv/99PQ2Y9G9B |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 76-XX |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q172145, fluid mechanics (topic). Also ProofWiki Definition:Fluid_Mechanics
History
- 2026-10-26: add by m2/dev
Brahmagupta's identity 99RTSJPED0
| URI | m2://inv/99RTSJPED0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q17005467, Brahmagupta's identity (statement). Also MathWorld BrahmaguptaIdentity
History
- 2026-10-26: add by m2/dev
Zernike polynomials 99RX45EE6M
| URI | m2://inv/99RX45EE6M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q132146, Zernike polynomials (unknown). Also MathWorld ZernikePolynomial
History
- 2026-10-26: add by m2/dev
font 99T0X16J5C
| URI | m2://inv/99T0X16J5C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4868296, font (unknown). Also ProofWiki Symbols:Fonts
History
- 2026-10-26: add by m2/dev
hyperperfect number 99TTDW3K15
| URI | m2://inv/99TTDW3K15 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q839528, hyperperfect number (unknown). Also MathWorld HyperperfectNumber, OEIS A034897
History
- 2026-10-26: add by m2/dev
Mathieu function 99WE0CCPBE
| URI | m2://inv/99WE0CCPBE |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1908689, Mathieu function (concept). Also EoM Mathieu_equation, MathWorld MathieuFunction
History
- 2026-10-26: add by m2/dev
postulates of special relativity 99YRDT31BZ
| URI | m2://inv/99YRDT31BZ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1309317, postulates of special relativity (definition). Also ProofWiki Definition:Special_Theory_of_Relativity/Postulates
History
- 2026-10-26: add by m2/dev
curved mirror 99YSX6D3HE
| URI | m2://inv/99YSX6D3HE |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1506584, curved mirror (unknown). Also MathWorld SphericalMirror
History
- 2026-10-26: add by m2/dev