Math 2.0

Inventory rows JD

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

allegory JD00FQQAD6

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

Mentions

History

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

hyperbolic partial differential equation JD64R6MFP2

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

Mentions

History

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

Peter Landin JD7MCBM3HT

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

Ernst Witt JD8ECEXVR3

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

Spieker center JDBGRRYE5A

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

Mentions

History

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

tungsten-185 JDCWSGAE1K

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

Mentions

History

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

parametric statistics JDK5WBNGF5

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

Mentions

History

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

stability by derivation JDMDSMSD2D

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Distribution calculus > Spaces $\mathcal{S}(\R^d)$ > stability by derivation, stability by derivation (unknown). Also Mathlib SchwartzMap.fderivCLM

History

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

Landsberg–Schaar relation JDQTPJ63JJ

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

Mentions

History

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

unitary representation JDS06W78JR

URIm2://inv/JDS06W78JR
Kindtopic
Layertextbook
MSC22D10
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

algorithmic graph theory JDSFH9GEKA

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

Mentions

History

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

Atle Selberg JDSSQAK2RF

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

Viatcheslav Mukhanov JDXT81VGMR

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

exterior algebra JDYGRE382G

URIm2://inv/JDYGRE382G
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeExterior algebra 0MDMZ965VE

Mentions

History

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

Integer complexity JDZX9XQ0VX

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

Mentions

History

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