Interfacing external CA systems for Gröbner bases computation in Mizar proof checking.

Published in: Int. J. Comput. Math. (2010)

Keyphrases

complex systems
cellular automata
image processing
multiscale
numerically stable
web services
expert systems
image analysis
object detection
internal and external