Inventory rows XA
The cards of the rows of the inventory whose ids start with XA. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Wirtinger derivative XA05TY8SC2
| URI | m2://inv/XA05TY8SC2 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q8027031, Wirtinger derivative (unknown). Also MathWorld DelBarOperator
History
- 2026-10-26: add by m2/dev
Runge–Kutta method XA3PYPS766
| URI | m2://inv/XA3PYPS766 |
|---|---|
| Kind | statement |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q725944, Runge–Kutta method (statement). Also EoM Runge-Kutta_method, MathWorld Runge-KuttaMethod
History
- 2026-10-26: add by m2/dev
integer XA48MVJZ8K
| URI | m2://inv/XA48MVJZ8K |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview General algebra > Numbers > integer, integer (unknown). Also Mathlib Int
History
- 2026-10-26: add by m2/dev
genus-three surface XA4PC7WDYV
| URI | m2://inv/XA4PC7WDYV |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q7843541, genus-three surface (unknown). Also MathWorld TripleTorus
History
- 2026-10-26: add by m2/dev
Erdős number XA4QMGXTDM
| URI | m2://inv/XA4QMGXTDM |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q243972, Erdős number (definition). Also MathWorld ErdosNumber, ProofWiki Definition:Erdős_Number
History
- 2026-10-26: add by m2/dev
eigenvector XA54MRXC6S
| URI | m2://inv/XA54MRXC6S |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q3555174, eigenvector (unknown). Also MathWorld Eigenvector
History
- 2026-10-26: add by m2/dev
skyrmion XA5GRF3T6N
| URI | m2://inv/XA5GRF3T6N |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1041630, skyrmion (unknown). Also nLab skyrmion
History
- 2026-10-26: add by m2/dev
Infinity and the Mind XA75FWT30P
| URI | m2://inv/XA75FWT30P |
|---|---|
| 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 Q2716008, Infinity and the Mind (unknown). Also ProofWiki Book:Rudy_Rucker/Infinity_and_the_Mind
History
- 2026-10-26: add by m2/dev
completion XA7DY5NST5
| URI | m2://inv/XA7DY5NST5 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_overview: mathlib_overview Topology > Uniform notions > completion, completion (unknown). Also Mathlib UniformSpace.Completion
History
- 2026-10-26: add by m2/dev
conformally flat manifold XA8S1FNYFT
| URI | m2://inv/XA8S1FNYFT |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q5160259, conformally flat manifold (unknown). Also nLab conformally flat manifold
History
- 2026-10-26: add by m2/dev
small snub icosicosidodecahedron XAB28MX9FX
| URI | m2://inv/XAB28MX9FX |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q69362, small snub icosicosidodecahedron (unknown). Also MathWorld SmallSnubIcosicosidodecahedron
History
- 2026-10-26: add by m2/dev
Morse theory XAH89DKQWT
| URI | m2://inv/XAH89DKQWT |
|---|---|
| Kind | topic |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q2296951, Morse theory (topic). Also MathWorld MorseTheory, nLab Morse theory
History
- 2026-10-26: add by m2/dev
unique factorization domain XAMX9JNA4M
| URI | m2://inv/XAMX9JNA4M |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 11-XX |
| Sources | 6 |
| Outcome | open |
| Node | Unique factorisation domain 0W4X9G6263 |
Mentions
- mathlib_100: mathlib_100 80, The Fundamental Theorem of Arithmetic (statement). Also Mathlib Nat.primeFactorsList_unique, Mathlib Int.euclideanDomain, Mathlib EuclideanDomain.instIsPrincipalIdealRing, Mathlib UniqueFactorizationMonoid, Mathlib UniqueFactorizationMonoid.factors_unique
- mathlib_1000: mathlib_1000 Q670235, Fundamental theorem of arithmetic (statement). Also Mathlib Nat.primeFactorsList_unique, Mathlib Int.euclideanDomain, Mathlib EuclideanDomain.instIsPrincipalIdealRing, Mathlib UniqueFactorizationMonoid, Mathlib UniqueFactorizationMonoid.factors_unique, Wikidata Q670235
- mathlib_overview: mathlib_overview General algebra > Divisibility in integral domains > unique factorisation domain, unique factorisation domain (unknown). Also Mathlib UniqueFactorizationMonoid
- mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > $\Z$ is a Euclidean ring, $\Z$ is a Euclidean ring (unknown). Also Mathlib Int.euclideanDomain
- mathlib_undergrad: mathlib_undergrad Ring Theory > Divisibility in integral domains > unique factorisation domain (UFD), unique factorisation domain (UFD) (unknown). Also Mathlib UniqueFactorizationMonoid
- thousand_plus: thousand_plus Q670235, Fundamental theorem of arithmetic (statement). Also Mathlib Nat.primeFactorsList_unique, Mathlib Int.euclideanDomain, Mathlib EuclideanDomain.to_principal_ideal_domain, Mathlib UniqueFactorizationMonoid, Mathlib UniqueFactorizationMonoid.factors_unique, Wikidata Q670235, Wikipedia Fundamental theorem of arithmetic
- wikidata: Wikidata Q1052579, unique factorization domain (definition). Also LMFDB knowl ring.unique_factorization_domain, Mathlib UniqueFactorizationMonoid, MathWorld UniqueFactorizationDomain, ProofWiki Definition:Unique_Factorization_Domain
- wikidata: Wikidata Q670235, fundamental theorem of arithmetic (statement). Also MathWorld FundamentalTheoremofArithmetic, nLab fundamental theorem of arithmetic
History
- 2026-10-26: add by m2/dev
- 2026-10-26: merge by m2/dev
Stephens' constant XAN6AYH374
| URI | m2://inv/XAN6AYH374 |
|---|---|
| Kind | object |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q55731272, Stephens' constant (object). Also MathWorld StephensConstant, OEIS A065478
History
- 2026-10-26: add by m2/dev
multiplicative group of integers modulo n XARBFHXVV3
| URI | m2://inv/XARBFHXVV3 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | Group of units of Z/nZ 0F8X8ZRQ53 |
Mentions
- wikidata: Wikidata Q1169249, multiplicative group of integers modulo n (unknown). Also MathWorld ModuloMultiplicationGroup, nLab multiplicative group of integers modulo n
History
- 2026-10-26: add by m2/dev
Iwahori–Hecke algebra XASQ2DHZHV
| URI | m2://inv/XASQ2DHZHV |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q1012612, Iwahori–Hecke algebra (concept). Also nLab Iwahori–Hecke algebra
History
- 2026-10-26: add by m2/dev
population growth XAXEHM1JK0
| URI | m2://inv/XAXEHM1JK0 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q386191, population growth (unknown). Also MathWorld PopulationGrowth
History
- 2026-10-26: add by m2/dev
Neil Turok XAYSPHAM7H
| URI | m2://inv/XAYSPHAM7H |
|---|---|
| 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 Q1386754, Neil Turok (unknown). Also nLab Neil Turok
History
- 2026-10-26: add by m2/dev