%% This BibTeX bibliography file was created using BibDesk.
%% http://bibdesk.sourceforge.net/


%% Created for Larry Paulson at 2018-09-05 15:09:00 +0100 


%% Saved with string encoding Unicode (UTF-8) 



@inproceedings{gabrielli-quaternions,
	Abstract = {We present a computer formalization of quaternions in the HOL Light theorem prover. We give an introduction to our library for potential users and we discuss some implementation choices.},
	Author = {Gabrielli, Andrea and Maggesi, Marco},
	Booktitle = {Interactive Theorem Proving},
	Date-Added = {2018-09-05 15:02:44 +0100},
	Date-Modified = {2018-09-05 15:02:44 +0100},
	Editor = {Ayala-Rinc{\'o}n, Mauricio and Mu{\~{n}}oz, C{\'e}sar A.},
	Pages = {225-240},
	Publisher = {Springer},
	Title = {Formalizing Basic Quaternionic Analysis},
	Year = {2017}}
