Math 2.0

Inventory rows S9

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

fractional independence number S99FAGGMK3

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

Mentions

History

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

topological space S9B1G2DKJR

URIm2://inv/S9B1G2DKJR
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeTopological space 0CQHFPGJ45

Mentions

History

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

Cayley plane S9HY5M79AT

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

Mentions

History

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

transcendental function S9N4Z2WPE9

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

Mentions

History

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

hash map S9P1XTGVJ0

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

Mentions

  • mathlib_overview: mathlib_overview Data structures > Maps > hash map, hash map (unknown). Also Mathlib Std.HashMap

History

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

André Petermann S9PEYJXDGH

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

Banach algebra S9RNDVM3Y0

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

Mentions

History

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

empiricism S9WFMPTX43

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

Mentions

History

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

augmentation ideal S9WGB2Q8CM

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

Mentions

History

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