Login / Signup
Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover.
Samuel Coward
Lawrence C. Paulson
Theo Drane
Emiliano Morini
Published in:
Formal Aspects Comput. (2022)
Keyphrases
</>
theorem prover
floating point
formal verification
learning algorithm
first order logic
theorem proving
automated reasoning
data mining
sparse matrices
data structure
general purpose
computer systems
inference rules