Math 2.0

Inventory rows ZV

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

cellular automaton ZV0WR30HNT

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

Mentions

History

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

Tricorn ZV2ECYZGHC

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

Mentions

History

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

algebraic curve ZV2SXNRK5B

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

Mentions

History

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

intuitionistic logic ZV56ZT1YT8

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

Mentions

History

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

bounded from below ZVAZ9P4ET0

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

Mentions

History

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

cross-polytope ZVDC89BM1V

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

Mentions

History

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

transgression map ZVEHZ1CEZM

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

Mentions

History

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

method ZVGFP4WAVB

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

Mentions

History

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

enneadecagon ZVHJYV1756

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

Mentions

History

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

radius of convergence ZVM81JAM2N

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Single Variable Complex Analysis > Complex-valued series > radius of convergence, radius of convergence (unknown). Also Mathlib FormalMultilinearSeries.radius

History

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

Kurt Hensel ZVR4C23E7N

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

Minkowski's second theorem ZVSFCMA3NP

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

Mentions

History

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

Barry Mazur ZVVDMTY1X6

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