Using Theorem Proving for Numerical Analysis (Correctness Proof of an Automatic Differentiation Algorithm).

Published in: TPHOLs (2002)

Keyphrases

theorem proving
numerical analysis
simulated annealing
provably correct
learning algorithm
np hard
combinatorial search
automated deduction
machine learning
inference rules
proof planning
theorem prover