Proof as a Mathematical Object - Proposals for a Research Program.

Peteris Daugulis

Published in: Balt. J. Mod. Comput. (2020)

Keyphrases

mathematical proofs
d objects
object level
complex objects
object models
image processing
target object
moving objects
object model
data sets
object tracking
data objects
object detection
bounding box
spatial relationships
viewpoint
three dimensional
decision trees
genetic algorithm
machine learning
data mining