Math 2.0

Inventory rows NP

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

Schouten–Nijenhuis bracket NP476PG3M1

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

Mentions

History

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

Padovan sequence NP4FM3YXAE

URIm2://inv/NP4FM3YXAE
Kindobject
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Shell theorem NP4PYE1B25

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

Mentions

History

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

Fermat polygonal number theorem NPDHSNR8BX

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

Mentions

History

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

subtraction NPK3CFJZZB

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

Mentions

History

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

polynomial functions NPKRZF3MV1

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Single Variable Real Analysis > Elementary functions (trigonometric, rational, $\exp$, $\log$, etc) > polynomial functions, polynomial functions (unknown). Also Mathlib Polynomial.eval

History

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

approximations of π NPNRES2YAH

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

Mentions

History

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