A nullstellensatz and a positivstellensatz for ordered differential fields.

Quentin Brouette

Published in: Math. Log. Q. (2013)

Keyphrases

computer vision
database
learning algorithm
artificial intelligence
image processing
multi agent
search algorithm
object recognition
rough sets
rough approximations
mathematical tools