A Mechanized Proof of the Basic Perturbation Lemma.

Jesús Aransay Clemens Ballarin Julio Rubio

Published in: J. Autom. Reason. (2008)

Keyphrases

mathematical proofs
johnson lindenstrauss
information retrieval
genetic algorithm
multi agent
theorem proving
data mining
logic programs
theorem prover
proof theory
proof planning
perturbation method