Math 2.0

Inventory rows 6W

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

type 6W2AQD2M94

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

Mentions

History

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

Jean-Marie Souriau 6W6ZK2YVQX

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

free tree 6W7BCRM4E6

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

Mentions

History

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

Thom space 6W7H3KJCTT

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

Mentions

History

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

Atiyah algebroid 6WD5GYQ902

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

Mentions

History

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

triangular distribution 6WDBVDE2BV

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

Mentions

History

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

Reeh–Schlieder theorem 6WDCSVM0W2

URIm2://inv/6WDCSVM0W2
Kindstatement
Layertextbook
MSC81-XX
Sources2
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Dirichlet's principle 6WDFVHBBJ1

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

Mentions

History

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

pointed cone 6WDKZPDEXK

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

Mentions

  • mathlib_overview: mathlib_overview Geometry > Convex geometry > pointed cone, pointed cone (unknown). Also Mathlib PointedCone

History

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

adequate equivalence relation 6WGP5K9CVF

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

Mentions

History

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

Alessandro Strumia 6WGWFWG8ND

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

Schinzel's hypothesis H 6WHB3WDT92

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

Mentions

History

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

Amnon Pazy 6WHNQZ67HW

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

regular expression 6WJ29JKYPV

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

Mentions

  • mathlib_overview: mathlib_overview Logic and computation > Formal languages > regular expression, regular expression (unknown). Also Mathlib RegularExpression

History

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

complex torus 6WSSCKW8Y3

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

Mentions

History

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

nitrogen-15 6WVTTK1BP5

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

Mentions

History

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

normal scheme 6WVZTTEGVG

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

Mentions

History

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

change of variables to spherical co-ordinates 6WWMB8YPGS

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Measures and integral calculus > Integration > change of variables to spherical co-ordinates, change of variables to spherical co-ordinates (unknown)

History

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