Math 2.0

Inventory rows SS

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

centered nonagonal number SS1TK5Y6CH

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

Mentions

History

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

rose SS1TVN41AF

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

Mentions

History

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

functional SS9WF8KHH5

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

Mentions

History

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

prime number SSDZJGY7BC

URIm2://inv/SSDZJGY7BC
Kindtopic
Layertextbook
MSC11A41
Sources1
Outcomeopen
NodePrime number 01826KMG2H

Mentions

History

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

WebAssembly SSF15C14EX

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

Mentions

History

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

oriented graph SSJN5DYMP5

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

Mentions

History

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

Peter Slodowy SSMY0Y1DZ1

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

Albert Lautman SSQ90CJQGK

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

perspective SST605ESKR

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

Mentions

History

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

Jordan's inequality SSW3BFRG2E

URIm2://inv/SSW3BFRG2E
Kindstatement
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Variety (group theory) SSWBMK5Z43

URIm2://inv/SSWBMK5Z43
Kindtopic
Layertextbook
MSC08Bxx
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

analytic continuation SSXDRFYW1H

URIm2://inv/SSXDRFYW1H
Kindtopic
Layertextbook
MSC74F15
Sources1
Outcomeopen
NodeAnalytic continuation 0M3YQJ81NB

Mentions

History

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

generalized eigenspaces SSXSE3YY7R

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Linear algebra > Structure theory of endomorphisms > generalized eigenspaces, generalized eigenspaces (unknown). Also Mathlib Module.End.genEigenspace

History

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

Voronoi diagram SSZEJGGVJH

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

Mentions

History

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

Fourier series of locally integrable periodic real-valued functions SSZRE93J5P

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Fourier analysis > Fourier series of locally integrable periodic real-valued functions, Fourier series of locally integrable periodic real-valued functions (unknown). Also Mathlib fourierBasis
  • mathlib_undergrad: mathlib_undergrad Topology > Hilbert spaces > example, the Hilbert basis of trigonometric polynomials, example, the Hilbert basis of trigonometric polynomials (unknown). Also Mathlib fourierBasis

History

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