Math 2.0

Inventory rows N8

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

Bethe-Sommerfeld conjecture N83VFAKSY7

URIm2://inv/N83VFAKSY7
Kindconjecture
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Mertens function N85WAFZXFA

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

Mentions

History

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

pentagonal number N8731SG30X

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

Mentions

History

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

partial sum N87BJDZR27

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

Mentions

History

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

Borel measure N8E57CN8TA

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

Mentions

History

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

Giuseppe Peano N8EN3S02FX

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

Dedekind sum N8GX99XBGD

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

Mentions

History

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

Jean Gallier N8HCZR3V4Y

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

Polignac's conjecture N8HYBZM129

URIm2://inv/N8HYBZM129
Kindconjecture
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

honeycomb conjecture N8KMP590XK

URIm2://inv/N8KMP590XK
Kindconjecture
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Pedal equation N8KS2KHXFR

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

Mentions

History

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

Curtis–Hedlund–Lyndon theorem N8M5NHPP6M

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

Mentions

History

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

syzygy N8N94GDDT5

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

Mentions

History

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

optimization of convex function in finite dimension N8QS9PJY98

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Numerical Analysis > Iterative methods of solving systems of real and vector-valued equations > optimization of convex function in finite dimension, optimization of convex function in finite dimension (unknown)

History

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

successive over-relaxation N8RJ4CHA9Q

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

Mentions

History

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

unramified morphism N8RYPTETX6

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

Mentions

History

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

fractional ideal N8S1HJXVQZ

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

Mentions

History

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

Gauss–Codazzi equations N8TFWEFMRZ

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

Mentions

History

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

Joel David Hamkins N8Z7W3SQC9

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