Inventory rows Z7
The cards of the rows of the inventory whose ids start with Z7. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
using convolution and Fourier-Laplace transform to solve one-dimensional linear differential equations Z7343QX484
| URI | m2://inv/Z7343QX484 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Applications > using convolution and Fourier-Laplace transform to solve one-dimensional linear differential equations, using convolution and Fourier-Laplace transform to solve one-dimensional linear differential equations (unknown)
History
- 2026-10-26: add by m2/dev
cross of Lorraine Z7F2MD4M32
| URI | m2://inv/Z7F2MD4M32 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q166208, cross of Lorraine (unknown). Also MathWorld GaullistCross
History
- 2026-10-26: add by m2/dev
Mario Pasquato Z7FG0S8HQ3
| URI | m2://inv/Z7FG0S8HQ3 |
|---|---|
| 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 Q41223016, Mario Pasquato (unknown). Also nLab Mario Pasquato
History
- 2026-10-26: add by m2/dev
bound variable Z7JEEJMZ2D
| URI | m2://inv/Z7JEEJMZ2D |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q93426845, bound variable (unknown). Also EoM Bound_variable, MathWorld BoundVariable, MathWorld DummyVariable
History
- 2026-10-26: add by m2/dev
John ellipsoid Z7JHCDJ7P6
| URI | m2://inv/Z7JHCDJ7P6 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1699024, John ellipsoid (statement). Also Wikidata Q1699024
- thousand_plus: thousand_plus Q1699024, John ellipsoid (statement). Also Wikidata Q1699024, Wikipedia John ellipsoid
History
- 2026-10-26: add by m2/dev
conclusion Z7K7VZTDTZ
| URI | m2://inv/Z7K7VZTDTZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20665666, conclusion (unknown). Also MathWorld Conclusion
History
- 2026-10-26: add by m2/dev
Julie Bergner Z7KRDKDH6Q
| URI | m2://inv/Z7KRDKDH6Q |
|---|---|
| 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 Q58494998, Julie Bergner (unknown). Also nLab Julie Bergner
History
- 2026-10-26: add by m2/dev
Geometric series Z7P1B63RGH
| URI | m2://inv/Z7P1B63RGH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Numerical series > Geometric series, Geometric series (unknown). Also Mathlib tsum_geometric_of_norm_lt_one
History
- 2026-10-26: add by m2/dev
complex classification Z7T0EW82HR
| URI | m2://inv/Z7T0EW82HR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Orthogonality > complex classification, complex classification (unknown). Also Mathlib QuadraticForm.equivalent_weightedSumSquares_of_isAlgClosed
History
- 2026-10-26: add by m2/dev
Lax–Wendroff theorem Z7VMSQAHSD
| URI | m2://inv/Z7VMSQAHSD |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 65-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3527110, Lax–Wendroff theorem (statement). Also Wikidata Q3527110
- thousand_plus: thousand_plus Q3527110, Lax–Wendroff theorem (statement). Also Wikidata Q3527110, Wikipedia Lax–Wendroff theorem
History
- 2026-10-26: add by m2/dev
lemniscatic elliptic function Z7YM77MWSW
| URI | m2://inv/Z7YM77MWSW |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6521248, lemniscatic elliptic function (unknown). Also MathWorld LemniscateFunction
History
- 2026-10-26: add by m2/dev