Octonions (Formal proof development)

Angeliki Koutsoukou-Argyraki

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

Original language	English
Journal	Archive of Formal Proofs
Publication status	Published - Sept 2018

Access to Document

https://www.isa-afp.org/entries/Octonions.htmlLicence: Other

Cite this