Octonions

MaRDI QIDQ53733swMATHFDO

Authors Angeliki Koutsoukou-Argyraki

Publication date 14 September 2018

Official website https://www.isa-afp.org/entries/Octonions.html

Cites work

• Clifford algebras and spinors.
• Unnamed Publication
• The octonions

Cited in

(9)

• Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started
• Aristotles_Assertoric_Syllogistic
• Amicable Numbers
• Irrationality_J_Hancl
• Transcendence_Series_Hancl_Rucki
• Irrational_Series_Erdos_Straus
• Pratt_Certificate
• FindFacts
• SErAPIS

This page was built for software: Octonions