Math 2.0

Inventory rows E4

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

Schauder basis E40Y8KH5WY

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

Mentions

History

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

Descartes's theorem E47C9Q967Q

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

Mentions

History

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

actuarial polynomial E4EZ5M0RVR

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

Mentions

History

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

writer E4FK3KXETR

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

triangular number E4GAQNZK6K

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

Mentions

History

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

Householder's method E4JXGST5J5

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

Mentions

History

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

Riemann von Mangoldt explicit formula E4K32952V6

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

Mentions

History

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

isolated point E4KX2K12HY

URIm2://inv/E4KX2K12HY
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeIsolated point 0A1YXSKB48

Mentions

History

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

potential theory E4MN2BZ5JA

URIm2://inv/E4MN2BZ5JA
Kindtopic
Layertextbook
MSC31-XX, 60J45
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

André Néron E4NQRSXT5N

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

difference operator E4P1DC0JHQ

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

Mentions

History

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

Ree group E4PD02SH5P

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

Mentions

History

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

Marginal value theorem E4Q0NMY8VP

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

Mentions

History

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

Bessel interpolation formula E4RGEJM7MR

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

Mentions

History

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

product of rings E4RHVD0CBR

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Ring Theory > Fundamentals > product of rings, product of rings (unknown). Also Mathlib Pi.ring

History

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

Landau prime ideal theorem E4SY1AM7N8

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

Mentions

History

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