Algebraic Numbers in Isabelle/HOL.

René Thiemann Akihisa Yamada

Published in: Arch. Formal Proofs (2015)

Keyphrases

theorem prover
natural deduction
theorem proving
inference rules
higher order logic
first order logic
real numbers
cut elimination
formal methods
image processing
linear algebra
algebraic geometry
databases
sequent calculus
logic programming
expert systems
artificial intelligence
machine learning