Math 2.0

Inventory rows GK

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

First stellation of rhombic dodecahedron GK3V6A1G03

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

Mentions

History

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

tanhc function GK3WRN1DMC

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

Mentions

History

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

bit GKA0EKP2C2

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

Mentions

History

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

operational semantics GKBVPKTCA6

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

Mentions

History

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

continued fraction GKHNV3ZWB9

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

Mentions

  • mathlib_overview: mathlib_overview General algebra > Numbers > continued fraction, continued fraction (unknown). Also Mathlib ContFract

History

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

Two New Sciences GKHVWJ5WGW

URIm2://inv/GKHVWJ5WGW
Kindunknown
Layertextbook
Sources1
Outcomeout_of_scope (a book, not an item of mathematics)
NodeNone yet. Write the node.

Mentions

History

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

polynomial time GKJ7B0TBTN

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

Mentions

History

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

strictly upper triangular matrix GKJFKZTBJD

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

Mentions

History

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

Frederik Denef GKN9KZ9QZA

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

jet group GKNM7TE5X9

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

Mentions

History

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

general linear group GKP3QXWKH1

URIm2://inv/GKP3QXWKH1
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeGeneral linear group 0FCHE902D7

Mentions

History

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

imaginary unit GKPB28DR2J

URIm2://inv/GKPB28DR2J
Kindobject
Layertextbook
Sources1
Outcomeopen
NodeImaginary unit 0ESCX36MMC

Mentions

History

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

height GKPBHWZHNT

URIm2://inv/GKPBHWZHNT
Kindtopic
Layertextbook
MSC11G50
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

σ-finite measure GKPQ7M6KK0

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

Mentions

History

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

cubic surface GKT67RWD4X

URIm2://inv/GKT67RWD4X
Kindstatement
Layertextbook
MSC14-XX
Sources3
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

elliptic function GKYN9ABT8Y

URIm2://inv/GKYN9ABT8Y
Kindtopic
Layertextbook
MSC33E05
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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