Math 2.0

Inventory rows Z8

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

apocalyptic number Z836Y365KN

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

Mentions

History

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

Vickrey auction Z83ZZ8QV5S

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

Mentions

History

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

Blum integer Z84QA1S1VT

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

Mentions

History

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

isomorphism with $K^n$ Z87EWKA5JK

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

Mentions

  • mathlib_overview: mathlib_overview Linear algebra > Finite-dimensional vector spaces > isomorphism with $K^n$, isomorphism with $K^n$ (unknown). Also Mathlib Module.Basis.equivFun
  • mathlib_undergrad: mathlib_undergrad Linear algebra > Finite-dimensional vector spaces > isomorphism with $K^n$, isomorphism with $K^n$ (unknown). Also Mathlib Module.Basis.equivFun

History

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

Pascal's law Z88W1SVT6N

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

Mentions

History

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

spectral norm Z8AN2CA4FA

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

Mentions

History

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

series Z8FYKKRJMQ

URIm2://inv/Z8FYKKRJMQ
Kindconcept
Layertextbook
Sources1
Outcomeopen
NodeSeries 0NM626FH6Q

Mentions

History

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

orbit method Z8GS84TTRB

URIm2://inv/Z8GS84TTRB
Kindtopic
Layertextbook
MSC22E27
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

doubly stochastic matrix Z8KPMD86FJ

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

Mentions

History

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

static spacetime Z8KR1887XY

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

Mentions

History

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

astronomical unit Z8NNRGEA82

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

Mentions

History

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

Walter Gubler Z8SCRE2YW0

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

mnemonics in trigonometry Z8X46K1KBG

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

Mentions

History

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

polar coordinate system Z8XKEKB2RK

URIm2://inv/Z8XKEKB2RK
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodePolar coordinates 0BSW4T7THS

Mentions

History

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

characteristic Z8XV93EGJX

URIm2://inv/Z8XV93EGJX
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodeCharacteristic of a ring 0F6ES3BRYP

Mentions

History

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

power of a point Z8Z5DNSXMD

URIm2://inv/Z8Z5DNSXMD
Kindunknown
Layertextbook
Sources1
Outcomeopen
NodePower of a point 02E9VT1RVQ

Mentions

History

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