Inventory rows Z2
The cards of the rows of the inventory whose ids start with Z2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
hemiperfect number Z2053Y34K5
| URI | m2://inv/Z2053Y34K5 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3281256, hemiperfect number (object). Also OEIS A159907
History
- 2026-10-26: add by m2/dev
Alexandre Vinogradov Z21RMCKTJA
| URI | m2://inv/Z21RMCKTJA |
|---|---|
| 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 Q83589816, Alexandre Vinogradov (unknown). Also nLab Alexandre Vinogradov
History
- 2026-10-26: add by m2/dev
divergent series Z29VW8P46M
| URI | m2://inv/Z29VW8P46M |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Divergent series 0JWMJSTBSG |
Mentions
- wikidata: Wikidata Q906520, divergent series (unknown). Also MathWorld DivergentSeries
History
- 2026-10-26: add by m2/dev
Anders Kock Z2B7J37XHC
| URI | m2://inv/Z2B7J37XHC |
|---|---|
| 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 Q102150713, Anders Kock (unknown). Also nLab Anders Kock
History
- 2026-10-26: add by m2/dev
Harry Lehmann Z2D1NTCG0Q
| URI | m2://inv/Z2D1NTCG0Q |
|---|---|
| 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 Q71575, Harry Lehmann (unknown). Also nLab Harry Lehmann
History
- 2026-10-26: add by m2/dev
gömböc Z2DC3FKY7H
| URI | m2://inv/Z2DC3FKY7H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1031518, gömböc (unknown). Also MathWorld Gomboc
History
- 2026-10-26: add by m2/dev
Michael Barr Z2FTRBFSJF
| URI | m2://inv/Z2FTRBFSJF |
|---|---|
| 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 Q11109023, Michael Barr (unknown). Also nLab Michael Barr
History
- 2026-10-26: add by m2/dev
nonstandard analysis Z2J6749HAB
| URI | m2://inv/Z2J6749HAB |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1503766, nonstandard analysis (topic). Also EoM Non-standard_analysis, MathWorld NonstandardAnalysis, ProofWiki Definition:Non-Standard_Analysis
History
- 2026-10-26: add by m2/dev
formula Z2N7VYD9BZ
| URI | m2://inv/Z2N7VYD9BZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q976981, formula (unknown). Also MathWorld Formula
History
- 2026-10-26: add by m2/dev
inner product space Z2P723Z1AG
| URI | m2://inv/Z2P723Z1AG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 3 |
| Outcome | open |
| Node | Inner product space 0QVNCJXRY3 |
Mentions
- mathlib_overview: mathlib_overview Analysis > Hilbert spaces > Inner product space, over $R$ or $C$, Inner product space, over $R$ or $C$ (unknown). Also Mathlib InnerProductSpace
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > Euclidean vector spaces, Euclidean vector spaces (unknown). Also Mathlib InnerProductSpace
- mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Euclidean and Hermitian spaces > Hermitian vector spaces, Hermitian vector spaces (unknown). Also Mathlib InnerProductSpace
- wikidata: Wikidata Q214159, inner product space (unknown). Also Mathlib InnerProductSpace, MathWorld InnerProductSpace, nLab inner product space
History
- 2026-10-26: add by m2/dev
the category of rings Z2QGJJGVCN
| URI | m2://inv/Z2QGJJGVCN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Rings > the category of rings, the category of rings (unknown). Also Mathlib RingCat
History
- 2026-10-26: add by m2/dev
Bayes' theorem Z2TDRHK2ZK
| URI | m2://inv/Z2TDRHK2ZK |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 60-XX |
| Sources | 3 |
| Outcome | open |
| Node | Bayes' theorem 0NM6E9VW04 |
Mentions
- mathlib_1000: mathlib_1000 Q182505, Bayes' theorem (statement). Also Mathlib ProbabilityTheory.cond_eq_inv_mul_cond_mul, Wikidata Q182505
- thousand_plus: thousand_plus Q182505, Bayes' theorem (statement). Also Mathlib ProbabilityTheory.cond_eq_inv_mul_cond_mul, Wikidata Q182505, Wikipedia Bayes' theorem
- wikidata: Wikidata Q182505, Bayes' theorem (statement). Also MathWorld BayesTheorem
History
- 2026-10-26: add by m2/dev
continuous probability distribution Z2TKCVW9VB
| URI | m2://inv/Z2TKCVW9VB |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q917918, continuous probability distribution (unknown). Also EoM Continuous_distribution, MathWorld ContinuousDistribution
History
- 2026-10-26: add by m2/dev
programming language Z2YGT7PSTV
| URI | m2://inv/Z2YGT7PSTV |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9143, programming language (definition). Also nLab programming language, ProofWiki Definition:Programming_Language
History
- 2026-10-26: add by m2/dev