Dragging Proofs Out of Pictures.

Ralf Hinze Dan Marsden

Published in: A List of Successes That Can Change the World (2016)

Keyphrases

theorem proving
digital pictures
theorem prover
mathematical proofs
equational theories
databases
formal proof
formal proofs
hidden markov models
decision procedures
natural deduction
digital photographs
expert systems
artificial intelligence
mathematical knowledge
genetic algorithm
database