Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq.

Sebastian Böhne Maria Knobelsdorf Christoph Kreitz

Published in: HDI (2016)

Keyphrases

digital elevation models
terrain modeling
formal methods
motion imagery
test set
digital elevation
neural network
theorem prover
massachusetts institute of technology
database
search algorithm
image analysis
elevation data