Math 2.0

Inventory rows BB

The cards of the rows of the inventory whose ids start with BB. A card gives the mentions of the item in the sources, and the node of the item when math2 has one.

motivic integration BB1N8XBPRY

URIm2://inv/BB1N8XBPRY
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

open quantum system BB75YZ49D5

URIm2://inv/BB75YZ49D5
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

singular value decomposition BB7TXSFQ9W

URIm2://inv/BB7TXSFQ9W
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeSingular value decomposition 000NPTMX6J

Mentions

History

  • 2026-10-26: add by m2/dev

Bernoulli's inequality BB8F3FV4YK

URIm2://inv/BB8F3FV4YK
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeBernoulli's inequality 0M1MX28VXK

Mentions

History

  • 2026-10-26: add by m2/dev

William Kingdon Clifford BB969Y07K9

URIm2://inv/BB969Y07K9
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

log BBA40W8XPH

URIm2://inv/BBA40W8XPH
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

  • mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > power series expansion of elementary functions > log, log (unknown). Also Mathlib Complex.hasSum_taylorSeries_log

History

  • 2026-10-26: add by m2/dev

Sophie Morel BBARTWFC88

URIm2://inv/BBARTWFC88
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Klein geometry BBG3WPX2JA

URIm2://inv/BBG3WPX2JA
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Pertti Lounesto BBM0YMECFZ

URIm2://inv/BBM0YMECFZ
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Shizuo Kakutani BBM8JS7GCT

URIm2://inv/BBM8JS7GCT
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Taichirō Kugo BBR88PH83F

URIm2://inv/BBR88PH83F
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a person, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Arzelà–Ascoli theorem BBSVJ2B662

URIm2://inv/BBSVJ2B662
Kindstatement
Layertextbook
MSC46-XX
Sources4
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

functor that lifts limits BBTGR8RFBB

URIm2://inv/BBTGR8RFBB
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

skew polygon BBVAMC1EC1

URIm2://inv/BBVAMC1EC1
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

ratio BBXSKZJACY

URIm2://inv/BBXSKZJACY
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev

Hilbert cube BBYZ3JMA3J

URIm2://inv/BBYZ3JMA3J
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

  • 2026-10-26: add by m2/dev