An example of formalizing recent mathematical results in Mizar.

Published in: J. Appl. Log. (2006)

Keyphrases

computer assisted
data mining
three dimensional
data structure
databases
image sequences
similarity measure
high quality
computational complexity
mobile robot
medical images
recent developments