Algebraic Numbers in Isabelle/HOL.

René Thiemann Akihisa Yamada

Published in: ITP (2016)

Keyphrases

theorem prover
natural deduction
inference rules
theorem proving
sequent calculus
first order logic
higher order logic
higher order
cut elimination
database systems
special case
data sets
data structure
case study
formal methods
web services
genetic algorithm
real world