Existence and Uniqueness of Algebraic Closures.

Christoph Schwarzweller

Published in: Formaliz. Math. (2022)

Keyphrases

sufficient conditions
higher order
transitive closure
learning algorithm
artificial intelligence
search engine
computer vision
decision making
image processing
support vector
search algorithm
expressive power
complementarity problems