Quaternions

swMATH38038MaRDI QIDQ53738FDOQ53738

Author name not available (Why is that?)

Cited In (1)

• Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started

This page was built for software: Quaternions