The Cayley-Dickson Construction in Homotopy Type Theory.

Ulrik Buchholtz Egbert Rijke

Published in: CoRR (2016)

Keyphrases

computational model
digital libraries
machine learning
theoretical basis
databases
artificial intelligence
decision making
natural language
theoretical foundation