Much shorter proofs: A bimodal investigation.

Alessandra Carbone Franco Montagna

Published in: Math. Log. Q. (1990)

Keyphrases

theorem proving
computer vision
theorem prover
databases
website
formal proof
preprocessing
preliminary investigation
database
gaussian mixture
probability distribution
formal proofs
decision procedures
computer programs
special case
information technology
search algorithm
data sets