Inventory rows AT
The cards of the rows of the inventory whose ids start with AT. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Sergei Gukov AT1DNVY1SC
| URI | m2://inv/AT1DNVY1SC |
|---|---|
| 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 Q7453551, Sergei Gukov (unknown). Also nLab Sergei Gukov
History
- 2026-10-26: add by m2/dev
derangement AT1HVABQDQ
| URI | m2://inv/AT1HVABQDQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Derangement 0XHWTD3MPV |
Mentions
- wikidata: Wikidata Q1207920, derangement (unknown). Also EoM Derangement, MathWorld Derangement
History
- 2026-10-26: add by m2/dev
Paul Steinhardt AT5QB0X5PE
| URI | m2://inv/AT5QB0X5PE |
|---|---|
| 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 Q964294, Paul Steinhardt (unknown). Also nLab Paul Steinhardt
History
- 2026-10-26: add by m2/dev
Pappus graph AT5R3AMGPT
| URI | m2://inv/AT5R3AMGPT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115526, Pappus graph (unknown). Also House of Graphs 1248, MathWorld PappusGraph
History
- 2026-10-26: add by m2/dev
orthogonal set AT74V15QXC
| URI | m2://inv/AT74V15QXC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q20877816, orthogonal set (unknown). Also MathWorld OrthogonalSet, MathWorld OrthogonalVectors
History
- 2026-10-26: add by m2/dev
Four-vertex theorem ATBK36NSNE
| URI | m2://inv/ATBK36NSNE |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 53-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q994401, Four-vertex theorem (statement). Also Wikidata Q994401
- thousand_plus: thousand_plus Q994401, Four-vertex theorem (statement). Also Wikidata Q994401, Wikipedia Four-vertex theorem
History
- 2026-10-26: add by m2/dev
Clifford module bundle ATCGEERC6Q
| URI | m2://inv/ATCGEERC6Q |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16949216, Clifford module bundle (unknown). Also nLab Clifford module bundle
History
- 2026-10-26: add by m2/dev
perfect information ATD7M067MC
| URI | m2://inv/ATD7M067MC |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1074338, perfect information (unknown). Also MathWorld PerfectInformation
History
- 2026-10-26: add by m2/dev
logarithm ATDEGAS7TG
| URI | m2://inv/ATDEGAS7TG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Analysis > Special functions > logarithm, logarithm (unknown). Also Mathlib Real.log
- mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Elementary functions (trigonometric, rational, $\exp$, $\log$, etc) > logarithms, logarithms (unknown). Also Mathlib Real.log
- wikidata: Wikidata Q11197, logarithm (unknown). Also EoM Logarithm_of_a_number, Mathlib Real.log, MathWorld Logarithm, nLab logarithm
History
- 2026-10-26: add by m2/dev
algorithms for calculating variance ATE7K15Z3R
| URI | m2://inv/ATE7K15Z3R |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4724375, algorithms for calculating variance (unknown). Also MathWorld SampleVarianceComputation
History
- 2026-10-26: add by m2/dev
naked singularity ATEDHS0E3S
| URI | m2://inv/ATEDHS0E3S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q285949, naked singularity (unknown). Also EoM Naked_singularity, nLab naked singularity
History
- 2026-10-26: add by m2/dev
sexagesimal ATEF2Q7K51
| URI | m2://inv/ATEF2Q7K51 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q114799, sexagesimal (unknown). Also MathWorld Sexagesimal
History
- 2026-10-26: add by m2/dev
discrete geometry ATK1YNNRFQ
| URI | m2://inv/ATK1YNNRFQ |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 52Cxx |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q906377, discrete geometry (topic). Also ProofWiki Definition:Discrete_Geometry
History
- 2026-10-26: add by m2/dev
Glivenko's theorem (probability theory) ATKP49354H
| URI | m2://inv/ATKP49354H |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q28458131, Glivenko's theorem (probability theory) (statement). Also Wikidata Q28458131
- thousand_plus: thousand_plus Q28458131, Glivenko's theorem (statement). Also Wikidata Q28458131, Wikipedia Glivenko's theorem (probability theory)
History
- 2026-10-26: add by m2/dev
set of complex numbers without zero ATMNXGEXP3
| URI | m2://inv/ATMNXGEXP3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q105525706, set of complex numbers without zero (unknown). Also MathWorld PuncturedPlane
History
- 2026-10-26: add by m2/dev
Sobolev inequality ATNN0JW79E
| URI | m2://inv/ATNN0JW79E |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 26-XX |
| Sources | 3 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q3711848, Sobolev embedding theorem (statement). Also Wikidata Q3711848
- thousand_plus: thousand_plus Q3711848, Sobolev embedding theorem (statement). Also Wikidata Q3711848, Wikipedia Sobolev embedding theorem
- wikidata: Wikidata Q3711848, Sobolev inequality (statement). Also EoM Imbedding_theorems
History
- 2026-10-26: add by m2/dev
Bekenstein–Hawking entropy ATPJDC6QZB
| URI | m2://inv/ATPJDC6QZB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3055341, Bekenstein–Hawking entropy (unknown). Also nLab Bekenstein-Hawking entropy
History
- 2026-10-26: add by m2/dev
Cartesian product ATQ3YAQC1W
| URI | m2://inv/ATQ3YAQC1W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Cartesian product 09CEDJYBKP |
Mentions
- wikidata: Wikidata Q173740, Cartesian product (unknown). Also EoM Cartesian_product, MathWorld CartesianProduct, nLab cartesian product
History
- 2026-10-26: add by m2/dev
PCP theorem ATQFNME10R
| URI | m2://inv/ATQFNME10R |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 68-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q1140200, PCP theorem (statement). Also Wikidata Q1140200
- thousand_plus: thousand_plus Q1140200, PCP theorem (statement). Also Wikidata Q1140200, Wikipedia PCP theorem
History
- 2026-10-26: add by m2/dev
Ludwig Boltzmann ATWHSS25EQ
| URI | m2://inv/ATWHSS25EQ |
|---|---|
| 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 Q84296, Ludwig Boltzmann (unknown). Also nLab Ludwig Boltzmann, ProofWiki Mathematician:Ludwig_Eduard_Boltzmann
History
- 2026-10-26: add by m2/dev
Ben Knudsen ATX08PVAZH
| URI | m2://inv/ATX08PVAZH |
|---|---|
| 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 Q102868595, Ben Knudsen (unknown). Also nLab Ben Knudsen
History
- 2026-10-26: add by m2/dev
simple root ATXH8PKT2V
| URI | m2://inv/ATXH8PKT2V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q121311950, simple root (unknown). Also MathWorld SimpleRoot
History
- 2026-10-26: add by m2/dev
Max Born ATYVPA5ZKK
| URI | m2://inv/ATYVPA5ZKK |
|---|---|
| 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 Q58978, Max Born (unknown). Also nLab Max Born
History
- 2026-10-26: add by m2/dev