Math 2.0

Inventory rows 1E

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

Michael Fourman 1E0EBDA3YB

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

Znám's problem 1E0EJC9E0H

URIm2://inv/1E0EJC9E0H
Kindproblem
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

bishop's graph 1E4QS23854

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

Mentions

History

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

Dupin's theorem 1E5BNPHPKT

URIm2://inv/1E5BNPHPKT
Kindstatement
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Catalan solid 1E5M62E230

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

Mentions

History

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

Frank Wilczek 1E68XFFJY5

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

krypton 1EDB31BFGY

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

Mentions

History

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

quaternion-Kähler manifold 1EGB1H0RYW

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

Mentions

History

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

filtered category 1EJYWWXX00

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

Mentions

History

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

parallelizable manifold 1EK2JBXX0Z

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

Mentions

History

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

AGT correspondence 1ENGA74V5D

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

Mentions

History

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

percolation threshold 1EP3JDKEDZ

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

Mentions

History

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

lollipop graph 1EQWZ0PW8D

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

Mentions

History

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

stream 1EQYW1N7S4

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

Mentions

  • mathlib_overview: mathlib_overview Data structures > List-like structures > stream, stream (unknown). Also Mathlib Stream'

History

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

logical matrix 1ESRM39502

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

Mentions

History

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

connected sum 1EV1N0NGEP

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

Mentions

History

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

algebraic manifold 1EW1FDRMZ7

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

Mentions

History

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

stopping time 1EY6DYA18G

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

Mentions

History

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

Paper bag problem 1EZFNATF8S

URIm2://inv/1EZFNATF8S
Kindproblem
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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