Inventory rows N2
The cards of the rows of the inventory whose ids start with N2. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.
Matilde Marcolli N2243J9T6V
| URI | m2://inv/N2243J9T6V |
|---|---|
| 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 Q1908842, Matilde Marcolli (unknown). Also nLab Matilde Marcolli
History
- 2026-10-26: add by m2/dev
Lie algebra ideal N2602R5P7X
| URI | m2://inv/N2602R5P7X |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q25488798, Lie algebra ideal (unknown). Also nLab Lie ideal
History
- 2026-10-26: add by m2/dev
ample line bundle N2M5PT2874
| URI | m2://inv/N2M5PT2874 |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q4748472, ample line bundle (unknown). Also EoM Ample_sheaf, nLab ample sheaf
History
- 2026-10-26: add by m2/dev
knight N2Q3RF47XQ
| URI | m2://inv/N2Q3RF47XQ |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q136, knight (definition). Also ProofWiki Definition:Chess/Piece/Knight
History
- 2026-10-26: add by m2/dev
decreasing sequence N2VN4A5YVP
| URI | m2://inv/N2VN4A5YVP |
|---|---|
| Kind | unknown |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q138568936, decreasing sequence (unknown). Also EoM Decreasing_sequence
History
- 2026-10-26: add by m2/dev
game value N2VXHH5YBD
| URI | m2://inv/N2VXHH5YBD |
|---|---|
| Kind | concept |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q6678209, game value (concept). Also MathWorld GameValue
History
- 2026-10-26: add by m2/dev
Lax–Milgram theorem N2W18NBKDH
| URI | m2://inv/N2W18NBKDH |
|---|---|
| Kind | statement |
| Layer | textbook |
| MSC | 35-XX |
| Sources | 4 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- mathlib_1000: mathlib_1000 Q9993851, Lax–Milgram theorem (statement). Also Mathlib IsCoercive.continuousLinearEquivOfBilin, Wikidata Q9993851
- mathlib_overview: mathlib_overview Analysis > Hilbert spaces > Lax-Milgram theorem, Lax-Milgram theorem (unknown). Also Mathlib IsCoercive.continuousLinearEquivOfBilin
- mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > Lax-Milgram theorem, Lax-Milgram theorem (unknown). Also Mathlib IsCoercive.continuousLinearEquivOfBilin
- thousand_plus: thousand_plus Q9993851, Lax–Milgram theorem (statement). Also Mathlib IsCoercive.continuousLinearEquivOfBilin, Wikidata Q9993851, Wikipedia Lax–Milgram theorem
History
- 2026-10-26: add by m2/dev
Landau notation N2X0WG2NT1
| URI | m2://inv/N2X0WG2NT1 |
|---|---|
| Kind | definition |
| Layer | textbook |
| Sources | 1 |
| Outcome | open |
| Node | None yet. Write the node. |
Mentions
- wikidata: Wikidata Q9050777, Landau notation (definition). Also MathWorld LandauSymbols, ProofWiki Definition:Landau_Symbols
History
- 2026-10-26: add by m2/dev