Flexary Operators for Formalized Mathematics.

Feryal Fulya Horozal Florian Rabe Michael Kohlhase

Published in: CICM (2014)

Keyphrases

computer science
neural network
information systems
morphological operators
real world
artificial intelligence
computer vision
website
database systems
image analysis
multiresolution
probabilistic model
aggregation operators
middle school students
computer algebra