Inventory rows 45
The cards of the rows of the inventory whose ids start with 45. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
group of isometries stabilizing a subset of the plane or of space 45096JB6CR
| URI | m2://inv/45096JB6CR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > Euclidean affine spaces > group of isometries stabilizing a subset of the plane or of space, group of isometries stabilizing a subset of the plane or of space (unknown)
History
- 2026-10-26: add by m2/dev
fractional Brownian motion 453RJ82D2K
| URI | m2://inv/453RJ82D2K |
|---|---|
| Kind | topic |
| Layer | textbook |
| MSC | 94A12 |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1143293, fractional Brownian motion (topic)
History
- 2026-10-26: add by m2/dev
complete Heyting algebra 454J22JH2S
| URI | m2://inv/454J22JH2S |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5156470, complete Heyting algebra (concept). Also nLab complete Heyting algebra
History
- 2026-10-26: add by m2/dev
bimagic square 4551VNW59C
| URI | m2://inv/4551VNW59C |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q282796, bimagic square (unknown). Also MathWorld BimagicSquare
History
- 2026-10-26: add by m2/dev
series expansion 455NXFQN06
| URI | m2://inv/455NXFQN06 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q358733, series expansion (unknown). Also MathWorld SeriesExpansion
History
- 2026-10-26: add by m2/dev
François Bruhat 455WSCDK5Q
| URI | m2://inv/455WSCDK5Q |
|---|---|
| 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 Q931374, François Bruhat (unknown). Also ProofWiki Mathematician:François_Georges_René_Bruhat
History
- 2026-10-26: add by m2/dev
Borel–Weil theorem 458C8YTF8N
| URI | m2://inv/458C8YTF8N |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4944922, Borel–Weil theorem (statement). Also MathWorld Borel-WeilTheorem, nLab Borel-Weil theorem
History
- 2026-10-26: add by m2/dev
orientifold 459ZGX2VQP
| URI | m2://inv/459ZGX2VQP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3356307, orientifold (unknown). Also nLab orientifold
History
- 2026-10-26: add by m2/dev
zero of a function 45AFK7GV14
| URI | m2://inv/45AFK7GV14 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q214604, zero of a function (unknown). Also MathWorld Root
History
- 2026-10-26: add by m2/dev
Kiepert hyperbola 45FJ5QEAE0
| URI | m2://inv/45FJ5QEAE0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q113502, Kiepert hyperbola (unknown). Also MathWorld KiepertHyperbola
History
- 2026-10-26: add by m2/dev
present value 45G6Y1VJ05
| URI | m2://inv/45G6Y1VJ05 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1100466, present value (unknown). Also MathWorld PresentValue
History
- 2026-10-26: add by m2/dev
Arkady Tseytlin 45GECMBSQT
| URI | m2://inv/45GECMBSQT |
|---|---|
| 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 Q28500849, Arkady Tseytlin (unknown). Also nLab Arkady Tseytlin
History
- 2026-10-26: add by m2/dev
pentagon tiling 45K1V6SQQN
| URI | m2://inv/45K1V6SQQN |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3372904, pentagon tiling (unknown). Also MathWorld PentagonTiling
History
- 2026-10-26: add by m2/dev
Gibbard–Satterthwaite theorem 45RJMNH58T
| URI | m2://inv/45RJMNH58T |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 91-XX |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q612021, Gibbard–Satterthwaite theorem (statement). Also Wikidata Q612021
- thousand_plus: thousand_plus Q612021, Gibbard–Satterthwaite theorem (statement). Also Wikidata Q612021, Wikipedia Gibbard–Satterthwaite theorem
History
- 2026-10-26: add by m2/dev
cube root 45VHYRY1S5
| URI | m2://inv/45VHYRY1S5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1774143, cube root (unknown). Also MathWorld CubeRoot
History
- 2026-10-26: add by m2/dev
salient cone 45WCQNK0WA
| URI | m2://inv/45WCQNK0WA |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Convex geometry > salient cone, salient cone (unknown). Also Mathlib ConvexCone.Salient
History
- 2026-10-26: add by m2/dev
non-standard model of arithmetic 45WSMD65C2
| URI | m2://inv/45WSMD65C2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3318130, non-standard model of arithmetic (unknown). Also nLab nonstandard model of arithmetic
History
- 2026-10-26: add by m2/dev
cyclohedron 45ZVM9J898
| URI | m2://inv/45ZVM9J898 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5198709, cyclohedron (unknown). Also MathWorld Cyclohedron
History
- 2026-10-26: add by m2/dev