Math 2.0

Inventory rows F8

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

supermanifold F82F0AXJ0G

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

Mentions

History

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

prime constellation F85VBK0V2D

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

Mentions

History

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

Stefan Müller-Stach F85W4FCNEM

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

spirograph F892B0RXD8

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

Mentions

History

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

affine space F8B4BN6N5A

URIm2://inv/F8B4BN6N5A
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeAffine space 09XNAPTJQ7

Mentions

History

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

Carol number F8DRRPDJ3F

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

Mentions

History

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

rest energy F8FJ4YMG35

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

Mentions

History

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

sets without arithmetic progressions F8H99T525C

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

Mentions

  • mathlib_overview: mathlib_overview Combinatorics > Additive combinatorics > sets without arithmetic progressions, sets without arithmetic progressions (unknown). Also Mathlib ThreeAPFree

History

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

Kobayashi–Hitchin correspondence F8HQP33F4K

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

Mentions

History

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

2-group F8HTVFZQY4

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

Mentions

History

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

Seymour Papert F8J5ZMX31X

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

Pierre Berthelot F8MVC12ZEY

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

balanced set F8N45CDTBB

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

Mentions

History

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

logistic distribution F8PDQMHP3Y

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

Mentions

History

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

Joseph Needham F8TW83SCNC

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