Math 2.0

Inventory rows SR

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

(topological) fiber bundle SR24YZM7VA

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

Mentions

  • mathlib_overview: mathlib_overview Geometry > Smooth vector and fiber bundles > (topological) fiber bundle, (topological) fiber bundle (unknown). Also Mathlib FiberBundle
  • mathlib_overview: mathlib_overview Topology > General topology > topological fiber bundle, topological fiber bundle (unknown). Also Mathlib FiberBundle

History

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

faceting SR2KESJJ58

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

Mentions

History

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

Abu al-Wafa Buzjani SR2XW11Y2P

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

Leopold Kronecker SR3WBVXEEX

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

bridged graph SR4B4HPS2Z

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

Mentions

History

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

conformal gravity SR5563688K

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

Mentions

History

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

direct sum of modules SR8WQZHY4J

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

Mentions

History

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

metabelian group SRAZDKJX83

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

Mentions

History

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

square root of 5 SRBV9RJD24

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

Mentions

History

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

Vladimir Ignatowski SRPCX98NP6

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

Length (>1) of shortest sequences of consecutive primes started with prime(n) such that sum is also prime. SRRBDG3J79

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

Mentions

  • wikidata: Wikidata Q100194514, Length (>1) of shortest sequences of consecutive primes started with prime(n) such that sum is also prime. (object). Also OEIS A071194

History

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

Segre classification SRRH9NZHS9

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

Mentions

History

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

centered square number SRVKT6TNEA

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

Mentions

History

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

composition algebra SRY0A5YD93

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

Mentions

History

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