Math 2.0

Inventory rows C6

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

Richardson's theorem C65D51S417

URIm2://inv/C65D51S417
Kindstatement
Layertextbook
MSC03-XX
Sources3
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Euler class C660D2XDJD

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

Mentions

History

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

Fourier transform as an integral C665DCZMGQ

URIm2://inv/C665DCZMGQ
Kindunknown
Layertextbook
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

  • mathlib_overview: mathlib_overview Analysis > Fourier analysis > Fourier transform as an integral, Fourier transform as an integral (unknown). Also Mathlib Real.fourier_eq
  • mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Fourier analysis > Fourier transform on $\mathrm{L}^1(\R^d)$, Fourier transform on $\mathrm{L}^1(\R^d)$ (unknown). Also Mathlib Real.fourier_eq

History

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

Levi's theorem C689KCRWZA

URIm2://inv/C689KCRWZA
Kindstatement
Layertextbook
MSC22-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Jens Eisert C69PNY3P69

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

Ana Cannas da Silva C6DBFMGHGR

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

On Numbers and Games C6ETD4YHBA

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

Mentions

History

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

triad C6HNWYA4W2

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

Mentions

History

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

icosahedral symmetry C6HQPZ8CHX

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

Mentions

History

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

ring of algebraic integers C6Q76DJGJS

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

Mentions

History

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

honeycomb C6QKJSMEYE

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

Mentions

History

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

alternant matrix C6TAMD4C0S

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

Mentions

History

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

similarity C6TNAQ6DN9

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

Mentions

History

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

hydrostatics C6XA10QVN6

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

Mentions

History

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

class C6YB8TEQPG

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

Mentions

History

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