Math 2.0

Inventory rows FX

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

Ludmil Katzarkov FX01RQCRM3

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

SI derived unit FX2NNR5R31

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

Mentions

History

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

operator algebra FX49PNKK2M

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

Mentions

History

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

regular hexagon FX7WSC3N8H

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

Mentions

History

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

Babylonian numerals FXNDR1RBZ0

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

Mentions

History

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

first isodynamic center FXPTHZQTZM

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

Mentions

History

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

Ibn al-Haytham FXQV4J15A6

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

Arun Ram FXTDG7KF8N

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

normed space of bounded continuous functions FXV5BEAE11

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Topology > Normed vector spaces on $\R$ and $\C$ > normed space of bounded continuous functions, normed space of bounded continuous functions (unknown). Also Mathlib BoundedContinuousFunction.instNormedSpace

History

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

Markus Fierz FXVFMSWRAR

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

antilogarithm FXYK0QE02Y

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

Mentions

History

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