Math 2.0

Inventory rows RB

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

Isaac Newton RB0BSD92NT

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

reproducing kernel Hilbert space RB0SAXBGHH

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

Mentions

History

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

joule RB2XAG0R31

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

Mentions

History

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

Darboux cubic RB5TJT35ZQ

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

Mentions

History

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

derivative of a distribution RBEBQTEFQT

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Distribution calculus > Distributions on $\R^d$ > derivative of a distribution, derivative of a distribution (unknown)

History

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

polygon RBGX5X43MB

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

Mentions

History

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

Abel integral equation RBN7THBT3P

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

Mentions

History

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

Dedekind domain RBNAP6C301

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

Mentions

History

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

Gödel's incompleteness theorem RBNJ7HC6VK

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

Mentions

History

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

cage RBP7S819FC

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

Mentions

History

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

Ernst Specker RBQNCK1546

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