Math 2.0

Inventory rows RE

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

Sergey Mergelyan RE3T1H5RFE

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

Michael Creutz RE58M57Z3E

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

first Royle graph RE760NNWCS

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

Mentions

History

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

generalized function RE7R7EH18B

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

Mentions

History

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

Jeffrey Goldstone RE82T70DEA

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

foot RE862JJDX8

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

Mentions

History

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

infinite sum RE8KY5D04T

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

Mentions

  • mathlib_overview: mathlib_overview Topology > Topological algebra > infinite sum, infinite sum (unknown). Also Mathlib HasSum

History

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

dimensional analysis REAX3KCBXS

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

Mentions

History

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

geometric quantization RECTE03WGG

URIm2://inv/RECTE03WGG
Kindtopic
Layertextbook
MSC53D50
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Hodge structure REFPT7KH1Q

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

Mentions

History

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

Jacobson density theorem REGAWX9FZ0

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

Mentions

History

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

formal language REN072THGZ

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

Mentions

History

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

matrix ring REQRM2HAPN

URIm2://inv/REQRM2HAPN
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeMatrix ring 0FHVPRAE60

Mentions

History

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

Thābit ibn Qurra REXJ6WHSM7

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

connective constant REYGWEJ5D9

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

Mentions

History

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