Inventory rows AH
The cards of the rows of the inventory whose ids start with AH. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
almost sure convergence AH0AZGS9G5
| URI | m2://inv/AH0AZGS9G5 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2899409, almost sure convergence (definition). Also MathWorld AlmostEverywhereConvergence, ProofWiki Definition:Convergence_Almost_Everywhere
History
- 2026-10-26: add by m2/dev
secant method AH2DVV17FH
| URI | m2://inv/AH2DVV17FH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q14915286, secant method (unknown). Also MathWorld SecantMethod
History
- 2026-10-26: add by m2/dev
John Preskill AH2KR98ZHR
| URI | m2://inv/AH2KR98ZHR |
|---|---|
| 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 Q722128, John Preskill (unknown). Also nLab John Preskill
History
- 2026-10-26: add by m2/dev
invariant manifold AH339HHNB1
| URI | m2://inv/AH339HHNB1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4200516, invariant manifold (unknown). Also MathWorld InvariantManifold
History
- 2026-10-26: add by m2/dev
Lehmer mean AH4N733TQY
| URI | m2://inv/AH4N733TQY |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1813177, Lehmer mean (concept). Also MathWorld LehmerMean
History
- 2026-10-26: add by m2/dev
Claudio Carmeli AH6P022PC5
| URI | m2://inv/AH6P022PC5 |
|---|---|
| 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 Q62057140, Claudio Carmeli (unknown). Also nLab Claudio Carmeli
History
- 2026-10-26: add by m2/dev
Riemannian manifold AH6T3GEQSS
| URI | m2://inv/AH6T3GEQSS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Riemannian manifolds > Riemannian manifold, Riemannian manifold (unknown). Also Mathlib IsRiemannianManifold
History
- 2026-10-26: add by m2/dev
Kirszbraun theorem AH7E8B64A0
| URI | m2://inv/AH7E8B64A0 |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q4454954, Kirszbraun theorem (statement). Also Wikidata Q4454954
- thousand_plus: thousand_plus Q4454954, Kirszbraun theorem (statement). Also Wikidata Q4454954, Wikipedia Kirszbraun theorem
History
- 2026-10-26: add by m2/dev
quantum field theory in curved spacetime AHDYPP66AT
| URI | m2://inv/AHDYPP66AT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2246697, quantum field theory in curved spacetime (unknown). Also nLab AQFT on curved spacetimes
History
- 2026-10-26: add by m2/dev
fast Fourier transform AHEZTJ6HS9
| URI | m2://inv/AHEZTJ6HS9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Numerical Analysis > Fourier transform > fast Fourier transform, fast Fourier transform (unknown)
History
- 2026-10-26: add by m2/dev
plasticity theory AHFKR3RNJB
| URI | m2://inv/AHFKR3RNJB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1558058, plasticity theory (unknown). Also EoM Plasticity,_mathematical_theory_of
History
- 2026-10-26: add by m2/dev
Ciprian Foias AHFZQBD1TM
| URI | m2://inv/AHFZQBD1TM |
|---|---|
| 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 Q957316, Ciprian Foias (unknown). Also ProofWiki Mathematician:Ciprian_Ilie_Foiaș
History
- 2026-10-26: add by m2/dev
cardinal arithmetic AHG2KQKHNQ
| URI | m2://inv/AHG2KQKHNQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1729107, cardinal arithmetic (unknown). Also nLab cardinal arithmetic
History
- 2026-10-26: add by m2/dev
cellular map AHJM311SSD
| URI | m2://inv/AHJM311SSD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91748020, cellular map (unknown). Also MathWorld CellularMap, nLab cellular map
History
- 2026-10-26: add by m2/dev
SI prefix AHY1DBR5TD
| URI | m2://inv/AHY1DBR5TD |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q131299, SI prefix (definition). Also MathWorld SIPrefixes, ProofWiki Definition:Metric_System/Scaling_Prefixes
History
- 2026-10-26: add by m2/dev
special unitary group AHY9TYTGMM
| URI | m2://inv/AHY9TYTGMM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q684363, special unitary group (definition). Also MathWorld SpecialUnitaryGroup, nLab special unitary group, ProofWiki Definition:Special_Unitary_Group
History
- 2026-10-26: add by m2/dev
multilinear map AHYWTHEGBT
| URI | m2://inv/AHYWTHEGBT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Fundamentals > multilinear map, multilinear map (unknown). Also Mathlib MultilinearMap
- mathlib_undergrad: mathlib_undergrad Linear algebra > Multilinearity > multilinear map, multilinear map (unknown). Also Mathlib MultilinearMap
History
- 2026-10-26: add by m2/dev