Math 2.0

Inventory rows 76

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

special Kähler manifold 760AD6N0Q8

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

Mentions

History

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

nuclear physics 761C8CPH20

URIm2://inv/761C8CPH20
Kindtopic
Layertextbook
MSC81V35
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

derived functor 761W8S0310

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

Mentions

History

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

Langlands dual 768BW656PN

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

Mentions

History

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

Clifford's theorem on special divisors 7690E1W2X7

URIm2://inv/7690E1W2X7
Kindstatement
Layertextbook
MSC14-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

ultrapower 76J9Y0E0DB

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

Mentions

History

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

pointwise convergence 76JVZ5TXXV

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences and series of functions > pointwise convergence, pointwise convergence (unknown). Also Mathlib tendsto_pi_nhds

History

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

Peter van Nieuwenhuizen 76NWGDB6D1

URIm2://inv/76NWGDB6D1
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

proper superset 76NYXS9D64

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

Mentions

History

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

nonlinear functional analysis 76SB6HP45P

URIm2://inv/76SB6HP45P
Kindtopic
Layertextbook
MSC46Txx, 47J05
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

coarse structure 76VKJZ1VE5

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

Mentions

History

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

quiver 76XNY8A29F

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

Mentions

History

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

Bernstein's constant 76YY18D5MZ

URIm2://inv/76YY18D5MZ
Kindobject
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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