Math 2.0

Inventory rows AB

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

Kenji Ueno AB54QNG2YF

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

Riemann's differential equation AB5F7ZWXG4

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

Mentions

History

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

monotone class AB6R7425X7

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

Mentions

History

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

probability space AB7KC69R96

URIm2://inv/AB7KC69R96
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeProbability space 0NFPJVJJHX

Mentions

History

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

infinite graph AB9ZV5M76R

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

Mentions

History

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

Vadim Kaplunovsky ABB3W2APPP

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

Enrico Fermi ABCKS9FSZ4

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

continuation-passing style ABHK17ZN46

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

Mentions

History

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

Tomita–Takesaki theory ABHX0B47XC

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

Mentions

History

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

Leonhard Euler ABJ95V1A8J

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

Weill point ABM43FFAGP

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

Mentions

History

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

Vladimir Arnold ABP0VYN0N9

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

Noetherian module ABRFGBA9T3

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

Mentions

  • mathlib_overview: mathlib_overview Linear algebra > Fundamentals > Noetherian module, Noetherian module (unknown). Also Mathlib IsNoetherian

History

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

error analysis ABSN912WH3

URIm2://inv/ABSN912WH3
Kindtopic
Layertextbook
MSC65Gxx
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Eckart Viehweg ABVH00V8S7

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

Stone-Cech compactification ABX31E6510

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

Mentions

  • mathlib_overview: mathlib_overview Topology > General topology > Stone-Cech compactification, Stone-Cech compactification (unknown). Also Mathlib StoneCech

History

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

hyperbolic function ABZGTRQD09

URIm2://inv/ABZGTRQD09
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeHyperbolic functions 01PPDSDP2N

Mentions

History

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