Inventory rows 42
The cards of the rows of the inventory whose ids start with 42. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Laman graph 420BJX7MF9
| URI | m2://inv/420BJX7MF9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4253458, Laman graph (unknown). Also MathWorld LamanGraph
History
- 2026-10-26: add by m2/dev
isomorphism 420NB7AWFP
| URI | m2://inv/420NB7AWFP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Category theory > isomorphism, isomorphism (unknown). Also Mathlib CategoryTheory.Iso
History
- 2026-10-26: add by m2/dev
Darboux's theorem (analysis) 421SD8A1WB
| URI | m2://inv/421SD8A1WB |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q660799, Darboux's theorem (analysis) (statement). Also Mathlib exists_hasDerivWithinAt_eq_of_gt_of_lt, Mathlib exists_hasDerivWithinAt_eq_of_lt_of_gt, Mathlib Set.OrdConnected.image_hasDerivWithinAt, Mathlib Set.OrdConnected.image_derivWithin, Mathlib Set.OrdConnected.image_deriv, Mathlib Convex.image_hasDerivWithinAt, Mathlib Convex.image_derivWithin, Mathlib Convex.image_deriv, Mathlib exists_hasDerivWithinAt_eq_of_ge_of_le, Mathlib exists_hasDerivWithinAt_eq_of_le_of_ge, Wikidata Q660799
- thousand_plus: thousand_plus Q660799, Darboux's theorem (analysis) (statement). Also Mathlib exists_hasDerivWithinAt_eq_of_gt_of_lt, Mathlib exists_hasDerivWithinAt_eq_of_lt_of_gt, Mathlib Set.OrdConnected.image_hasDerivWithinAt, Mathlib Set.OrdConnected.image_derivWithin, Mathlib Set.OrdConnected.image_deriv, Mathlib Convex.image_hasDerivWithinAt, Mathlib Convex.image_derivWithin, Mathlib Convex.image_deriv, Mathlib exists_hasDerivWithinAt_eq_of_ge_of_le, Mathlib exists_hasDerivWithinAt_eq_of_le_of_ge, Wikidata Q660799, Wikipedia Darboux's theorem (analysis)
History
- 2026-10-26: add by m2/dev
cartography 42518XC42Y
| URI | m2://inv/42518XC42Y |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q42515, cartography (unknown). Also EoM Cartography,_mathematical_problems_in, MathWorld Cartography
History
- 2026-10-26: add by m2/dev
Dodgson condensation 425FFH2Y28
| URI | m2://inv/425FFH2Y28 |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4230490, Dodgson condensation (concept). Also MathWorld Condensation
History
- 2026-10-26: add by m2/dev
Schwartz space 4267F89EZY
| URI | m2://inv/4267F89EZY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Distribution theory > Schwartz space, Schwartz space (unknown). Also Mathlib SchwartzMap
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{S}(\R^d)$ > Schwartz space of rapidly decreasing functions, Schwartz space of rapidly decreasing functions (unknown). Also Mathlib SchwartzMap
History
- 2026-10-26: add by m2/dev
solution set 426E80EKA9
| URI | m2://inv/426E80EKA9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1751685, solution set (unknown). Also MathWorld SolutionSet
History
- 2026-10-26: add by m2/dev
subsystem 429A5CW4TJ
| URI | m2://inv/429A5CW4TJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2362312, subsystem (unknown). Also nLab subsystem
History
- 2026-10-26: add by m2/dev
hyper-real number 42AZD21EME
| URI | m2://inv/42AZD21EME |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Numbers > hyper-real number, hyper-real number (unknown). Also Mathlib Hyperreal
History
- 2026-10-26: add by m2/dev
Newton's theorem (quadrilateral) 42B1QZBTTC
| URI | m2://inv/42B1QZBTTC |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 51-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q15872491, Newton's theorem (quadrilateral) (statement). Also Wikidata Q15872491
- thousand_plus: thousand_plus Q15872491, Newton's theorem (quadrilateral) (statement). Also Wikidata Q15872491, Wikipedia Newton's theorem (quadrilateral)
History
- 2026-10-26: add by m2/dev
example, classical Hilbert bases of orthogonal polynomials 42BDZZC893
| URI | m2://inv/42BDZZC893 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > example, classical Hilbert bases of orthogonal polynomials, example, classical Hilbert bases of orthogonal polynomials (unknown)
History
- 2026-10-26: add by m2/dev
Minkowski–Bouligand dimension 42DFHHHX97
| URI | m2://inv/42DFHHHX97 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2555655, Minkowski–Bouligand dimension (unknown). Also MathWorld Minkowski-BouligandDimension
History
- 2026-10-26: add by m2/dev
Faulhaber's formula 42ERY1YDKK
| URI | m2://inv/42ERY1YDKK |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1398443, Faulhaber's formula (unknown). Also MathWorld FaulhabersFormula
History
- 2026-10-26: add by m2/dev
symmetric matrix 42HBTH0KFH
| URI | m2://inv/42HBTH0KFH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Symmetric matrix 0VR671PHE5 |
Mentions
- wikidata: Wikidata Q339011, symmetric matrix (unknown). Also EoM Symmetric_matrix, MathWorld SymmetricMatrix
History
- 2026-10-26: add by m2/dev
speed 42JE3TNAP1
| URI | m2://inv/42JE3TNAP1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3711325, speed (definition). Also MathWorld Speed, nLab speed, ProofWiki Definition:Speed
History
- 2026-10-26: add by m2/dev
Yuri Linnik 42JM7P6GT8
| URI | m2://inv/42JM7P6GT8 |
|---|---|
| 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 Q1384632, Yuri Linnik (unknown). Also ProofWiki Mathematician:Yuri_Vladimirovich_Linnik
History
- 2026-10-26: add by m2/dev
heptagon 42KCTS8K3C
| URI | m2://inv/42KCTS8K3C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q188866, heptagon (unknown). Also MathWorld Heptagon
History
- 2026-10-26: add by m2/dev
Paolo Aschieri 42MZCTYKJ7
| URI | m2://inv/42MZCTYKJ7 |
|---|---|
| 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 Q102410464, Paolo Aschieri (unknown). Also nLab Paolo Aschieri
History
- 2026-10-26: add by m2/dev