Math 2.0

Inventory rows 29

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

strong product of graphs 291MXG1ERH

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

Mentions

History

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

Barnette's conjecture 295V4N52VE

URIm2://inv/295V4N52VE
Kindconjecture
Layertextbook
Sources1
Outcomeopen
NodeNone yet. Write the node.

Mentions

History

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

special orthogonal group 29FS20H093

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

Mentions

  • mathlib_undergrad: mathlib_undergrad Bilinear and Quadratic Forms Over a Vector Space > Endomorphisms > special orthogonal group, special orthogonal group (unknown). Also Mathlib Matrix.specialOrthogonalGroup
  • mathlib_undergrad: mathlib_undergrad Group Theory > Classical automorphism groups > special orthogonal group, special orthogonal group (unknown). Also Mathlib Matrix.specialOrthogonalGroup

History

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

transcendental number 29HQ1S2TBA

URIm2://inv/29HQ1S2TBA
Kinddefinition
Layertextbook
Sources1
Outcomeopen
NodeTranscendental number 0VTQXTCR2G

Mentions

History

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

local McLaughlin graph 29M6V2MES1

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

Mentions

History

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

co-antenna graph 29PVCEW4TK

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

Mentions

History

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

29SZ4Y72GA 29SZ4Y72GA

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

Mentions

History

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

operational calculus 29VDRPS5SX

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

Mentions

History

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