Math 2.0

Inventory rows DQ

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

Van der Waerden number DQ2FEN3VWH

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

Mentions

History

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

Appell–Humbert theorem DQ5DN50VCN

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

Mentions

History

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

Scherk–Schwarz mechanism DQ6A6E5S5J

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

Mentions

History

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

alternating function DQ793Q1CM4

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

Mentions

History

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

principle root DQD3MF3B5Z

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

Mentions

History

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

Urs Schreiber DQGTF4YFMX

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

Period (multiplicative order base 10) of the terms in A116074 and A116075 . DQM0N3WQQS

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

Mentions

History

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

vector-valued integrable function (Bochner integral) DQM7W524T4

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

Mentions

  • mathlib_overview: mathlib_overview Analysis > Measures and integral calculus > vector-valued integrable function (Bochner integral), vector-valued integrable function (Bochner integral) (unknown). Also Mathlib MeasureTheory.Integrable
  • mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > finite-dimensional vector-valued integrable functions, finite-dimensional vector-valued integrable functions (unknown). Also Mathlib MeasureTheory.Integrable
  • mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > integrable functions, integrable functions (unknown). Also Mathlib MeasureTheory.Integrable

History

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

nimber DQR7FC1MA3

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

Mentions

History

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

't Hooft loop DQSA2XHYSX

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

Mentions

History

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

properly discontinuous action DQSQAYVBTW

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

Mentions

History

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

Manfredo do Carmo DQTEQHP00Z

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

Oskar Klein DQV3W152M6

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

propositional variable DQVEH6RWXS

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

Mentions

History

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

applied mathematics DQY5VWCSED

URIm2://inv/DQY5VWCSED
Kindtopic
Layertextbook
MSC00A69
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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