A very short proof of Dixon's theorem.

Shalosh B. Ekhad

Published in: J. Comb. Theory, Ser. A (1990)

Keyphrases

interactive theorem proving
theorem prover
von neumann
proof planning
expert systems
theorem proving
databases
information retrieval
genetic algorithm
image processing
user interface
probabilistic model