Math 2.0

Inventory rows QV

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

Kenji Fukaya QV1RRYC1DT

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

Cauchy sequence QV7DV9N22A

URIm2://inv/QV7DV9N22A
Kindunknown
Layertextbook
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

  • mathlib_overview: mathlib_overview Topology > Uniform notions > Cauchy sequence, Cauchy sequence (unknown). Also Mathlib CauchySeq
  • mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Sequences of real numbers > Cauchy sequences, Cauchy sequences (unknown). Also Mathlib CauchySeq

History

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

endomorphism ring QV7NH5F8WC

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

Mentions

History

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

Nim QV9E50FD01

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

Mentions

History

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

double groupoid QV9JKCGF71

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

Mentions

History

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

Takeo Wada QV9KRDP5QJ

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

Tutte graph QVB6E8HNT9

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

Mentions

History

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

David Berenstein QVG5S1BQ55

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

phase portraits QVHE37BPTQ

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Multivariable calculus > Differential equations > phase portraits, phase portraits (unknown)

History

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

one-way function QVJNRHPVFM

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

Mentions

History

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

short exact sequence QVQTKJSPBN

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

Mentions

History

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

intersection homology QVRVPH0HGT

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

Mentions

History

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

Moritz Kerz QVTRFE43ZK

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

Georgiy Shilov QVXCMTX9EC

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