Login / Signup
Automatic Generation of Epsilon-Delta Proofs of Continuity.
Michael Beeson
Published in:
AISC (1998)
Keyphrases
</>
automatically generate
theorem prover
genetic algorithm
theorem proving
information technology
complexity analysis
formal proofs
mathematical proofs
training data
formal proof
database
feature selection
decision making
data structure
video sequences
automatically generating