Algebraic Numbers in Isabelle HOL1 Ren´e Thiemann and Akihisa Yamada Institute of Computer Science University of Innsbruck - University of Science - Document - PDFSEARCH.IO

First Page	Meta Content
	Algebraic Numbers in Isabelle/HOL1 Ren´e Thiemann and Akihisa Yamada Institute of Computer Science University of Innsbruck Add to Reading List Document Date: 2016-08-30 03:42:42 Open Document File Size: 4,66 MB Share Result on Facebook

Algebraic Numbers in Isabelle/HOL1 Ren´e Thiemann and Akihisa Yamada Institute of Computer Science University of InnsbruckAdd to Reading List