Math 2.0

Inventory rows JQ

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

Erdős–Stone theorem JQ1BECFF7M

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

Mentions

History

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

Benoit Fresse JQ26973T6N

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

Fourier transforms on $\mathcal{S}(\R^d)$ JQ30A5S8J5

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{S}(\R^d)$ > Fourier transforms on $\mathcal{S}(\R^d)$, Fourier transforms on $\mathcal{S}(\R^d)$ (unknown). Also Mathlib SchwartzMap.fourierTransformCLM

History

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

exotic sphere JQ61H6FFD7

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

Mentions

History

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

orthographic projection in cartography JQ9CTGXAFY

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

Mentions

History

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

false JQA9J4E2F2

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

Mentions

History

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

soft sheaf JQBMQVSFDM

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

Mentions

History

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

numerical stability JQJ85207F6

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

Mentions

History

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

packing density JQMAGKPGV9

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

Mentions

History

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

Lindemann–Weierstrass theorem JQMH9CWW3H

URIm2://inv/JQMH9CWW3H
Kindstatement
Layertextbook
MSC11-XX
Sources3
Outcomeopen
NodeLindemann–Weierstrass theorem 0JNCBFMPXR

Mentions

History

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

group generated by homotheties and translations JQXT3PG89R

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Affine and Euclidean Geometry > General definitions > group generated by homotheties and translations, group generated by homotheties and translations (unknown)

History

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

Bockstein spectral sequence JQY4EV2JCY

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

Mentions

History

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