Formal Proof: Reconciling Correctness and Understanding.

Cristian S. Calude Christine Müller

Published in: Calculemus/MKM (2009)

Keyphrases

formal proof
solving problems
theorem prover
neural network
feature selection
case study
multiscale
mechanisms underlying
genetic algorithm
supervised learning
first order logic
subject matter