Inventory rows BE
The cards of the rows of the inventory whose ids start with BE. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
nonhypotenuse number BE49VNDSQX
| URI | m2://inv/BE49VNDSQX |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7049414, nonhypotenuse number (object). Also OEIS A004144
History
- 2026-10-26: add by m2/dev
singular matrix BE4QCMNK91
| URI | m2://inv/BE4QCMNK91 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1970975, singular matrix (definition). Also MathWorld SingularMatrix, ProofWiki Definition:Non-Invertible_Matrix
History
- 2026-10-26: add by m2/dev
chord BE5DNJ2T7W
| URI | m2://inv/BE5DNJ2T7W |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q135974090, chord (unknown). Also MathWorld CycleChord
History
- 2026-10-26: add by m2/dev
zepto BE6HMDQJ7T
| URI | m2://inv/BE6HMDQJ7T |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q110807, zepto (definition). Also ProofWiki Definition:Metric_System/Scaling_Prefixes/zepto-
History
- 2026-10-26: add by m2/dev
Alexander Goncharov BEB6H011C2
| URI | m2://inv/BEB6H011C2 |
|---|---|
| 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 Q2642205, Alexander Goncharov (unknown). Also nLab Alexander Goncharov
History
- 2026-10-26: add by m2/dev
degeneracy BEC29N3RPG
| URI | m2://inv/BEC29N3RPG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5251771, degeneracy (unknown). Also MathWorld GraphDegeneracy
History
- 2026-10-26: add by m2/dev
Kan fibration BECDC4WBGP
| URI | m2://inv/BECDC4WBGP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3915873, Kan fibration (unknown). Also nLab Kan fibration
History
- 2026-10-26: add by m2/dev
G₂ manifold BEEQRPDEPD
| URI | m2://inv/BEEQRPDEPD |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5512692, G₂ manifold (unknown). Also nLab G2 manifold
History
- 2026-10-26: add by m2/dev
empty graph E2 BEFJ45CJVY
| URI | m2://inv/BEFJ45CJVY |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136089351, empty graph E2 (unknown). Also House of Graphs 19653
History
- 2026-10-26: add by m2/dev
Dirac measures BEJ0Y2DHTR
| URI | m2://inv/BEJ0Y2DHTR |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > Dirac measures, Dirac measures (unknown)
History
- 2026-10-26: add by m2/dev
Skew apeirohedron BEKXWZP4Q0
| URI | m2://inv/BEKXWZP4Q0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3395888, Skew apeirohedron (unknown). Also MathWorld RegularSkewPolyhedron
- wikidata: Wikidata Q7309619, regular skew polyhedron (unknown). Also MathWorld RegularSkewPolyhedron
History
- 2026-10-26: add by m2/dev
dagger category BEMTASXXYQ
| URI | m2://inv/BEMTASXXYQ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5208525, dagger category (unknown). Also nLab dagger category
History
- 2026-10-26: add by m2/dev
abundant number BENJC095SX
| URI | m2://inv/BENJC095SX |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Abundant number 0VG7VNEWMG |
Mentions
- wikidata: Wikidata Q223722, abundant number (definition). Also MathWorld AbundantNumber, OEIS A005101, ProofWiki Definition:Abundant_Number
History
- 2026-10-26: add by m2/dev
finite set BER9NX2V0V
| URI | m2://inv/BER9NX2V0V |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Data structures > Sets > finite set, finite set (unknown). Also Mathlib Finset
History
- 2026-10-26: add by m2/dev
Grinberg graph 44 BEREPFTSHG
| URI | m2://inv/BEREPFTSHG |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2816827, Grinberg graph 44 (unknown). Also House of Graphs 1128
History
- 2026-10-26: add by m2/dev
Pierre Fayet BET7GQNW01
| URI | m2://inv/BET7GQNW01 |
|---|---|
| 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 Q2093441, Pierre Fayet (unknown). Also nLab Pierre Fayet
History
- 2026-10-26: add by m2/dev
confluent hypergeometric function BETPKDWTG9
| URI | m2://inv/BETPKDWTG9 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q783948, confluent hypergeometric function (unknown). Also EoM Confluent_hypergeometric_equation, MathWorld ConfluentHypergeometricFunctionoftheFirstKind
History
- 2026-10-26: add by m2/dev
invariant subspaces of an endomorphism BEVDKJTE9A
| URI | m2://inv/BEVDKJTE9A |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_undergrad: mathlib_undergrad Linear algebra > Structure theory of endomorphisms > invariant subspaces of an endomorphism, invariant subspaces of an endomorphism (unknown). Also Mathlib Module.End.invtSubmodule
History
- 2026-10-26: add by m2/dev
Riemannian/bundle metric BEVJ7Z53C1
| URI | m2://inv/BEVJ7Z53C1 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Geometry > Riemannian manifolds > Riemannian/bundle metric, Riemannian/bundle metric (unknown). Also Mathlib Bundle.RiemannianMetric
History
- 2026-10-26: add by m2/dev
triangle graph BEWQWWJ2RZ
| URI | m2://inv/BEWQWWJ2RZ |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3115619, triangle graph (unknown). Also House of Graphs 1374, MathWorld TriangleGraph
History
- 2026-10-26: add by m2/dev
floor function BEWT00TARS
| URI | m2://inv/BEWT00TARS |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q56860783, floor function (definition). Also MathWorld FloorFunction, ProofWiki Definition:Floor_Function
History
- 2026-10-26: add by m2/dev
nut graph BEZ0EJGQR6
| URI | m2://inv/BEZ0EJGQR6 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q140243443, nut graph (unknown). Also MathWorld NutGraph
History
- 2026-10-26: add by m2/dev
associative algebra over a commutative ring BEZTW53Z7J
| URI | m2://inv/BEZTW53Z7J |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 2 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Algebras over a ring > associative algebra over a commutative ring, associative algebra over a commutative ring (unknown). Also Mathlib Algebra
- mathlib_undergrad: mathlib_undergrad Ring Theory > Algebra > associative algebra over a commutative ring, associative algebra over a commutative ring (unknown). Also Mathlib Algebra
History
- 2026-10-26: add by m2/dev