Math 2.0

Inventory rows ZY

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

string field theory ZY3SBZWB43

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

Mentions

History

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

Grégoire de Saint-Vincent ZY4HG2JD4D

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

Alternating factorial ZY6BNMTTV7

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

Mentions

History

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

Wilcoxon signed-rank test ZY7YJ7CM3S

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

Mentions

History

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

medial deltoidal hexecontahedron ZY9JAM7QSZ

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

Mentions

History

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

Ramsey number ZYDQ90S37W

URIm2://inv/ZYDQ90S37W
Kindunknown
Layertextbook
Sources1
Outcomenode (a node has the same name as the row)
NodeRamsey number 01DSVCRF6X

Mentions

History

  • 2026-10-26: add by m2/dev
  • 2026-10-27: outcome by agent

sidereal day ZYE3RTCB5C

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

Mentions

History

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

curie ZYE9MS58K3

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

Mentions

History

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

Eight queens puzzle ZYEKZNYTM0

URIm2://inv/ZYEKZNYTM0
Kindstatement
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

Diophantine geometry ZYEQK0BBBJ

URIm2://inv/ZYEQK0BBBJ
Kindtopic
Layertextbook
MSC11Dxx
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

derivation of tempered distributions ZYF3F857VM

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Distribution calculus > Tempered distributions > derivation of tempered distributions, derivation of tempered distributions (unknown). Also Mathlib TemperedDistribution.instLineDeriv

History

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

determinant of vectors ZYP1G2013B

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Linear algebra > Multilinearity > determinant of vectors, determinant of vectors (unknown). Also Mathlib Module.Basis.det

History

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

possibly infinite tensor product ZYQ04MDACW

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

Mentions

History

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

pneumatics ZYR88J71EX

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

Mentions

History

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

orthonormal basis ZYS2PWM983

URIm2://inv/ZYS2PWM983
Kindunknown
Layertextbook
Sources1
Outcomenode (a node has the same name as the row)
NodeOrthonormal basis 0FWJ0VW561

Mentions

History

  • 2026-10-26: add by m2/dev
  • 2026-10-27: outcome by agent

Lucas pseudoprime ZYVM2V9A7F

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

Mentions

History

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