A Verified Implementation of Algebraic Numbers in Isabelle/HOL
Sign Up to like & getrecommendations! Published in 2018 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-018-09504-w
Abstract: We formalize algebraic numbers in Isabelle/HOL. Our development serves as a verified implementation of algebraic operations on real and complex numbers. We moreover provide algorithms that can identify all the real or complex roots of… read more here.
Keywords: implementation algebraic; algebraic numbers; verified implementation; numbers isabelle ... See more keywords