Computer formalisation of quaternionic calculus in the HOL Light theorem prover.
Formalization of Quaternionic Calculus in HOL Light / Marco Maggesi. - ELETTRONICO. - (2014).
Formalization of Quaternionic Calculus in HOL Light
MAGGESI, MARCO
2014
Abstract
Computer formalisation of quaternionic calculus in the HOL Light theorem prover.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.