Robots, computer algebra and eight connected components.

Jose Capco Mohab Safey El Din Josef Schicho

Published in: ISSAC (2020)

Keyphrases

connected components
computer algebra
binary images
theorem prover
mobile robot
level set
computer algebra systems
graph mining
connected component labeling
connected component analysis
real world
automated theorem provers
itemsets
gray scale
watershed transformation
real world graphs