Inventory rows 11
The cards of the rows of the inventory whose ids start with 11. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
totally imaginary number field 1109YR95BJ
| URI | m2://inv/1109YR95BJ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7828256, totally imaginary number field (unknown). Also MathWorld TotallyImaginaryField
History
- 2026-10-26: add by m2/dev
Hilbert's problems 1131DX7Z66
| URI | m2://inv/1131DX7Z66 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q273167, Hilbert's problems (unknown). Also MathWorld HilbertsProblems, nLab Hilbert's problems
History
- 2026-10-26: add by m2/dev
Cayley–Dickson construction 1133Y2TD59
| URI | m2://inv/1133Y2TD59 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1756828, Cayley–Dickson construction (definition). Also ProofWiki Definition:Cayley-Dickson_Construction
History
- 2026-10-26: add by m2/dev
subfield 1160XYH8J8
| URI | m2://inv/1160XYH8J8 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q91327913, subfield (unknown). Also MathWorld Subfield
History
- 2026-10-26: add by m2/dev
Paul Schupp 1161BQ6RY2
| URI | m2://inv/1161BQ6RY2 |
|---|---|
| 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 Q35023546, Paul Schupp (unknown). Also nLab Paul E. Schupp
History
- 2026-10-26: add by m2/dev
denotational semantics 11B5P6S34H
| URI | m2://inv/11B5P6S34H |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1189746, denotational semantics (unknown). Also nLab denotational semantics
History
- 2026-10-26: add by m2/dev
Schneider–Lang theorem 11DQWYYD8V
| URI | m2://inv/11DQWYYD8V |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q2862403, Schneider–Lang theorem (statement). Also Wikidata Q2862403
- thousand_plus: thousand_plus Q2862403, Bombieri's theorem (statement). Also Wikidata Q2862403, Wikipedia Schneider–Lang theorem
History
- 2026-10-26: add by m2/dev
Hebrew calendar 11DSZJBRZC
| URI | m2://inv/11DSZJBRZC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q44722, Hebrew calendar (definition). Also ProofWiki Definition:Calendar/Jewish
History
- 2026-10-26: add by m2/dev
Cardano's formula 11DTXSBECS
| URI | m2://inv/11DTXSBECS |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1095119, Cardano's formula (unknown). Also EoM Cardano_formula
History
- 2026-10-26: add by m2/dev
deficient number 11EPCM4WQC
| URI | m2://inv/11EPCM4WQC |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Deficient number 0MXFJ0J00R |
Mentions
- wikidata: Wikidata Q467511, deficient number (definition). Also MathWorld DeficientNumber, OEIS A005100, ProofWiki Definition:Deficient_Number
History
- 2026-10-26: add by m2/dev
God Created the Integers 11FN5PZCF1
| URI | m2://inv/11FN5PZCF1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5575842, God Created the Integers (unknown). Also ProofWiki Book:Stephen_Hawking/God_Created_the_Integers
History
- 2026-10-26: add by m2/dev
16-cell 11H0F9SMXH
| URI | m2://inv/11H0F9SMXH |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2471444, 16-cell (unknown). Also MathWorld 16-Cell
History
- 2026-10-26: add by m2/dev
Scripta Mathematica 11JGSWTF77
| URI | m2://inv/11JGSWTF77 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a book, not an item of mathematics) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7439226, Scripta Mathematica (unknown). Also ProofWiki Book:Journal/Scripta_Mathematica
History
- 2026-10-26: add by m2/dev
א 11NQ7KFE1C
| URI | m2://inv/11NQ7KFE1C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | out_of_scope (a notation: the notation register holds it (corpus spec K10.4)) |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q16725860, א (unknown). Also ProofWiki Symbols:Hebrew/Aleph
History
- 2026-10-26: add by m2/dev
module 11W6P9ZE99
| URI | m2://inv/11W6P9ZE99 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Linear algebra > Fundamentals > module, module (unknown). Also Mathlib Module
- mathlib_overview: mathlib_overview Linear algebra > Fundamentals > vector space, vector space (unknown). Also Mathlib Module
- mathlib_undergrad: mathlib_undergrad Linear algebra > Fundamentals > vector space, vector space (unknown). Also Mathlib Module
History
- 2026-10-26: add by m2/dev
decomposition of an orthogonal transformation as a product of reflections 11Y6B46WEW
| URI | m2://inv/11Y6B46WEW |
|---|---|
| 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 > Endomorphisms > decomposition of an orthogonal transformation as a product of reflections, decomposition of an orthogonal transformation as a product of reflections (unknown). Also Mathlib LinearIsometryEquiv.reflections_generate
History
- 2026-10-26: add by m2/dev
L∞-algebra 11YPXSC5ZT
| URI | m2://inv/11YPXSC5ZT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q42614797, L∞-algebra (unknown). Also nLab L-infinity-algebra
History
- 2026-10-26: add by m2/dev
Berezin integral 11YRDY0MS9
| URI | m2://inv/11YRDY0MS9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4891358, Berezin integral (unknown). Also nLab Berezin integral
History
- 2026-10-26: add by m2/dev
triangulated category 11ZM5ZKGTN
| URI | m2://inv/11ZM5ZKGTN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7840150, triangulated category (unknown). Also nLab triangulated category
History
- 2026-10-26: add by m2/dev